การใช้วิธีการแยกสาขาและขอบเขตสำหรับปัญหา NP-hard ที่ประสบความสำเร็จ

Branch and bound เป็น heuristic ที่มีประสิทธิภาพสำหรับปัญหาการค้นหาและWikipedia แสดงจำนวนของปัญหาที่ยากลำบากที่มีการใช้ branch-and-bound อย่างไรก็ตามฉันไม่สามารถค้นหาข้อมูลอ้างอิงเพื่อแนะนำว่าเป็นมากกว่า "วิธีการหนึ่ง" ในการแก้ปัญหาเหล่านี้

โดยทั่วไปฉันได้ยินมาว่าฮิวริสติกที่ดีที่สุดสำหรับ SAT และการเขียนโปรแกรมจำนวนเต็มมาจากสาขาและขอบเขตดังนั้นคำถามของฉันคือ:

ใครบางคนสามารถชี้ให้ฉันดูการอ้างอิงที่มีรายละเอียดเกี่ยวกับการใช้งานที่มีประสิทธิภาพของสาขาและถูกผูกมัดสำหรับปัญหา NP-hard

สำหรับ TSP ชำระเงินหนังสือเล่มนี้ ... http://www.tsp.gatech.edu/book/index.html

ความเข้าใจของฉันคือว่าไม่มีเครื่องมือเดียวที่จะฆ่าพวกเขาทั้งหมด เนื้อหาที่เป็นโซลูชันแบบเรียกซ้ำที่ปรับใช้การย้อนรอยและฟังก์ชันการให้คะแนนบางอย่างกำลังใช้สาขาและขอบเขต ดังนั้นนักแก้ปัญหาส่วนใหญ่ที่มีปัญหาเกี่ยวกับ NP จึงใช้สาขาและรูปแบบที่ถูกผูกไว้

ปัญหาการแบ่งพาร์ทิชัน Clique อาจไม่ใช่ปัญหา NP-hard ที่ได้รับความนิยมมากที่สุด แต่มันถูกแก้ไขได้อย่างมีประสิทธิภาพโดยใช้สาขาและถูกผูกไว้ดูที่บทความนี้: http://joc.journal.informs.org/content/6/2/141 .บทคัดย่อ

อัลกอริทึมที่แน่นอนเป็นหนังสือที่ดีเมื่อเร็ว ๆ นี้เกี่ยวกับอัลกอริทึมดังกล่าว อัลกอริทึม Xสำหรับปัญหาปกที่แน่นอนก็เป็นสิ่งที่ดีที่จะรู้