Floyd-Warshall 算法与循环？

Question

我正在实现 Floyd-Warshall 算法，我有一个问题： 如果我的图中有一个循环（我的意思是，从 A 到 A 的成本是 1），算法应该输出什么，0（因为从任何节点到同一个节点的成本是 0），或者 1 （因为从 A 到 A 有一条成本为 1 的边？

我没有包含任何代码，因为这只是那个问题。

Answer 1

在 Floyd-Warhsall 算法的 Wikipedia article 中有一段明确讨论如何处理负长度的循环，如下所示。

负循环是其边缘总和为负值的循环。在构成负循环的任何一对顶点 i、j 之间没有最短路径，因为从 i 到 j 的路径长度可以任意小（负）。对于具有数值意义的输出，Floyd-Warshall 算法假设没有负循环。然而，如果存在负循环，则可以使用 Floyd-Warshall 算法来检测它们。

包括细节，最终算法的内部工作原理如下。

因此，使用 Floyd-Warshall 算法检测负循环，可以检查路径矩阵的对角线，负数的存在表明该图至少包含一个负循环。