算法扫盲#差分#实现数组区间内的每个元素加n

算法扫盲#差分

今天讲讲差分

简单来说：给定区间[l ,r ]，让我们把a数组中的[ l, r]区间中的每一个数都加上c,暴力做法是for循环l到r区间，时间复杂度O(n)，时间复杂度太大了，如果我们需要对原数组执行m次这样的操作，时间复杂度就会变成O(n*m)。

有没有更高效的做法吗? 考虑差分做法。

了解差分

差分可以看做 前缀和 的逆运算

原数组：a

差分数组：b

前缀和：数组a中的每一个a[i]都是数组b从头开始的一段区间的和，a就是b的前缀和数组

反之，b就是a的差分数组

了解之后来构建一下差分数组

最为直接的方法

如下：

a[0 ]= 0;

b[1] = a[1] - a[0];

b[2] = a[2] - a[1];

b[3] =a [3] - a[2];

........

b[n] = a[n] - a[n-1];

然后我们得到a的差分数组b，就可以通过前缀和运算得到a数组

然后说一下利用差分数组完成给区间[ l, r]中的每一个数都加上c的核心思想：

1. a[l]到a[n]都加c
2. a[r+1]到a[n]都减c

这样我们就实现了一个区间内加c，来看看差分如何在时间复杂度O(1)下完成的

算法核心代码

a差分得到b数组后

b[l]+c
b[r+1]-c

讲解：

第一步，让差分b数组中的 b[l] + c

看回差分数组和原数组的关系如下：

a[0 ]= 0;

b[1] = a[1] - a[0];

b[2] = a[2] - a[1];

b[3] =a [3] - a[2];

........

b[n] = a[n] - a[n-1];

b[l]+c会导致如果后面的数组元素想要保持不变，那么他们的被减数都必须+c

例如b[1]+c，那么a[1]需要加c，a[1]加c了，b[2]想保持原来的值，那么a[2]也需要加c，以此类推知道a[n]都加了c

所以第一步就实现了[l,n]的区间加c，但是我们的目标是[l,r]区间加c

第二步，b[r+1]-c，这样就实现了r后面的区间恢复原来的值，达到了我们的目标

最后我们使用前缀和，就能计算出a数组

总结

差分算法主要是能够大幅度缩减时间复杂度，利用了a和b之间差分数组和原数组会互相影响的特性