为啥说SPFA已死？三种图论算法太难懂？深入浅出谈图论，看这篇文章就够了

干货没人看

已于 2024-08-11 12:57:32 修改

阅读量946

点赞数 8

文章标签： c语言 c++ 经验分享算法图论

于 2024-08-10 15:37:32 首次发布

本文链接：https://blog.csdn.net/qq_36916968/article/details/141091606

版权

在某些人的口中，SPFA 已死，甚至沦为“算法坟墓”里的新成员。但真的是这样吗？很多人都这么认为，但真的对吗？今天，我就要掀开这背后隐藏的惊天大阴谋，带你深入了解 SPFA、Dijkstra 和 Floyd-Warshall 这三大图论算法，以及它们之间不可告人的相似性！

首先，先别急着否定 SPFA，咱们一步步来。SPFA（Shortest Path Faster Algorithm），这个曾经被誉为“最短路径终极武器”的算法，曾风靡一时，成为不少竞赛选手的“秘密武器”。它的核心在于不断优化路径，让你在最短时间内找到从源点到各个节点的最短路径。听上去很牛，对吧？但问题来了，SPFA 为什么被竞赛圈调侃为“已死”呢？让我们先定性的理解一下三种算法，大致理解后再来看代码。

SPFA ：精心策划的“谋杀案”

SPFA 的设计初衷是在稀疏图上大展拳脚，它通过队列（Queue）来管理需要松弛的节点，理论上可以达到比 Bellman-Ford 更快的效果。然而，出题人并不是那么容易被打败的！为了给参赛者出难题，他们会设计一些“恶意”图结构——例如具有大量负权边或复杂的环形结构，这些图会让 SPFA 的队列膨胀得离谱，从而使算法的最坏时间复杂度从 (O(V + E)) 升至 (O(VE))。这可不是小打小闹的变化，一下子让 SPFA 在竞赛场上栽了个大跟头。

然而，这是否意味着 SPFA 真的是个“废物”算法呢？答案当然是否定的！SPFA 的性能在实际应用中依然优秀，尤其在稀疏图或某些特定情况下，它的表现依然闪耀。但在算法竞赛中，它的命运往往由出题人掌控。

Dijkstra：稳定的老将

说到 Dijkstra，很多人会想：“这个不是最古老的最短路径算法吗？”没错，Dijkstra 确实是个老将，它的核心在于利用优先队列（通常是最小堆）来逐步找到最短路径。它的运行效率在非负权边的情况下表现优秀，但如果图中出现负权边，Dijkstra 就无法正常工作了。

Dijkstra 算法的时间复杂度通常是 (O(E + V \log V))，其中 (E) 是边数，(V) 是节点数。这使得它在稠密图（边数远大于节点数）的情况下表现较好，尤其是在没有负权边的场景下，Dijkstra 是稳定且高效的选择。

Floyd-Warshall：全局性“大杀器”

接下来，让我们聊聊 Floyd-Warshall 这个“大杀器”。Floyd-Warshall 算法和前面两位不同，它是个全局性算法，能够在 (O(V^3)) 的时间复杂度内解决任意两点之间的最短路径问题。它的工作原理是动态规划，通过三重循环逐步优化图中所有节点对之间的路径。

虽然 Floyd-Warshall 算法看上去很笨重，但它胜在稳定和全面，尤其是在解决全局最短路径问题时无可替代。虽然它在大型稠密图上可能显得有些慢，但它的普适性让它成为了图论算法中的一员大将。

三大算法的共同点

尽管这些算法看上去各有千秋，但它们的核心都是一样的：松弛。什么是松弛？简单来说，松弛就是不断尝试通过某条边，看看能不能找到更短的路径，并更新结果。SPFA、Dijkstra 和 Floyd-Warshall 无一例外地依赖于松弛操作，通过不断优化路径，逐步逼近最终的最短路径解。

为了更直观地理解这三种算法，我们来看看它们的 C 语言实现

1. SPFA 算法

SPFA (Shortest Path Faster Algorithm) 主要用于计算单源最短路径，适用于有负权边的图，但不能处理负权环。其核心思想是利用队列（Queue）来动态调整节点的处理顺序，从而加速最短路径的计算。

#include <stdio.h>
#include <limits.h>
#include <queue>
#include <vector>
#include <stdbool.h>

#define MAXN 1000
#define INF INT_MAX

using namespace std;

// Edge 结构体，表示图中的一条边
struct Edge {
   
    int to, weight; // 目标节点和边权
};

vector<Edge> adj[MAXN]; // 邻接表表示图
int dist[MAXN]; // 存储从源点到各节点的最短路径距离
bool inQueue[MAXN]; // 记录节点是否在队列中

void SPFA(int source, int n) {
   
    queue<int> q