由于Floyd算法顺序松弛所有顶点对(i, j)之间的距离,包括i=j的顶点对,并且一对顶点(i, i)之间的初始距离等于0,那么松弛只能发生如果顶点 k 使得 d[i][k]+d[k][i]<0,这相当于有一个通过顶点 i 的负循环
1000 ms 256 Mb Rules for program design and list of errors in automatic problem checking