Негативний край - це просто край, що має негативну вагу. Це може бути в будь-якому контексті, що стосується графіка, і про які його краї посилаються. Наприклад, крайовий компакт-диск у наведеному вище графіку є негативним краєм. Floyd-Warshall працює, зменшуючи вагу між кожною парою графіка, якщо це можливо. Отже, для від'ємної ваги ви можете просто виконати розрахунок, як це було б зроблено для позитивних ваг.
Проблема виникає при негативному циклі. Погляньте на наведений графік. І задайте собі питання - який найкоротший шлях між А і Е? Ви можете спершу відчути, ніби його вартість ABCE коштує 6 (2 + 1 + 3). Але насправді, поглибивши погляд, ви б спостерігали негативний цикл, який є BCD. Вага BCD дорівнює 1 + (- 4) +2 = (-1). Під час проїзду від А до Е, я міг продовжувати їздити на велосипеді всередині BCD, щоб кожен раз знижувати вартість на 1. Мовляв, шлях A (BCD) BCE коштує 5 (2 + (- 1) + 1 + 3). Тепер повторення циклу нескінченних разів дозволить зменшити витрати на 1 раз. Я міг би досягти негативного нескінченного найкоротшого шляху між А та Е.
Проблема очевидна для будь-якого негативного циклу в графіку. Отже, щоразу, коли присутній негативний цикл, мінімальна вага не визначається або є негативною нескінченністю, тому Флойд-Варшалл не може працювати в такому випадку.
Крім того, ви можете поглянути на алгоритм Беллмана-Форда, який визначає, чи має графік негативний цикл чи ні, інакше поверне найкоротший шлях між двома вузлами.