细讲差分和前缀和

前缀和
概念：
一维前缀和：

作用：能够直接算出任意一段数字的和。

例题
输入一个长度为 n的整数序列。接下来再输入 m个询问，每个询问输入一对 l,r。对于每个询问，输出原序列中从第 l 个数到第 r个数的和。
输入格式
第一行包含两个整数 n和 m。
第二行包含 n个整数，表示整数数列。接下来 m 行，每行包含两个整数 l 和 r，表示一个询问的区间范围。
输出格式
共 m行，每行输出一个询问的结果。
数据范围
1≤l≤r≤n,
1≤n,m≤100000,
−1000≤数列中元素的值≤1000
输入样例：
5 3
2 1 3 6 4
1 2
1 3
2 4
输出样例：
3
6
10

#include<iostream>
const int N=100010;
int a[N],s[N];
using namespace std;
int main(){
    int n,m;
    scanf("%d%d",&n,&m);
    for(int i=1;i<=n;i++)  scanf("%d",&a[i]);
    for(int i=1;i<=n;i++)  s[i]=s[i-1]+a[i];
    while(m--){
        int a,b;
        scanf("%d%d",&a,&b);
        printf("%d\n",s[b]-s[a-1]);
    }
    return 0;
}

二维前缀和：

输入一个 n 行 m列的整数矩阵，再输入 q个询问，每个询问包含四个整数 x1,y1,x2,y2，表示一个子矩阵的左上角坐标和右下角坐标。对于每个询问输出子矩阵中所有数的和。
输入格式
第一行包含三个整数 n，m，q。接下来 n 行，每行包含 m个整数，表示整数矩阵。
接下来 q 行，每行包含四个整数 x1,y1,x2,y2，表示一组询问。
输出格式
共 q 行，每行输出一个询问的结果。
数据范围
1≤n,m≤1000,
1≤q≤200000,
1≤x1≤x2≤n,
1≤y1≤y2≤m,
−1000≤矩阵内元素的值≤1000
输入样例：
3 4 3
1 7 2 4
3 6 2 8
2 1 2 3
1 1 2 2
2 1 3 4
1 3 3 4
输出样例：
17
27
21

重点：
在写二维前缀和时候，我阅读许多题解时，发现其中都是利用矩阵中面积的方法去解决问题。但是往往第一印象的错误思维一旦形成，就有点难理解对应的矩阵型的数据方法了。所以理解对应的二维矩阵应该从一个个方格去理解它。

（1）矩阵元素的前缀和

以上内容的简化

（2）利用二维前缀和矩阵元素求出（x1,y1）到（x2,y2）中两者组成的矩阵的前缀和。

以上内容的简化

#include<iostream>
const int N=1010;
int a[N][N],s[N][N];
using namespace std;
int main(){
    int n,m,q;
    scanf("%d%d%d",&n,&m,&q);
    for(int i=1;i<=n;i++)
       for(int j=1;j<=m;j++)   scanf("%d",&a[i][j]);
    for(int i=1;i<=n;i++)
      for(int j=1;j<=m;j++) s[i][j]=s[i-1][j]+s[i][j-1]-s[i-1][j-1]+a[i][j];
    while(q--){
        int x1,x2,y1,y2;
        scanf("%d%d%d%d",&x1,&y1,&x2,&y2);
        printf("%d\n",s[x2][y2]-s[x2][y1-1]-s[x1-1][y2]+s[x1-1][y1-1]);
        
    }
    
}

差分：
一维差分：首先给定一个数组:a[1],a[2]…a[n]，然后构造数组:b[1],b[2]…b[n]
a[i]=b[1]+…+b[i]
a是b的前缀和数组，b是a的差分数组。

输入一个长度为 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

从上面知道b是a的差分数组，在一段区间内，我们子需要在b中相对应加上一个数字C，则就完成对a中的一整对数字的C

#include<iostream>
const int N=100010;
int a[N],b[N];
using namespace std;
int main(){
    int n,m;
    scanf("%d%d",&n,&m);
    for(int i=1;i<=n;i++){
        scanf("%d",&a[i]);
        b[i]=a[i]-a[i-1];  
    }
    int l,r,c;
    while(m--){
        scanf("%d%d%d",&l,&r,&c);
        b[l]+=c;
        b[r+1]-=c;      
    }
    for(int i=1;i<=n;i++){
        b[i]+=b[i-1];
        printf("%d ",b[i]);  
    }
    return 0;
    
}

二维差分：
二维差分其实要注意：
（1）构造该方框中元素的差分:

（2）在修改b的差分矩阵中，根据一维差分数组的性质，如果其前面加上一个值，其a的矩阵改变的是该后面的值

例题：
输入一个 n行 m列的整数矩阵，再输入 q个操作，每个操作包含五个整数 x1,y1,x2,y2,c，其中 (x1,y1) 和 (x2,y2) 表示一个子矩阵的左上角坐标和右下角坐标。每个操作都要将选中的子矩阵中的每个元素的值加上 c。请你将进行完所有操作后的矩阵输出。
输入格式
第一行包含整数 n,m,q。
接下来 n行，每行包含 m个整数，表示整数矩阵。
接下来 q行，每行包含 5个整数 x1,y1,x2,y2,，表示一个操作。
输出格式
共 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>
const int N=1010;
int n,m,q;
int a[N][N],s[N][N];
using namespace std;

int main(){
    cin>>n>>m>>q;
    for(int i=1;i<=n;i++)
       for(int j=1;j<=m;j++) scanf("%d",&a[i][j]);
       //构造差分矩阵
     for(int i=1;i<=n;i++)
       for(int j=1;j<=m;j++)  s[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;
         scanf("%d%d%d%d%d",&x1,&y1,&x2,&y2,&c);
         s[x1][y1]+=c;
         s[x1][y2+1]-=c;
         s[x2+1][y1]-=c;
         s[x2+1][y2+1]+=c;
         
     }  
      for(int i=1;i<=n;i++)
       for(int j=1;j<=m;j++)
           a[i][j]=s[i][j]+a[i-1][j]+a[i][j-1]-a[i-1][j-1];
           
      for(int i=1;i<=n;i++){
       for(int j=1;j<=m;j++)  printf("%d ",a[i][j]);
           
            cout << endl;
      }
    return 0;
}

解释代码：
s[x1][y1]+=c;
s[x1][y2+1]-=c;
s[x2+1][y1]-=c;
s[x2+1][y2+1]+=c;