Floyd算法求有權圖（非負權）的最短路徑並打印

狀態轉移方程：d(i,j) = min(d(i,j),d(i,k)+d(k,j))，其中i<k<j
思路對於每個k(i<k<j)，所有遍歷下來以後，確定會發生一次有效的比較

public class FloydTest {
  private static int[][] matrix;

  private static int[][] path;

  public static void main(String[] args) {

    initMatrixAndPath(
            new int[][]{
                    {0, 1, 8, 5},
                    {1, 0, 7, 6},
                    {8, 7, 0, 2},
                    {5, 6, 2, 0}}
    );


    floyd(matrix, path);
    printShortDistance();
    printShortDistanceDetail();
  }

  private static void initMatrixAndPath(int[][] matrix) {
    FloydTest.matrix = matrix;
    FloydTest.path = new int[matrix.length][matrix.length];

    for (int i = 0; i < FloydTest.matrix.length; i++) {
      for (int j = 0; j < FloydTest.matrix[i].length; j++) {
        path[i][j] = j;
      }
    }
  }

  private static void floyd(int[][] matrix, int[][] path) {
    for (int k = 0; k < matrix.length; k++) {
      for (int i = 0; i < matrix.length; i++)
        for (int j = 0; j < matrix.length; j++) {
          if (matrix[i][j] > matrix[i][k] + matrix[k][j]) {
            matrix[i][j] = matrix[i][k] + matrix[k][j];
            path[i][j] = path[i][k];
          }
        }
    }


  }

  private static String getNodeName(int nodeIndex) {
    return "v" + nodeIndex;
  }

  private static void printShortDistanceDetail() {
    for (int i = 0; i < matrix.length; i++) {
      for (int j = 0; j < matrix[i].length; j++) {
        int x = j;
        StringBuilder sb = new StringBuilder("最短路徑[v" + i + ",v" + j + "]爲:");
        sb.append(getNodeName(x));
        sb.append("<--");
        while (path[i][j] != x) {
          x = path[i][x];
          sb.append(getNodeName(path[i][x]));
          sb.append("<--");
        }
        sb.append(getNodeName(i));

        System.out.println(sb);
      }

    }
  }

  private static void printShortDistance() {
    for (int i = 0; i < matrix.length; i++) {
      for (int j = 0; j < matrix[i].length; j++) {
        System.out.println("v" + i + "到" + "v" + j + "最短路徑爲:" + matrix[i][j]);
      }
    }
  }
}

輸出結果

v0到v0最短路徑爲:0
v0到v1最短路徑爲:1
v0到v2最短路徑爲:7
v0到v3最短路徑爲:5
v1到v0最短路徑爲:1
v1到v1最短路徑爲:0
v1到v2最短路徑爲:7
v1到v3最短路徑爲:6
v2到v0最短路徑爲:7
v2到v1最短路徑爲:7
v2到v2最短路徑爲:0
v2到v3最短路徑爲:2
v3到v0最短路徑爲:5
v3到v1最短路徑爲:6
v3到v2最短路徑爲:2
v3到v3最短路徑爲:0
最短路徑[v0,v0]爲:v0<--v0
最短路徑[v0,v1]爲:v1<--v0
最短路徑[v0,v2]爲:v2<--v3<--v0
最短路徑[v0,v3]爲:v3<--v0
最短路徑[v1,v0]爲:v0<--v1
最短路徑[v1,v1]爲:v1<--v1
最短路徑[v1,v2]爲:v2<--v1
最短路徑[v1,v3]爲:v3<--v1
最短路徑[v2,v0]爲:v0<--v3<--v2
最短路徑[v2,v1]爲:v1<--v2
最短路徑[v2,v2]爲:v2<--v2
最短路徑[v2,v3]爲:v3<--v2
最短路徑[v3,v0]爲:v0<--v3
最短路徑[v3,v1]爲:v1<--v3
最短路徑[v3,v2]爲:v2<--v3
最短路徑[v3,v3]爲:v3<--v3

其餘：看了網上的一些關於floyd算法證實的過程。其實最主要的一點，證實當k爲遍歷的最後一個節點時，d(i,k)+d(k,j)取最小值，d(i,k)和d(k,j)也已經爲各自的最小值。網上關於這個的證實文章很是的少，若是有大佬有嚴謹的證實過程還望不吝賜教。

ps:結合大佬的回答和本身的搜索，找到一篇還不錯的證實和原理分析的文章。
https://www-m9.ma.tum.de/grap...