出版社内容情報
「組合せアルゴリズムは，私たちを多数の場合を含む問題に対処させる方法である．そういう技術の知識の爆発的な増加は，その記述に数巻の書を必要とする．... 本書はそのシリーズの2番手であり，第4A巻の後継である．」(本書「序」より)。
この巻では，組合せアルゴリズムの重要な部分となる「バックトラック」を解説します。バックトラックの概論に続いて，厳密被覆問題などの解決に有効な手法となる「ダンシングリンク」を取り上げます。後半では、計算機科学の全分野で基本的な問題の1つとなる「充足可能性(Satisfiability：SAT)」について詳解します。バックトラックアルゴリズムを理解するために必要となる確率論の概論について，「数学的準備拾遺」が特別に用意されています。
この巻には1,000問を超える演習問題があり，アルゴリズムの本格的な理解に役立てることができるでしょう。
内容説明
アルゴリズムのバイブル４、Ｐａｒｔ２―組合せアルゴリズム―Ｋｎｕｔｈ先生の名著『Ｔｈｅ Ａｒｔ ｏｆ Ｃｏｍｐｕｔｅｒ Ｐｒｏｇｒａｍｍｉｎｇ』シリーズの五冊目。
目次
数学的準備拾遺
第７章 組合せ探索（すべての可能性の生成）
演習問題の解答
付録Ａ 数表
付録Ｂ 表記法索引
付録Ｃ アルゴリズムと定理の索引
付録Ｄ 組合せ問題の索引
付録Ｅ 解答のパズルの解
著者等紹介
和田英一［ワダエイイチ］
１９５５年東京大学理学部物理学科卒業。東京大学工学部、富士通研究所を経てＩＩＪ技術研究所。プログラム言語、操作システムなどソフトウェアシステムやインターフェースに関心があり、Ｈａｐｐｙ Ｈａｃｋｉｎｇ Ｋｅｙｂｏａｒｄ、和田研フォントの開発に関与、ＷＩＤＥプロジェクトメンバー
岩崎英哉［イワサキヒデヤ］
１９８３年東京大学工学部計数工学科卒業。１９８８年東京大学大学院工学系研究科情報工学専攻博士課程修了。工学博士。東京大学、東京農工大学、電気通信大学を経て、明治大学理工学部専任教授。専門分野は、プログラミング言語、システムソフトウェア
田村直之［タムラナオユキ］
１９８０年神戸大学理学部物理学科卒業。１９８５年同大学大学院自然科学研究科修了（学術博士）。日本ＩＢＭを経て１９８８年より神戸大学に所属。論理プログラミング、制約プログラミング、ＳＡＴソルバー、パズルなどに興味がある
寺田実［テラダミノル］
１９８１年東京大学工学部計数工学科卒業。工学博士。東京大学工学部を経て電気通信大学准教授。プログラミング支援、インターフェースなどに興味がある（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
