Выдержка из книги
Кристофайдс Н.N.
Теория графов Алгоритмический подход
Как объяснено в приложении 1, для хорошего ветвления при разбиении задачи Р0 на подзадачи Plt P2 и Р3 требуется только, чтобы каждое возможное решение задачи Р0 ( за исключением удаляемых решений) было решением по крайней мере одной из подзадач. Иными словами, каждое допустимое решение задачи Pk должно быть решением одной, и только одной из этих подзадач.
