POJ ~ 3169 ~ Layout （SPFA + 差分约束）

题意：输入N，ML，MD表示N个人编号为1-N，有ML+MD行，每行三个数字A,b,C。前ML行表示，A和B的距离不能大于C，接下来MD行表示，A和B的距离不能小于C。这些人必须都在一条线上，且两个人位置不能重合。如果这样的排列存在，输出1-N这两个人的最长可能距离，如果不存在，输出-1，如果无限长输出-2。

思路：差分约束。三个式子：，求1-N的最长可能距离（即最大值），即最短路，所以把三个式子都化为的形式，然后建一条B-A的权值为C边。求出1~N的最短路，就是答案。

//#include<bits/stdc++.h>
#include<iostream>
#include<cstdio>
#include<cstring>
#include<queue>
using namespace std;
const int MAXN = 1e6 + 5;
const int INF = 0x3f3f3f3f;
struct Edge
{
    int from, to, dist;       //起点,终点,距离
    Edge(int u, int v, int w):from(u), to(v), dist(w) {}
};
struct BellmanFord
{
    int n, m;                      //结点数,边数(包括反向弧)
    vector<Edge> edges;            //边表。edges[e]和edges[e^1]互为反向弧
    vector<int> G[MAXN];           //邻接表，G[i][j]表示结点i的第j条边在edges数组中的序号
    bool vis[MAXN];                //是否在队列中
    int d[MAXN];                   //Bellman-Ford
    int p[MAXN];                   //上一条弧
    int cnt[MAXN];                 //进队次数

    void init(int n)
    {
        this->n = n;
        edges.clear();
        for (int i = 0; i <= n; i++) G[i].clear();
    }
    void add_edge(int from, int to, int dist)
    {
        edges.push_back(Edge(from, to, dist));
        //edges.push_back((Edge){from, to, dist});   G++编译通过，C++可能会编译错误
        m = edges.size();
        G[from].push_back(m - 1);
    }

    bool bellman_ford(int s)
    {
        for (int i = 0; i <= n; i++) d[i] = INF;
        memset(vis, 0, sizeof(vis));
        memset(cnt, 0, sizeof(cnt));
        d[s] = 0; vis[s] = true;

        queue<int> Q;
        Q.push(s);
        while (!Q.empty())
        {
            int u = Q.front(); Q.pop();
            vis[u] = false;
            for (int i = 0; i < G[u].size(); i++)
            {
                Edge& e = edges[G[u][i]];
                if (d[u] < INF && d[e.to] > d[u] + e.dist)
                {
                    d[e.to] = d[u] + e.dist;
                    p[e.to] = G[u][i];
                    if (!vis[e.to])
                    {
                        Q.push(e.to); vis[e.to] = true;
                        if (++cnt[e.to] > n) return false;//有负环
                    }
                }
            }
        }
        return true;//没有负环
    }
};
BellmanFord solve;
int main()
{
    int N, ML, MD;
    while(~scanf("%d%d%d", &N, &ML, &MD))
    {
        solve.init(N);
        while(ML--)
        {
            int u, v, t;
            scanf("%d%d%d", &u, &v, &t);
            solve.add_edge(u, v, t);
        }
        while (MD--)
        {
            int u, v, t;
            scanf("%d%d%d", &u, &v, &t);
            solve.add_edge(v, u, -t);
        }
        for (int i = 2; i <= N; i++) solve.add_edge(i, i - 1, -1);

        if (solve.bellman_ford(1))
        {
            if (solve.d[N] == INF) printf("-2\n");
            else printf("%d\n", solve.d[N]);
        }
        else printf("-1\n");
    }
    return 0;
}
/*
4 2 1
1 3 10
2 4 20
2 3 3
*/