内容紹介：「組合せアルゴリズムは　私たちを多数の場合を含む問題に対処させる方法である．そういう技術の知識の爆発的な増加は　その記述に数巻の書を必要とする．　本書はそのシリーズの２番手であり　第４Ａ巻の後継である．」（本書「序」より）。この巻では　組合せアルゴリズムの重要な部分となる「バックトラック」を解説します。バックトラックの概論に続いて　厳密被覆問題などの解決に有効な手法となる「ダンシングリンク」を取り上げます。後半では、計算機科学の全分野で基本的な問題の１つとなる「充足可能性（ＳａｔｉｓｆｉａｂｉｌｉｔｙＳＡＴ）」について詳解します。バックトラックアルゴリズムを理解するために必要となる確率論の概論について　「数学的準備拾遺」が特別に用意されています。この巻には１，０００問を超える演習問題があり　アルゴリズムの本格的な理解に役立てることができるでしょう。
アルゴリズムのバイブル４、Ｐａｒｔ２―組合せアルゴリズム―Ｋｎｕｔｈ先生の名著『Ｔｈｅ　Ａｒｔ　ｏｆ　Ｃｏｍｐｕｔｅｒ　Ｐｒｏｇｒａｍｍｉｎｇ』シリーズの五冊目。
もくじ情報：数学的準備拾遺；第７章　組合せ探索（すべての可能性の生成）；演習問題の解答；付録Ａ　数表；付録Ｂ　表記法索引；付録Ｃ　アルゴリズムと定理の索引；付録Ｄ　組合せ問題の索引；付録Ｅ　解答のパズルの解

和田　英一(ワダ　エイイチ)
１９５５年東京大学理学部物理学科卒業。東京大学工学部、富士通研究所を経てＩＩＪ技術研究所。プログラム言語、操作システムなどソフトウェアシステムやインターフェースに関心があり、Ｈａｐｐｙ　Ｈａｃｋｉｎｇ　Ｋｅｙｂｏａｒｄ、和田研フォントの開発に関与、ＷＩＤＥプロジェクトメンバー