Выдержка из книги
Сергиенко И.В.
Модели и методы решения на эвм комбинаторных задач оптимизации
Вообще, если от вершины X пройти дерево по направлению к его началу, то мы сможем узнать, какие вершины обязательно входят в циклы, принадлежащие X, и какие вершины не могут входить в такие циклы. Если процесс ветвления зашел достаточно далеко, то в конце концов некоторые вершины будут изображать просто по одному циклу.