前缀和与差分

前缀和与差分的定义

前缀和的定义比较简单，对于一个序列$a_i,b_i$有下列的定义，$b_i=a_1+a_2+a_3+\cdot \cdot \cdot +a_i，a_i=b_i-b_{i-1}$，则称$b$为$a$的前缀和，$a$为$b$的差分。显然这两种是互逆操作。

前缀和的应用

前缀和基本上只有一个作用，就是求快速求某个区间的和

一维前缀和

$b_l=a_1+a_2+a_3+\cdot \cdot \cdot +a_l$
$b_r=a_1+a_2+a_3+\cdot \cdot \cdot +a_r$
$b_{r+1}=a_1+a_2+a_3+\cdot \cdot \cdot +a_{r+1}$
我们想求$[l,r]$的区间之和，即$a_l+a_{l+1}+\cdot \cdot \cdot +a_r$，我们可以用$b_{r+1}-b_l$来求（直接相减就可以得出）。
具体代码如下：

二维前缀和

$b_{x_2{y}_2}=\sum _{i=1}^{x_2}\sum _{j=1}^{y_2}{a}_{ij}$

$b_{x_1{x}_2}=\sum _{i=1}^{x_1}\sum _{j=1}^{y_1}{a}_{ij}$
$b_{x_2{y}_1-1}=\sum _{i=1}^{x_2}\sum _{j=1}^{y_1-1}{a}_{ij}$
$b_{x_1-1y_2}=\sum _{i=1}^{x_1-1}\sum _{j=1}^{y_2}{a}_{ij}$
若想求$(x_1,y_1)$到$(x_2,y_2)$中区域的和，可用$b_{x_2{y}_2}-b_{x_1-1y_2}-b_{x_2{y}_1-1}+b_{x_1{y}_1}$来求。

具体代码如下：

1. 求前缀和的代码

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]+a[i][j];
    }
}

2. 求区间面积的代码

res=b[x2][y2]-b[x2][y1-1]-b[x1-1][y2]+b[x1-1][y1-1];

差分的应用

差分主要用于对某一区间同时进行加法的操作。

一维差分

有公式$a_l=b_l-b_{l-1}$，对$b_l$加$c$，则有$a_l+c,a_{l+1}+c,a_{l+2}+c,\cdot \cdot \cdot$
若想要对$[L,R]$中的元素加c，只需要对$b_l+c$，然后$b_{r+1}-c$，然后对$b$数组求前缀和就可以的出加$c$操作后的$a$数组

代码如下：

对差分数组进行插入操作

void insert(int l,int r,int c){
    b[l]+=c;
    b[r+1]-=c;
}

二维差分

二维差分的推理比较难写，大体就是先差分后求前缀和，这里直接给出代码：

在差分数组中进行插入操作

void insert(int x1,int y1,int x2,int y2,int 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++){
            a[i][j]=a[i-1][j]+a[i][j-1]-a[i-1][j-1]+b[i][j];
        }
    }

小结

这里有一个重点：我们对差分数组进行初始化的时候可以用插入操作直接完成
一维的有insert(l,l,c)
二维的有insert(x,y,x,y,c)