ZOJ 1508 poj 1201 Intervals 差分约束系统

比较巧妙的是令s[i]为集合Z中小于等于i的元素个数。
则得到不等式组s[ai-1] - s[bi] <= -ci;
还有隐含条件s[i] - s[i-1] <=1 && s[i]-s[i-1] >= 0

用Bellman写感觉还不错，清晰明了。抄书上的思路的。

贴代码：

#include <cstdio>
#include <cstring>
#define MAXN 50005
int n,min,max;
struct Arc
{
    int u,v,w;
} edge[MAXN];
int dist[MAXN];
int Bellman()
{
    bool f = true;
    int i,t;
    memset(dist,0,sizeof(dist));
    while(f)
    {
        f = false;
        for(i=0; i<n; i++)
        {
            t = dist[edge[i].u]+edge[i].w;
            if(dist[edge[i].v] > t)
            {
                dist[edge[i].v] = t;
                f = true;
            }
        }
        for(i=min; i <= max; i++)
        {
            t = dist[i-1] + 1;
            if(dist[i] > t)
            {
                dist[i] = t;
                f = true;
            }
        }
        for(i = max; i>= min; i--)
        {
            t = dist[i];
            if(dist[i-1] > dist[i])
            {
                dist[i-1] = t;
                f= true;
            }
        }
    }
    return  -dist[min-1];
}
int main()
{
//    freopen("in.cpp","r",stdin);
    while(~scanf("%d",&n))
    {
        max = -1;
        min = 100000;
        for(int i=0; i<n; i++)
        {
            int u,v,w;
            scanf("%d%d%d",&u,&v,&w);
            if(v > max) max = v;
            if(u < min) min = u;
            edge[i].u = v;
            edge[i].v = u-1;
            edge[i].w = -w;
        }
        printf("%d\n",Bellman());
    }
    return 0;
}