洛谷P1993 小 K 的农场（查分约束）

/*
加深一下对查分约束的理解
建图的时候为了保证所有点联通 虚拟一个点
它与所有点相连 权值为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 ;
}