Dado que el algoritmo de Floyd relaja secuencialmente las distancias entre todos los pares de vértices (i, j), incluidos aquellos con i=j, y la distancia inicial entre un par de vértices (i, i) es igual a cero, entonces la relajación solo puede ocurrir si el vértice k tal que d[i][k]+d[k][i]<0, lo que equivale a tener un ciclo negativo a través del vértice i