基础算法之差分

玖慕楠

于 2024-05-01 23:46:11 发布

阅读量23

点赞数 23

文章标签：算法

本文链接：https://blog.csdn.net/qq_74729280/article/details/138377336

版权

前言

本文介绍基础的算法差分，主要分为介绍一维差分以及二维差分的原理，公式和相关的例题的介绍。同时在介绍时候，分成俩类进行介绍，主要是在构造时候的一些区别。

一维差分

一维差分，多用于在某一个区间里做加法，能将O(n)的时间复杂度转换为O(1)；
其主要是思想是：

b[]是a[]的差分，即b[i] = a[i] - a[i-1];

如
b[1] = a[1
b[2] = a[2] - a[1]
b[3] = a[3] - a[2]

对于一维差分，想要在区间l,r进行+c或者-c的操作不用使用for循环遍历从l到r整个区间，只需要使用o(1)，时间复杂度就可

b[l]+=c;//将l和以后加c
b[r+1]-=c;//将r之后-c

b[l]+=c;是将l到结束全部+c, b[r+1]-=c;是让r+1到结束全部-c，这样就可以使得l到r区间全部加c的操作了

差分与前缀和

这里的前缀和可以参考算法学习之前缀和-CSDN博客
类似于数学中的求导和积分，差分可以看成前缀和的逆运算。

差分数组：
首先给定一个原数组a：a[1], a[2], a[3],,,,,, a[n];
然后我们构造一个数组b ： b[1] ,b[2] , b[3],,,,,, b[i];
使得 a[i] = b[1] + b[2 ]+ b[3] +,,,,,, + b[i]

也就是说，a数组是b数组的前缀和数组，反过来我们把b数组叫做a数组的差分数组。
换句话说，每一个a[i]都是b数组中从头开始的一段区间和。

考虑如何构造差分b数组？
最为直接的方法
如下：
a[0 ]= 0;
b[1] = a[1] - a[0];
b[2] = a[2] - a[1];
b[3] =a [3] - a[2];
........
b[n] = a[n] - a[n-1];

给定区间[l ,r ]，让我们把a数组中的[ l, r]区间中的每一个数都加上c
即 a[l] + c , a[l+1] + c , a[l+2] + c ,,,,,, a[r] + c;

对于差分的方法

a数组是b数组的前缀和数组，比如对b数组的b[i]的修改，会影响到a数组中从a[i]及往后的每一个数。

首先让差分b数组中的 b[l] + c ,a数组变成 a[l] + c ,a[l+1] + c,,,,,, a[n] + c;
然后我们打个补丁，b[r+1] - c, a数组变成 a[r+1] - c,a[r+2] - c,,,,,,,a[n] - c;
即如下图

这一个操作我们可以使用一个函数insert来完成

void insert(int i ,int r,int c){
    //a[i] 后面的元素全部加上c  
    b[i]+=c; //因为a[i] = b[i] + b[i-1] + ... + b[2] + b[1];所以a[i]后面的数都会加上b[i]，b[i]加c了，a[i]后的数也会相应全部加c
    //同理a[r+1] 后面的元素都减去一个c
    b[r+1]-=c; 
}

一维差分模板，主要应用于在某一个区间内加上一个固定的值，该方法能将O(n)的时间复杂度降为O(1)，推荐完全背下来。

在代码中需要注意两个问题：
1. b[i]是怎么构建出来的？
首先将a[i]和b[i]全部视为0，然后相当于在b[i]处插入a[i]构造出差分数组b[i]，这样可以完美的复用insert函数。

for (int i = 1; i <= n; i ++ ) insert(i, i, a[i]);

2. b[i]为什么要求自己的前缀和？
将b[i]数组变成自己的前缀和，因为我们是要输出a[i]加上区间和的值，此处b[i]相当于变成了a[i],最后再进行输出。

for(int i = 1;i <= n;i++) b[i] += b[i-1];

二维差分

如果扩展到二维，我们需要让二维数组被选中的子矩阵中的每个元素的值加上c,是否也可以达到O(1)的时间复杂度。答案是可以的，考虑二维差分。

a[]数组是b[]数组的前缀和数组，那么b[][]是a[][]的差分数组

原数组： a[i][j]

我们去构造差分数组： b[i][j]

使得a数组中a[i][j]是b数组左上角(1,1)到右下角(i,j)所包围矩形元素的和。

如何构造b数组呢？

我们去逆向思考。

同一维差分，我们构造二维差分数组目的是为了让原二维数组a中所选中子矩阵中的每一个元素加上c的操作，可以由O(n*n)的时间复杂度优化成O(1)

已知原数组a中被选中的子矩阵为以(x1,y1)为左上角，以(x2,y2)为右下角所围成的矩形区域;

始终要记得，a数组是b数组的前缀和数组，比如对b数组的b[i][j]的修改，会影响到a数组中从a[i][j]及往后的每一个数。

假定我们已经构造好了b数组，类比一维差分，我们执行以下操作
来使被选中的子矩阵中的每个元素的值加上c

b[x1][y1] += c;

b[x1,][y2+1] -= c;

b[x2+1][y1] -= c;

b[x2+1][y2+1] += c;

每次对b数组执行以上操作，等价于：

for(int i=x1;i<=x2;i++)
for(int j=y1;j<=y2;j++)
a[i][j]+=c;

b[x1][ y1 ] +=c ; 对应图1 ,让整个a数组中蓝色矩形面积的元素都加上了c。
b[x1,][y2+1]-=c ; 对应图2 ,让整个a数组中绿色矩形面积的元素再减去c，使其内元素不发生改变。
b[x2+1][y1]- =c ; 对应图3 ,让整个a数组中紫色矩形面积的元素再减去c，使其内元素不发生改变。
b[x2+1][y2+1]+=c; 对应图4,,让整个a数组中红色矩形面积的元素再加上c，红色内的相当于被减了两次，再加上一次c，才能使其恢复。

例题

1、一维差分

输入一个长度为 n 的整数序列。
接下来输入 m 个操作，每个操作包含三个整数 l,r,c，表示将序列中 [l,r][l,r] 之间的每个数加上 cc。请你输出进行完所有操作后的序列。

输入格式
第一行包含两个整数 n 和 m。
第二行包含 n 个整数，表示整数序列。
接下来 m 行，每行包含三个整数 l，r，c表示一个操作。

输出格式

共一行，包含 n 个整数，表示最终序列。

数据范围

1≤n,m≤100000
1≤l≤r≤n
−1000≤c≤1000
−1000≤整数序列中元素的值≤1000

输入样例：

6 3
1 2 2 1 2 1
1 3 1
3 5 1
1 6 1

输出样例：

3 4 5 3 4 2

首先将a[i]和b[i]全部视为0，然后相当于在b[i]处插入a[i]构造出差分数组b[i]，这样可以完美的复用insert函数。
代码如下

#include<iostream>
using namespace std;
int n,m;
const N = 100010;
int a[N],b[N]; // a为b的前缀和 即a[i] = b[i] + b[i-1] + ... + b[2] + b[1];

void insert(int i ,int r,int c){
    //a[i] 后面的元素全部加上c  
    b[i]+=c; //因为a[i] = b[i] + b[i-1] + ... + b[2] + b[1];所以a[i]后面的数都会加上b[i]，b[i]加c了，a[i]后的数也会相应全部加c
    //同理a[r+1] 后面的元素都减去一个c
    b[r+1]-=c; 
}

int main(){
    cin >> n >> m;
    for(int i = 0; i <= n;i++) scanf("%d",&a[i]);
    // 首先将a[i]和b[i]全部视为0，然后在b[i]处插入a[i]构造出差分数组b[i]
    for (int i = 1; i <= n; i ++ ) insert(i, i, a[i]);
    while(m --){
        int l , r, c;
        cin >> l >> r >> c;
        insert(l,r,c);
    }
    // 将b[i]数组变成自己的前缀和，因为我们是要输出a[i]加上区间和的值，此处b[i]相当于变成了a[i],最后再进行输出
    for(int i = 1;i <= n;i++) b[i] += b[i-1];
    for(int i = 1;i <= n;i++) printf("%d",b[i]);
    return 0;
}

二、差分矩阵

输入一个 n 行 m 列的整数矩阵，再输入 q 个操作，每个操作包含五个整数 x1,y1,x2,y2,c其中 (x1,y1)(x1,y1) 和 (x2,y2)(x2,y2) 表示一个子矩阵的左上角坐标和右下角坐标。
每个操作都要将选中的子矩阵中的每个元素的值加上 c。
请你将进行完所有操作后的矩阵输出。

输入格式

第一行包含整数 n,m,q。
接下来 n 行，每行包含 m 个整数，表示整数矩阵。
接下来 q 行，每行包含 5 个整数 x1,y1,x2,y2,c表示一个操作。

输出格式

共 n 行，每行 m 个整数，表示所有操作进行完毕后的最终矩阵。

数据范围

1≤n,m≤1000
1≤q≤100000
1≤x1≤x2≤n
1≤y1≤y2≤m
−1000≤c≤1000
−1000≤矩阵内元素的值≤1000

输入样例：

输出样例：

2 3 4 1
4 3 4 1
2 2 2 2

我们可以先假想a数组为空，那么b数组一开始也为空，但是实际上a数组并不为空，因此我们每次让b数组以(i,j)为左上角到以(i,j)为右下角面积内元素(其实就是一个小方格的面积)去插入 c=a[i][j]，等价于原数组a中(i,j) 到(i,j)范围内加上了 a[i][j] ,因此执行n*m次插入操作，就成功构建了差分b数组.
代码如下

#include<iostream>
#include<cstdio>
using namespace std;
const int N = 1e3 + 10;
int a[N][N], b[N][N];
void insert(int x1, int y1, int x2, int y2, int c)
{
    b[x1][y1] += c;
    b[x2 + 1][y1] -= c;
    b[x1][y2 + 1] -= c;
    b[x2 + 1][y2 + 1] += c;
}
int main()
{
    int n, m, q;
    cin >> n >> m >> q;
    for (int i = 1; i <= n; i++)
        for (int j = 1; j <= m; j++)
            cin >> a[i][j];
    for (int i = 1; i <= n; i++)
    {
        for (int j = 1; j <= m; j++)
        {
            insert(i, j, i, j, a[i][j]);      //构建差分数组
        }
    }
    while (q--)
    {
        int x1, y1, x2, y2, c;
        cin >> x1 >> y1 >> x2 >> y2 >> c;
        insert(x1, y1, x2, y2, c);
    }
    for (int i = 1; i <= n; i++)
    {
        for (int j = 1; j <= m; j++)
        {
            b[i][j] += b[i - 1][j] + b[i][j - 1] - b[i - 1][j - 1];  //二维前缀和
        }
    }
    for (int i = 1; i <= n; i++)
    {
        for (int j = 1; j <= m; j++)
        {
            printf("%d ", b[i][j]);
        }
        printf("\n");
    }
    return 0;
}

总结

本文介绍差分的原理和模板，主要分开讲解了一维差分和二维差分的原理，初始化和作用，同时讲解了差分与前缀和的关系，特别介绍了，如何初试化使默认啊a[],b[]都为零，然后使用insert函数进行初始化的方法，同时用俩道最基本的例题讲解了insert初始化差分数组。

推荐学习博客 https://xxetb.xetslk.com/s/4GgGz6

玖慕楠

关注

23
点赞
踩
11

收藏

觉得还不错? 一键收藏
0
评论
基础算法之差分

本文介绍基础的算法差分，主要分为介绍一维差分以及二维差分的原理，公式和相关的例题的介绍。同时在介绍时候，分成俩类进行介绍，主要是在构造时候的一些区别。本文介绍差分的原理和模板，主要分开讲解了一维差分和二维差分的原理，初始化和作用，同时讲解了差分与前缀和的关系，特别介绍了，如何初试化使默认啊a[],b[]都为零，然后使用insert函数进行初始化的方法，同时用俩道最基本的例题讲解了insert初始化差分数组。推荐学习博客。
复制链接

扫一扫