~

当k=0时，我们关注的是邻接矩阵的第0行和第0列，即顶点0的入边和出边；

考察矩阵中其他元素，如果元素D[i][j]向第0行和第0列的投影D[0][j]和D[i][0]都有值，就说明原图中从 i 到 j 存在一条经过顶点0的有向路径 i -> 0 -> j，

这样的路径包含的边数不会超过2，如果其权值小于D[i][j]，则应用这个权值更新D[i][j]，表明图中有向路径 i -> 0 -> j 相比原有路径更短。

k=1、2时情况类似~

OK哒，哈哈~