2 0 0 0 BDD/ZDDを用いたマインスイーパーの爆弾配置パタンの列挙
- 著者
- 鈴木 浩史 孫 浩 湊 真一
- 出版者
- 一般社団法人 人工知能学会
- 雑誌
- 人工知能学会全国大会論文集
- 巻号頁・発行日
- vol.2016, pp.1D5OS02b3, 2016
1 0 0 0 OA ZDDを用いたグラフ列挙索引化における頂点インデックスの追加
- 著者
- 鈴木 浩史1 湊 真一1 Suzuki 1 Hirofumi Shin-ichi Minato
- 雑誌
- SIG-FPAI = SIG-FPAI
- 巻号頁・発行日
- vol.B5, no.01, pp.41-46, 2016-08-01
1 0 0 0 OA 化学反応経路ネットワークにおけるZDDを用いたエネルギー制限付き経路列挙
- 著者
- 鈴木 浩史 中野 裕太 住谷 陽輔 湊 真一 前田 理
- 雑誌
- 研究報告アルゴリズム(AL) (ISSN:21888566)
- 巻号頁・発行日
- vol.2018-AL-169, no.7, pp.1-6, 2018-08-27
化合物にはひとつの組成に対して様々な分子構造が存在し,それぞれで異なる性質を有する.化学反応における反応経路ネットワークとは,分子構造を頂点とし,遷移可能な分子構造の間に辺を引いたグラフ構造を指す.反応経路ネットワークの解析は,反応設計に携わる化学者の助けとなる重要なタスクである.本稿では,分子構造間の遷移に必要なエネルギーに着目し,エネルギーを制限した反応経路ネットワークの上で,特定の分子構造を始点とする単純経路を列挙する.ただし,経路の総数は組合せ爆発を起こすため,明示的な列挙は避けなければならない.そこで,SIMPATH アルゴリズムにより,暗黙的に全経路を格納したゼロサプレス型二分決定グラフ (ZDD) という圧縮データ構造を構築する.さらに,ZDD が持つ効率的な絞込み機能を応用することで,エネルギーの上限に対する可能な経路の抽出を行う.