poj 2983 Is the Information Reliable? （差分约束 spfa）

/*    先不说什么。这个题目晦涩难懂，还有一种可能是我英语太渣了。 = =    差分约束条件题目的难点是“怎么找到问题的约束条件”。    输入边的信息有两种情况。P 和 V。    P i j b 表示 xi - xj = b >>>>   xi - xj <= b && xi - xj >= b (即 xj - xi <= -b)    V 表示边长不确定  xi - xj >= 1  >>>>   xj - xi <= -1;    好了，列出方程后建图，spfa即可    先要建立一个源点，源点到其他顶点之间的距离全部是0，然后用spfa判断是否存在负环        */#include<iostream>#include<cstring>#include<queue>#include<cstdio>using namespace std;const int N =  1010;const int M = 100010;const int inf = 0x3f3f3f3f;typedef struct{    int next,w,e;} Node;Node edge[M*3];int head[1010];int inqueue[1010];bool vis[1010];int num_edge;int dis[1010];int n,m;void addedge(int u,int v,int w){    edge[num_edge].e = v;    edge[num_edge].w = w;    edge[num_edge].next = head[u];    head[u] = num_edge++;}bool spfa(int start)/*spfa 队列*/{    memset(vis,false,sizeof(vis));    memset(inqueue,0,sizeof(inqueue));    for(int i = 0 ; i <= n ; i++)    {        dis[i] = inf;    }    queue<int>q;    vis[start] = true;    q.push(start);    dis[start] = 0;    while(!q.empty())    {        int cur = q.front();        q.pop();        vis[cur] = false;        inqueue[cur]++;        if(inqueue[cur] > n)        {            return false;        }        for(int i = head[cur] ; i != -1 ; i = edge[i].next)        {            int x = edge[i].e;            if(dis[x] > dis[cur] + edge[i].w)            {                dis[x] = dis[cur] + edge[i].w;                if(!vis[x])                {                    vis[x] = true;                    q.push(x);                }            }        }    }    return true;}int main(){    while(scanf("%d %d",&n,&m) != EOF )    {        memset(head,-1,sizeof(head));        num_edge = 0;        char s[5];        int u,v,w;        for(int i = 0 ; i < m ; i++)        {            scanf("%s",s);            if(s[0] == 'P')            {                scanf("%d %d %d",&u,&v,&w);                addedge(u,v,w);                addedge(v,u,-w);            }            else if(s[0] == 'V')            {                scanf("%d %d",&u,&v);                addedge(v,u,-1);            }        }        for(int i = 1; i <= n ; i++)        {            addedge(0,i,0);        }        bool flag = spfa(0);        if(flag )        {            printf("Reliable\n");        }        else        {            printf("Unreliable\n");        }    }    return 0;}