Существуют графы, в которых этот алгоритм не находит путь. Т.е. предположительно он страдает false negative.
Не знаю как приаттачить пример сюда. У меня 1849 вершин. Справедливости ради нужно сказать что условиям Дирака и Оре он не удовлетворяет, но это ещё ничего не доказывает. Другие построенные мною для данной проблемы графы имели решение и я ожидаю что "по построению" решение должно быть.