解决任意两点间的最短路径的一种算法，可以正确处理有向图或负权（但不可存在负权回路）的最短路径问题，同时也被用于计算有向图的传递闭包。算法的时间复杂度为formula_1，空间复杂度为formula_2。
原理.算法的原理是动态规划。设formula_3为从formula_4到formula_5的只以formula_6集合中的节点为中间节点的最短路径的长度。因此，formula_9。在实际算法中，为了节约空间，可以直接在原来空间上进行迭代，这样空间可降至二维。Se