floyd算法证明

て烟熏妆下的殇ゞ 提交于 2020-01-11 04:37:30

算法介绍

  1. 作用:求多源最短路径
  2. 核心思想:算法 扫描一遍 n
    判断 (A[ i ][ n ]+A[ n ][ j ] ) < A[ i ][ j ] (即判断 i -> j,i点到j点的距离是否小于从n点中转的距离) 如果小则刷新,因此复杂度是n3次方

算法实现

网上有很多参考:https://juejin.im/post/5cc79c93f265da035b61a42e

算法证明

不存在最短路径的场景:

不存在最短路径:存在负权环,理论上可以无穷小(此算法无法解决)。不通,表现为无穷大,两点的最短路径一直会是无穷大,因为没有中间的存在(如果有则两点相通)。

存在最短路径的场景:

存在最短路径,ab之间存在一条或多条最短路径。将ab的路径展开得到最短路径 a c d e f g b(路径可以是多条,但长度是一致);

递归思想:则 c d e f g 一定有一个顶点x(任意一个顶点)是最后刷新,则如果a x 和 x b的最短路径长度已经得到,则ab的最短路径长度则会刷新 此算法就是对的;递归思想 将 ax 划分成a y(y任意一顶点代称) 与yx ,xb 划分为x y 和yb,最后递归的边界为 a i(i任意顶点代称,最短路径a i之间无任何节点),然而ai 因为是最短路径,所以a到i的距离就是最短距离。所以此算法正确。

递推思想:每出现一个顶点 则此顶点的左右都是最短路径 ,此顶点与左右的最短路径将互相连通,形成新的最短路径 更新最短路径长度。

易学教程内所有资源均来自网络或用户发布的内容,如有违反法律规定的内容欢迎反馈
该文章没有解决你所遇到的问题?点击提问,说说你的问题,让更多的人一起探讨吧!