AcWing 797. 差分

题目来源：AcWing 797. 差分

一、题目描述

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

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

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

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

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

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

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

数据范围
$1\le n,m\le 100000,$
$1\le l\le r\le n,$
$-1000\le c\le 1000,$
$-1000\le$ 整数序列中元素的值 $\le 1000$

输入样例：

6 3
1 2 2 1 2 1
1 3 1
3 5 1
1 6 1

输出样例：

3 4 5 3 4 2

二、算法思路

差分的定义

差分是前缀和的逆运算。

假设存在序列 $a_1,a_2,...,a_n$，现在需要我们构造一个序列 $b_1,b_2,...,b_n$，使得 $a_i=b_1+b_2+...+b_i$，即 $a[]$ 是 $b[]$ 的前缀和，则 $b[]$ 就称为 $a[]$ 的差分。

差分的作用

1. 只用 $O(n)$ 的时间复杂度，通过对 $b[]$ 求前缀和，可以得到差分数组的原数组 $a[]$
2. 只用 $O(1)$ 的时间完成操作：给定一个区间 $[l,r]$，给这个区间里面每一个元素都加上一个常量 $c$。

在 $a$ 序列 $[l,r]$ 区间都加上常量 $c$  $<=>$   $b_l+c,b_{r+1}-c$

换言之：如果需要对一个数组频繁地对其某一个区间加上或减去一个常量，我可以转换为构造该数组的差分，然后利用 $O(1)$ 的时间完成对差分数组的加减操作，最后通过对该差分数组求前缀和来获得经过频繁区间加减后的数组。

差分的构造

有一种非常简单的构造方式：我们可以假定序列 $a_1,a_2,...,a_n$ 每一个数都是 $0$（实际上不是 $0$），那么其差分序列 $b_1,b_2,...,b_n$ 也全部都是 $0$。然后把真正的 $a$ 序列看成在 $[1,1]$ 处插入常量 $a_1$，在 $[2,2]$ 处插入常量 $a_2$，以此类推。

三、代码

#include <iostream>
using namespace std;

const int N = 1e5 + 10;
int b[N], n, m;

void insert(int l, int r, int c)
{
    b[l] += c;
    b[r + 1] -= c;
}

int main()
{
    scanf("%d%d", &n, &m);
    
    // 依据序列a构造初始的差分序列b
    for (int i = 1; i <= n; i++)
    {
        int x;
        scanf("%d", &x);
        insert(i, i, x);
    }
    
    // 进行区间插入操作
    while (m--)
    {
        int l, r, c;
        scanf("%d%d%d", &l, &r, &c);
        insert(l, r, c);
    }
    
    // 对差分序列求前缀和得到a序列
    for (int i = 1; i <= n; i++)
    {
        b[i] += b[i - 1];
        printf("%d ", b[i]);
    }
    puts("");
    
    return 0;
}