1201Intervals——poj

才学了差分约束  
来给自己加深印象了。。。

差分约束  找出尽量多的不等式关系（所谓 约束、、）
尽量限制结果在指定范围中

不等式形式 为 一边2个项  一边一个项  便于建图
图中的点不一定是本来实际意义的那个点  
可能是不等式中特殊意义的代表的点


如果是a-b<=c   则加边  b，a，c  跑spfa最短路  有负环  有无数解
如果 a-b>=c 则加边  b，a，c  跑spfa 最长路   有正环  有无数解

开边要开3倍范围

#include<iostream>
#include<cstdio>
#include<queue>
#include<algorithm>
#include<cstring>
using namespace std;
queue<int>q;
int dis[50000+10],inq[50000+10],vis[50000+10];
int cs;
int n,maxn;
struct edge
{
	int u,v,w,next;
}e[3*50000+10];
int cnt;
int head[50000+10];
void adde(int u,int v,int w)
{
	e[++cnt].u=u;
	e[cnt].v=v;
	e[cnt].w=w;
	e[cnt].next=head[u];
	head[u]=cnt;
}
void readdata()
{
	scanf("%d",&n);
	int a,b,c;
	for(int i=1;i<=n;i++)
	{
		scanf("%d%d%d",&a,&b,&c);
		adde(a-1,b,c);
		maxn=max(maxn,max(a,b));
	}
	for(int i=1;i<=maxn;i++)
	{
		adde(i-1,i,0);
		adde(i,i-1,-1);
	}
}
void spfa()
{
	q.push(0);
	inq[0]=1;
	dis[0]=0;
	while(!q.empty())
	{
		cs=q.front();
		q.pop();		
		inq[cs]=0;
		for(int i=head[cs];e[i].u==cs;i=e[i].next)
		{
			if(i==0)
			break;
			int v=e[i].v;
			if(dis[cs]+e[i].w>dis[v])
			{
				vis[v]++;
				if(vis[v]>n)
				{
					printf("-1\n");
					exit(0);
				}
				dis[v]=dis[cs]+e[i].w;
				if(!inq[v])
				{
					inq[v]=1;
					q.push(v);
				}
			}
		}
	}
}
int main()
{
	memset(dis,-1*0x3f3f3f3f,sizeof(dis));
	readdata();
	spfa();
	printf("%d\n",dis[maxn]);
}