P1993 小 K 的農場

題目描述

小 K 在 Minecraft 裡面建立很多很多的農場，總共 n 個，以至於他自己都忘記了每個

農場中種植作物的具體數量了，他只記得一些含糊的信息（共 m 個），以下列三種形式描

述：

1. 農場 a 比農場 b 至少多種植了 c 個單位的作物。

2. 農場 a 比農場 b 至多多種植了 c 個單位的作物。

3. 農場 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”。

輸入輸出樣例

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

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 }