码迷,mamicode.com
首页 > 其他好文 > 详细

POJ 1201 Intervals(差分约束)

时间:2017-01-23 22:57:24      阅读:209      评论:0      收藏:0      [点我收藏+]

标签:个数   std   题解   can   span   tar   names   min   基础   

 

【题目链接】 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(差分约束)

标签:个数   std   题解   can   span   tar   names   min   基础   

原文地址:http://www.cnblogs.com/forever97/p/poj1201.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!