目次
第１部 導入と準備（「フカシギの数え方」とグラフ列挙アルゴリズム；準備―グラフに関する基礎知識；ＺＤＤ：「組合せ集合」を表すデータ構造）
第２部 グラフ列挙アルゴリズムとその応用（ＺＤＤを用いたグラフ列挙アルゴリズム；種々のリンクパズルへの応用；電力網解析への応用；鉄道経路探索への応用；社会のさまざまな問題への応用）
第３部 発展的な話題（「おねえさんの問題」の世界記録；ＢＤＤ／ＺＤＤ―論理と集合に関する演算処理系の技法；さらに広がるＢＤＤ／ＺＤＤの応用；付録Ａ；付録Ｂ）
著者等紹介
湊真一［ミナトシンイチ］
北海道大学大学院情報科学研究科教授。１９８８年、京都大学工学部情報工学科卒業。博士（工学）。ＮＴＴ研究所研究員、スタンフォード大学客員研究員などを経て、２０１０年より現職。２００９年～２０１５年、科学技術振興機構（ＪＳＴ）ＥＲＡＴＯ湊離散構造処理系プロジェクト研究総括を兼務。大規模離散構造データの表現と演算処理アルゴリズムの研究教育に従事。著書に“Ｂｉｎａｒｙ Ｄｅｃｉｓｉｏｎ Ｄｉａｇｒａｍｓ ａｎｄ Ａｐｐｌｉｃａｔｉｏｎｓ ｆｏｒ ＶＬＳＩ ＣＡＤ”（Ｋｌｉｗｅｒ，１９９５年）など（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
