[POJ 3169]Layout[差分约束][最短路]

题目链接：[POJ 3169]Layout[差分约束][最短路]
题意分析：
牛儿们互相间有喜欢双方的，也有讨厌双方的。互相喜欢的，希望离得尽量近，互相讨厌的，希望离得尽量远，问：能否根据要求把牛儿们排成一行？如果能，请输出1到N的最大距离（如果为无穷输出『-2』），否则，输出『-1』。
解题思路：
a喜欢b，那么$dis(a, b) <= c$，a讨厌b，那么$dis(a,b) >= c$。
感觉如图这个样例特别好：

那么就有$dis(a,c) = max(dis(a,b) + dis(b,c), dis(a, c))$
两只牛互相讨厌的情况，只需两边同时乘-1就变成上面这种情况了。
转换之后也就是变成最短路问题，用最大值作为边进行最短路。
个人感受：
脑袋里都是这个样例XD
具体代码如下：

#include<cstdio>
#include<cstring>
using namespace std;

const int INF = 0x7f7f7f7f;
const int MAXN = 1e3 + 11;

struct Edge{
    int to, next, w;
}edge[2 * MAXN * MAXN];

int head[MAXN], cnt, dis[MAXN], put_in[MAXN], sta[MAXN], n;
bool in[MAXN];

void add_edge(int from, int to, int w)
{
    edge[cnt].to = to;
    edge[cnt].w = w;
    edge[cnt].next = head[from];
    head[from] = cnt++;
}

bool spfa(int s)
{
    dis[s] = 0;
    int top = 0;
    sta[top++] = s;
    in[s] = 1;
    while (top)
    {
        int cur = sta[--top]; in[cur] = 0;
        for (int i = head[cur]; ~i; i = edge[i].next)
        {
            Edge &e = edge[i];
            if (dis[e.to] > dis[cur] + e.w)
            {
                dis[e.to] = dis[cur] + e.w;
                if (!in[e.to])
                {
                    in[e.to] = 1;
                    ++put_in[e.to];
                    if (put_in[e.to] > n) return 0; // 不存在
                    sta[top++] = e.to;
                }
            }
        }
    }
    return 1;
}

int main()
{
    int ml, md; scanf("%d%d%d", &n, &ml, &md);
    memset(head, -1, sizeof(int)*(n + 2));
    memset(dis, 0x7f, sizeof(int)*(n + 2));
    memset(put_in, 0, sizeof(int)*(n + 2));
    memset(in, 0, sizeof(bool)*(n + 2));
    cnt = 0;

    int a, b, d;
    for (int i = 0; i < ml; ++i)
    {
        scanf("%d%d%d", &a, &b, &d);
        add_edge(a, b, d);
    }
    for (int i = 0; i < md; ++i)
    {
        scanf("%d%d%d", &a, &b, &d);
        add_edge(b, a, -d);
    }

    if (spfa(1)) printf("%d\n", (dis[n] == INF ? -2 : dis[n]));
    else puts("-1");
    return 0;
}