我有这个代码（迭代加深以找到最短路径）： arc(a, g). arc(a, b). arc(b, g). path(X, Z, Path) :- length(Path, _), path_...

我试图找到一个直观的解释，解释为什么我们可以推广 Dijkstra 算法，以在没有负边的有向加权图中从单个源中找到 K 条最短（简单）路径。根据维基百科，修改后的 Dijkstra 的伪代码如下： ...