弗洛伊德算法(Floyd-Warshall)

一、简介

       弗洛伊德算法又名插点法，是一种利用动态规划的思想寻找给定的加权图中多源点之间最短路径的算法。

       弗洛伊德算法是一种在具有正或负边缘权重但没有负周期的加权图中找到最短路径的算法。算法的单个执行将找到所有顶点对之间的最短路径的长度（加权）。 虽然它不返回路径本身的细节，但是可以通过对算法的简单修改来重建路径。 该算法的版本也可用于查找关系R的传递闭包，或在加权图中所有顶点对之间的最宽路径。

二、核心思路

路径矩阵

        即通过一个图的权值矩阵求出它的每两点间的最短路径矩阵。 

        从图的带权临接A=[a(i,j)] n×n开始，迭代地进行n次更新，即由矩阵D(0)=A，按一个公式，构造出矩阵D(1)；又用同样地公式由D(1)构造出D(2)；……；最后又用同样的公式由D(n-1)构造出矩阵D(n)。矩阵D(n)的i行j列元素便是i号顶点到j号顶点的最短路径长度，称D(n)为图的距离矩阵，同时还可引入一个后继节点矩阵path来记录两点间的最短路径。

状态转移方程

map[i,j]:=min{map[i,k]+map[k,j],map[i,j]}；

        map[i,j]表示i到j的最短距离，K是穷举i,j的断点，map[n,n]初值应该为0，或者按照题目意思来做。

        当然，如果这条路没有通的话，还必须特殊处理，比如没有map[i,k]这条路。

过程

1. 从任意一条单边路径