题目描述
小 K 在 Minecraft 里面建立很多很多的农场，总共 n 个，以至于他自己都忘记了每个
农场中种植作物的具体数量了，他只记得一些含糊的信息（共 m 个），以下列三种形式描
述：
-
农场 a 比农场 b 至少多种植了 c 个单位的作物。
-
农场 a 比农场 b 至多多种植了 c 个单位的作物。
- 农场 a 与农场 b 种植的作物数一样多。
但是，由于小 K 的记忆有些偏差，所以他想要知道存不存在一种情况，使得农场的种
植作物数量与他记忆中的所有信息吻合。
输入输出格式
输入格式：
从 farm.in 中输入数据
第一行包括两个整数 n 和 m，分别表示农场数目和小 K 记忆中的信息数目。
接下来 m 行：
如果每行的第一个数是 1，接下来有 3 个整数 a,b,c，表示农场 a 比农场 b 至少多种植
了 c 个单位的作物。
如果每行的第一个数是 2，接下来有 3 个整数 a,b,c，表示农场 a 比农场 b 至多多种植
了 c 个单位的作物。如果每行的第一个数是 3，家下来有 2 个整数 a,b，表示农场 a 终止的
数量和 b 一样多。
输出格式：
输出到 farm.out 中
如果存在某种情况与小 K 的记忆吻合，输出“Yes”，否则输出“No”。
输入输出样例
输入样例#1：
3 3 3 1 2 1 1 3 1 2 2 3 2
输出样例#1：
Yes
说明
对于 100% 的数据保证：1 ≤ n，m，a，b，c ≤ 10000。
以后记得写差分约束要用深搜，要不然很难判断负环的情况
1 #include<iostream> 2 #include<cstdio> 3 #include<cstring> 4 #include<cmath> 5 #include<queue> 6 #include<algorithm> 7 using namespace std; 8 const int MAXN=100001; 9 const int maxn=0x7ffffff; 10 void read(int &n) 11 { 12 char c='+';int x=0;bool flag=0; 13 while(c<'0'||c>'9'){c=getchar();if(c=='-')flag=1;} 14 while(c>='0'&&c<='9'){x=x*10+c-48;c=getchar();} 15 flag==1?n=-x:n=x; 16 } 17 int n,m; 18 struct node 19 { 20 int u,v,w,nxt; 21 }edge[MAXN]; 22 int head[MAXN]; 23 int num=1; 24 void add_edge(int x,int y,int z) 25 { 26 edge[num].u=x; 27 edge[num].v=y; 28 edge[num].w=z; 29 edge[num].nxt=head[x]; 30 head[x]=num++; 31 } 32 int dis[MAXN]; 33 int vis[MAXN]; 34 int happen[MAXN]; 35 bool SPFA(int bg) 36 { 37 vis[bg]=1; 38 for(int i=head[bg];i!=-1;i=edge[i].nxt) 39 { 40 if(dis[edge[i].v]>dis[edge[i].u]+edge[i].w) 41 { 42 dis[edge[i].v]=dis[edge[i].u]+edge[i].w; 43 if(vis[edge[i].v]) 44 return false; 45 else if(!SPFA(edge[i].v)) 46 return false; 47 } 48 } 49 vis[bg]=0; 50 return true; 51 } 52 int main() 53 { 54 read(n);read(m); 55 for(int i=0;i<=n;i++) 56 head[i]=-1; 57 for(int i=1;i<=m;i++) 58 { 59 int how,a,b,c; 60 read(how); 61 if(how==1) 62 { 63 read(a);read(b);read(c); 64 add_edge(b,a,c); 65 } 66 else if(how==2) 67 { 68 read(a);read(b);read(c); 69 add_edge(a,b,-c); 70 } 71 else if(how==3) 72 { 73 read(a);read(b); 74 add_edge(a,b,0); 75 add_edge(b,a,0); 76 } 77 } 78 for(int i=0;i<=n;i++) 79 dis[i]=maxn; 80 dis[0]=0; 81 for(int i=1;i<=n;i++) 82 add_edge(0,i,1); 83 if(SPFA(0)) 84 printf("Yes"); 85 else 86 printf("No"); 87 return 0; 88 }