【BZOJ】3436: 小K的农场

3436: 小K的农场

Time Limit: 10 Sec  Memory Limit: 128 MB
Submit: 938  Solved: 417
[Submit][Status][Discuss]

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）

HINT

 

Source

Kpmcup#0 By Greens

---

入门题!

设点x，y相差c

若x==y,x与y之间连两条权值为0的的边

x-y<=c，y向x连一条权值为c的边

x-y>=c变形为y-x<=c，x向y连一条权值为-c的边

构出一张有向图，利用SPFA在图中找负权环，若有负权环则说明答案不合法（SPFA找负权环应当使用DFS版的）

---

 #include<iostream>
 #include<cstdio>
 #include<algorithm>
 #include<cstdlib>
 #include<algorithm>
 #include<vector>
 #include<cmath>
 #include<ctime>
 #include<cstring>
 #define yyj(s) freopen(s".in","r",stdin),freopen(s".out","w",stdout);
 #define llg long long
 #define maxn 50000
 #define md 20000
 #define inf (llg)1e16
 using namespace std;
 llg i,j,k,n,m,dl[maxn*],head,tail,dis[maxn],bj[maxn],js[maxn],heh,top,stack[maxn];
 bool f;

 vector <llg> a[maxn],val[maxn];

 void link(llg x,llg y,llg v)
 {
     a[x].push_back(y),val[x].push_back(v);
 }

 void init()
 {
     llg x,y,t,v;
     cin>>n>>m;
     for (i=;i<=m;i++)
     {
         scanf("%lld%lld%lld",&t,&x,&y);
         if (t==)
         {
             link(x,y,); link(y,x,);
         }
         if (t==)
         {
             scanf("%lld",&v);
             link(y,x,v);
         }
         if (t==)
         {
             scanf("%lld",&v);
             link(x,y,-v);
         }
     }
     f=true;
 }

 bool SPFA()
 {
     for(llg i=;i<=n;i++) dis[i]=,stack[++top]=i,bj[i]=;
     llg u,w;
     while(top>)
     {
         u=stack[top]; top--; bj[u]=;
         w=a[u].size();
         for(llg i=;i<w;i++)
         {
             llg v=a[u][i];
             if(dis[v]>dis[u]+val[u][i])
             {
                 dis[v]=dis[u]+val[u][i];
                 if(!bj[v]) { bj[v]=; stack[++top]=v; js[v]++; if(js[v]>=n) return false;}
             }
         }
     }
     return true;
 }

 int main()
 {
     yyj("a");
     init();
     if (SPFA()) cout<<"Yes"; else cout<<"No";
     return ;
 }