对一维差分的一些理解

差分

差分就是两个元素的差值
差分数组是一个数组中前后两个元素的差值构成的数组。
设原数组为a[ ]，差分数组为b[ ]
则b[0]=a[0]，b[i]=a[i]-a[i-1]
例:

   下标     ： 0  1  2  3  4  5
 原数组  a[]： 5  3  2  6  8  9
差分数组 b[]:  5 -2 -1  4  2  1

我们可以发现，通过求差分数组的前缀和就可以得到原数组

为什么要用差分

当对一个数组的某一部分+或－同一个数时，可以遍历，复杂度O(n)。但如果进行许多次这样的操作，就会TLE。
如果用差分就可以快速解决这个问题。
首先要知道，因为是对数组中的某一部分＋或－同一个数，所以不管加了多少，不管数有多大，这一部分相邻两个数的差值是不变的。
其次，因为对差分数组求前缀和可以得到原数组，所以在求前缀和的过程中，一旦差分数组某个数发生变化，影响的是这个数之后的所有数字，举例如下：

假设b[1]+1;
   下标     ： 0  1  2  3  4  5
新差分数组b[]: 5 -1 -1  4  2  1
求前缀和：
得到新数组a[]: 5  4  3  7  9  10
对比原数组a[]: 5  3  2  6  8  9

可以发现是从下标为1的数开始每个数都加了1。
如果我们想让下标1到下标3的数字加1改怎么办呢？
我们可以在差分数组中下标为4的地方－1，用来消除前面＋1的影响。就是下标为1的地方＋1导致了从1开始到最后所有的数都加了1，但我们想从4开始保持不变，那我们就在加了1的基础上减1，所以就是4的地方－1，举例如下：

假设b[1]+1  b[4]-1;
   下标     ： 0  1  2  3  4  5
新差分数组b[]: 5 -1 -1  4  1  1
求前缀和：
得到新数组a[]: 5  4  3  7  8  9
对比原数组a[]: 5  3  2  6  8  9

我们达到了目的。
所以，要想在某一段＋或－一个数（比如从i 到 j ＋x），就在 i 的地方+x，在j+1的地方－x就好。
这样操作就很快，不用遍历。
放一道洛谷上的例题：P2367 语文成绩
然后我的AC代码：

#include <bits/stdc++.h>
using namespace std;
int a[5000005],b[5000005];
int main()
{
    int n,p,x,y,z,mi;
    scanf("%d %d",&n,&p);
    for(int i=0;i<n;i++) scanf("%d",&a[i]);
    for(int i=1;i<n;i++) b[i]=a[i]-a[i-1];
    b[0]=a[0];
    for(int i=0;i<p;i++){
        scanf("%d %d %d",&x,&y,&z);
        b[x-1]+=z;
        if(y<=n) b[y]-=z;
    }
    a[0]=b[0];
    for(int i=1;i<n;i++) a[i]=b[i]+a[i-1];
    mi=a[0];
    for(int i=1;i<n;i++) mi=min(mi,a[i]);
    printf("%d\n",mi);
    return 0;
}