از آنجایی که الگوریتم فلوید به طور متوالی فواصل بین همه جفت رئوس (i, j)، از جمله آنهایی که دارای i=j هستند را شل می کند و فاصله اولیه بین یک جفت رئوس (i, i) برابر با صفر است، پس آرامش فقط می تواند رخ دهد. اگر راس k به گونه ای باشد که d[i][k]+d[k][i]<0، که معادل داشتن یک چرخه منفی در راس i است.