前缀与差分算法

假设现在有长度为n的a数组，每个数为a1 a2 a3 a4 a5…an
前缀和数组用pre_sum表示长度同样为n
现有如下定理：
定理一： pre_sum[i] = pre_sum[i-1] + a[i]
证明：
pre_sum[1] = a[1]
pre_sum[2] = pre_sum[1] + a[2] = a[1] + a[2]
pre_sum[3] = pre_sum[2] + a[3] = a[1] + a[2] + a[3]
…
pre_sum[n+1] =pre_sum[n] + a[n+1] = a[1]+a[2]+a[3] …+a[n]+a[n+1]

定理二：a[i] = pre_sum[i] - pre_sum[i-1]
证明：
pre_sum[i] = a[1] + a[2]+a[3]+a[4]…+a[i]
pre_sum[i-1] = a[1]+a[2]+a[3]+a[4]…+a[i-1]
pre_sum[i] - pre_sum[i-1] = (a[1] + a[2]+a[3]+a[4]…+a[i] ) - (a[1]+a[2]+a[3]+a[4]…+a[i-1]) = a[i]

二维前缀和：
${\Sigma }_{i=1}^n$${\Sigma }_{j=1}^n$ pre_sum[i][j] = pre_sum[i-1][j]+pre_sum[i][j-1] - pre_sum[i-1][j-1] + a[i][j]
根据长为n，宽为m的矩形，求其范围的内数据的和的公式如下：
NandM_sum[i][j] = pre_sum[i][j] - pre_sum[i-m][j] - pre_sum[i][j-n] + pre_sum[i-m][j-n]

根据画图很容易证明如上公式

差分定理：
设长度为n的数组a,a1,a2,a3,a4,a5,a6,a7…an
长度为n的数组b为差分序列
由 {a[1],a[2]-a[1]…a[n] - a[n-1]}组成的序列为差分序列

定理1：a[i] = b[1]+…b[i]
证明：
b[1] = a[1]
b[2] = a[2] - a[1]
b[3] = a[3] - a[2]
…
b[i] = a[i] - a[i-1]
b[1]+b[2]+b[3] + …b[i] = a[1]+a[2]-a[1]+a[3]-a[2]…+a[i]-a[i-1] = a[i]
证毕

定理2：b[1]+d ，b[i]-d，所对应的区间和的a[i]的值不变
证明：
b[1]+d+b[2]+b[3] + …b[i]-d = a[1]+d+a[2]-a[1]+a[3]-a[2]…+a[i]-a[i-1]-d = a[i]
证毕