首页 > 代码库 > POJ 1201 Intervals(差分约束)

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[N],q[N],size,h,t,n,ed,dis[N],in[N],nxt[N],w[N],v[N],g[N],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[n]==-inf)return -2;    return dis[n];}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;}

POJ 1201 Intervals(差分约束)