在图论中，一个常见的问题目标是寻找图中所有顶点对之间的最短路径。对于这类问题，经典的解决方案是Floyd-Warshall算法。它通过动态规划的方式，计算出图中任意两点之间的最短路径，适用于没有负权边的图结构。
然而，当图中存在负权回路时，即存在一条边使得从某个顶点出发，经过这条边后，路径长度反而变得更短，此时Floyd-Warshall算法将失效。为了解决这类问题，Bellman-Ford算法登场。它通过重复松弛操作，能够检测并处理负权回路，找到全局最短路径。但值得注意的是，Bellman-Ford算法在处理过程中可能会进行不必要的松弛操作，效率上有所欠缺。
为了解决这个问题，SPFA（Shortest Path Faster Algorithm，最短路径更快算法）应运而生。SPFA算法在Bellman-Ford的基础上进行了优化，它利用队列数据结构，通过分阶段的方式处理节点，减少了不必要的松弛次数，从而显著提高了算法的效率。因此，当面对包含负权边的图时，SPFA是寻找全局最短路径的高效选择。
最短路问题（short-path problem）：若网络中的每条边都有一个数值（长度、成本、时间等），则找出两节点（通常是源节点和阱节点）之间总权和最小的路径就是最短路问题。最短路问题是网络理论解决的典型问题之一，可用来解决管路铺设、线路安装、厂区布局和设备更新等实际问题。