[bzoj]3436 小K的农场

【题目描述】

小K在MC里面建立很多很多的农场，总共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”。

【样例输入】

3 3

3 1 2

1 1 3 1

2 2 3 2

【样例输出】

Yes

样例解释：三个农场种植数量可以为(2,2,1)。

对于100%的数据  1<=n,m,a,b,c<=10000.

裸的spfa_dfs判负环

 #include<iostream>
 #include<cstring>
 using namespace std;

 struct Edge
 {
     int to,w,next;
 }E[];
 int node=,head[],dist[];
 bool vis[];

 int n,m;
 bool flag;

 void insert(int u,int v,int w)
 {
     E[++node]=(Edge){v,w,head[u]};
     head[u]=node;
 }

 void spfa_dfs(int s)
 {
     vis[s]=;
     for(int i=head[s];i;i=E[i].next)
     {
         int to=E[i].to,w=E[i].w;
         if(dist[s]+w<dist[to])
         {
             if(vis[to]){flag=;return;}
             else
             {
                 dist[to]=dist[s]+w;
                 spfa_dfs(to);
             }
         }
     }
     vis[s]=;
 }

 bool check()
 {
     flag=;
     memset(dist,0x7f,sizeof(dist));
     memset(vis,,sizeof(vis));
     for(int i=;i<=n;i++)
     {
         dist[i]=;
         spfa_dfs(i);
         if(flag) return ;
     }
     return ;
 }

 int read()
 {
     int x=,f=;char ch=getchar();
     while(ch<''||ch>''){if(ch=='-')f=-f;ch=getchar();}
     while(ch>=''&&ch<=''){x=x*+ch-'';ch=getchar();}
     return x*f;
 }

 int main()
 {
     n=read();m=read();
     for(int i=;i<=m;i++)
     {
         int f,a,b,c;
         f=read();
         switch(f)
         {
         case :
             a=read();b=read();c=read();
             insert(a,b,-c);
             break;
         case :
             a=read();b=read();c=read();
             insert(b,a,c);
             break;
         case :
             a=read();b=read();
             insert(a,b,);
             insert(b,a,);
             break;
         }
     }
     if(check()) printf("No");
     else printf("Yes");
     return ;
 }