前缀和的逆操作——差分 思路

一维差分

问题背景

给定序列$a$：$a_1、a_2、a_3....、a_n$
求一个序列$b$，使得$a$序列是$b$序列的前缀和，对序列$b$求前缀和，即为$a$

应用

在序列$a$中，给区间$[l,r]$上的数全都加上常数$C$

• 直接对序列$a$本身操作，需要$O(n)$的时间
• 转化为对序列$b$的操作，只需要$O(1)$的时间

因为从$a_l$到$a_r$是在$a_{l-1}$基础上加了$b_l、b_{l+1}、b_{l+2}...b_r$
$a_l$到$a_r$之间的每个数$a_i$都在$a_{l-1}$基础上加了$b_l、b_{l+1}、b_{l+2}...b_i$
即$a_r=a_{l-1}+b_l+b_{l+1}+b_{l+2}+...+b_i$$(l\le i\le r)$
所以想要在区间$[l,r]$上，使得$a[i]=a[i]+C$,可以使$b[l]=b[l]+C$
因为在区间$[l,r]$上，$a[i]$的计算都会涉及到$b[l]$,也避免了对区间前面的值产生影响
而为了避免对区间后面的值产生影响，要使得$b[r+1]=b[r+1]-C$，从而抵消前面的$+C$
综合：

给序列$a$区间$[l,r]$中的每个数加上$c$：$B[l]+=c$, $B[r+1]-=c$

最后，再由$b$序列反过来得到操作完之后的序列$a$，即反推出前缀和数组。

$b$序列的初始化

$b$序列的初始化可以看成：

• $b$数组初始时是全零的序列
• 序列$a$也是全零的序列，从左到右，每给$a[i]$一个值，那么就相当于在序列$a$的区间$[i,i]$上加了常数$a[i]$，转化为对序列$b$的操作，就是$b[i]+=a[i]$,$b[i+1]-=a[i]$

---

二维差分

整体类比一维

问题背景

给定矩阵$a$
要求一个矩阵$b$，使得矩阵$a$的每个元素是矩阵$b$相应的前缀和

应用

在矩阵a中，要使$[x1][y1]$~$[x2][y2]$范围内的元素都加$c$

• 直接操作矩阵$a$，时间复杂度为$O（n\ast m）$
• 转化为对矩阵$b$的操作，时间复杂度为$O（1）$

给以$(x1,y1)$为左上角，$(x2,y2)$为右下角的子矩阵中的所有元素加上c：
$b[x1,y1]+=c$, $b[x2+1,y1]-=c$, $b[x1,y2+1]-=c$, $b[x2+1,y2+1]+=c$

$b$矩阵的初始化

$b$矩阵的初始化可以看成：

• $b$数组初始时是全零的序列
• 矩阵$a$也是全零的序列，从左到右，从上到下，每给$a[i][j]$一个值，那么就相当于在矩阵$a$的子矩阵$a[i][j]$到$a[i][j]$之间都加上了$a[i][j]$,转化为对$b$矩阵的插入操作。