poj 1364 King （差分约束）

1364 -- King

　　继续差分约束的题。如果是“lt”就构造(s+n+1)->(s)=-w+1的边，否则构造(s)->(s+n+1)=w+1的边。因为没有取等号，所以w要加减一。

　　因为没有其他限制，所以不用别的附加边。

代码如下：

#include <cstdio>
#include <iostream>
#include <algorithm>
#include <cstring>
#include <queue>

using namespace std;

const int N = 111;
const int M = N * N;
const int INF = 0x55555555;
struct Edge {
    int u, v, nx, c;
} edge[M];
int eh[N], ec;

void init() {
    memset(eh, -1, sizeof(eh));
    ec = 0;
}

void addedge(int u, int v, int w) {
    edge[ec] = Edge{u, v, eh[u], w};
    eh[u] = ec++;
}

int dis[N];
bool bellman(int n) {
    for (int i = 1; i <= n; i++) dis[i] = -INF;
    dis[1] = 0;
    bool ok;
    for (int i = 0; i < n; i++) {
        ok = true;
        for (int j = 0; j < ec; j++) {
            if (dis[edge[j].v] < dis[edge[j].u] + edge[j].c) {
                dis[edge[j].v] = dis[edge[j].u] + edge[j].c;
                ok = false;
            }
        }
        if (ok) return true;
    }
    for (int j = 0; j < ec; j++) {
        if (dis[edge[j].v] < dis[edge[j].u] + edge[j].c) return false;
    }
    return true;
}

int main() {
//    freopen("in", "r", stdin);
    int n, m;
    while (~scanf("%d%d", &n, &m) && n) {
        init();
        int u, v, w;
        char op[3];
        for (int i = 0; i < m; i++) {
            scanf("%d%d%s%d", &u, &v, op, &w);
            v += u + 1;
            if (op[0] == 'l') addedge(v, u, -w + 1);
            else addedge(u, v, w + 1);
        }
        if (bellman(n)) puts("lamentable kingdom");
        else puts("successful conspiracy");
    }
    return 0;
}

——written by Lyon