前缀和与差分的数学推导过程

前缀和

一维前缀和

令
$s[1]=a[1]$
$s[2]=a[1]+a[2]$
$s[3]=a[1]+a[2]+a[3]$

$$s[n]=\sum _{i=1}^{n}a[i]$$
那么

$$s[i]=s[i-1]+a[i]$$

那么 $a[l]$到$a[r]$的区间和

$$\sum _{i=l}^{r}a[i]=s[r]-s[l-1]$$

二维前缀和

令

$$s[i][j]=\sum _{x=1}^i\sum _{y=1}^{j}a[i][j]$$
那么

$$s[i][j]=s[i-1][j]+s[i][j-1]-s[i-1][j-1]+a[i][j](默认数组越界的s为0)$$
那么 $(x_1,y_1)到(x_2,y_2)的区间和$

$$\sum _{x=x_1}^{x_2}\sum _{y=y1}^{y_2}a[i][j]=s[x_2][y_2]-s[x_1-1][y_2]-s[x_2][y_1-1]+s[x_1-1][y_1-1]$$

差分

一维差分

令
$b[1]=a[1]$
$b[2]=a[2]-a[1]$
$b[3]=a[3]-a[2]$
$b[i]=a[i]-a[i-1]$

那么

$$a[i]=a[i-1]+b[i]$$

那么

$$\sum _{i=1}^{n}b[i]=a[n]$$

将 $a[l]$ 到 $a[r]$ 的区间加上 c
$a^{{}^{\prime }}[l]=a[l]+c$
$a^{{}^{\prime }}[l+1]=a[l+1]+c$
$a^{{}^{\prime }}[l+2]=a[l+2]+c$
$......$
$a^{{}^{\prime }}[r]=a[r]+c$

令
$b^{{}^{\prime }}[l]=a^{{}^{\prime }}[l]-a[l-1]$
$b^{{}^{\prime }}[l+1]=a^{{}^{\prime }}[l+1]-a^{{}^{\prime }}[l]$
$a^{{}^{\prime }}[l+2]=a^{{}^{\prime }}[l+2]-a^{{}^{\prime }}[l+1]$
$......$
$b^{{}^{\prime }}[r]=a^{{}^{\prime }}[r]-a^{{}^{\prime }}[r-1]$
$b^{{}^{\prime }}[r+1]=a[r+1]-a^{{}^{\prime }}[r-1]$

那么
$b^{{}^{\prime }}[l]=b[l]+d$
$b^{{}^{\prime }}[l+1]=b[l+1]$
$b^{{}^{\prime }}[l+2]=b[l+2]$
$......$
$b^{{}^{\prime }}[r]=b[r]$
$b^{{}^{\prime }}[r+1]=b[r+1]-d$

若将 $r$ 换成 $+\infty$，那么

$$b[l]+=c\Rightarrow \bigcap _{i=l}^{+\infty }(a[l]+=c)$$

因此

$$\bigcap _{i=l}^r(a[i]+=c)\Rightarrow \{\begin{array}{l}b[l]+=c\\ b[r+1]-=c\end{array}$$

二维差分

令

$$\sum _{x=1}^i\sum _{y=1}^{j}b[i][j]=a[i][j]$$

那么

$$a[i][j]=a[i-1][j]+a[i][j-1]-a[i-1][j-1]+b[i][j]$$

那么

$$b[i][j]+=c\Rightarrow \bigcap _{x=i}^{+\infty }\bigcap _{y=j}^{+\infty }(a[i][j]+=c)$$

$$a[i][j]+=c\Rightarrow \{\begin{array}{c}b[i][j]+=c\\ b[i][j+1]-=c\\ b[i+1][j]-=c\\ b[i+1][j+1]+=c\end{array}$$

$$\bigcap _{x=x_1}^{x_2}\bigcap _{y=y_1}^{y_2}(a[i][j]+=c)\Rightarrow \{\begin{array}{c}b[x_1][y_1]+=c\\ b[x_1][y_2+1]-=c\\ b[x_2+1][y_1]-=c\\ b[x_2+1][y_2+1]+=c\end{array}$$