差分数组：定义及推论

定义及推论

对于数组arr,定义辅助批量操作数组diff[i] = arr[i] - arr[i-1],可得以下推论：
1.arr[i] = diff[0]+ … + diff[i] (也就是差分数组diff 前i个的和)
2.当对left 开始，right 结束，对arr 进行加减 n（批量操作）,差分数组的变化为：diff[left] += n ; 当right+1 < diff.length (差分组最大长度)时，有 diff[right+1] -= n ;

作用

使用差分数组进行辅助，计算频繁操作后的数组数据结果（空间换时间）

应用

预订单之类频繁操作后得出结果的情况，可参考力扣题库：https://leetcode-cn.com/problems/corporate-flight-bookings/submissions/

注意

操作后实时显示结果的不适合使用差分数组；

推论过程

推论1过程

根据定义有：
f(0) = d(0) - 0 = d(0); 【默认d(0)为0】
f(1) = d(1) - d(0);
f(2) = d(2) - d(1);

则：d(1) = f(1) + d(0) = f(1) + f(0);
d(2) = f(2) + d(1) = f(2) + f(1) + f(0);

类比推理可得,d(i)值为差分组的前i项和，即：d(i) = f(0) + … + f(i)；

推论2过程

从第left个开始，到right个结束，数组d全部增加 n (n正数负数都可以)，则此时差分数组f：

第left个值为：f(left) = (d(left) +n) -d(left-1) = d(left) -d(left-1) +n = f(left)（增加n之前的值）+ n ;

处于left 和 right 之间的值: f(i) = (d(i) + n) - (d(i-1) + n) = d(i) -d(i-1) = f(i) （增加n之前的值）;

第right个值为：f(right) = d(right) - (d(left-1) + n) = d(left) -d(left-1) -n = f(right)（增加n之前的值）- n ;

当right 大于数组最后的值：f(i) = (d(i) + n) - (d(i-1) + n) = d(i) -d(i-1) = f(i) （增加n之前的值）;