图论之最短路径floyd算法

Posted zhongzihao

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了图论之最短路径floyd算法相关的知识,希望对你有一定的参考价值。

Floyd算法是图论中经典的多源最短路径算法,即求任意两点之间的最短路径。 

它可采用动态规划思想,因为它满足最优子结构性质,即最短路径序列的子序列也是最短路径。

技术分享图片

 

 

举例说明最优子结构性质,上图中1号到5号的最短路径序列<1,2,4,5>,其子序列<1,2,4>也是最短路径。

在动态规划算法中,处于首要位置、且也是核心理念之一的就是状态的定义。

动态转移的基本思想可以认为是建立起某一状态和之前状态的一种转移表示。

d[k][i][j]定义为“只能使用第1号到第k号点作为中间媒介时,点i到点j之间的最短路径长度”。

按照前面的定义,d[k][i][j]是一种使用1号到k号点的状态,可以想办法把这个状态通过动态转移,规约到使用1号到(k-1)号的状态,即d[k-1][i][j]。

对于d[k][i][j](即使用1号到k号点中的所有点作为中间媒介时,i和j之间的最短路径),可以分为两种情况:

(I)i到j的最短路不经过k;

(II)i到j的最短路经过了k。

不经过点k的最短路情况下,d[k][i][j]=d[k-1][i][j]。

经过点k的最短路情况下,d[k][i][j]=d[k-1][i][k]+d[k-1][k][j]。

因此,综合上述两种情况,便可以得到Floyd算法的动态转移方程:

d[k][i][j] = min(d[k-1][i][j], d[k-1][i][k]+d[k-1][k][j])(k,i,j∈[1,n])

在这里,需要注意上述动态转移方程的初始(边界)条件,即d[0][i][j]=w(i, j),

也就是说在不使用任何点的情况下(“松弛操作”的最初),两点之间最短路径的长度就是两点之间边的权值。

方法:“松弛”点,“五行代码”通过n-1次松弛节点

技术分享图片

参考资料:https://www.cnblogs.com/chenying99/p/3932877.html

以上是关于图论之最短路径floyd算法的主要内容,如果未能解决你的问题,请参考以下文章

图论算法之最短路径

图论动态规划算法——Floyd最短路径

Python描述数据结构之最短路径篇

图论--05:最短路径问题(Floyd算法)

leetcode之最短路径+记忆化dfs+bfs+动态规划刷题总结

数学建模暑期集训22:图论最短路径问题——Dijkstra算法和Floyd算法