poj-2983 Is the Information Reliable? 差分约束+判负环

题意：给定了n个位点，有m个对这些位点的描述，其中P A B C 表示位点A在B的北边C光年处，V A B表示AB间距离关系不确定，A最少在B的北边1光年处。在m个描述结束后需要你判断这些描述是否合理。

思路：我们可以得到约束条件A-B>=C||1 B-A>=-C，即在关系明确时建立一条AB间来回的有向边，表示从A到B的-C距离关系和B到A的+C距离关系，如果关系不明确就建立一个单向的由A到B权值为-1的边，之后用bellman-ford来判断是否存在负环，如果存在负环那么说明，描述不合理。

#include <iostream>
#include <algorithm>
#include <cstdlib>
#include <cstring>
#include <cstdio>
#include <cmath>
#include <queue>
#define INF 0x3f3f3f3f
#define mod 100000000
using namespace std;

struct node
{
    int u, v, w;
} edge[200010];
int cnt, n;
int dis[1010];
void bellman()
{
    int flag;
    memset(dis, 0, sizeof(dis));
    for(int i = 0; i < n; i++)
    {
        flag = 0;
        for(int j = 0; j < cnt; j++)
        {
            if(dis[edge[j].v] > dis[edge[j].u] + edge[j].w)
            {
                dis[edge[j].v] = dis[edge[j].u] + edge[j].w;
                flag = 1;
            }
        }

        if(!flag)
        {
            break;
        }
    }
    if(flag)
    {
        printf("Unreliable\n");
    }
    else
    {
        printf("Reliable\n");
    }
}
int main()
{
    int m, u, v, w;
    char c;
    while(~scanf("%d%d%*c", &n, &m))
    {
        cnt = 0;
        while(m--)
        {
            scanf("%c", &c);
            if(c == 'P')
            {
                scanf("%d%d%d%*c", &u, &v, &w);
                edge[cnt].u = u;
                edge[cnt].v = v;
                edge[cnt++].w = -w;
                edge[cnt].u = v;
                edge[cnt].v = u;
                edge[cnt++].w = w;
            }
            else
            {
                scanf("%d%d%*c", &u, &v);
                edge[cnt].u = u;
                edge[cnt].v = v;
                edge[cnt++].w = -1;
            }
        }
        bellman();
    }
    return 0;
}