P5960 【模板】差分约束算法

题目入口

题目描述
给出一组包含 mm 个不等式，有 nn 个未知数的形如：

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

输入格式
第一行为两个正整数 n,m，代表未知数的数量和不等式的数量。
接下来 mm 行，每行包含三个整数 c,c’,yc,c ′
,y，代表一个不等式 x_c-x_{c’}\leq yx c​ −x c ′ ≤y。
输出格式
一行，nn 个数，表示 x_1 , x_2 \cdots x_nx
1
​
,x
2
​
⋯x
n
​
的一组可行解，如果有多组解，请输出任意一组，无解请输出 NO。

输入输出样例
输入 #1复制
3 3
1 2 3
2 3 -2
1 3 1
输出 #1复制
5 3 5

#include <bits/stdc++.h>
#pragma GCC optimize(2)
#pragma GCC optimize(3,"Ofast","inline")
#define inf 0x7fffffff
#define ll long long
#define eps 1e-5
//#define mod 1e9+7
using namespace std;
const int mod=9987;
const int N=4*1e4+5;
int n,m;
struct node
{
	int ver,next,edge;
}e[N];
int head[N],tot;
int v[N],d[N];
int cnt[N];
void add(int x,int y,int z)
{
	e[++tot].ver=y;
	e[tot].edge=z;
	e[tot].next=head[x];
	head[x]=tot;
}
bool spfa(int s)
{
	memset(v,0,sizeof(v));
	memset(cnt,0,sizeof(cnt));
	memset(d,0x3f,sizeof(d));
	d[s]=0;
	cnt[s]=0;
	v[s]=1;
	queue < int > q;
	q.push(s);
	while(q.size())
	{
		int x=q.front();
		q.pop();
		v[x]=0;
		for(int i=head[x];i;i=e[i].next)
		{
			int y=e[i].ver;
			int z=e[i].edge;
			if(d[y]>d[x]+z)
			{
				d[y]=d[x]+z;
				cnt[y]=cnt[x]+1;
				if(cnt[y]>n)  return true;
				if(!v[y])
				{
					v[y]=1;
					q.push(y);
				}
				
			}
		}
	}
	return false;
}
int main()
{
//	ios::sync_with_stdio(false);
    cin>>n>>m;
    for(int i=1;i<=m;i++)
    {
    	int x,y,z;
    	scanf("%d%d%d",&x,&y,&z);
    	add(y,x,z);//important
    }
    for(int i=1;i<=n;i++)  add(0,i,0);
    if(!spfa(0))
    {
    	for(int i=1;i<=n;i++)  printf("%d ",d[i]);
    }
    else  cout<<"NO";
    return 0;
}