NP困難な問題に対する分枝限定法の適用の成功

分枝限定は検索問題の効果的な発見的手法であり、ウィキペディアには分枝限定が使用されている多くの難しい問題がリストされています。ただし、これらの問題を解決するための単なる「1つの方法」ではないことを示唆する参考文献を見つけることができませんでした。

逸話的に、私はSATと整数プログラミングのための最高のヒューリスティックのいくつかはブランチとバインドから来ると聞いたので、私の質問は次のとおりです。

誰かがブランチの効果的な使用とNP困難な問題の限界を詳述した参考文献を教えてもらえますか？

TSPについては、この本をご覧ください ... http://www.tsp.gatech.edu/book/index.html

私の理解では、それらすべてを殺すためのツールは一つもないということです。おそらく、バックトラッキングといくつかのスコアリング機能を展開する再帰ソリューションは、ブランチアンドバウンドを使用しています。そのため、NPのハード問題に対するソルバーの大部分は、何らかの形の分岐および境界を使用します。

クリークパーティショニング問題は、最も一般的なNPハード問題ではないかもしれませんが、ブランチアンドバウンドを使用して効率的に解決されました。このペーパーを参照してください：http : //joc.journal.informs.org/content/6/2/141 。概要

Exact Exponential Algorithmsは、このようなアルゴリズムに関する最近の素敵な本です。正確なカバー問題のアルゴリズムXも知っておくと良いでしょう。