POJ-2983 Is the Information Reliable?

题意：给出两种约束，P代表x在y北边z光年，V代表x至少在y北边1光年，求下列信息是否矛盾。

解：令x-y>=z为x至少在y北边z光年，相等的时候加一条x-y<=z，也就是y-x>=-z，建图判环即可。T了一发，因为n只有1000，我非要初始化1e6个点。。。

代码：

#include <stdio.h>
#include <algorithm>
#include <queue>
using namespace std;
#define maxx 1000005
#define inf 1e8+10
#define ll long long
int n,m;
struct edge{
    int u,v,w;
    int nxt;
}e[maxx*2];
int cnt=0,head[maxx]={0};
int vis[maxx],dis[maxx],in[maxx];
void add(int u,int v,int w){
    e[++cnt].u=u;
    e[cnt].v=v;
    e[cnt].w=w;
    e[cnt].nxt=head[u];
    head[u]=cnt;
}
int spfa(int x){
    for(int i=0;i<n+10;i++)
        dis[i]=-inf;
    memset(vis,0,sizeof vis);
    memset(in,0,sizeof in);
    queue<int> q;
    dis[x]=0;in[x]++;
    q.push(x);
    while(!q.empty()){
        int now=q.front();
        q.pop();
        vis[now]=0;
        for(int i=head[now];i;i=e[i].nxt){
            int to=e[i].v;
            int temp=dis[now]+e[i].w;
            if(temp>dis[to]){
                dis[to]=temp;
                in[to]++;
                if(in[to]>=n+1)
                    return 0;
                if(!vis[to]) {
                    q.push(to);
                    vis[to] = 1;
                }
            }
        }
    }
    return 1;
}
signed main(){
    while(~scanf("%d%d",&n,&m)) {
        memset(e,0,sizeof e);
        memset(head,0,sizeof head);
        cnt=0;
        for (int i = 0; i < m; i++) {
            char opt[2];
            scanf("%s", opt);
            if (opt[0] == 'P') {
                int x, y, z;
                scanf("%d%d%d", &x, &y, &z);
                add(x, y, z);
                add(y, x, -z);
            } else if (opt[0] == 'V') {
                int x, y;
                scanf("%d%d", &x, &y);
                add(x, y, 1);
            }
        }
        int s = n + 1;
        for (int i = 1; i <= n; i++)
            add(s, i, 0);
        if (spfa(s))
            printf("Reliable\n");
        else
            printf("Unreliable\n");
    }
    return 0;
}