差分约束:当问题可以转化为形如一组 xi-x’i<=yi 或 一组xi-x’i>=yi ,求任一满足的可行解的问题时,可以将其转化为最短路/最长路问题。
参考:差分约束系统讲解
题解 P5960 【【模板】差分约束算法】
使用差分约束: 把不等式中负的(x’i)作为起点,正的作为终点,y作为边权,建图。再添加一个源点,向所有点连接权值为0的边,以该源点跑最短路即可求出一组解,每个x的值即为最短路径的值。若图中存在负环,则不等式组无解。
#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;
}