差分约束算法：不等式求解，图论

差分约束：当问题可以转化为形如一组 x_i-x’_i<=y_i 或 一组x_i-x’_i>=y_i ，求任一满足的可行解的问题时，可以将其转化为最短路/最长路问题。

参考：差分约束系统讲解
题解 P5960 【【模板】差分约束算法】

使用差分约束： 把不等式中负的(x’_i)作为起点，正的作为终点，y作为边权，建图。再添加一个源点，向所有点连接权值为0的边，以该源点跑最短路即可求出一组解，每个x的值即为最短路径的值。若图中存在负环，则不等式组无解。

题目：P5960 【模板】差分约束算法

#include<bits/stdc++.h>
using namespace std;

struct TO
{
    int id,v;
};


struct NODE
{
    int dis;
    int totinq;
    vector<TO>to;
    NODE():dis(1e9){}
};NODE node[5005];

int n,m,x,y,z,jug=0;
int inq[5005];

int main()
{
    cin>>n>>m;
    for(int i=1;i<=m;i++){
        cin>>x>>y>>z;
        node[y].to.push_back({x,z});
    }
    node[0].dis=0;
    for(int i=1;i<=n;i++){node[0].to.push_back({i,0});}

    queue<int>q;q.push(0);
    while(!q.empty()){
        int now=q.front();q.pop();
        if(node[now].totinq>n){jug=1;break;}
        for(auto& i:node[now].to){
            if(node[now].dis+i.v<node[i.id].dis){
                node[i.id].dis=node[now].dis+i.v;
                if(!inq[i.id]){q.push(i.id);node[i.id].totinq++;}
            }
        }
    }
    if(jug==0)for(int i=1;i<=n;i++){
        if(node[i].dis!=1e9){cout<<node[i].dis<<" ";}
        else cout<<0<<" ";
    }
    else {cout<<"NO"<<endl;}

    return 0;
}