区间选数（差分约束）

今天的限时训练中遇到了一道比较经典的题目，现在来跟大家分享一下：

给定n个闭区间[ai,bi](1≤i≤n,0≤ai≤bi≤50000) 和n个整数ci(1≤i≤n)
你需要在数轴上选出尽可能少的点，满足每个区间[ai,bi]中，至少有ci个数被选中了。
简单点：从0~50000中选出尽可能少的整数，使每个区间[ai,bi]内都有至少ci个数被选出。

Input

输入的第一行包含整数n（1 <= n <= 50000） -。 以下n行描述了间隔。 输入的第（i + 1）行包含由单个空格分开的三个整数a1，b1和c1，并且使得0 <= ai <=bi≤50000且1≤ci≤bi - ai + 1。

Output

输出最少被选出的元素

Sample Input

5
3 7 3
8 10 3
6 8 1
1 3 1
10 11 1

Sample Output

6

在做今天的测试赛之前我做过一道类似的题目，也是给的n段区间，只是拿到题目中要求的是每个区间至少选2个点，我是用贪心算法ac的，以至于看到这道题时第一想到的方法就是贪心，其实这道题目考的并不是贪心，而是差分约束。

我们先定义一个d[]数组，d[i]表示0~i区间中最少选的点数，这样原题目中的满足每个区间[ai,bi]中，至少有ci个数被选中了的条件就转化为了d[bi]-c[ai-1]>=ci，写到这我们就不难想到用差分约束去做这道题目了，只是这道题目的约束条件远远不止他给出的这些，还有一些隐含的约束条件，比如d[i]>=d[i-1]和d[i-1]>=d[i]-1这两个条件，这属实难以想到，这可能也是差分约束题目容易出错的原因吧！因为题目求的是满足约束条件的最小值，所以需要跑一个最长路，到这这道题目就分析完了，下面上代码：

#include<cstdio>
#include<cstring>
#include<algorithm>
#include<iostream>
#include<queue>
using namespace std;
const int N=200003;
int h[N],e[N],ne[N],idx,w[N];
int d[N];//d[i]表示前i-1个点最少选的点数,则区间i到j最少要添加的点的个数应为d[j]-d[i-1]
bool vis[N];
int n;
void add(int x,int y,int z)
{
	e[idx]=y;
	w[idx]=z;
	ne[idx]=h[x];
	h[x]=idx++;
}
void spfa()
{
	memset(d,-0x3f,sizeof d);
	d[0]=0;
	queue<int> q;
	q.push(0);
	while(q.size())
	{
		int begin=q.front();
		q.pop();
		vis[begin]=false;
		for(int i=h[begin];i!=-1;i=ne[i])
		{
			int j=e[i];
			if(d[j]<d[begin]+w[i])
			{
				d[j]=d[begin]+w[i];
				if(!vis[j])
				{
					vis[j]=true;
					q.push(j);
				} 
			}
		}
	}
}
int main()
{
	cin>>n;
	memset(h,-1,sizeof h);
	int a,b,c;
	for(int i=1;i<=n;i++)
	{
		scanf("%d%d%d",&a,&b,&c);
		add(a,b+1,c); //d[b]-d[a-1]>=c,因为涉及到0的问题，所以我们整体向右移动一位
	}
	for(int i=1;i<=50001;i++)
	{
		add(i-1,i,0);//d[i]>=d[i-1],保证了图的连通性，所以不用建立超级源点 
		add(i,i-1,-1);//d[i-1]>=d[i]-1
	}
	spfa();
	printf("%d",d[50001]);
	return 0;
}

差分约束题目的约束条件不容易想全，需要多加训练，如果大家有好的差分约束题的话，欢迎在评论区里面分享！