题目描述
小K在MC里面建立很多很多的农场,总共n个,以至于他自己都忘记了每个农场中种植作物的具体数量了,他只记得一些含糊的信息(共m个),以下列三种形式描述:
- 农场a比农场b至少多种植了c个单位的作物,
- 农场a比农场b至多多种植了c个单位的作物,
- 农场a与农场b种植的作物数一样多。
但是,由于小K的记忆有些偏差,所以他想要知道存不存在一种情况,使得农场的种植作物数量与他记忆中的所有信息吻合。
输入输出格式
输入格式:
第一行包括两个整数 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 一样多。
输出格式:
如果存在某种情况与小 K 的记忆吻合,输出“Yes”,否则输出“No”。
思路:
显然是到差分约束裸题
对于第一个关系,我们建一条a->b边权为c的边
对于第二个关系,我们建一条b->a边权为-c的边
对于第三个关系,我们建a->b与b->a两条边权为0的边
然后我们用spfa跑最长路即可
代码:
#include<iostream> #include<cstdio> #include<algorithm> #include<queue> #define rii register int i #define rij register int j using namespace std; int n,m,cnt,vis[20005],head[10005],last[10005],jl[10005]; queue<int>q; struct ljb{ int to,val,nxt,from; }x[30005]; void add(int from,int to,int val) { cnt++; x[cnt].from=from; x[cnt].val=val; x[cnt].to=to; if(head[from]==0) { head[from]=cnt; } if(last[from]!=0) { x[last[from]].nxt=cnt; } last[from]=cnt; } bool spfa(int st) { vis[st]=1; for(rii=head[st];i!=0;i=x[i].nxt) { if(jl[x[i].to]<jl[st]+x[i].val) { jl[x[i].to]=jl[st]+x[i].val; if(vis[x[i].to]!=0) { return false; } if(spfa(x[i].to)==false) { return false; } } } vis[st]=0; return true; } int main() { scanf("%d%d",&n,&m); for(rii=1;i<=n;i++) { jl[i]=-2147483647; } for(rii=1;i<=m;i++) { int p,from,to,val; scanf("%d%d%d",&p,&from,&to); if(p==1) { scanf("%d",&val); add(to,from,val); } if(p==2) { scanf("%d",&val); add(from,to,-val); } if(p==3) { add(to,from,0); add(from,to,0); } } for(rii=1;i<=n;i++) { add(0,i,0); } bool kkk=spfa(0); if(kkk==true) { cout<<"Yes"; } else { cout<<"No"; } }