poj 2983Is the Information Reliable?

输入的边有两种格式：

      1. 边长确定，即xi - xj = b; 可以转化成 xi - xj <= b（xj>= xi +（-b）） 和 xi - xj >=b （即 xj - xi <= -b）.

      2. 边长不定，xi - xj >= 1; 可以转化成 xj - xi <= -1;

分析：差分约束

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

using namespace std;

struct Edge
{
    int s,e;
    int val;
}edge[200010];

int pe;
int N,M;
int dis[1010];

bool bellman_ford()
{
    bool sign;

    for(int j=0;j<N;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",&N,&M) != EOF)
    {
        memset(dis,0,sizeof(dis));//虚拟出一个x0，xi-x0<=0
        pe=0;

        char op;
        int a,b,x;

        for(int i=0;i<M;i++)
        {
            getchar();
            scanf("%c",&op);
            if(op=='P')
            {
                scanf("%d%d%d",&a,&b,&x);
                edge[pe].s=a;
                edge[pe].e=b;
                edge[pe].val=-x;
                pe++;
                edge[pe].s=b;
                edge[pe].e=a;
                edge[pe].val=x;
                pe++;
            }
            else
            {
                scanf("%d%d",&a,&b);
                edge[pe].s=a;
                edge[pe].e=b;
                edge[pe++].val=-1;
            }
        }

        if(bellman_ford())
            puts("Reliable");
        else
            puts("Unreliable");
    }
    return 0;
}