差分约束系统及解的判断 （洛谷 P1993 小K的农场）

题目链接
通过此题学习差分约束系统：
对于一系列不等式：

xa - xb >= c

我们可以化为

xa >= xb + c
类比：
dis[a] >= dis[b] + c

我们可以进行建图，对于每一个上式，都有一个b -> a 权值为c的边
对于一下不等式，我们可以通过变换得到上式并建图

1.xa - xb <= c <=> xb - xa >= -c
2.xa - xb > c <=> xa - xb >= c + 1 (权值看作整形)
3.xa - xb == c <=> xb - xa >= -c && xb - xa <= -c

建图后，我们用spfa跑一边最长路，如果出现环，则无解，反之有解。
判断有解后
对于每一个不等式

xa - xb >= ?

其解都是b -> a的最长路。

下面是ac代码：

#include <iostream>
#include <queue>
#include <vector>
#include <cstring>
#include <map>
#include <cmath>
#include <cstdlib>
#include <algorithm>
#include <queue>
#define ll long long
#define INF 0x3f3f3f3f
#define N 100000+10
#define ll long long
using namespace std;
int ver[N], he[N], ne[N], e[N];
int vis[N], dis[N];
int n, m;
int tot = 1;
void add (int x, int y, int k)
{
    ver[++tot] = y;
    e[tot] = k;
    ne[tot] = he[x];
    he[x] = tot;
}
bool spfa(int x)
{
    vis[x] = 1;
    for (int i = he[x]; i; i = ne[i])
    {
        int y = ver[i];
        if (dis[y] < dis[x] + e[i])
        {
            dis[y] = dis[x] + e[i];
            if (vis[y]) return 0;
            if (!spfa(y)) return 0;
        }
    }
    vis[x] = 0;
    return 1;
}
int main()
{
    cin >> n >> m;
    for (int i = 0; i < m; i++)
    {
        int te;
        scanf("%d", &te);
        if (te == 1)
        {
            int a, b, c;
            scanf("%d%d%d", &a, &b, &c);
            add(b, a, c);
        }
        else if (te == 2)
        {
            int a, b, c;
            scanf("%d%d%d", &a, &b, &c);
            add(a, b, -c);
        }
        else
        {
            int a, b;
            scanf("%d%d", &a, &b);
            add(a, b, 0);
            add(b, a, 0);
        }
    }
    for (int i = 1; i <= n; i++)
        add(0, i, 0), dis[i] = -INF;
    if(spfa(0)) printf("Yes\n");
    else printf("No\n");
    return 0;
}