负环

（tips:这里有一道题我交了不下30次，刚刚ac。。。）
首先，我们来了解一下负环的定义。
负环，又叫负权回路，负权环，指的是一个图中存在一个环，里面包含的边的边权总和<0。在存在负环的图中，是求不出最短路径的，因为只要在这个环上不停的兜圈子，最短路径就会无限小。
看到洛谷里各种玄学算法（感觉洛谷里的题解都很迷 ），本蒟蒻还是给大家了解一下bfs版spfa判负环的这种方法（dfs?不存在的 ）。
判断负权回路的方法有两种
1、如果一个点的入队的次数大于点的总数N，则存在负权回路。
2、如果每个顶点的最短路径超过N，则存在负权回路。（雾
所以，我先给大家讲解第一种方法。
首先，一个很基本的存图操作。

struct node
{
 int next,to,w;
}edge[maxn*2];
void addedge(int x,int y,int z)
{
    edge[++tot].to=y;
    edge[tot].next=head[x];
    edge[tot].w=z;
    head[x]=tot;
}

建完图后，跑一遍spfa
我们用circle数组保存每个点的入队次数。本人英语垃圾，环，circle…

bool spfa()
{
 queue<int>q;
 q.push(1);
 circle[1]=1;//1号点入队一次。
    while(!q.empty())
    {
        int u=q.front();
        q.pop();
  flag[u]=false;
        for(int i=head[u];i;i=edge[i].next)
        {//遍历与队首节点相连的点。
            int v=edge[i].to;
            int w=edge[i].w;
            if(dis[v]>dis[u]+w)
            {
                dis[v]=dis[u]+w;//松弛操作
                if(!flag[v])
                {
                 circle[v]=circle[u]+1;//关键，这个点的入队次数是他上一个相连的点的次数+1。
                 if(circle[v]>n)return true;//第一种方法的定义，存在负环，退出函数。
                  q.push(v);
                 flag[v]=true;
                }
            }
        }
    }
    return false;//不存在负环
}

推荐题目
1、【模板】负环
（tips：输出的是YE5，不是S，N0，不是O，不要被题解上那些玄学算法迷惑。。。）。
2、P2850 [USACO06DEC]虫洞Wormholes
3、洛谷搜标签：负权环。

Code：
1、【模板】负环

#include<bits/stdc++.h>
using namespace std;
#define maxn 6001
#define INF INT_MAX
int head[maxn];
int n,m,p,tot=0;
int dis[2*maxn];
bool flag[2*maxn];
int ans=0;
int circle[2*maxn];
queue<int>q;
struct node
{
 int next,to,w;
}edge[maxn*2];
void addedge(int x,int y,int z)
{
    edge[++tot].to=y;
    edge[tot].next=head[x];
    edge[tot].w=z;
    head[x]=tot;
}
bool spfa()
{
 queue<int>q;
 q.push(1);
 circle[1]=1;
    while(!q.empty())
    {
        int u=q.front();
        q.pop();
  flag[u]=false;
        for(int i=head[u];i;i=edge[i].next)
        {
            int v=edge[i].to;
            int w=edge[i].w;
            if(dis[v]>dis[u]+w)
            {
                dis[v]=dis[u]+w;
                if(!flag[v])
                {
                 circle[v]=circle[u]+1;
                 if(circle[u]>n)return true;
                  q.push(v);
                 flag[v]=true;
                }
            }
        }
    }
    return false;
}
int main()
{
    int T;
    scanf("%d",&T);
    while(T--)
    {
        scanf("%d%d",&n,&m);
        tot=0;
        for(int i=1;i<=n;i++)
        {
         flag[i]=false;
         dis[i]=0;
         circle[i]=0;
         head[i]=0;
  }
  dis[1]=0;
        for(int i=1,u,v,w;i<=m;i++) 
        {
            scanf("%d%d%d",&u,&v,&w);
            addedge(u,v,w);
            if(w>=0)addedge(v,u,w);
        }       
        if(spfa())puts("YE5");
        else puts("N0");
    }
    return 0;
}

2、虫洞

#include<bits/stdc++.h>
using namespace std;
#define maxn 500001
#define INF INT_MAX
int pre[maxn*2],now[maxn*2],son[maxn*2],len[maxn];
int n,m,p,tot=0;
int dis[maxn];
bool flag[maxn];
int ans=0;
int circle[maxn];
queue<int>q;
inline void edge(int x,int y,int z)
{
    pre[++tot]=now[x];
    now[x]=tot;
    son[tot]=y;
    len[tot]=z;
}
void spfa(int p)
{
 memset(dis,0x3f,sizeof(dis));
 q.push(p);
 dis[p]=0;
 flag[p]=true;
 while(!q.empty())
 {
  int u=q.front();
  q.pop();
  flag[u]=false;
  for(int i=now[u];i;i=pre[i])
  {
   int v=son[i];
   if(dis[v]>dis[u]+len[i])
   {
    dis[v]=dis[u]+len[i];
    circle[v]=circle[u]+1;
    if(circle[v]>n){puts("YES");return ;}
    if(!flag[v])
    {
     flag[v]=false;
     q.push(v);
    }
   }
  }
 }
 puts("NO");
} 
int main()
{
 int T,holes;
 scanf("%d",&T);
    for(register int i=1;i<=T;i++)
    {
        scanf("%d%d%d",&n,&m,&holes);
        for(register int i=1,u,v,w;i<=m;i++) 
        {
            scanf("%d%d%d",&u,&v,&w);
            edge(u,v,w);
            edge(v,u,w);
        }
        for(register int i=1,u,v,w;i<=holes;i++)
        {
            scanf("%d%d%d",&u,&v,&w);
            edge(u,v,-w);
        }
        spfa(1);
        memset(len,0,sizeof(len));
        memset(pre,0,sizeof(pre));
        memset(son,0,sizeof(son));
        memset(now,0,sizeof(now));
        memset(circle,0,sizeof(circle));
    }
 return 0;
}

（不要在意两次存图方法不一样 ）。

本篇题解到此结束，谢谢大家的查看。
提供hack数据请在评论区评论，谢谢。