もくじ情報：第１部　導入と準備（「フカシギの数え方」とグラフ列挙アルゴリズム；準備―グラフに関する基礎知識；ＺＤＤ：「組合せ集合」を表すデータ構造）；第２部　グラフ列挙アルゴリズムとその応用（ＺＤＤを用いたグラフ列挙アルゴリズム；種々のリンクパズルへの応用；電力網解析への応用；鉄道経路探索への応用；社会のさまざまな問題への応用）；第３部　発展的な話題（「おねえさんの問題」の世界記録；ＢＤＤ／ＺＤＤ―論理と集合に関する演算処理系の技法；さらに広がるＢＤＤ／ＺＤＤの応用；付録Ａ；付録Ｂ）

湊　真一(ミナト　シンイチ)
北海道大学大学院情報科学研究科教授。１９８８年、京都大学工学部情報工学科卒業。博士（工学）。ＮＴＴ研究所研究員、スタンフォード大学客員研究員などを経て、２０１０年より現職。２００９年～２０１５年、科学技術振興機構（ＪＳＴ）ＥＲＡＴＯ湊離散構造処理系プロジェクト研究総括を兼務。大規模離散構造データの表現と演算処理アルゴリズムの研究教育に従事。著書に“Ｂｉｎａｒｙ　Ｄｅｃｉｓｉｏｎ　Ｄｉａｇｒａｍｓ　ａｎｄ　Ａｐｐｌｉｃａｔｉｏｎｓ　ｆｏｒ　ＶＬＳＩ　ＣＡＤ”（Ｋｌｉｗｅｒ，１９９５年）など（本データはこの書籍が刊行された当時に掲載されていたものです）