差分问题: 797. 差分 798. 差分矩阵

差分问题是前缀和问题的更近一步，前缀和问题解决得主要是在一块数据中多次查找和问题。它令查找和得时间复杂度变成了O(1)，但是令修改变成了O(n)
差分则是在一块数据块中多次修改数据，查询少量的问题。它令修改的时间复杂度变成了O(1)，但是令查找变成了O(n)

797. 差分

输入一个长度为 n 的整数序列。

接下来输入 m 个操作，每个操作包含三个整数 l,r,c，表示将序列中 [l,r] 之间的每个数加上 c。

请你输出进行完所有操作后的序列。

输入格式
第一行包含两个整数 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

思路：先将该数组转化成差分数组，然后以O(1)的时间复杂度去完成大量的修改工作，当要查询的时候，再将拆分数组前缀和话，得到原数组。

代码：

#include<iostream>
using namespace std;

int a[100010];
int b[100010];
int main() {
    int m;
    int q;
    cin >> m >> q;
    //边界问题 左留1
    for (int i = 1; i <= m; i++) cin >> a[i];
    
    //边界问题 构建拆分数组b 问题1：前缀和的计算是:a[i]+ = a[i-1]; 为什么差分数组的计算方式不是a[i] = a[i]-a[i-1]？推导公式 
    for (int i = 1; i <= m; i++) b[i] = a[i] - a[i - 1];
    while (q--) {
        int l, r, v;
        cin >> l>>r>> v;
        //l+ r-
        b[l] += v;
        b[r + 1] -= v;

    }
    //由拆分数组重构前缀和，得到累加后的数组
    for (int i = 1; i <= m; i++)  b[i] = b[i] + b[i - 1];
    for (int i = 1; i <= m; i++) cout << b[i] << " ";
}

问题1：这个题的差分数组怎么推导？
注意，不能在a[i] 上直接迭代元素。因为 a3 = a2 - a1. a4 = a3 - a2. 如果这样迭代的话，a4 = - a1，是肯定有问题的。

798. 差分矩阵

输入一个 n 行 m 列的整数矩阵，再输入 q 个操作，每个操作包含五个整数 x1,y1,x2,y2,c，其中 (x1,y1) 和 (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

输入样例：

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

输出样例：

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

思路：和上一题相同，先进行差分，做完修改数据后，再进行前缀和得到原矩阵。

#include<iostream>
using namespace std;

//前缀和矩阵
int a[1010][1010];
int b[1010][1010];
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++)
            b[i][j] = a[i][j] - a[i-1][j] -a[i][j-1] + a[i-1][j-1];
    
    while(q--){
        int x1,y1,x2,y2,c;
        cin>>x1>>y1>>x2>>y2>>c;
        b[x1][y1]+= c;
        b[x1][y2+1]-=c;
        b[x2+1][y1]-=c;
        b[x2+1][y2+1]+=c;
    }
    
   
    //恢复前缀和
    for(int i = 1; i<=n; i++)
        for(int j = 1; j<=m; j++)
            b[i][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++)
            cout<<b[i][j]<<" ";
        cout<<endl;
     }
}

问题1.差分推导：

问题：差分插入推导：