Как объяснено в приложении 1, для хорошего ветвления при разбиении задачи Р0 на подзадачи Р1, Рг и Р3 требуется только, чтобы каждое возможное решение задачи Р0 ( за исключением удаляемых решений) было решением по крайней мере одной из подзадач. Иными словами, каждое допустимое решение задачи Р & должно быть решением одной, и только одной из этих подзадач.
