POJ 3169 Layout（差分约束系统）

题意：一行母牛，编号为1~N，母牛可能相互喜欢或者相互不喜欢，相互喜欢的牛他们之间的距离控制在D内，相互不喜欢的牛他们的距离控制在D外，问母牛1和N的最大距离可能是多少，如果不存在满足条件的输出-1，如果最大距离无限制输出-2，否则输出最大距离

思路：

设d[i]编号为i的牛的坐标，则有：

相互喜欢的牛A和B：d[B] - d[A] <= D

相互不喜欢的牛：d[B] - d[A] >= D

还有一个条件d[i] - d[i - 1] >= 0（编号为i和i-1的牛距离大于等于0，因为可能在同一位置）

这样就可以建立有向图了，要求N和1的最大值，及求d[N] - d[1] <= M，求一下最短路即可

如果存在负环，则不满足条件

如果1和其他全部牛排斥或者N和其他牛相互排斥或者1 - N无可到达的路，距离可以无限大

剩下就是最大的距离了

#include<cstdio>
#include<cstring>
#include<vector>
#include<queue>
#define bug printf("CCC\n");
#include<algorithm>
typedef long long ll;
const int maxn = 1e3 + 10;
const int INF = 1e9;
using namespace std;

struct P {
    int to, cost;
    P(int t = 0, int c = 0) : to(t), cost(c) {}
};
vector<P> G[maxn];
int d[maxn], vis[maxn], cnt[maxn];
int n, ml, md, f, t, D;
int s1, s2;

void init() {
    for(int i = 0; i < maxn; i++)
        G[i].clear();
    fill(d, d + maxn, INF);
    memset(vis, 0, sizeof(vis));
    memset(cnt, 0, sizeof(cnt));
    s1 = s2 = 1;
}

bool spfa(int from) {
    d[from] = 0; vis[from] = 1;
    queue<int> q; q.push(from);
    while(!q.empty()) {
        int u = q.front(); q.pop();
        vis[u] = 0;
        for(int i = 0; i < G[u].size(); i++) {
            P st = G[u][i];
            int v = st.to;
            if(d[v] > d[u] + st.cost) {
                d[v] = d[u] + st.cost;
                if(vis[v]) continue;
                vis[v] = 1; q.push(v);
                if(++cnt[v] > n) return true;
            }
        }
    }
    return false;
}

int main() {
    while(scanf("%d %d %d", &n, &ml, &md) != EOF) {
        init();
        while(ml--) {
            scanf("%d %d %d", &f, &t, &D);
            G[f].push_back(P(t, D));
            if(f == 1) s1 = 0;
            if(t == n) s2 = 0;
        }
        while(md--) {
            scanf("%d %d %d", &f, &t, &D);
            G[t].push_back(P(f, -D));
        }
        for(int i = 1; i <= n; i++) {
            G[i].push_back(P(i - 1, 0));
        }
        bool havecircle = spfa(1);
        if(havecircle) printf("-1\n");
        else if(s1 || s2 || d[n] == INF) printf("-2\n");
        else printf("%d\n", d[n]);
    }
    return 0;
}