差分约束：糖果

原题链接：https://www.acwing.com/problem/content/1171/

这是求最短路的要求：把每个x[i] ≤ x[j] + C[k]不等式转化为一条从x[j]走到x[i]长度为C[k]的边 因为最短路中，更新过后如果j到i有一条权值为k的边，那么求完最短路之后，dist[i] <= dist[j] + k 一定成立（两边之和大于第三边）

但是这道题由于要求每个点的最小值，所以我们要求最长路，因此要求是：把每个x[i] >=x[j] + C[k]不等式转化为一条从x[j]走到x[i]长度为C[k]的边

永远都是不等式右边的点，向左边的点连边

每个同学都要分到糖果 x[i]≥1
超级源点0 x[i] ≥ x[0]+1 <=> x[i] ≥ 1

#include<iostream>
#include<cstring>

using namespace std;

const int N = 1e5 + 10, M = 3 * N;

typedef long long LL;

int n, m;
int h[N], e[M], w[M], ne[M], idx;
int dist[N], cnt[N], q[N];
bool st[N];

void add(int a, int b, int c)
{
    e[idx] = b, w[idx] = c, ne[idx] = h[a], h[a] = idx++;
}

//因为是求所有x_i的最小值，因此就是求不等式的下界的最大值
//转而就是求图论的最长路
bool spfa()
{
    int hh = 0, tt = 1;
    memset(dist, -0x3f, sizeof dist);
    dist[0] = 0;
    q[0] = 0;


    //这题在判负环的时候会TLE
    //上一次的“负环”题目中的trick方法还是太玄学了
    //这里用一个不会TLE的判负环方法，那就是把SPFA算法中的循环队列改为栈
    //这样对于遇到的负环，就不会加入队尾，知道再次遍历完整个队列才去算他
    //遇到负环会直接在栈顶连续入栈出栈，直到判断他的cnt[i] >= n+1，即发现负环
    while (hh != tt) {
        int t = q[--tt];
        st[t] = false;

        for(int i = h[t]; ~i; i = ne[i]) {
            int j = e[i];
            if (dist[j] < dist[t] + w[i]) {
                dist[j] = dist[t] + w[i];
                cnt[j] = cnt[t] + 1;
                    
                if (cnt[j] >= n + 1) return true;

                if (!st[j]) {
                    st[j] = true;
                    q[tt++] = j;
                }
            }
        }
    }
    return false;
}

int main()
{
    memset(h, -1, sizeof h);
    scanf("%d%d", &n, &m);
    while(m -- )
    {
        int x, a, b;
        scanf("%d%d%d", &x, &a, &b);
        // A = B  <=> A≥B B≥A
        if(x == 1) add(a, b, 0), add(b, a, 0); // A = B;
        //B ≥ A + 1 所以a向b连一个权值为1的边
        else if (x == 2) add(a, b, 1);
        else if (x == 3) add(b, a, 0);//A≥B
        else if (x == 4) add(b, a, 1);//A≥B+1
        else add(a, b, 0);//B≥A
        
    }
    
    //每个同学都要分到糖果 x[i]≥1
    //超级源点0 x[i] ≥ x[0]+1 <=> x[i] ≥ 1 
    for (int i = 1; i <= n; i ++ ) add(0, i, 1);

    if (spfa()) cout << "-1" << endl;
    else
    {
        LL res = 0;
        for (int i = 1; i <= n; i ++ ) res += dist[i];
        cout << res << endl;
    }
    return 0;

}