从floyd算法学习动态规划

    floyd的相关概念看这里。

    floyd的代码实现其实很简单：

    void floyd() { for(k=0;k<n;k++) for(i=0;i<n;i++) for(j=0;j<n;j++) A[i][j]=min(A[i][j],A[i][k]+A[k][j]); }  

    这里我一直好奇的是这三个漂亮的循环是怎么完成最终正确的结果的，如何证明它们是正确的。直到看了这里的解析，才算弄懂了。

    floyd算法是一个经典的动态规划算法。用通俗的语言来描述的话，首先我们的目标是寻找从点i到点j的最短路径。从动态规划的角度看问题，我们需要为这个目标重新做一个诠释（这个诠释正是动态规划最富创造力的精华所在），floyd算法加入了这个概念

    A^k(i,j)：表示从i到j中途不经过索引比k大的点的最短路径。

    这个限制的重要之处在于，它将最短路径的概念做了限制，使得该限制有机会满足迭代关系，这个迭代关系就在于研究：假设A^k(i,j)已知，是否可以借此推导出A^k-1(i,j)。