poj1201Intervals（差分约束）

http://poj.org/problem?id=1201

设si[i+1]表示有不超过i的Z集合里面的数的个数，可以列出不等式si[b+1]-si[a]>=ci

另有隐含条件 si[i+1]-s[i]>=0 si[i]-s[i+1]>=-1 利用spfa求出最长路

#include <iostream>
#include<cstdio>
#include<cstring>
#include<stdlib.h>
#include<queue>
using namespace std;
#define IN 50010
#define INF 0x3f3f3f
struct node
{
    int u,v,w,next;
}men[IN*4];
int t,first[IN],n,dis[IN],vis[IN];
void init()
{
    t = 0;
    memset(first,-1,sizeof(first));
}
void add(int u,int v,int w)
{
    men[t].u = u;
    men[t].v = v;
    men[t].w = w;
    men[t].next = first[u];
    first[u] = t;
    t++;
}
void spfa(int st)
{
    int i;
    for(i = 0; i <= n ; i++)
        dis[i] = -INF;
    queue<int>q;
    q.push(st);
    memset(vis,0,sizeof(vis));
    vis[st] = 1;
    dis[st] = 0;
    while(!q.empty())
    {
        int u = q.front();
        vis[u] = 0;
        q.pop();
        for(i = first[u];i!=-1 ; i = men[i].next)
        {
            int v = men[i].v;
            int w = men[i].w;
            if(dis[v]<dis[u]+w)
            {
                dis[v] = dis[u]+w;
                if(!vis[v])
                {
                    vis[v] = 1;
                    q.push(v);
                }
            }
        }
    }
}
int main()
{
    int i,a,b,c,ma=-1,mi = IN;
    while(cin>>n)
    {
        init();
        for(i = 1; i <= n ; i++)
        {
            cin>>a>>b>>c;
            add(a,b+1,c);
            if(b+1>ma)
            ma = b+1;
            if(a<mi)
            mi = a;
        }
        for(i = mi ; i <= ma ; i++)
        {
            add(i,i+1,0);
            add(i+1,i,-1);
        }
        spfa(mi);
        cout<<dis[ma]<<endl;
    }
    return 0;
}