Отрицательный край - это просто край с отрицательным весом. Это может быть в любом контексте, относящемся к графу и к чему относятся его ребра. Например, ребро CD на приведенном выше графике является отрицательным ребром. Флойд-Варшалл работает, минимизируя вес между каждой парой графа, если это возможно. Таким образом, для отрицательного веса вы можете просто выполнить вычисление, как если бы это было для ребер с положительным весом.
Проблема возникает, когда есть отрицательный цикл. Посмотрите на график выше. И задайте себе вопрос - каков кратчайший путь между А и Е? Сначала вы можете почувствовать, что его ABCE стоит 6 (2 + 1 + 3). Но на самом деле, если взглянуть глубже, вы увидите отрицательный цикл, который является BCD. Вес BCD составляет 1 + (- 4) +2 = (-1). Переходя от A к E, я мог бы продолжать ездить внутри BCD, чтобы каждый раз снижать свои затраты на 1. Мол, путь A (BCD) BCE стоит 5 (2 + (- 1) + 1 + 3). Теперь повторение цикла бесконечное число раз будет уменьшать стоимость на 1 каждый раз. Я мог бы достичь отрицательного бесконечного кратчайшего пути между А и Е.
Проблема очевидна для любого отрицательного цикла в графе. Следовательно, всякий раз, когда присутствует отрицательный цикл, минимальный вес не определен или является отрицательной бесконечностью, поэтому Флойд-Варшалл не может работать в таком случае.
Кроме того, вы можете взглянуть на алгоритм Беллмана-Форда, который определяет, имеет ли граф отрицательный цикл или нет, и в противном случае возвращает кратчайший путь между двумя узлами.