如果S[i,j,0]=无穷大,除了S[0],j,L]=0,那么它应该有效。最终,所有的S[i,j,L]==S[i、j,L+1],你就可以停止迭代了。S[i,j,L]则具有从第一列到该单元格的最短路径的代价。
这就是左上角对于L值增加的重复出现的情况。
0 inf inf inf inf
0 inf inf inf inf
0 inf inf inf inf
0 1 inf inf inf inf
0 20 inf inf inf inf
0 21 inf inf inf inf
0 1 2 inf inf inf
0 2 30 inf inf inf
0 21 22 inf inf inf
0 1 2 3 inf inf
0 2 3 39 inf inf
0 12 22 23 inf inf
0 1 2 3 4 inf
0 2 3 4 47 inf
0 12 12 23 24 inf
0 1 2 3 4 5
0 2 3 4 5 48
0 12 12 12 24 25
0 1 2 3 4 5
0 2 3 4 5 6
0 12 12 12 6 25
0 1 2 3 4 5
0 2 3 4 5 6
0 12 12 7 6 7
0 1 2 3 4 5
0 2 3 4 5 6
0 12 8 7 6 7
0 1 2 3 4 5
0 2 3 4 5 6
0 9 8 7 6 7
左上角不会发生进一步的更改。你可以看到,它正在慢慢发现到达每个细胞的最低成本。