POJ 1201 Intervals

这道题也是很坑的- -！模拟队列不是RE就是TLE模拟栈才对。。
题目大意：有n个区间每个区间范围为a,b,在每个区间内任选c个数，是的最后的集合内没有重复元素的集合包含最少的元素。

思路：通过这道题才算是明白怎么玩构造差分约束系统，在区间a,b的话我们如果直接add(a,b,c)的话很明显，当a=b时，没法去区分从当前点到a，还是b的问题。然后我们再看约束条件：
1、明显条件dis[b+1]-dis[a]>=c；
2、隐蔽条件 dis[i+1]-dis[i]>=0 &&dis[i+1]-dis[i]<=1.(注意区间的范围应该是有上下界的)当==0的时候为dis[i+1]=dis[i]，为1的时候就是当期数和前边的一个数的距离。
（PS：用SPFA做差分约束的时候一定要栈模拟！）

#include<map>
#include<queue>
#include<cmath>
#include<iostream>
#include<cstdio>
#include<stack>
#include<cstring>
#include<algorithm>
#define inf 0x3f3f3f3f

using namespace std;

int cnt;
struct node{
    int to,w,next;
}q[51010*4];

bool vis[51010];
int head[51010*4],st,en,dis[51010],n,qu[51010*4];

void bu(int a,int b,int c){
    q[cnt].to=b;
    q[cnt].w=c;
    q[cnt].next=head[a];
    head[a]=cnt++;
}

void SPFA(){
    for(int i=st;i<=en;i++){
        dis[i]=-inf;
        vis[i]=false;
    }
    dis[st]=0;
    vis[st]=true;
    int f1;
    f1=0;
    qu[f1++]=st;
    while(f1>0){
        int u=qu[--f1];
        vis[u]=false;
        for(int i=head[u];~i;i=q[i].next){
            int v=q[i].to;
            if(dis[v]<dis[u]+q[i].w){
                dis[v]=dis[u]+q[i].w;
                if(!vis[v]){
                    vis[v]=true;
                    qu[f1++]=v;
                }
            }
        }
    }
}
int main(){
    int m,i,j,k,nu;
    while(~scanf("%d",&nu)){
        memset(head,-1,sizeof(head));
        en=-1,cnt=0;
        st=inf;
        for(i=0;i<nu;++i){
            scanf("%d%d%d",&n,&m,&k);
            st=min(st,n);
            en=max(en,m+1);
            bu(n,m+1,k);
        }

        for(i=st;i<en;++i){
            bu(i,i+1,0);
            bu(i+1,i,-1);
        }
        SPFA();
        int ans=0;
        //for(i=st;i<=en;i++)
            //if(dis[i]<inf)
             //   ans+=dis[i];
        printf("%d\n",dis[en]);
    }
    return 0;
}