POJ 1201 Intervals（差分约束）

【题目链接】 http://poj.org/problem?id=1201

【题目大意】

　　告诉你一个区间至少要选定的数字的个数，给出n个区间的需求
　　问最少选取几个数字可以满足所有的需求

【题解】

　　对于区间[a,b]建立不等式Sb+1-Sa>=c，最后要求最小化Smax，
　　结合基础条件Si+1-Si>=0,Si-Si+1>=-1，构造差分约束系统求最长路就是答案。

【代码】

#include <cstdio>
#include <algorithm>
#include <cstring>
using namespace std;
const int N=200010,inf=~0U>>2,M=200000;
int time
,q
,size,h,t,n,ed,dis
,in
,nxt
,w
,v
,g
,ma,mi,u,e,cost;
void add(int x,int y,int z){v[++ed]=y;w[ed]=z;nxt[ed]=g[x];g[x]=ed;}
int spfa(int S){
for(int i=0;i<=n;i++)dis[i]=-inf,in[i]=0,time[i]=0;
time[S]=1,dis[S]=0,in[S]=1;
int i,x,size; q[h=t=size=1]=S;
while(size){
for(i=g[x=q[h]],h=(h+1)%M,size--;i!=-1;i=nxt[i])if(dis[x]+w[i]>dis[v[i]]){
dis[v[i]]=dis[x]+w[i];
if(!in[v[i]]){
time[v[i]]++,t=(t+1)%M,size++,in[q[t]=v[i]]=1;
if(time[v[i]]>n)return -1;
}
}in[x]=0;
}if(dis
==-inf)return -2;
return dis
;
}
int main(){
while(~scanf("%d",&n)){
ed=0;memset(g,-1,sizeof(g));
ma=-inf; mi=inf;
for(int i=1;i<=n;i++){
scanf("%d%d%d",&u,&e,&cost);
add(u,e+1,cost);
ma=max(e+1,ma); mi=min(u,mi);
}for(int i=mi;i<ma;i++)add(i,i+1,0),add(i+1,i,-1);
n=ma; printf("%d\n",spfa(mi));
}return 0;
}