Como o algoritmo Floyd relaxa sequencialmente as distâncias entre todos os pares de vértices (i, j), incluindo aqueles com i=j, e a distância inicial entre um par de vértices (i, i) é igual a zero, então o relaxamento pode ocorrer apenas se o vértice k tal que d[i][k]+d[k][i]<0, que é equivalente a ter um ciclo negativo através do vértice i