算法基础期末考点总结二十四——所有节点对的最短路径问题

简单粗暴的方法

对每个点，做一次单源最短路径算法。
如果有负权值，必须选用bellman-ford算法，在稠密图里，时间复杂度高达O(n^4)

运算重载+重复平方

我们定义一个lij（m）为i到j的边至多有m条的最短路径权值之和。
那么我们有初始化：
有递推式：


时间复杂度为O(V^4），没有改进。
这时我们发现算法和矩阵乘法很像，而且对于l数组，有一个性质就是l（m+1）=l（m）（当m大于V-1时），所以我们每次求平方，使得时间复杂度变为O(V^3lgV）

Floyd-Warshall算法

定义dij（k）为i到j的中途顶点序号不大于k的最短路径权重之和。
初始化：D（0）为邻接矩阵W
递推式：


floyd-warshall算法还能求最短路径由什么点构成，这由Π数组可得。
初始化：

递推式：

算法时间复杂度为O(n^3)

有向图的传递闭包

两种方法：
1.把所有权值赋为1，调用floyd-warshall算法，如果dij小于V；i，j存在路径
，否则不存在。
2.定义tij（k）表示i，j是否存在中间节点序号最大为k的路径。
初始化：

递推式：

算法：（和floyd-warshall算法类似）

算法时间复杂度为O(n^3)

用于稀疏图的johnson算法

原理

为每个节点赋予一个像是势函数的函数，然后重新计算权重；我们有以下定理：

就像电磁学，电场做功之和初末势能有关。
然后问题就变成怎么找势函数，使得重新计算的图中，没有负权值的边。
思路是，新设一个点，他指向所有图中的点，以这个点为源点，调用bellman-ford算法，计算最小生成树，然后每个点以最短路径权值为势函数，重新计算权值，对每一个点调用dijkstra算法。