Ветвление и ограничение - эффективная эвристика для задач поиска, и в Википедии перечислен ряд сложных проблем, где использовались ветвление и привязка. Тем не менее, мне не удалось найти ссылки, позволяющие предположить, что это больше, чем просто «один метод» решения этих проблем.
Как ни странно, я слышал, что некоторые из лучших эвристик для SAT и целочисленного программирования происходят из ветвей и границ, поэтому мой вопрос:
Может кто-нибудь указать мне какие-либо ссылки, подробно описывающие эффективное использование ветвления и связанное с NP-трудными проблемами?