超高速グラフ列挙アルゴリズム

組合せ集合を効率よく表現するデータ構造ZDD（Zero-suppressed Binary Decision Diagram)の初の解説書．Web動画で話題となった「おねえさんの問題」をはじめ，様々なグラフ列挙問題への応用例を紹介．Pythonライブラリによる実践を交えて解説する． 第1部　導入と準備 1．「フカシギの数え方」とグラフ列挙アルゴリズム 2．準備ーグラフに関する基礎知識 3．ZDD：「組合せ集合」を表すデータ構造 第2部　グラフ列挙アルゴリズムとその応用 4．ZDDを用いたグラフ列挙アルゴリズム 5．種々のリンクパズルへの応用 6．電力網解析への応用 7．鉄道経路探索への応用 8．社会のさまざまな問題への応用 第3部　発展的な話題 9．「おねえさんの問題」の世界記録 10．BDD/ZDD-論理と集合に関する演算処理系の技法 11．さらに広がるBDD/ZDDの応用 付録A Graphillionマニュアル 付録B Ruby版VSOP（ZDDライブラリ）マニュアル