关于弗洛伊德算法的理解

Floyd算法三次循环用于构建图上各个点之间的最短路径

    for (int k = 0; k < n; k++) 
        for (int i = 0; i < n; i++) 
            for (int j = 0; j < n; j++) 
                a[i][j] = Math.min(a[i][j], a[i][k] + a[k][j]);

dp方程

dp[k][i][j] = min(dp[k-1][i][k],dp[k-1][i][k],dp[k-1][k][j])

由dp方程可以看出来，弗洛伊德算法其实就是一个简单的动态规划算法。

Floyd构造的结构非常巧妙：找i和j之间通过编号不超过k（k从1到n）的节点的最短路径（一定要注意，这里是当前最短路径，当k=n时达到最终最短路径）。为了便于说明，我们可以弄一个三维数组f[k][i][j]表示i和j之间可以通过编号不超过k的节点的“最短路径”。对于k-1到k，只有两种可能，经过编号为k的点，要么不能找到一条从i到j的更短路，此时有f[k][i][j] = f[k-1][i][j] ；要么能找到，那这个最短路径一定是d[i][k]+d[k][j]，那么就用这个较小的距离去更新d[i][j]。综合以上两种情况，f[k][i][j] = min(f[k-1][i][j] , f[k-1][i][k]+f[k-1][k][j])。