Étant donné que l'algorithme de Floyd relâche séquentiellement les distances entre toutes les paires de sommets (i, j), y compris celles avec i = j, et que la distance initiale entre une paire de sommets (i, i) est égale à zéro, alors la relaxation ne peut se produire que si sommet k tel que d[i][k]+d[k][i]<0, ce qui équivaut à avoir un cycle négatif passant par le sommet i