spfa算法求负环

蒟蒻Lucas

已于 2022-07-01 16:27:11 修改

阅读量388

点赞数 1

分类专栏：图论文章标签：算法图论 c++

于 2022-06-18 11:50:43 首次发布

本文链接：https://blog.csdn.net/lucas_fc_/article/details/125345162

版权

本文详细介绍了SPFA算法如何寻找图中的负环。负环定义为边权之和为负的回路。当存在负环时，算法会陷入无限循环，无法找到最短路径。通过记录节点最短路径包含的边数cnt[x]，若cnt[y]超过n，表明存在负环。提供的代码实现展示了如何利用SPFA在最坏情况下以O(nm)复杂度检测负环。

摘要由CSDN通过智能技术生成

spfa求负环

传送门：P3305[模板]负环

负环的定义

负环的定义是：一条边权之和为负数的回路。

找负环的方法

一个含有负环的图是一定没有最短路的，因为一旦有负环则在求最短路的时候会陷在负环中而无法自拔。
所以，若图中没有负环，则最多经过n-1轮迭代后算法结束。若第n轮迭代仍有结点的最短路能被更新，则图中有负环。
所以我们用 cnt[x] 表示1到x的最短路包含的边数（该题要求以1作为源点），cnt[1]=0。每次用 dis[x]+w(x,y) 更新dis[y]时，也是cnt[x]+1更新 cnt[y]。此过程中若出现cnt[y]≥n，则图中有负环。最坏情况复杂度也是 O(nm)。

代码实现

#include<bits/stdc++.h>
#define in read()
#define MAXN 3003
#define MAXM 2*MAXN
using namespace std;
int T,n,m;
int nex[MAXM],first[MAXM],to[MAXM],val[MAXM],tot=0;
bool vis[MAXN];
int cnt[MAXN],dis[MAXN]; 
queue<int>q;

inline int read(){
   
	int x=0,f=1;char c=