图论-Floyd算法-核心代码+证明

floyd算法试图将每一个顶点都作为跳点安插到一对点间以缩短路径
实现的核心是三重循环

matlab核心代码：

for k=1:n %对每一个顶点
    for i=1:n %对每一行
        for j=1:n %对每一列
            if a(i,j)>a(i,k)+a(k,j) %如果直接相邻距离大于以k号顶点做跳点，则更新距离
                a(i,j)=a(i,k)+a(k,j);
                path(i,j)=k; %记录跳点信息
            end
        end
    end
end

证明：如果floyid算法执行找出了点对间的一条路径§，那么这条路径是点对的最短路径(q)
如果是用反证法，则假设路径不是最短路径(q是错的)，实际有另一个最短路径，推理出这不是floyid算法找出的路径(p是错的),这与事实(p是对的)不符。所以结论是对的(q是对的)。然而这完全不知道怎么下手。
如果来正面推理
(1)如果点对(i,j)之间不连通，更新完后还是不连通，我们不考虑
(2)如果点对(i,j)之间连通，必有一条最短路径，称其为path，路径中的任意两点间的路径都是一个更小的最短路径，这是事实(简单就可以反证)，是辅助推理的条件。
例如：点对(3,5)的最短路径为：3->4->1->2->5。其中4->1->2，是点对(4,2)的最短路径
(3)floyid算法可以找出这条path
floyid算法的最外层循环是遍历跳点，从第一次遍历到在这条最短路径中的一个点开始，将两边连接[反证法证明:如果不连接两边，但是两边连接确实是一个最短路径，那么这与floyid算法 a[i,j] = min(a[i,j],a[i,k]+a[k,j])不符]，构建了第一个小的最短路径，再遍历到下一个点，再将多边续接(使用同样的反证法)，构建了一个更大一点的最短路径，不断这样做，最后一次续接就得到了我们想要的最短路径。(这不就是一个递推证明吗)
如：
试图将第1个点安插为跳点而遍历邻接矩阵时，会搭建4->1->2
试图将第2个点安插为跳点而遍历邻接矩阵时，会搭建4->1->2->5
试图将第3个点安插为跳点而遍历邻接矩阵时，3不是跳点，无作为
试图将第4个点安插为跳点而遍历邻接矩阵时，会搭建3->4->1->2->5
(4)因为floyid算法可以找出这条path，且这条path是最短路径，所以floyid算法可以找出点对的最短路径。
…
将所有顶点试图安插为跳点，挨个遍历邻接矩阵后，
我们发现：
Floyd算法巧妙地由局部到整体搭建出了点对的最短路径

参考的文章：https://blog.csdn.net/shuibansha