【bzoj3436】 小K的农场 差分约束系统

差分约束系统，a到b有一条长度为c的边，表示b至多比a多c。

那么对于操作1，a比b多至少c，等价于b比a多至多-c。

然后矛盾的情况就是，a比a多至多<0，即存在负环，记得跑最短路。

#include<cstdio>
#include<cstring>
#include<cstdlib>
#include<cmath>
#include<iostream>
#include<algorithm>
#define inf 0x7fffffff
#define maxn 10010

using namespace std;

int next[maxn],head[maxn],to[maxn],len[maxn];
int dis[maxn];
int n,m,num,flag=0;
bool vis[maxn];

void spfa(int x)
{
	vis[x]=1;
	for (int p=head[x];p;p=next[p])
	  if (dis[to[p]]>dis[x]+len[p])
	  {
	  	if (vis[to[p]])
	  	{
	  		flag=1;
	  		break;
	  	}
	  	dis[to[p]]=dis[x]+len[p];
	  	spfa(to[p]);
	  }
	vis[x]=0;
}

void addedge(int x,int y,int z)
{
	num++;to[num]=y;len[num]=z;next[num]=head[x];head[x]=num;
}

int main()
{
	scanf("%d%d",&n,&m);
	for (int i=1;i<=m;i++)
	{
		int op,x,y,z;
		scanf("%d%d%d",&op,&x,&y);
		if (op==1)
		{
			scanf("%d",&z);
			addedge(x,y,-z);
		}
		if (op==2)
		{
			scanf("%d",&z);
			addedge(y,x,z);
		}
		if (op==3) addedge(x,y,0);
	}
	for (int i=1;i<=n;i++)
	{
		dis[i]=0;
		spfa(i);
	}
	if (flag) printf("No\n"); else printf("Yes\n");
	return 0;
}