假设现在有长度为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]
二维前缀和:
Σ
i
=
1
n
Σ_{i=1}^n
Σi=1n
Σ
j
=
1
n
Σ_{j=1}^n
Σj=1n 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]
证毕