小K的农场 差分约束

Description
 背景

    小K是个特么喜欢玩MC的孩纸。。。

 描述

    小K在MC里面建立很多很多的农场，总共n个，以至于他自己都忘记了每个农场中种植作物的具体数量了，他只记得一些含糊的信息（共m个），以下列三种形式描述：农场a比农场b至少多种植了c个单位的作物，农场a比农场b至多多种植了c个单位的作物，农场a与农场b种植的作物数一样多。但是，由于小K的记忆有些偏差，所以他想要知道存不存在一种情况，使得农场的种植作物数量与他记忆中的所有信息吻合。输入格式

Input

   第一行包括两个整数n和m，分别表示农场数目和小K记忆中的信息的数目

    接下来m行：

    如果每行的第一个数是1，接下来有三个整数a,b,c，表示农场a比农场b至少多种植了c个单位的作物    如果每行第一个数是2，接下来有三个整数a，b，c，表示农场a比农场b至多多种植了c个单位的作物

    如果每行第一个数是3，接下来有两个整数a,b，表示农场a种植的数量与b一样多输出格式

Output

    如果存在某种情况与小K的记忆吻合，输出”Yes”，否则输出”No”

Sample Input

3 3
3 1 2
1 1 3 1
2 2 3 2



#include <iostream>
#include <cstring>
#include <algorithm>
#include <cstdio>
#define inf 0x7fffffff
#define maxn 23333
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 build (int x,int y,int z)
{
	num++;
	to[num]=y;
	len[num]=z;
	next[num]=head[x];
	head[x]=num;
}
void spfa(int x)// 递归spfa 速度有点慢 这个题还是能水一水的
{
	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;
}
int main()
{
	int n,m;
	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);
			build(x,y,-z); 
		}
		if(op==2)
		{
			scanf("%d",&z);
			build(y,x,z);
		}
		if(op==3)
		build(x,y,0);
	}
	for(int i=1;i<=n;i++)
	{
		dis[i]=0;
		spfa(i);
	}
	if(flag==1)
	printf("No\n");
	else
	printf("Yes\n");  
    return 0;  
}