负环判断模版

1，当图中不存在重边或自环时，可以用普通的dfs搜索，当存在时，普通的dfs便无能为力了，需要使用SPFA算法

2，初始时所有的d全部赋成0，可以很大幅度上提升效率，这是和最短路不同的地方

3，每个点都要搜索，当每个点都找不到负环时，才可以认为没有负环

例题：https://www.luogu.org/problem/show?pid=U13273

#include<cstdio>
#include<cstdlib>
#include<algorithm>
#include<cstring>
#define MAXN 505
#define MAXM 3005
using namespace std;
int read(){
    int x=0,f=1;char ch=getchar();
    while(ch<'0'||ch>'9'){if('-'==ch)f=-1;ch=getchar();}
    while('0'<=ch&&ch<='9'){x=x*10+ch-'0';ch=getchar();}
    return x*f;
}
int first[MAXN],Next[MAXM*2],to[MAXM*2],Val[MAXM*2],cnt;
//double edge
int d[MAXN],b[MAXN];
int n,m,p;
void Add(int x,int y,int w){
    Next[++cnt]=first[x];first[x]=cnt;to[cnt]=y;Val[cnt]=w;
}
int SPFA(int x){
    //!!!
    if(b[x]){
        return 1;
    }
    b[x]=1;
    for(int e=first[x];e;e=Next[e]){
        int y=to[e],w=Val[e];
        if(d[y]>d[x]+w){
            d[y]=d[x]+w;
            if(SPFA(y)){
                return 1;
            }
        }
    }
    b[x]=0;
    return 0;
}
void solve(){
    memset(first,0,sizeof(first));
    memset(Next,0,sizeof(Next));
    memset(to,0,sizeof(to));
    memset(Val,0,sizeof(Val));
    memset(d,0,sizeof(d));
    memset(b,0,sizeof(b));
    cnt=0;
    n=read();m=read();p=read();
    for(int i=1;i<=m;i++){
        int x,y,w;
        x=read();y=read();w=read();
        Add(x,y,w);
        Add(y,x,w);
    }
    for(int i=1;i<=p;i++){
        int x,y,w;
        x=read();y=read();w=read();
        Add(x,y,-w);
    }
    for(int i=1;i<=n;i++){
        if(SPFA(i)){
            printf("YES
");
            return ;    
        }
    }
    printf("NO
");
}
int main()
{
    int T;
    T=read();
    for(int i=1;i<=T;i++){
        solve();
    }
    return 0;
}