Wek8 区间选点（差分约束）

问题描述：

给定一个数轴上的 n 个区间，要求在数轴上选取最少的点使得第 i 个区间 [ai, bi] 里至少有 ci 个点
!!使用差分约束系统的解法解决这道题

解题思路：

问题在于怎么将限制条件转换为差分约束，只要能构造差分约束，就可以用图论算法求解。构造不等式：记sum[i]为[-1,i]之间选点的个数，sum[-1,-1]=0，对于第i个区间[ai,bi]要满足sum[bi]-sum[ai-1]≥ci，需要保证0≤sum[i]-sum[i-1]≤1，相当于为n个顶点额外插入2*n条边。这道题WA了很多次，主要在于没有将这个条件sum[i]-sum[i-1]≤1转化为sum[i-1]-sum[i]≥-1插入，这样，转化为了≥不等式就可以用SPFA算法跑最长路求解了。为了处理0，所有点都往后平移一个单位

Input:
输入第一行一个整数 n 表示区间的个数，接下来的 n 行，每一行两个用空格隔开的整数 a，b 表示区间的左右端点。1 <= n <= 50000， 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

实验代码：

#include<iostream>
#include<queue>
#include<cstdio>
using namespace std;
int head[50010];
int maxn;
int ecnt;
struct Edge		
{
	int b;		 
	int c;		 
	int next;	
};
Edge edge[200000];		
int dis[50010];
bool exist[50010];
void initial()
{
	ecnt=0;
	maxn=0;
	for(int i=0;i<50010;i++)
		head[i]=-1;			
}
void insert_Edge(int a,int b,int c)		
{
	edge[ecnt].b=b;
	edge[ecnt].c=c;
	edge[ecnt].next=head[a-1];
	head[a-1]=ecnt; 
	ecnt++;
	if(b>maxn)
		maxn=b;			
	int d=c-1;
	int b1=b-1;
}
void init()			
{
	for(int i=1;i<=maxn;i++)
	{
		insert_Edge(i,i,0);			
	}
	for(int i=0;i<=maxn-1;i++)
	{
		insert_Edge(i+2,i,-1);		
	}
} 
queue<int> q;
void SPFA()			
{ 
	for(int i=0;i<=maxn;i++)
		dis[i]=0,exist[i]=0;
	dis[0]=0;	
	q.push(0);
	exist[0]=1; 
	while(q.size()) 
	{
		int x=q.front();
		q.pop();
	 	exist[x]=0;
		for(int i=head[x];i!=-1;i=edge[i].next)
		{
			int y=edge[i].b;
			if(dis[y]<(dis[x]+edge[i].c))		
			{
				dis[y]=dis[x]+edge[i].c;
			}
			if(!exist[y])	
			{
				q.push(y);
				exist[y]=1;
			}
		} 
	}
	printf("%d\n",dis[maxn]);
} 
int main(void)
{
	int n;
	int a,b,c;
	
	scanf("%d",&n);
	initial();
	for(int i=0;i<n;i++)
	{
		scanf("%d%d%d",&a,&b,&c);
		insert_Edge(a+1,b+1,c);
	}
	init();			
	SPFA(); 
	return 0;
}