चूँकि फ़्लॉइड एल्गोरिथम अनुक्रमिक रूप से कोने के सभी जोड़े (i, j) के बीच की दूरी को आराम देता है, जिसमें i = j वाले भी शामिल हैं, और कोने की एक जोड़ी (i, i) के बीच की प्रारंभिक दूरी शून्य के बराबर है, तो विश्राम केवल हो सकता है यदि वर्टेक्स k ऐसा है कि d[i][k]+d[k][i]<0, जो वर्टेक्स i के माध्यम से एक नकारात्मक चक्र होने के बराबर है