| 研究課題/領域番号 |
19J21000
|
|---|
| 研究種目 |
特別研究員奨励費
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 国内 |
|---|
| 審査区分 |
小区分60010:情報学基礎論関連
|
|---|
| 研究機関 | 奈良先端科学技術大学院大学 (2021)
京都大学 (2019-2020) |
|---|
研究代表者 |
中畑 裕 奈良先端科学技術大学院大学, 先端科学技術研究科, 助教
|
|---|
| 研究期間 (年度) |
2019-04-25 – 2022-03-31
|
| 研究課題ステータス |
完了 (2021年度)
|
| 配分額 *注記 |
2,500千円 (直接経費: 2,500千円)
2021年度: 800千円 (直接経費: 800千円)
2020年度: 800千円 (直接経費: 800千円)
2019年度: 900千円 (直接経費: 900千円)
|
|---|
| キーワード | アルゴリズム / グラフ / 決定グラフ / 列挙 / グラフマイナー / グラフアルゴリズム / 列挙アルゴリズム / 二分決定グラフ / ZDD |
|---|
| 研究開始時の研究の概要 |
グラフが与えられたとき、条件を満たす部分グラフを効率よく列挙することは応用上重要である。しかし、部分グラフはグラフのサイズよりも膨大に多く存在しうるため、効率よく列挙することが難しい。これに対し、近年データ構造ZDDを用いて、条件を満たす膨大な部分グラフの集合を圧縮表現し求める手法が研究されている。しかし現状ZDDで扱える部分グラフの種類はパスやサイクル等の初等的なものに限られている。そこで本研究では、従来のZDD技法を拡張することで、部分グラフを一般化した、グラフのマイナー構造を効率よく列挙するアルゴリズムを開発する。本研究により、ZDDによる部分グラフ列挙技法の適用範囲を飛躍的に拡大する。
|
| 研究実績の概要 |
本年度は，本研究課題で取り組む列挙問題と関係が深い，組合せ遷移に関する研究を行った．組合せ遷移とは，ある決定問題の解2つが与えられたとき，一方から他方へ，局所的な変形操作の繰り返しで，解であることを保ったまま到達できるかという問題である．組合せ遷移は近年盛んに理論的な研究が行われ，配電網設計などへの実用も進んでいるが，既存の研究は無向グラフに対するものが多かった．そこで本研究課題では有向グラフ上の組合せ遷移に注目し，この分野における先駆的な成果を上げた．具体的には，有向グラフ中の有向木の遷移可能性判定が多項式時間で解けることを示した．また，有向木の根が固定の場合や，全域有向木の場合には最短の遷移列を見つける線形時間アルゴリズムを与えた．さらに，有向木を有向パスに限定した場合や，有向非巡回グラフに一般化した場合にはPSPACE完全であることを示した．これらの成果は国内ワークショップJCCA 2021, 国際ワークショップWorkshop on Combinatorial Reconfiguration（国際会議ICALP 2021と併催），査読付き国際会議COCOON 2021で発表した．
また，本年度は最終年度につき，本研究課題で得られた成果を博士論文の形にまとめた．博士論文のテーマは決定グラフを用いた暗黙的な部分グラフの列挙である．具体的な成果としては，一般のグラフに対する避難所割当の列挙, バランス良いグラフ分割の効率良い列挙, 禁止マイナーで特徴づけられる部分グラフの列挙，ゼロサプレス型項分岐決定グラフを用いた部分グラフの列挙を記載している．また，分野全体のサーベイや非専門家向けの技術的準備も付与することで，本研究課題の成果を利用可能な形で体系的にまとめることができたと考えている．
|
| 現在までの達成度 (段落) |
令和3年度が最終年度であるため、記入しない。
|
| 今後の研究の推進方策 |
令和3年度が最終年度であるため、記入しない。
|
