POJ 1364 King 差分约束 找负环

嘛，虽然是一道水题+模板题，不过还是学到了很多东西的，记录一下。

首先题目给出的不等式是小于，但是差分约束系统只能处理小于等于的情况，所以要转化成小于等于的进行处理。对于整数处理方法非常简单= =

然后是找负环的情况，其实不需要考虑图连不连通，只要一开始就把所有的点的d置成0，然后都push进队列里面就好了。

PS：这种方法同样可以用在处理多源点最短路问题上。

#include <cstdio>
#include <cstring>
#include <cmath>
#include <algorithm>
#include <climits>
#include <string>
#include <iostream>
#include <map>
#include <cstdlib>
#include <list>
#include <set>
#include <queue>
#include <stack>

using namespace std;

typedef long long LL;
const int maxn = 105;
const int maxm = 5005;
int first[maxn],nxt[maxm],v[maxm],w[maxm];
int d[maxn],n,m,ecnt,cnt[maxn];
bool inq[maxn];

void adde(int _u,int _v,int _w) {
    v[ecnt] = _v; w[ecnt] = _w;
    nxt[ecnt] = first[_u];
    first[_u] = ecnt;
    ecnt++;
}

void solve() {
    bool bad = false;
    queue<int> q;
    for(int i = 0;i <= n;i++) {
        d[i] = 0;
        cnt[i] = 1;
        inq[i] = true;
        q.push(i);
    }
    while(!q.empty() && !bad) {
        int x = q.front(); q.pop();
        inq[x] = false;
        for(int i = first[x];i != -1;i = nxt[i]) {
            if(d[v[i]] > d[x] + w[i]) {
                if(!inq[v[i]]) {
                    inq[v[i]] = true;
                    cnt[v[i]]++;
                    q.push(v[i]);
                    if(cnt[v[i]] > n + 2) {
                        bad = true;
                        break;
                    }
                }
                d[v[i]] = d[x] + w[i];
            }
        }
    }
    if(bad) puts("successful conspiracy");
    else puts("lamentable kingdom");
}

int main() {
    while(scanf("%d",&n),n) {
        ecnt = 0;
        char sig[16];
        scanf("%d",&m);
        memset(first,-1,sizeof(first));
        memset(nxt,-1,sizeof(nxt));
        for(int i = 0;i < m;i++) {
            int a,b,c;
            scanf("%d %d %s %d",&a,&b,sig,&c);
            if(sig[0] == 'g') adde(b + a,a - 1,-c - 1);
            else adde(a - 1,b + a,c - 1);
        }
        /*
        for(int i = 1;i <= n;i++) {
            adde(i,i - 1,0);
        }
        */
        solve();
    }
    return 0;
}