Poiché l'algoritmo di Floyd rilassa sequenzialmente le distanze tra tutte le coppie di vertici (i, j), comprese quelle con i=j, e la distanza iniziale tra una coppia di vertici (i, i) è uguale a zero, allora il rilassamento può avvenire solo se vertice k tale che d[i][k]+d[k][i]<0, che equivale ad avere un ciclo negativo attraverso il vertice i