封面来源

Pixiv 观雪-94973067

差分约束系统

题目

给出一组包含 个不等式，有 个未知数的形如：

的不等式组，求任意一组满足这个不等式组的解。

看到这个题，我们似乎能够想到

最短路中的三角不等式，那么可否通过最短路来解决呢？

将每个变量看成一个顶点，设一个超级源点，它连接每个源点和他自身且边权位0.这时对每一个不等式连一条权值位的有向边

此时用表示超级源点到的最短路，由于有边存在，从而有,即为原不等式的变形

代码

cpp
#include<bits/stdc++.h>
#define FOR(i,l,r) for(register int i=l;i<=r;++i)
#define Graph(u) for(register int i=head[u];i;i=e[i].next)//遍历图
using namespace std;
const int N=1e5+7,M = 2e5+5;
const int inf=2147483647;
int n,m;
struct Edge{
    int u,v,w,next;
}e[M];
int tot,head[M];
inline void addEdge(int u,int v,int w){
	e[++tot].u=u;
	e[tot].v=v;
	e[tot].w=w;
	e[tot].next=head[u];
	head[u]=tot;
}
int dis[N],vis[N],in[N];
bool spfa(int s){
    memset(vis,false,sizeof(vis));
    memset(dis,-1,sizeof(dis));
    memset(in,0,sizeof(in));//判断负环
    queue<int> q;
    q.push(s);
    vis[s]=true;
    dis[s]=0;
    in[s]++;
    while(!q.empty()){
        s = q.front();
        q.pop();
        vis[s]=false;
        Graph(s){
            int v = e[i].v;
            if(dis[v]<dis[s]+e[i].w){
                dis[v]=dis[s]+e[i].w;
                vis[v]=true;
                in[v]++;
                q.push(v);
                if(in[v]>n+1){
                    return false;
                }
            }
        }
    }
    return true;
}
int main(){
    cin>>n>>m;
    FOR(i,1,m){
        int u,v,w;
        cin>>u>>v>>w;
        addEdge(u,v,-w);//加负边
    }
    FOR(i,1,n){
        addEdge(0,i,0);//超级源点
    }
    if(!spfa(0)){
        cout<<"NO"<<endl;
    }
    else{
        FOR(i,1,n){
            cout<<dis[i]<<" ";
        }
    }
}