【专题】最短路径问题下的Dijkstra算法

一、问题引入

在任意一个简单带权图G=<V, E, W>及v, u ∈ V中，求u, v之间的最短路径及距离的问题，该问题即为最短路径问题。

二、算法讲解

1.1 算法内容

1. 令 l₁ ← 0, p₁ ← λ, l_j ← +∞, p_j ←λ , j = 2,3,4,…,n, P = {v₁}, T = V - {V₁}, k ← 1, t ← 1。
   (λ: 表示为空)
2. 对 ∀ v_j ∈ T ∧ (v_k, v_j) ∈ E;
   令 l ← min{l_j, l_k + w_kj};
   若 l = l_k + w_ij, 则令 l_j ← l, p_j ← v_k。
3. 求 l_i = min{ l_j | v_j ∈ T };
   令 P ← P∪{v_i}, T ← T - {v_i}, k ← i。
4. 令 t ← t + 1；
   若 t < n, 则转移至步骤2继续进行。

1.2 题例讲解

1.2.1 题例引入

Q: 求下图中结点u到结点v的最短路径

1.2.2 解答过程

【STEP-1】

• 对起点u进行画圈标号；
  （即，表明已经找到了u到u的最短路径。）
• 将其他结点用∞进行标记；
  （即表明暂未找到u到其他结点的最短路径。）
• 创建集合S，存储已经标号的顶点。

在集合S中的标号称为永久标号；集合S称为永久标号集。

【STEP-2】

• 找到当前永久标号集中的最后一个结点，即结点u;
• 找到结点u相邻的所有结点，对这些结点使用 “[距离]([源头])” 的方法进行标记；

[距离]([源头]) 标记法：

• 距离：起始结点到当前结点的总距离。
• 源头：当前结点的上一个结点，即当前结点是由哪一个结点引出的。

• 在所有标记的结点中，找到路径最短的结点，并对其进行画圈标号；
  （图中：结点a: 2(u); 结点c: 1(u)。则对结点c进行画圈标号。）
• 将新画圈标号的结点置于永久标号集末尾。

【STEP-3】

• 找到当前永久标号集的最后一个结点，即结点c;
• 找到结点c所有相邻且未被画圈标号的结点，对其进行标记；
  （图中：结点c相邻且未被画圈标号的结点为结点d，则结点d: 4(c)）
• 在所有标记的结点中，找到路径最短的结点，并对其进行画圈标号；
  （图中：结点a: 2(u); 结点d: 4(c)。则对结点c进行画圈标号。）
• 将新画圈标号的结点置于永久标号集末尾。

【STEP-4】

• 找到当前永久标号集的最后一个结点，即结点a;
• 找到结点a所有相邻且未被画圈标号的结点，对其进行标记；
  （图中：结点a相邻且未被画圈标号的结点为结点b，结点d；则结点d: [4(c)，3(a)]_min ⇒ 3(a)；结点b: 5(a)。）

若一个结点出现多个标记，则选取总距离最小的标记进行保留，其余标记全部删去即可。

• 在所有标记的结点中，找到路径最短的结点，并对其进行画圈标号；
  （图中：结点b: 5(a); 结点d: 3(a)。则对结点d进行画圈标号。）
• 将新画圈标号的结点置于永久标号集末尾。

【STEP-5】

• 找到当前永久标号集的最后一个结点，即结点d;
• 找到结点d所有相邻且未被画圈标号的结点，对其进行标记；
  （结点d相邻且未被画圈标号的结点为结点v；则结点v: 5(b)。）
  
• 在所有标记的结点中，找到路径最短的结点，并对其进行画圈标号；
  （图中：结点v: 5(b); 结点b: 5(a)。两结点的路径相等，无最短路径结点。且此时，结点v是整体路径的终点，则直接对结点v进行画圈标号。）
• 将新画圈标号的结点置于永久标号集末尾。

【STEP-6】

• 通过回溯法来确定最短路径。

从结点v开始往回找，找到起点结点u即可终止。

（图中：结点v的标记为 5(d)，即由结点v找到结点d；结点d的标记为 3(a)，即由结点d找到结点a；结点a的标记为 2(u)，即由结点a找到结点u；结束。）

【STEP-7】
即上图的最短路径为：u→a→d→v；
最短路长为：5.

三、实战练习

3.1 练习题目

Q：找出下图中，符合要求的最短路径并求出其路径长度。
(1) v₀ → v₃
(2) v₀ → v₄
(3) v₀ → v₅

3.2 解答过程

解答(1: v₀ → v₃):

1. v₀ 画圈，S = { v₀ }。
2. v₀ 相邻标记，v₅: 100(v₀); v₄: 30(v₀); v₂: 10(v₀)；
   选择最小：v₂；
   v₂ 画圈，S = { v₀， v₂ }。
3. v₂ 相邻标记，v₁: 15(v₂); v₃: 60(v₂);
   选择最小：v₄。（v₁中断，无意义，不考虑）
   v₄ 画圈，S = { v₀， v₂，v₄ }。
4. v₄ 相邻标记，v₅: [90(v₄), 100(v₀)]_min ⇒ 90(v₄); v₃: [50(v₄), 60(v₂)]_min ⇒ 50(v₄);
   选择最小：v₃；
   v₃ 画圈，S = { v₀， v₂，v₄，v₃ }。
5. 回溯：v₃ ← v₄ ← v₀
6. 即 v₀到v₃的最短路径为：v₀ → v₄ → v₃；
   最短路长为：50

解答(2：v₀ → v₄):

1. v₀ 画圈，S = { v₀ }。
2. v₀ 相邻标记，v₅: 100(v₀); v₄: 30(v₀); v₂: 10(v₀)；
   选择最小：v₂；
   v₂ 画圈，S = { v₀， v₂ }。
3. v₂ 相邻标记，v₁: 15(v₂); v₃: 60(v₂);
   选择最小：v₄。（v₁中断，无意义，不考虑）
   v₄ 画圈，S = { v₀， v₂，v₄ }。
4. 回溯：v₄ ← v₀
5. 即 v₀到v₃的最短路径为：v₀ → v₄；
   最短路长为：30

解答(3：v₀ → v₅):

1. v₀ 画圈，S = { v₀ }。
2. v₀ 相邻标记，v₅: 100(v₀); v₄: 30(v₀); v₂: 10(v₀)；
   选择最小：v₂；
   v₂ 画圈，S = { v₀， v₂ }。
3. v₂ 相邻标记，v₁: 15(v₂); v₃: 60(v₂);
   选择最小：v₄。（v₁中断，无意义，不考虑）
   v₄ 画圈，S = { v₀， v₂，v₄ }。
4. v₄ 相邻标记，v₅: [90(v₄), 100(v₀)]_min ⇒ 90(v₄); v₃: [50(v₄), 60(v₂)]_min ⇒ 50(v₄);
   选择最小：v₃；
   v₃ 画圈，S = { v₀， v₂，v₄，v₃ }。
5. v₃ 相邻标记，v₅: [90(v₄), 60(v₃)]_min ⇒ 60(v₃)
   选择最小：v₅;
   v₅ 画圈，S = { v₀， v₂，v₄，v₃， v₅ }
6. 回溯：v₅ ← v₃ ← v₄ ← v₀
7. 即 v₀到v₅的最短路径为：v₀ → v₄ → v₃ → v₅；
   最短路长为：60

在上例中，不难发现：

• 结点为a, b, c, d, e, f, g；
• 若a到g的最短路径为a→b→c→d→e→f→g：
• • 则b到f的最短路径为b→c→d→e→f；
• • 则a到e的最短路径为a→b→c→d→e；
• • …………
• 即在已有最短路径中进行相关截取，也可以获得其他结点间的最短路径。

—— writing by Pan Qifan(潘琦藩) ——