poj1201 Intervals 差分约束

题目大意：

有一个序列，题目用n个整数组合 [ai，bi，ci]来描述它，[ai，bi，ci]表示在该序列中处于[ai，bi]这个区间的整数至少有ci个。如果存在这样的序列，请求出满足题目要求的最短的序列长度是多少。

思路：

设s[i]为从1~i的整数个数。

这样对于区间[ a , b]显然有 S[b+1] - S[a] >=c[i] （为什么是b+1?因为闭区间b也要选上呀）

然后还有

0<= S[B+1]-S[B] <=1 （整数的话最多比前一个大一，好吧，我大二- -|||我不二啊！！）

变形得：

S[B+1]-S[B] >=0

S[B]-S[B+1]>=-1

然后图就可以建立出来啦~~~~

#include<iostream>
#include<cstdio>
#include<algorithm>
#include<cstring>
#include<queue>
using namespace std;
#define maxn 50005
int head[maxn];
struct edge{
    int next,to,w;
}e[maxn*3];
int n,m,cnt,ans,l=0x7ffff,r;
int dis[maxn],cn[maxn];
bool vis[maxn];
void insert(int u,int v,int k){
    cnt++;
    e[cnt].next=head[u];e[cnt].to=v;e[cnt].w=k;
    head[u]=cnt;
}
void spfa(){
    queue<int> q;
    memset(dis,-1,sizeof dis);
    for(int i=l;i<=r;i++){
        vis[i]=1;
        dis[i]=0;
        q.push(i);
    }
    while(!q.empty()){
        int now=q.front();
        vis[now]=0;q.pop();
        for(int i=head[now];i;i=e[i].next){
            int s=e[i].to;
            if(dis[s]<dis[now]+e[i].w)
            {    
                dis[s]=dis[now]+e[i].w;
                if(!vis[s]){
                    vis[s]=1;
                    q.push(s);
                }
            }
        }
    }
}
int main(){
    while(~scanf("%d",&n))
    {
        int a,b,c;
        for(int i=1;i<=n;i++){
        scanf("%d%d%d",&a,&b,&c);
        insert(a,b+1,c);
        l=min(l,a);
        r=max(r,b+1);
        }
        for(int i=l;i<=r;i++){
            insert(i,i+1,0);
            insert(i+1,i,-1);
        }
        spfa();
        printf("%d",dis[r]);
    }
}