Здравствуйте, maxkar, Вы писали:
M>Проверяйте, может где-то ошибся. Если никто не предложит названия существующего алгоритма, может нам статью куда-нибудь написать? Пусть назовут алгоритм нашими именами .
Cпасибо за приложенные усилия!
Пока что, к сожалению, воспользоваться результатом не удалось — казалось, что на его основе можно изящно решить одну практическую задачу. Но, увы, оказалось, что я ошибался. \
Недостаточно находить такие узлы.

Пока что копаем в стороны
1. Сведения практической задачи к проблеме останова (чтобы понять, что она неразрешима)
2. Ограничения практической задачи так, чтобы она стала разрешимой.