洛谷P1993 小 K 的农场(查分约束)

时间:2022-04-14 07:54:56
/*
加深一下对查分约束的理解
建图的时候为了保证所有点联通 虚拟一个点
它与所有点相连 权值为0
然后跑SPFA判负环
这题好像要写dfs的SPFA 要不超时
比较懒 改了改重复进队的条件~
*/
#include<iostream>
#include<cstdio>
#include<cstring>
#include<queue>
#define maxn 40010
using namespace std;
int n,m,num,head[maxn],dis[maxn],f[maxn],c[maxn],falg;
struct node{
int v,t,pre;
}e[maxn];
queue<int>q;
void Add(int from,int to,int dis){
num++;e[num].v=to;
e[num].t=dis;
e[num].pre=head[from];
head[from]=num;
}
void SPFA(){
memset(dis,/,sizeof(dis));
f[n+]=;dis[n+]=;
q.push(n+);c[n+]++;
while(!q.empty()){
int k=q.front();q.pop();
if(c[k]>n){
falg=;break;
}
f[k]=;
for(int i=head[k];i;i=e[i].pre){
int v=e[i].v;
if(dis[v]>dis[k]+e[i].t){
dis[v]=dis[k]+e[i].t;
if(f[v]==){
f[v]=;c[v]++;
q.push(v);
}
}
}
}
}
int main()
{
scanf("%d%d",&n,&m);
int w,x,y,z;
for(int i=;i<=m;i++){
scanf("%d",&w);
if(w==){
scanf("%d%d%d",&x,&y,&z);
Add(y,x,-z);
}
if(w==){
scanf("%d%d%d",&x,&y,&z);
Add(x,y,z);
}
if(w==){
scanf("%d%d",&x,&y);
Add(x,y,);Add(y,x,);
}
}
for(int i=;i<=n;i++)Add(n+,i,);
SPFA();
if(!falg)printf("Yes\n");
else printf("No\n");
return ;
}