Floyd–Warshall算法三重循环条件：是否需排除特殊节点对？

直接给结论：不带条件判断的原写法更优，具体原因如下：

1. 特殊节点对的更新不影响结果 #

Floyd-Warshall的核心逻辑是通过中间节点i，对所有节点对(a,b)的最短路径进行松弛更新，核心公式为：

d[a][b] = min(d[a][b], d[a][i] + d[i][b])

你提到的几种特殊节点对场景，更新操作不会改变最终结果：

• 若a == i：公式变为d[i][b] = min(d[i][b], d[i][i] + d[i][b])，而d[i][i]初始值为0，计算后结果与原d[i][b]完全一致。
• 若b == i：同理，d[a][i] = min(d[a][i], d[a][i] + d[i][i])，结果不会发生变化。
• 若a == b：d[a][a] = min(d[a][a], d[a][i] + d[i][a])，在无负环的场景下，d[a][a]始终为0，而d[a][i]+d[i][a]不可能小于0；即使存在负环，算法本身会检测到该情况，过滤a==b也无法解决问题。

这些场景下的更新属于无效操作，但完全不会破坏算法的正确性。

2. 添加条件判断反而得不偿失 #

你想加入的a != i and b != i and a != b判断，看似减少了几次赋值，但实际存在明显弊端：

• 代码冗余，增加理解成本——新手看到这些额外条件，可能会偏离对算法“通过所有中间节点松弛所有路径”核心逻辑的关注，反而产生困惑。
• 三重循环内的多条件判断（三个逻辑与）本身存在性能开销，在大多数编程语言中，这个开销远大于那几次无效赋值的消耗，反而会拖慢程序运行速度。

3. 简洁性是标准实现的优势 #

经典的Floyd-Warshall实现都不带这类过滤条件，写法简洁统一，方便记忆和维护。比如最常见的伪代码：

for k from 1 to n:
    for i from 1 to n:
        for j from 1 to n:
            d[i][j] = min(d[i][j], d[i][k] + d[k][j])

没有额外判断，核心逻辑一目了然，这也是工业界和教学场景中普遍采用的写法。

内容的提问来源于stack exchange，提问作者Asios