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一样多输出格式
Output
如果存在某种情况与小K的记忆吻合,输出”Yes”,否则输出”No”Sample Input
33 312 1131 2232
Sample Output
Yes
样例解释
三个农场种植的数量可以为(2,2,1)。
对于100%的数据,1<=n,m,a,b,c<=10000
显然,这是个差分约束的题…对于1、2、3,三种情况分类讨论建树,然后跑一遍spfa。一定要注意判负环的时候,在这里用一个vis数组来进行判断。(思路是利用spfa跑,每次跑对vis数组内+1,如果大于n这个数,则是证明它已经形成了一个环,直接return)
判负环代码如下:
vis[u]=vis[x]+1; //判负环
if(vis[u]>n)
{
vist=1;
return ;
}
还有就是初始化,手残打在了scanf的前面wawawawawawawa了好多遍(满眼心酸泪)教训啊QAQ
好在最后在loi_a和小兔子学长的帮助下,最终调出来了!!!
下附代码:
#include<iostream>
#include<cstdlib>
#include<cstdio>
#include<queue>
#include<cstring>
using namespace std;
const int MAXN=20005;
struct dqs
{
int t,c;
}hh[MAXN];
int first[MAXN],next[MAXN],d[MAXN],vist;
bool used[MAXN];
int tot=0,n,m;
void build(int f,int t,int c )
{
hh[++tot].t =t;
hh[tot].c =c;
next[tot]=first[f];
first[f]=tot;
}
int vis[MAXN];
queue <int>q;
void spfa(int s)
{
d[s]=0;
q.push(s);
used[s]=1;
while(!q.empty())
{
int x=q.front();
q.pop();
used[x]=0;
for(int i=first[x];i;i=next[i])
{
int u=hh[i].t ;
if(d[u]>d[x]+hh[i].c )
{
d[u]=d[x]+hh[i].c;
if(!used[u])
{
q.push(u);
used[u]=1;
vis[u]=vis[x]+1; //判负环
if(vis[u]>n)
{
vist=1;
return ;
}
}
}
}
}
}
int main()
{
scanf("%d%d",&n,&m);
for(int i=1;i<=n;i++)//初始化
d[i]=1000000000;
int l,a,b,c;
for(int i=1;i<=m;i++)
{
cin>>l;
if(l==1)
{
scanf("%d%d%d",&a,&b,&c);
build(a,b,-c);
}
if(l==2)
{
scanf("%d%d%d",&a,&b,&c);
build(b,a,c);
}
if(l==3)
{
scanf("%d%d",&a,&b);
build(a,b,0);
build(b,a,0);
}
}
for(int i=1;i<=n;i++)
{
if(d[i]==1000000000)
spfa(i);
if(vist==1)
{
cout<<"No";
return 0;
}
}
cout<<"Yes";
return 0;
}