bzoj3436 小k的农场

http://www.elijahqi.win/archives/1172
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一样。1<=n,m,a,b,c<=10000
Output

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

Sample Input

3 3
3 1 2
1 1 3 1
2 2 3 2
Sample Output

Yes
样例解释
三个农场种植的数量可以为（2,2,1）
差分约束老套路 如果存在负环则无解
“`

include

include

define N 11000

inline char gc(){
static char now[1<<16],*S,*T;
if (S==T){T=(S=now)+fread(now,1,1<<16,stdin);if (S==T) return EOF;}
return *S++;
}
inline int read(){
int x=0;char ch=gc();
while (ch<’0’||ch>’9’) ch=gc();
while (ch<=’9’&&ch>=’0’){x=x*10+ch-‘0’;ch=gc();}
return x;
}
struct node{
int y,next,z;
}data[N+3000];
int num,h[N],n,m,f[N];bool flag[N];
inline void insert1(int x,int y,int z){
data[++num].y=y;data[num].next=h[x];data[num].z=z;h[x]=num;
}
bool spfa(int x){
flag[x]=true;
for (int i=h[x];i;i=data[i].next){
int y=data[i].y,z=data[i].z;
if (f[x]+z