【洛谷P1993】小 K 的农场【差分约束】

$Problemlink$

分析：

差分约束
信息有三种形式：

• $b\le a-c$
• $a\le b+c$
• $a\le b+0$或$b\le a+0$

那就可以分别连边 然后差分约束
图未保证联通 所以 建立超级源点$n+1$ 与 $i$ 相连距离为$0$

CODE：

#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<queue>
using namespace std;
typedef long long ll;
const int N=1e4+5;
int n,m,tot;
int head[N],vis[N],cnt[N],dis[N];
struct Edge{
	int to,next,k;
}a[N<<1];
void add(int x,int y,int k)
{
	a[++tot]=(Edge){y,head[x],k};
	head[x]=tot;
}
queue<int> q;
bool spfa(int st)
{
	memset(dis,0x7f,sizeof dis);
	dis[st]=0;
	vis[st]=1;
	q.push(st);
	cnt[st]++;
	while(!q.empty())
	{
		int x=q.front();
		q.pop();
		vis[x]=0;
		for(int i=head[x];i;i=a[i].next)
		{
			int qwq=a[i].to;
			if(dis[qwq]>dis[x]+a[i].k)
			{
				dis[qwq]=dis[x]+a[i].k;
				if(vis[qwq]) continue;
				q.push(qwq);
				vis[qwq]=1;
				cnt[qwq]++;
				if(cnt[qwq]==n+1) return 0;
			}
		}
	}
	return 1;
}
int main()
{
	scanf("%d%d",&n,&m);
	for(int i=1,x,y,k;i<=m;i++)
	{
		int op;
		scanf("%d%d%d",&op,&x,&y);
		if(op==1)
		{
			scanf("%d",&k);
			add(x,y,-k);
		} 
		if(op==2)
		{
			scanf("%d",&k);
			add(y,x,k);
		} 
		if(op==3)
		{
			add(x,y,0);
			add(y,x,0);
		}
	}
	for(int i=1;i<=n;i++)
		add(n+1,i,0);
	if(spfa(n+1)) puts("Yes");
	else puts("No");
	
    return 0;
}