【spfa 判负环】P3385 【模板】负环

分析

主要是如何在spfa里判负环的问题
首先易得，对于一个不存在负环的图，从起点到任意一个点最短距离经过的点最多只有 n 个
而spfa里，在没有负环的情况下，一个点到另一个点的最短路最多被其他所有点更新，所以若某个点入队大于n次后说明有负环
当然，若spfa要判断正环，将最短路换为最长路即可，判断准则仍然是入队n次

同时注意输出

code

#include<bits/stdc++.h>
using namespace std;
#define loop(i,start,end) for(register int i=start;i<=end;++i)
#define clean(arry,num); memset(arry,num,sizeof(arry));
const int maxn=2000+10;
const int maxm=3000+10;
int n,m;
int T;
int cnt=0;
struct node
{
	int e;int w;int nxt;
}e[maxm<<1];
int head[maxn];
int vis[maxn];
int dis[maxn];
inline int read()
{
	int ans=0;bool neg=false;char r=getchar();
	while(r>'9'||r<'0'){if(r=='-')neg=true;r=getchar();}
	while(r>='0'&&r<='9'){ans=ans*10+r-'0';r=getchar();}
	return (neg)?-ans:ans;
}
inline void addl(int u,int v,int w)
{
	e[cnt].e=v;
	e[cnt].w=w;
	e[cnt].nxt=head[u];
	head[u]=cnt;
	++cnt;
}
inline void spfa()
{
	clean(vis,0);
	clean(dis,0x3f);
	queue<int>q;
	q.push(1);
	vis[1]++;
	dis[1]=0;
	while(q.empty()==false)
	{
		int f=q.front();q.pop();
		for(int i=head[f];i!=-1;i=e[i].nxt)
		{
			int v=e[i].e;
			if(dis[v]>dis[f]+e[i].w)
			{
				dis[v]=dis[f]+e[i].w;
				q.push(v);
				vis[v]++;
				if(vis[v]>n)
				{
					printf("YE5\n");
					return;
				}
			}
		}
	}
	printf("N0\n");
}
int main()
{
	#ifndef ONLINE_JUDGE
    freopen("datain.txt","r",stdin);
    #endif
    T=read();
    while(T--)
    {
    	cnt=0;
		clean(head,-1);
    	n=read(),m=read();
    	loop(i,1,m)
    	{
    		int a,b,w;
    		a=read(),b=read(),w=read();
    		addl(a,b,w);
    		if(w>=0)addl(b,a,w);
		}
		spfa();
	}
	return 0;
}

---

update 2019.8.16

找负环不用SLF优化的原因

考虑如下图(菊花图):

绿色的边边权比其他边小的多,但实际上负环在黄色的边上

这就是这道题为什么不加优化的spfa反而可以过的原因