P3385 【模板】负环

题目描述

暴力枚举/SPFA/Bellman-ford/奇怪的贪心/超神搜索

输入输出格式

输入格式：

第一行一个正整数T表示数据组数，对于每组数据：

第一行两个正整数N M，表示图有N个顶点，M条边

接下来M行，每行三个整数a b w，表示a->b有一条权值为w的边（若w<0则为单向，否则双向）

输出格式：

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

输入输出样例

输入样例#1：

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

输出样例#1：

N0
YE5

说明

N,M,|w|≤200 000；1≤a,b≤N；T≤10 建议复制输出格式中的字符串。

此题普通Bellman-Ford或BFS-SPFA会TLE

一开始用差分约束中判断负环的方法，。

发现会T3个点，原因很是我们的SPFA 主要是用来求最短路，其次是用来判断负环。

所以很大的一部分时间用在了最短路上，

那么我们可以放弃最短路，直接求负环。

这样的话刚开始直接把所有的dis全部赋值为0即可

#include<iostream>
#include<cstdio>
#include<cstring>
#include<cmath>
#include<queue>
#include<algorithm>
#define lli long long int
using namespace std;
const int MAXN=200001;
const int maxn=0x7fffff;
inline void read(int &n)
{
char c='+';int x=0;bool flag=0;
while(c<'0'||c>'9')
{c=getchar();if(c=='-')flag=1;}
while(c>='0'&&c<='9')
{x=(x<<1)+(x<<3)+c-48;c=getchar();}
flag==1?n=-x:n=x;
}
int T,n,m;
struct node
{
int u,v,w,nxt;
}edge[MAXN*2];
int head[MAXN];
int num=1;
int dis[MAXN];
bool vis[MAXN];
bool flag=0;
inline void cler()
{
/*for(int i=1;i<=n;i++)
{
head[i]=-1;
dis[i]=maxn;
vis[i]=0;
}*/
memset(head,-1,sizeof(head));
memset(dis,0,sizeof(dis));
memset(vis,0,sizeof(vis));
//    dis[1]=0;
flag=0;
num=1;
}
inline void add_edge(int x,int y,int z)
{
edge[num].u=x;
edge[num].v=y;
edge[num].w=z;
edge[num].nxt=head[x];
head[x]=num++;
}
inline void SPFA(int now)
{
vis[now]=1;
for(int i=head[now];i!=-1;i=edge[i].nxt)
{
if(dis[edge[i].v]>dis[edge[i].u]+edge[i].w)
{

if(vis[edge[i].v]||flag)
{
flag=1;
break;
}
dis[edge[i].v]=dis[edge[i].u]+edge[i].w;
SPFA(edge[i].v);
}
}
vis[now]=0;
}
int main()
{
read(T);
while(T--)
{
//read(n);read(m);
scanf("%d%d",&n,&m);
cler();
for(int i=1;i<=m;i++)
{
int x,y,z;
scanf("%d%d%d",&x,&y,&z);
//read(x);read(y);read(z);
add_edge(x,y,z);
if(z>=0)
add_edge(y,x,z);
}
for(int i=1;i<=n;i++)
{
SPFA(i);
if(flag)
break;
}
if(flag)printf("YE5\n");
else printf("N0\n");
}
return 0;
}