超高速グラフ列挙アルゴリズム : 「フカシギの数え方」が拓く, 組合せ問題への新アプローチ

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