~
当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哒,哈哈~