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

〈フカシギの数え方〉が拓く，組合せ問題への新アプローチ

書籍

オンデマンド版

大活字版

書籍

雑誌

電子版

読み上げ可能電子版

オーディオブック

編：湊　真一

著：ERATO　湊離散構造処理系プロジェクト

出版社：森北出版

同一作品の他版

アクセシブルブック

内容紹介

組合せ集合を効率よく表現するデータ構造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ライブラリ）マニュアル

ISBN：9784627852617
出版社：森北出版
判型：菊判
ページ数：192ページ
定価：3200円（本体）
発行年月日：2015年04月
国際分類コード【Thema（シーマ）】１：UB。

※同一作品の他版、アクセシブルブックにはAIにより推定されたものが含まれる場合があります。

ご購入はこちら

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

内容紹介

目次