poj 3169 Layout

题意：

n头牛编号为1到n，按照编号的顺序排成一列，每两头牛的之间的距离 >= 0。这些牛的距离存在着一些约束关系：1.有ml组（u, v, w）的约束关系，表示牛[u]和牛[v]之间的距离必须 <= w。2.有md组（u, v, w）的约束关系，表示牛[u]和牛[v]之间的距离必须 >= w。问如果这n头无法排成队伍，则输出-1，如果牛[1]和牛[n]的距离可以无限远，则输出-2，否则则输出牛[1]和牛[n]之间的最大距离。

分析：

三个式子：

1、s[i+1]-s[i]>=0  ==>  s[i]-s[i+1]<=0

2、ML 时：s[end]-s[st]<=x

3、MD 时: s[end]-s[st]>=x ==> s[st]-s[end]<=-x

#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>

using namespace std;

#define inf 100000000
struct Edge
{
    int s,e;
    int val;
}edge[25000];

int pe;
int N,ML,MD;
int dis[1100];

bool bellman_ford()
{
    bool sign;

    for(int j=0;j<N+1;j++)
    {
        sign=false;
        for(int i=0;i<pe;i++)
            if(dis[edge[i].e] > dis[edge[i].s] + edge[i].val)
            {
                dis[edge[i].e] = dis[edge[i].s] + edge[i].val;
                sign=true;
            }
        if(!sign)
            break;
    }
    if(sign)
        return false;//存在负环
    else
        return true;
}

int main()
{
    while(scanf("%d%d%d",&N,&ML,&MD) !=EOF)
    {
        for(int i=0;i<1100;i++)
            dis[i]=inf;
        dis[0]=0;
        dis[1]=0;
        pe=0;

        int a,b,x;
        for(int i=1;i<=N-1;i++)
        {
            edge[pe].s=i+1;
            edge[pe].e=i;
            edge[pe++].val=0;
        }
        for(int i=0;i<ML;i++)
        {
            scanf("%d%d%d",&a,&b,&x);
            edge[pe].s=a;
            edge[pe].e=b;
            edge[pe++].val=x;
        }
        for(int i=0;i<MD;i++)
        {
            scanf("%d%d%d",&a,&b,&x);
            edge[pe].s=b;
            edge[pe].e=a;
            edge[pe++].val=-x;
        }
    
        if(bellman_ford() && dis[N] != inf)
            printf("%d\n",dis[N]);
        else if(dis[N] == inf)
            puts("-2");
        else
            puts("-1");
    }
    return 0;
}