Description
背景
小
K
是个特么喜欢玩
描述
小
K
在
第一行包括两个整数
n
和
Output
如果存在某种情况与小
K
的记忆吻合,输出”
SampleInput
3
3
Yes
样例解释
三个农场种植的数量可以为 (2,2,1)
Source
Kpmcup#0 By Greens
Solution
典型的差分约束系统。
从
a
向
所有的不等式都可以转化成这种形式,然后连边表示不等关系。
是否存在有可行解即求是否存在负环,若存在负环则不存在可行解。
#include<stdio.h>
#define N 10005
int dis[N],s[N],u,v,c,tot,n,m;
bool q[N],flag=0;
struct edge{int v,n,c;}e[N];
inline void addedge(const int &u,const int &v,const int &c)
{
e[++tot]={v,s[u],c};
s[u]=tot;
}
void spfa(const int &u)
{
q[u]=1;
for (int i=s[u];i;i=e[i].n) if (dis[u]+e[i].c<dis[e[i].v])
{
if (q[e[i].v])
{
flag=1;
return;
}
dis[e[i].v]=dis[u]+e[i].c;
spfa(e[i].v);
if (flag) return;
}
q[u]=0;
}
int main()
{
scanf("%d%d",&n,&m);
while (m--)
{
scanf("%d%d%d",&c,&u,&v);
if (c==1)
{
scanf("%d",&c);
addedge(u,v,-c);
}
else if (c==2)
{
scanf("%d",&c);
addedge(v,u,c);
}
else addedge(u,v,0);
}
for (int i=1;i<=n;i++)
{
spfa(i);
if (flag) break;
}
puts(flag?"No":"Yes");
}