Floyd アルゴリズムは、i=j の頂点を含むすべての頂点のペア (i, j) 間の距離を順次緩和し、頂点のペア (i, i) 間の初期距離はゼロに等しいため、緩和はのみ発生します。頂点 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