Floyd algoritması, i=j olanlar da dahil olmak üzere tüm köşe çiftleri (i, j) arasındaki mesafeleri sırayla gevşettiğinden ve bir çift köşe (i, i) arasındaki ilk mesafe sıfıra eşit olduğundan, gevşeme yalnızca gerçekleşebilir k köşesi d[i][k]+d[k][i]<0 olacak şekilde ise, bu, i köşesi boyunca negatif bir döngüye sahip olmaya eşdeğerdir