نظرًا لأن خوارزمية Floyd ترخي بالتتابع المسافات بين جميع أزواج القمم (i ، j) ، بما في ذلك تلك التي تحتوي على i = j ، والمسافة الأولية بين زوج من القمم (i ، i) تساوي صفرًا ، عندئذٍ يمكن أن يحدث الاسترخاء فقط إذا كان الرأس k مثل d [i] [k] + d [k] [i] & lt؛ 0 ، وهو ما يعادل وجود دورة سالبة من خلال الرأس i