最短路径问题——单源最短路径问题

啵啵张

已于 2024-02-07 17:58:14 修改

阅读量361

点赞数

文章标签：算法

于 2023-08-24 11:55:52 首次发布

本文链接：https://blog.csdn.net/m0_56945100/article/details/132350524

版权

一、相关概念及性质

1、环路

负环路：将环路的所有权重相加为负值。

我们要说明的是：对于我们所讨论的最短路径问题中，最短路径上一定不会存在环路。因此，对于图 $G=\left ( V,E \right )$ ，每条最短路径至多存在 $\left | V \right |-1$ 条边。

解释：在最短路径问题中，我们所讨论的图均不含负环路（严谨的说，不含从源点可达的负环路）。这是因为，如果存在负环路，我们总可以通过多次经过该负环路来使得路径长度不断减少，这时最短路径是不存在的，于是我们不考虑负环路情况。所以最短路径上肯定不会存在负环路。如果路径上存在非负环路，那么我们总可以通过去掉该环路使得路径长度减少。总而言之，求得的最短路径上一定不会存在环路。

2、松弛操作（relaxation）

对于每个结点 $v$ 使用 $v.\pi$ 保存其前驱结点， $v.d$ 保存从源结点 $s$ 到 $v$ 的最短路径估计。任何算法结束时， $v.\pi$ 保存 $v$ 最短路径上的前驱结点， $v.d$ 保存从源结点 $s$ 到 $v$ 的最短路径的长度。

初始化：

时间复杂度： $O(V)$ 。

对边 $\left ( u,v \right )$ 的松弛操作：

时间复杂度： $O(1)$ 。

我们所讨论的算法都需要使用如上初始化和松弛操作。算法之间的不同之处在于：对每条边进行松弛的次数和次序不同。Dijkstra算法和用于有向无环图的最短路径算法对每条边松弛一次，Bellman-Ford算法则对每条边松弛 $\left | V \right |-1$ 次。

3、引理及性质

我们所使用的算法正确性依赖于如下性质及定理。

引理（最短路径的子路径也是最短路径）：设 $p=\left \langle v_{0},v_{1},...,v_{k} \right \rangle$ 为从结点 $v_{0}$ 到结点 $v_{k}$ 的一条最短路径，并且对于任意 $i,j,0\leq i\leq j\leq k$ ，设 $p_{ij}=\left \langle v_{i},v_{i+1}....,v_{j} \right \rangle$ 为路径 $p$ 中从结点 $v_{i}$ 到 $v_{j}$ 的子路径。那么 $p_{ij}$ 是从结点 $v_{i}$ 到 $v_{j}$ 的一条最短路径。