Еще одна причина, по которой алгоритму Джонсона нужен дополнительный узел s
, заключается в том, что этот узел гарантирует, что каждый другой узел в графе доступен через алгоритм Беллмана-Форда (т. Е. Каждый узел u
несет минимум вес от s
до u
). Если это не может быть гарантировано, повторное взвешивание невозможно, и, следовательно, алгоритм не будет работать. Обратите внимание, что добавление нового узла s
не вводит (новый) цикл отрицательного веса.