数据结构与算法之最短路径-Dijkstra算法

接上文的 最短路径-BFS算法

BFS 算法的局限性

带权路径长度——当图是带权图时，一条路径上所有边的权值之和，称为该路径的带权路径长度之和。

BFS 算法求单源最短路径只适用于无权图，或所有边的权值都相同的图

最短路径问题

1. 单源最短路径
   1. BFS 算法 (无权图)
   2. Dijkstra 算法 (带权图、无权图)
2. 各顶点间的最短路径
   1. Floyd 算法 (带权图、无权图)

Dijkstra 算法

算法思想

首先观看如下两副图：

初试：

1. 从 $v_0$开始，初始化三个数组信息如下
   1. final[5]：标记各顶点是否已找到最短路径
   2. dist[5]：最短路径长度
   3. path[5]：路径上的前驱
      第一轮：
2. 循环遍历所有结点，找到还没确定最短路径，且 dist 最小的顶点 $V_i$，令 final[i]=true.
3. 检查所有邻接自$V_i$的顶点。若其final 值为false，则更新dist 和path 的信息
   第二轮：
4. 循环遍历所有结点，找到还没确定最短路径，且dist 最小的顶点$V_i$，令final[i]=true.
5. 检查所有邻接自 $V_i$的顶点。若其 final 值为 false，则更新 dist 和 path 的信息
   …N 轮之后…
   直到 final 数组全为 true，循环结束

计算机思路

1. 初始：
   1. 若从 v_0 开始，令 final[0]=true;dist[0]=0;path[0]=0
   2. 其余顶点 final[k]=false;dist[k]=arcs[0][k];¹path[k]=(arcs[0][k]==9999)?-1:0
2. n-1 轮处理：
   1. 循环遍历所有顶点，找到还没确定最短路径，且 dist 最⼩的顶点 Vi，令 final[i]=ture。并检查所有邻接⾃Vi 的顶点，对于邻接⾃Vi 的顶点 Vj ，若 final[j]==false 且 dist[i]+arcs[i][j] < dist[j]，则令 dist[j]=dist[i]+arcs[i][j]; path[j]=i。（注： arcs[i][j] 表示 Vi 到 Vj 的弧的权值）

时间复杂度：$O(n^2)$即 $O(|V{|}^2)$。

如何使用数组信息？

$v_0$到 $v_2$的最短 (带权) 路径长度为：dist[2]=9
通过 path[5] 可知，v_0 到 v_2 的最短 (带权) 路径：$v_2$<–$v_1$<–$v_4$<–$v_0$

这里需要结合 Prim 算法 一起进行比较，二者比较类似

用于负权值带权图

事实上 v_0 到 v_2 的最短带权路径长度为 5
结论：Dijkstra 算法不适用于有负值的带权图

---

1. 弧的长度，不存在弧的话那就是无穷或者 9999 特殊大整型 ↩︎