P5960 【模板】差分約束算法 spfa判負環

把若干個形如：

xi-xj>=c  (c是常數，xi，xj兩個變量)

轉化爲最短路圖裏的三角不等式

用spfa判是否存在負環，並求出單源最短路（設置一個超級源點）

#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
#define ls (o<<1)
#define rs (o<<1|1)
#define pb push_back
const double PI= acos(-1.0);
const int M = 1e4+7;

int head[M],cnt=1;
void init(){cnt=1,memset(head,0,sizeof(head));}
struct EDGE{int to,nxt,w;}ee[M*2];
void add(int x,int y,int w){ee[++cnt].nxt=head[x],ee[cnt].w=w,ee[cnt].to=y,head[x]=cnt;}

int n,m;
int d[M],vs[M],nm[M];
bool spfa()
{
	memset(d,0x3f,sizeof(d));
	d[n+1]=0,vs[n+1]=1;
	queue<int>q;
	q.push(n+1);
	while(q.size())
	{
		int x=q.front();q.pop();
		vs[x]=0;
		for(int i=head[x];i;i=ee[i].nxt)
		{
			int y=ee[i].to,w=ee[i].w;
			if(d[y]>d[x]+w)
			{
				d[y]=d[x]+w;
				nm[y]=nm[x]+1;
				if(nm[y]>=n)return true;
				if(!vs[y])q.push(y),vs[y]=1;
			}
		}
	}
	return false;
}
int main()
{
	ios::sync_with_stdio(false);
  	cin.tie(0);
  	cin>>n>>m;
  	for(int i=1;i<=m;i++)
  	{
  		int x,y,w;
  		cin>>x>>y>>w;
  		add(y,x,w);//d[y]<=d[x]+w
  		
	}
	for(int i=1;i<=n;i++)add(n+1,i,0);
	bool f=spfa();
	if(f)cout<<"NO"<<endl;
	else
	{
		for(int i=1;i<n;i++)cout<<d[i]<<" ";
		cout<<d[n]<<endl;
	}
	return 0;
}