Uma aresta negativa é simplesmente uma aresta com um peso negativo. Pode estar em qualquer contexto pertencente ao gráfico e a que bordas se referem. Por exemplo, o CD da aresta no gráfico acima é uma aresta negativa. O Floyd-Warshall funciona minimizando o peso entre cada par do gráfico, se possível. Portanto, para um peso negativo, você pode simplesmente executar o cálculo como faria para as bordas do peso positivo.
O problema surge quando há um ciclo negativo. Dê uma olhada no gráfico acima. E faça a si mesmo a pergunta - qual é o caminho mais curto entre A e E? Você pode inicialmente sentir como se o seu ABCE estivesse custando 6 (2 + 1 + 3). Mas, na verdade, olhando mais profundamente, você observaria um ciclo negativo, que é o BCD. O peso do BCD é 1 + (- 4) +2 = (-1). Ao atravessar de A a E, eu poderia continuar andando de bicicleta dentro do BCD para reduzir meu custo em 1 a cada vez. Assim, o caminho A (BCD) BCE custa 5 (2 + (- 1) + 1 + 3). Agora, repetir o ciclo infinitos vezes continuaria reduzindo o custo em 1 a cada vez. Eu poderia conseguir um caminho mais curto infinito negativo entre A e E.
O problema é evidente para qualquer ciclo negativo em um gráfico. Portanto, sempre que um ciclo negativo está presente, o peso mínimo não é definido ou é infinito negativo, portanto, Floyd-Warshall não pode funcionar nesse caso.
Além disso, você pode dar uma olhada no algoritmo de Bellman-Ford, que detecta se um gráfico tem ciclo negativo ou não e, de outra forma, retorna o caminho mais curto entre dois nós.