小 K 的农场

题目描述
小 K 在 MC 里面建立很多很多的农场，总共 n 个，以至于他自己都忘记了每个农场中种植作物的具体数量了，他只记得一些含糊的信息（共 m 个），以下列三种形式描述：

农场 a 比农场 b 至少多种植了 c个单位的作物；
农场 a比农场 b至多多种植了 c 个单位的作物；
农场 a 与农场 b 种植的作物数一样多。
但是，由于小 K 的记忆有些偏差，所以他想要知道存不存在一种情况，使得农场的种植作物数量与他记忆中的所有信息吻合。

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

接下来 mm 行：

如果每行的第一个数是 1，接下来有三个整数 a,b,c，表示农场 a 比农场 b 至少多种植了 c 个单位的作物；
如果每行的第一个数是 2，接下来有三个整数 a,b,c，表示农场 a 比农场 b 至多多种植了 c 个单位的作物;
如果每行的第一个数是 3，接下来有两个整数 a,b，表示农场 a 种植的的数量和 b 一样多。
输出格式
如果存在某种情况与小 K 的记忆吻合，输出 Yes，否则输出 No。
输入输出样例：
输入
3 3
3 1 2
1 1 3 1
2 2 3 2
输出
Yes
说明/提示
对于 100%100% 的数据，保证 1 \le n,m,a,b,c \le 5 \times 10^31≤n,m,a,b,c≤5×10 3。

分析：
差分约束：满足不等式的解。
思路，建立有向图，跑spfa，如果有 负环，那么 无解。为了避免图不连通，建立超级源点（源点与所有的联通，边值为0）。（要注意这里点入队次数应该≥n+1才是负环）。
如：
x<=y+3（x最多比y大3)，那么建立y指向x的值为3的边。
y<=x－5（x至少比y大5），那么建立x指向y的值为－5的边。
这里发现，这个图有负环，故无解。

#include<cstdio>
#include<iostream>
#include<cstring>
#include<algorithm>
#include<queue>
#define ll long long
using namespace std;
const int N=5e4+5;
int n,m; 
int head[N],ne[N],v[N],w[N],idx,cnt[N],vis[N],dis[N];
void add(int a,int b,int c){
	v[++idx]=b,w[idx]=c,ne[idx]=head[a],head[a]=idx;
} 
void spfa(){
	memset(dis,0x3f,sizeof dis);
	queue<int>q;
	dis[0]=0;
	q.push(0);
	cnt[0]++;
	while(q.size()){
		int cur=q.front();
		q.pop();
		vis[cur]=0;
		for(int i=head[cur];i;i=ne[i]){
			if(dis[v[i]]>dis[cur]+w[i]){
				dis[v[i]]=dis[cur]+w[i];
				if(!vis[v[i]]){
					q.push(v[i]);
					vis[v[i]]=1;
					cnt[v[i]]++;
					if(cnt[v[i]]>n){
						cout<<"No";
						return ;
					}
				}
			}
		}
	}
	cout<<"Yes";
}
int main(){
	cin>>n>>m;
	while(m--){
		int a,b,c,op;
		cin>>op;
		//a比b至少多c个 ：b<=a-c 
		if(op==1){
			cin>>a>>b>>c;
			add(a,b,-c);
		}
		//a比b至多多c个 ：a<=b+c   
		else if(op==2){
			cin>>a>>b>>c;
			add(b,a,c);
		}
		else{
			cin>>a>>b;
			add(a,b,0),add(b,a,0);
		} 
	}
	//建立超级源点 避免图不连通
	for(int i=1;i<=n;i++)
		add(0,i,0); 
	spfa();
	return 0;
}