poj2983-Is the Information Reliable?(差分约束判正环)

题意：上有n个点，给出m条信息，若为P则表示点A在点B的北方X米，若为V则表示A在B的北方。判断给出的信息是否合法

思路：对于不等式建立边的条件， P: a-b=x --> a-b>=x   &  ( a-b<=x       --->b-a>=-x   )      v ;  a-b>=1

#include <iostream>
#include <stdlib.h>
#include <string.h>
#include <stdio.h>
#include <queue>
#include <vector>
#include <cmath>
#include <stack>

using namespace std;
const int maxn=10005;
typedef long long ll;
vector<pair<int ,ll > > vec[maxn];
int vis[maxn];
int info[maxn];
ll dis[maxn];
const ll inf=0x3f3f3f3f3f3f3f3f;
int n,m;

int spfa(int st)
{

    memset(info,0,sizeof(info));
    memset(vis,0,sizeof(vis));
    for(int i=0;i<=n;i++)
    {
        vis[i]=0,dis[i]=-inf,info[i]=0;
    }
    vis[st]=1,dis[st]=0,info[st]=1;
    deque<int>q;
    q.push_front(st);
    int u;
    while(!q.empty())
    {
        u=q.front();
        q.pop_front();
        vis[u]=0;
        for(int i=0; i<vec[u].size(); i++)
        {

            int v=vec[u][i].first;
            ll w=vec[u][i].second;
            if( dis[v] < w+dis[u] )
            {
                dis[v]=w+dis[u];
                if(!vis[v])
                {
                    info[v]++;
                    vis[v]=1;
                    if(!q.empty()&&dis[v]<dis[q.front()])
                        q.push_back(v);
                    else
                        q.push_front(v);
                    if(info[v]>n)
                    {
                        return 0;
                    }
                }
            }
        }
    }
    return 1;
}

int main()
{
    while(~scanf("%d%d",&n,&m) )
    {
    for(int i=0; i<=maxn; i++)
        vec[i].clear();
    for(int i=1; i<=m; i++)
    {
        ll w;
        int u,v;
        char s[5];
        scanf("%s",s);
        if(s[0]=='P')
        {
        scanf("%d%d%lld",&u,&v,&w);
        vec[u].push_back( make_pair(v,-w) );
        vec[v].push_back( make_pair(u,w) );
        }
        else
        {
            scanf("%d%d",&u,&v);
            vec[v].push_back(make_pair(u,1));
        }
    }
// 2 1 1 2 1
    for(int i=1;i<=n;i++)
        vec[0].push_back(make_pair(i,0));
    if(spfa(0))
    {
        puts("Reliable");
    }
    else
    {
        puts("Unreliable");
    }

    }
    return 0;
}