节点最短路径算法改进

2744557306

实现了一种基于邻接矩阵的图算法，具体是 Floyd-Warshall 算法的一个变种，用于计算每对节点之间的最短路径。下面对代码进行逐行分析并解释算法思想。

Floyd-Warshall 算法的基本思想Floyd-Warshall 算法是一种用于求解加权图中任意两点之间最短路径的动态规划算法。它的思想是通过中间节点逐步更新路径长度，最终得到所有节点对之间的最短路径。
. W6 _  y. ?* l- k代码解析

[color=rgba(6, 8, 31, 0.88)]函数定义:

1. function a = dij2_m(a)

复制代码

- `a` 为输入的邻接矩阵，表示图中节点之间的边的权重。
- 输出结果也是更新后的邻接矩阵 `a`，其中的值代表任意两节点之间的最短路径距离。

[color=rgba(6, 8, 31, 0.88)]将邻接矩阵变为对称矩阵[color=rgba(6, 8, 31, 0.88)]:

1. n = length(a);  
   % D4 p, \, ^& c$ g  `: T& l7 W
2. for i = 2:n  1 |$ I  o% G2 h
   
3.     for j = 1:(i-1)  
   . B$ B1 F+ h, i+ h* l
4.         a(i,j) = a(j,i);  7 @! q) U8 H4 z7 ~
   
5.     end  
   $ n- w- m& }4 @$ n& w2 D2 S1 n
6. end

复制代码

- 这部分代码确保输入的邻接矩阵是对称的，即 \(a(i, j) = a(j, i)\)。这是因为对于无向图，节点间的距离应该是相同的。

[color=rgba(6, 8, 31, 0.88)]主程序[color=rgba(6, 8, 31, 0.88)]:

1. for k = 1:(n-1)  
   $ S$ }' z& x: P% s
2.     b = [1:(k-1),(k+1):n]; % 初始化剩余节点  
   , b/ u8 D+ U- o\" v4 Q
3.     kk = length(b);    B4 Y- k2 i0 @, p( f  I6 ^
   
4.     a_id = k;              % 当前节点  8 }\" W+ m* S9 z5 h\" w' O0 G
   
5.     b1 = [(k+1):n];       % 节点的一部分  2 T8 [. F6 L\" p5 i* Q
   
6.     kk1 = length(b1);

复制代码

- 这段代码是在外层循环中执行的。变量 `k` 表示当前考虑的中间节点。
- `b` 是未考虑的节点集合，初始为包含所有节点（除了当前节点 `k`）的数组。
- `b1` 是一组要更新的节点，将从 `k+1` 开始划分，以找到与节点 `k` 的路径。

, b! D3 v# x1 ~! W[color=rgba(6, 8, 31, 0.88)]更新最短路径[color=rgba(6, 8, 31, 0.88)]:

1. while kk > 0  : B  {* [8 Q3 Z1 n0 _- I
   
2.     for j = 1:kk1  # E$ n6 S& \; T! C# J! E/ K. n
   
3.         te = a(k, a_id) + a(a_id, b1(j));  
   5 g/ E( ?5 ~  k2 q, [% I2 D9 \3 O  r
4.         if te < a(k, b1(j))  % _  i+ J4 c3 `& u! E0 m7 ]( ~
   
5.             a(k, b1(j)) = te;  
   2 m2 e# W: Z\" Y- g0 r4 p& P; p
6.         end  9 o+ W( _\" x2 t  H9 b, \
   
7.     end

复制代码

- 在 `while` 循环中，对于每个未访问节点，从当前节点 `k` 到所有在 `b1` 中节点的路径进行更新。
- 计算通过当前节点 `a_id` 访问 `b1` 中的每个节点的路径 `te`，如果这个新路径比已知的更短，就更新邻接矩阵。
5 J  f- @, b0 J; o
' T6 x: u! H9 i9 j[color=rgba(6, 8, 31, 0.88)]选择下一个节点[color=rgba(6, 8, 31, 0.88)]:

1. miid = 1;  
   8 h' f  W) {8 Z+ g9 T\" Q
2. for j = 2:kk  1 U0 ]2 o+ h% E8 c
   
3.     if a(k, b(j)) < a(k, b(miid))  & q5 h( n* n5 y\" K: l
   
4.         miid = j;  
   6 z' h% g\" b: e* f9 c1 Q- R
5.     end  
   7 x& M/ ]9 F) j
6. end  
   / [: j9 N, ~: ]# a1 M' Q\" ?' e1 ~+ ~! n
7. a_id = b(miid);          % 选取出最短路径的节点  
   5 |8 p9 U! U2 O; y\" Q. j, C3 g
8. b = [b(1:(miid-1)), b((miid+1):kk)]; % 从该集合中移除选择的节点  
   ' j' y& m8 \$ e7 L% Z/ O& D
9. kk = length(b);

复制代码

- 找到当前未访问节点中与 `k` 相连的最短距离节点，将其标记为 `a_id`，并更新集合 `b`，剔除已经访问的节点。

[color=rgba(6, 8, 31, 0.88)]更新所有节点间的距离[color=rgba(6, 8, 31, 0.88)]:

1. for j = (k+1):n  ' \% ^4 O6 |2 q& }4 n( e- E
   
2.     a(j, k) = a(k, j);  
   3 o0 S+ M( T9 z, |
3. end

复制代码

- 更新 `a` 中关于节点 `k` 的距离，保证后续节点间的对称性。

总结整体来看，这段代码通过逐步选择中间节点，并更新已处理节点之间的最短路径距离，从而计算出无向图的任意两点之间的最短路径。其核心思想是动态规划和“逐步逼近”，和传统的 Floyd-Warshall 算法有相似之处，但实现上有所变化。
7 B' E; F0 Y# V
此算法的时间复杂度为 \(O(V^3)\)，其中 \(V\) 是图中节点的数量，适合用于小型图的最短路径计算。
" v- \" a/ l) }- p2 \6 x+ I
8 c- _; _9 L3 i+ T