学习笔记2：SPFA（SPFA他死了！）

类似BFS，可以求有负权图的单源最短路问题

之前写过一个关于另一个单源最短路算法迪杰斯特拉的博客，在没有负权的情况下，能用Dijkstra就用Dijkstra，因为（SPFA他死了）Dijkstra不管在时间复杂度还是适用度上，都比SPFA强

准备：一个数组s存从起点到当前点的最短路，一个mk数组存当前点是否在队列里

SPFA和BFS差不多，每次遍历当前点的出边，如果s[y]（边的终点） >s[x]（当前点）+w[i]（第i条边的权值）那么更新s[y]，如果s[y]不在队列里，那么讲当前点的编号y入队（注意是y而不是s[y]）

在学习笔记1：Dijkstra算法（附洛谷P4779题解）_flyfreemrn的博客-CSDN博客中我曾说过dijkstra算法并不能解决带有负权的图，而SPFA就是在用来有负权图中的单源最短路问题，因为SPFA并不像dijkstra一样每个点只遍历一遍，SPFA中每个点会被重复遍历或重复更新

SPFA解决负权回路：SPFA相比dijkstra的第二个优点是可以解决负权回路，在没有负权回路的图中，一个点最多被遍历一次，如果一个点被遍历多次，就说明遇到了负权回路，而SPFA中，即使一个点已经被遍历过了，也有可能再次入队，因此只需要用一个变量存总入队次数，如果入队次数不等于点数，就说明遇到了负权回路

一道例题信息学奥赛一本通（C++版）在线评测系统P1419 SPFA(||)

一下为C++AC代码（不算很长）：

#include<bits/stdc++.h>
using namespace std;
const int N=100010,M=400005;
long long hd[N],nxt[M],ed[M],w[M],s[N],mk[N];//如上 
long long n,m,idx;
void add(int x,int y,int qz){//存链表 
	nxt[++idx]=hd[x];
	ed[idx]=y;
	w[idx]=qz;
	hd[x]=idx;
}

void SPFA(){
	queue <int> q;//队列 
	q.push(1);//起始点入队 
	mk[1]=1;//标记起始点已在队列中 
	while(q.size()){//循环直到队列为空 
		int t=q.front();
		q.pop();//弹出 
		mk[t]=0;//标记当前位置已经出队 
		for(int i=hd[t];i;i=nxt[i]){//遍历出边 
			if(s[t]+w[i]<s[ed[i]]){//判断是否需要更新s 
				s[ed[i]]=s[t]+w[i];//更新s 
				if(mk[ed[i]]==0){//判断是否在队列中 
					mk[ed[i]]=1;//标记该点已经入队 
					q.push(ed[i]);//入队 
				}
			}
		}
	}
}
int main(){
	cin>>n>>m;
	for(int i=0;i<N;i++)s[i]=LONG_LONG_MAX;//赋初始值，memset也行 
	s[1]=0;
	for(int i=1;i<=m;i++){
		int x,y,qz;
		cin>>x>>y>>qz;
		if(x==y)continue;
		add(x,y,qz);
	}	
	SPFA();
	cout<<s[n]; 
	return 0;
}