POJ-2983-Is the Information Reliable?(差分约束)

题意：

给N个点，M条边。有些边的距离是精确的，有些边的距离是不精确的（>=1）

分析

对于 a-b==t的边

可以建边

a<=b+t  和 b<=a-t

对于a-b>=1的边

可以建边

b<=a-1

然后BellFord求最短路。若有负环则输出Unreliable。否则输出Reliable

// File Name: 2983.cpp
// Author: Zlbing
// Created Time: 2013年08月05日 星期一 10时25分59秒

#include<iostream>
#include<string>
#include<algorithm>
#include<cstdlib>
#include<cstdio>
#include<set>
#include<map>
#include<vector>
#include<cstring>
#include<stack>
#include<cmath>
#include<queue>
using namespace std;
#define CL(x,v); memset(x,v,sizeof(x));
#define INF 0x3f3f3f3f
#define LL long long
#define REP(i,r,n) for(int i=r;i<=n;i++)
#define RREP(i,n,r) for(int i=n;i>=r;i--)
#define MAXN 1005
struct Edge{
    int from,to;
    int dist;
};
struct BellmanFord{
    int n,m;
    vector<Edge>edges;
    vector<int>G[MAXN];
    bool inq[MAXN];
    int d[MAXN];
    int p[MAXN];
    int cnt[MAXN];
    void init(int n)
    {
        this->n=n;
        for(int i=0;i<n;i++)G[i].clear();
    }
    void AddEdge(int from,int to,int dist)
    {
        edges.push_back((Edge){from,to,dist});
        m=edges.size();
        G[from].push_back(m-1);
    }
    bool negativeCycle()
    {
        queue<int>Q;
        memset(inq,0,sizeof(inq));
        memset(cnt,0,sizeof(cnt));
        for(int i=0;i<n;i++)
        {
        d[i]=0;inq[0]=true;Q.push(i);
        }
        while(!Q.empty())
        {
            int u=Q.front();Q.pop();
            inq[u]=false;
            for(int i=0;i<G[u].size();i++)
            {
                Edge& e=edges[G[u][i]];
                if(d[e.to]>d[u]+e.dist)
                {
                    d[e.to]=d[u]+e.dist;
                    p[e.to]=G[u][i];
                    if(!inq[e.to])
                    {
                        Q.push(e.to);
                        inq[e.to]=true;
                        if(++cnt[e.to]>n)
                            return true;
                    }
                }
            }
        }
        return false;
    }
};
BellmanFord solver;
int main()
{
    int n,m;
    while(~scanf("%d%d",&n,&m))
    {
        char ch[20];
        int a,b,c;
        solver.init(n);
        REP(i,1,m){
            scanf("%s",ch);
            if(ch[0]=='P'){
                scanf("%d%d%d",&a,&b,&c);
                a--,b--;
                solver.AddEdge(b,a,c);
                solver.AddEdge(a,b,-c);
            }
            else if(ch[0]=='V'){
                scanf("%d%d",&a,&b);
                a--,b--;
                solver.AddEdge(a,b,-1);
            }
        }
        if(!solver.negativeCycle()){
            puts("Reliable");
        }
        else{
            puts("Unreliable");
        }
    }
    return 0;
}