差分 前缀和的逆运算
假象一个数组 b b b 使得数组 a = f ( b ) a=f(b) a=f(b) ,假设数组 a a a 全 0 0 0 ,那么数组 b b b 也是全 0 0 0 可以通过修改操作构造数组 b b b ,数组 a a a 的初值看成是所有插入操作
一维差分
给定一个数组 a a a,构造一个差分数组 b b b ,使得 a [ i ] = b [ 1 ] + b [ 2 ] + . . . + b [ i ] a[i]=b[1]+b[2]+...+b[i] a[i]=b[1]+b[2]+...+b[i]
目的是给区间 L → R L\to R L→R 的一段加或减去一个值
核心操作
将 a [ L → R ] a[L\to R] a[L→R] 中的所有元素全部加上 C C C ,等价于让 b [ L ] + C , b [ R + 1 ] − C b[L]+C,b[R+1]-C b[L]+C,b[R+1]−C
此操作将对 a a a 数组 产生以下影响
- 对于 a [ 1 → L − 1 ] a[1\to L-1] a[1→L−1] 无影响
- 对于 a [ L → R ] a[L\to R] a[L→R] 加上了 C C C
- 对于 a [ R + 1 → n ] a[R+1\to n] a[R+1→n] 无影响
二维差分
给定一个数组 a i j a_{ij} aij ,给 a i j a_{ij} aij 中的一个子矩阵加上一个值
差分矩阵是 b i j b_{ij} bij
核心操作
- 当 b x 1 y 1 + C b_{x_1y_1}+C bx1y1+C 时,矩阵右下角的所有方格就全部加上了 C C C
![image-20210109162303091](https://raw.githubusercontent.com/QiuHong-1202/FigureBed/main/image-20210109162303091.png)
- 类比二维前缀和
$b[x_1][y_1]+c\$
$b[x_2+1][y_1]-c\$
$b[x_1][y_2+1]-c\$
b
[
x
2
+
1
]
[
y
2
+
1
]
+
c
b[x_2+1][y_2+1]+c
b[x2+1][y2+1]+c