前缀和与差分学习笔记

前言：本来在刷 AC Saber
里边的区间合并，结果就见到了422.校门口外的树（题目链接在下边）这道题
说来也巧，这道题之前我是拿暴力枚举的，结果发现一些很神奇的东西（其实就是瞎想 ）
为了方便读者，我把题目贴过来：

题目：

某校大门外长度为L的马路上有一排树，每两棵相邻的树之间的间隔都是1米。

我们可以把马路看成一个数轴，马路的一端在数轴0的位置，另一端在L的位置；数轴上的每个整数点，即0，1，2，……，L，都种有一棵树。

由于马路上有一些区域要用来建地铁。

这些区域用它们在数轴上的起始点和终止点表示。

已知任一区域的起始点和终止点的坐标都是整数，区域之间可能有重合的部分。

现在要把这些区域中的树（包括区域端点处的两棵树）移走。

你的任务是计算将这些树都移走后，马路上还有多少棵树。

输入格式 输入文件的第一行有两个整数L和M，L代表马路的长度，M代表区域的数目，L和M之间用一个空格隔开。

接下来的M行每行包含两个不同的整数，用一个空格隔开，表示一个区域的起始点和终止点的坐标。

输出格式 输出文件包括一行，这一行只包含一个整数，表示马路上剩余的树的数目。

数据范围：

1≤L≤10000, 1≤M≤100

输入输出样例：

输入样例： 500 3
150 300
100 200
470 471

输出样例： 298

我们发现，如果能够用某些方法把区间的左右边界映射到数轴上
那么我们就能够在O(L)的复杂度内完成求解
具体思想参考树状数组的一道拓展应用题校门外的树（loj）
而简单点来说就是在一段区间左端点打一个标记，右端点也打一个标记，这样我们就可以划分出一个区间来
具体怎么操作？
对于区间[l,r]我们这样处理：

int pre[10001],l,r;
pre[l]--;pre[r+1]++;

然后用到了差分进行统计：

sum[i]=sum[i-1]+pre[i];

完整代码贴在这里，可以等下在仔细琢磨下：

#include<iostream>
using namespace std;
int L,n,pre[10001],sum[10001],l,r,ans=0;
int main(){
    cin>>L>>n;
    while(n--){
        cin>>l>>r;
        pre[l]--;pre[r+1]++;
    }
    for(int i=0;i<=L;i++){
        if(i) sum[i]=sum[i-1]+pre[i];
        else sum[i] = pre[i];
        if(sum[i]>=0) ans++;
    }
    cout<<ans;
    return 0;
}

我们先讲讲差分是什么
定义上，差分是前缀和的逆运算
对于一串数列a[]
求和的话前缀和这么写：

sum[i]=sum[i-1]+a[i];

我们反其道而行，如果知道了前缀和，那么对于第i个数我们也可以算出来：

a[i]=sum[i]-sum[i-1];

实际上就是移项
那有什么用呢
我们看一段实例：

#include<iostream>
using namespace std;
int pre[10001],sum[1001],n;
int main(){
	pre[1]--;pre[3]++;
	for(int i=0;i<=5;i++){
		if(i) sum[i]=sum[i-1]+pre[i];
        else sum[i] = pre[i];
		cout<<sum[i]<<" ";
	}//输出[0,5]区间里数的值
	return 0;
}

这是运行的结果：

0 -1 -1 0 0 0

我们用pre[l]替换里边的pre[1]，pre[r+1]替换里边的pre[3]，发现什么？
实际上-1就是我们修改的区间
那如果区间重叠会发生什么？：
这里是实例二：

#include<iostream>
using namespace std;
int pre[10001],sum[1001],n;
int main(){
	pre[1]--;pre[4]++;//区间[1,3]
	pre[2]--;pre[6]++;//区间[2,5]
	pre[7]--;pre[9]++;//区间[7,8]
	for(int i=0;i<=10;i++){
		if(i) sum[i]=sum[i-1]+pre[i];
        else sum[i] = pre[i];
		cout<<sum[i]<<" ";
	}
	return 0;
}

这是输出结果：

0 -1 -2 -2 -1 -1 0 -1 -1 0 0

如果我们把负数放一堆，0放一堆，我们就知道了 [1,5],[7,8] 这两个区间被修改过
如果左端点++，那么右端点相对应就要–，最后代码统计的就是<0的数的个数
那么回到上边代码，你明白了吗？
这里再给出题目列表，日后会继续补充：

• 借教室（洛谷）（二分+差分）
• 校门外的树（acwing）（差分/区间合并）

宣传一下洛谷博客:Mongo_w