内容説明
組合せ爆発には、アルゴリズムで挑むのだ！出来ることなら、すべての解が欲しい。でも、爆発的に増える組合せには手が出せない…そんな常識をくつがえす、新アルゴリズムが登場！グラフを高速で列挙し、圧縮、索引化する手法とその応用を解説。今すぐ使えるＰｙｔｈｏｎライブラリで、「列挙による問題解決」を体感しよう！
目次
第１部 導入と準備（「フカシギの数え方」とグラフ列挙アルゴリズム；準備―グラフに関する基礎知識；ＺＤＤ：「組合せ集合」を表すデータ構造）
第２部 グラフ列挙アルゴリズムとその応用（ＺＤＤを用いたグラフ列挙アルゴリズム；種々のリンクパズルへの応用；電力網解析への応用；鉄道経路探索への応用；社会のさまざまな問題への応用）
第３部 発展的な話題（「おねえさんの問題」の世界記録；ＢＤＤ／ＺＤＤ―論理と集合に関する演算処理系の技法；さらに広がるＢＤＤ／ＺＤＤの応用）
付録
著者等紹介
湊真一［ミナトシンイチ］
北海道大学大学院情報科学研究科教授。１９８８年、京都大学工学部情報工学科卒業。博士（工学）。ＮＴＴ研究所研究員、スタンフォード大学客員研究員などを経て、２０１０年より現職。２００９年～２０１５年、科学技術振興機構（ＪＳＴ）ＥＲＡＴＯ湊離散構造処理系プロジェクト研究総括を兼務。大規模離散構造データの表現と演算処理アルゴリズムの研究教育に従事（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
