Acwing 797 差分

差分定义

 首先定义差分：前缀和的逆运算
 给定已知的数组$a_i$，求数组$b_i$。使得以下条件成立
$$b_i=a_i-a_{i-1}(i=1,2\dots ,n)$$
 同时这个条件等价于
$$a_i=b_1+b_2+\cdots +b_i$$
 此时我们称$数组b_i为数组a_i$的差分，$a_i为b_i$的前缀和

差分的应用

 假设我们有某种操作需要进行，这种操作给出一个连续区间$[L,R]$,接着我们需要对$a_L至a_R$的元素分别加上某个值c，如果不使用差分算法，那么这个操作的时间复杂度就是$O(N)$.如果使用差分算法，那么这些操作的时间夫再度将被简化到$O(1)$。

算法

 接下来我们探讨如何利用差分简化上述操作。
 如果要令$a_L{a}_R$的元素都加上c，那么我们只需让$b_L$加上c，$b_{R+1}$减去c即可，证明如下：
$$a_L=b_1+b_2+\cdots +b_L$$
$$B_L=b_L+c$$
$$A_L=b_1+b_2+\cdots +B_L$$
$$A_L=a_L+c$$
即当$b_L$加上了c，对于任意的$i(i>L)$,$a_i$均加上了c，但由于我们指定了区间$[L,R]$，所以需要$b_{R+1}$减去c，使得$a_j(j>R)$的值恢复原状。

 现在我们若想更新$a_L至a_R$的值，只需要修改$b_L与b_{R+1}$的值，时间复杂度变成了$O(1)$

代码

输入一个长度为 n 的整数序列。

接下来输入 m 个操作，每个操作包含三个整数 l,r,c，表示将序列中 [l,r] 之间的每个数加上 c。

请你输出进行完所有操作后的序列。

输入格式
第一行包含两个整数 n 和 m。

第二行包含 n 个整数，表示整数序列。

接下来 m 行，每行包含三个整数 l，r，c，表示一个操作。

输出格式
共一行，包含 n 个整数，表示最终序列。

数据范围
1≤n,m≤100000,
1≤l≤r≤n,
−1000≤c≤1000,
−1000≤整数序列中元素的值≤1000
输入样例：
6 3
1 2 2 1 2 1
1 3 1
3 5 1
1 6 1
输出样例：
3 4 5 3 4 2

//差分 时间复杂度 o(m)
#include<iostream>
using namespace std;
const int N = 1e5 + 10;
int a[N], b[N];
int main()
{
    int n, m;
    scanf("%d%d", &n, &m);
    for (int i = 1; i <= n; i++)
    {
        scanf("%d", &a[i]);
        b[i] = a[i] - a[i - 1];      //构建差分数组
    }
    int l, r, c;
    while (m--)
    {
        scanf("%d%d%d", &l, &r, &c);
        b[l] += c;     //将序列中[l, r]之间的每个数都加上c
        b[r + 1] -= c;
    }
    for (int i = 1; i <= n; i++)
    {
        a[i] = b[i] + a[i - 1];    //前缀和运算
        printf("%d ", a[i]);
    }
    return 0;
}