差分与差分矩阵

差分

差分，实际上可以理解为前缀和的逆运算，前缀和是通过一个原数组求出来b[i] = a[1~i]的和, 差分则是通过一个前缀和数组 得到原数组的操作(我是这么理解的)
即原数组 a[N] ,通过a[N] 构造一个b[N] 是的a[i] = b[1] + b[2] +…+b[i] ;
构造方式：
b1 = a1
b2 = a2 - a1
b3 = a3 - a2
…
b[n]= an - a[n-1]
此时b称为a的差分，a称为b的前缀和

差分实际上是在a[N] 的 L ~ R 区间上都加上C，其他位置不变，这样我们就可以构造一个差分数组b[N] ，通过m次的操作，得到一个最终的差分数组b[N]，然后再对差分数组b[N] 求前缀和就得到了最后题目要求的数组。

如果想使a[] 的 L ~ R区间全部加上C ，那么就应该在b[L] 的位置 加上C ，也就是说当b[L] 的位置加上C以后，b[1] ~ b[L-1] 的前缀和并不会发生改变，而b[L]及其之后的前缀和都会多C，为了保证在R之后没有多C，就可以在b[R +1] 的位置上再减去一个C，就可以得到一个只在L~R区间上加C的前缀和。
如图所示：

如图，我们可以看到，在L处加上C，a[] 的1~L 区间上前缀和并未改变，在R处减去C，R_{N区间上前缀和也未发生改变，只有L}R区间上的前缀和发生了改变。
这样我们就可以通过O(1) 时间复杂度的操作改变L~R区间的前缀和了。
由于刚开始啊a，b全都是0，b显然是a的差分数组，因为b满足a[i] = b[1] + b[2] + … +b[i] = 0
现在a不是0了，因为a[1]加上了某个数，我们要想让b仍然是a的差分数组，那么就要进行相应的改变
怎么变？就是insert(1,1,c) (核心公式，在下面会有)，c是什么？就看a[1]加上了什么。刚开始a[1]是0，后来变成了某个数,即a[1]
所以c就是a[1]，于是我们进行了insert(1,1,a[1])操作，以维持a，b间的关系。
同理，当a[2],a[3]…a[n]依次改变，我们依次进行相应的操作
核心公式就是：

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

通过这个核心公式 ，我们就可以将本该通过循环O(n)完成的事情变成了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

#include <iostream>
#include <algorithm>

using namespace std;

const int N = 100010;
int n,m;
int a[N] , b[N];

void insert(int l,int r,int c)
{
   //核心公式
    b[l] += c;
    b[r + 1] -= c;
}
int main()
{
   
    
    cin >> n >> m;
    for(int i =