【模板】负环

描述

找负环

输入

第一行一个正整数T表示数据组数，对于每组数据：
第一行两个正整数N M，表示图有N个顶点，M条边
接下来M行，每行三个整数a b w，表示a->b有一条权值为w的边（若w<0则为单向，否则双向）

输出

共T行。对于每组数据，存在负环则输出一行"YE5"(不含引号)，否则输出一行"N0"(不含引号)。

样例

输入
2
3 4
1 2 2
1 3 4
2 3 1
3 1 -3
3 3
1 2 3
2 3 4
3 1 -8
输出
N0
YE5

提示

N,M,|w|≤200 000；1≤a,b≤N；T≤10 建议复制输出格式中的字符串。
此题普通Bellman-Ford或BFS-SPFA会TLE

此题普通Bellman-Ford或BFS-SPFA真的会TLE！证明： https://www.luogu.org/record/show?rid=3554669

判断负环最常用的就是spfa。当然各位大佬搜索暴力也能过的……
而判负环的spfa也有2种，一种是BFS，而另一种是DFS。怎么都是大法师

BFS

BFS的尤其简单
在普通的spfa上加一个数组，记录各个点被更新/入栈的次数，一旦大于了某个数(一般取点数)就判定是有负环的。
BFS_SPFA的期望时间复杂度是\(O(\)边数\(*\)所有顶点进队的平均次数\()\),
既然存在负环，这个期望的时间复杂度就真的是期望了，鬼知道这负环有多长，还要绕多少圈，慢的一比。

DFS

而DFS的要改一改
找负环，就是找一条权值和为负的回路，
而在我们的DFS过程中，根据SPFA，我们找到的负环一定包含当前枚举的这个点。
即相当于我们找了一圈回来，发现现在的权值比原来的要小，那么我们就一定走了一个负环。
那么我们就分别枚举所有的点作为起点找负环，为了不TLE，如果已经找到一个负环就不再继续枚举。
代码蒯上

#include<iostream>
#include<iomanip>
#include<cmath>
#include<queue>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<algorithm>
using namespace std;
inline int gotcha()
{register int _a=0;bool _b=1;register char _c=getchar();while(_c<'0' || _c>'9'){if(_c=='-')_b=0;_c=getchar();}while(_c>='0' && _c<='9')_a=_a*10+_c-48,_c=getchar();return _b?_a:-_a;
}
const int _ = 200002;
struct edge{int to,ne,len;edge(){to=ne=len=0;}}e[_<<1];
int he[_]={0},ecnt=0;
void add(int fr,int to,int len)
{e[++ecnt].to=to,e[ecnt].len=len,e[ecnt].ne=he[fr],he[fr]=ecnt;}
int n,m,dis[_];
bool ed[_]={0},vict;
void spfa(int d)
{register int i,b;if(vict)return;ed[d]=1;for(i=he[d];i;i=e[i].ne){b=e[i].to;if(dis[d]+e[i].len<dis[b]){dis[b]=dis[d]+e[i].len;if(ed[b]){vict=1;return;}spfa(b);}}ed[d]=0;return;
}
int main()
{register int i,k,a,b,t=gotcha();while(t--){n=gotcha(),m=gotcha();memset(he,0,4*n+8),memset(ed,0,n+2),memset(dis,63,4*n+8),ecnt=0,vict=0;for(i=1;i<=m;i++){a=gotcha(),b=gotcha(),k=gotcha();add(a,b,k);if(k>=0)add(b,a,k);}for(i=1;i<=n;i++){spfa(i);if(vict)break;}if(vict)puts("YE5");else puts("N0");}return 0;
}