書誌事項

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

湊真一編 ; ERATO湊離散構造処理系プロジェクト著

森北出版, 2015.4

タイトル別名

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

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

タイトル読み

チョウコウソク グラフ レッキョ アルゴリズム : 「フカシギ ノ カゾエカタ」ガ ヒラク, クミアワセ モンダイ エノ シンアプローチ

大学図書館所蔵 件 / 165

この図書・雑誌をさがす

注記

科学技術振興機構により実施された「ERATO湊離散構造処理系プロジェクト」の研究成果の一部をまとめたもの

関連図書・参考文献: 各章末

内容説明・目次

内容説明

組合せ爆発には、アルゴリズムで挑むのだ!出来ることなら、すべての解が欲しい。でも、爆発的に増える組合せには手が出せない…そんな常識をくつがえす、新アルゴリズムが登場!グラフを高速で列挙し、圧縮、索引化する手法とその応用を解説。今すぐ使えるPythonライブラリで、「列挙による問題解決」を体感しよう!

目次

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

「BOOKデータベース」 より

詳細情報

ページトップへ