| 研究課題/領域番号 |
15J01765
|
|---|
| 研究種目 |
特別研究員奨励費
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 国内 |
|---|
| 研究分野 |
知能情報学
|
|---|
| 研究機関 | 北海道大学 |
|---|
研究代表者 |
青木 洋士 北海道大学, 情報科学研究科, 特別研究員(DC2)
|
|---|
| 研究期間 (年度) |
2015-04-24 – 2017-03-31
|
| 研究課題ステータス |
採択後辞退 (2016年度)
|
| 配分額 *注記 |
1,700千円 (直接経費: 1,700千円)
2016年度: 800千円 (直接経費: 800千円)
2015年度: 900千円 (直接経費: 900千円)
|
|---|
| キーワード | ウォーク / 列挙 / 数え上げ / 圧縮索引 / 系列二分決定グラフ / SeqBDD |
|---|
| 研究実績の概要 |
"汎用的なウォークセット索引の構築手法の設計"を行うために，グラフの任意の2点間のk-ステップウォークの列挙・索引化を可能とするデータ構造をSeqBDDを用いて構築するアルゴリズムの開発及び計算機実験を行った．これらの結果について，[1]にて発表を行った．
さらに，構築したデータ構造を用いて，"訪問回数制限ウォークの列挙，数え上げ問題"に取り組むために，グラフ上の頂点を訪問する回数(頂点被覆回数)に下限と上限の制限を与えたウォークを列挙・索引化する手法を考案・実装した．これらの結果について，[2]にて発表を行った．
さらに，サブセッティング法と呼ばれるZDDを高速に構築するための手法を本手法で用いるSeqBDDにも適用する方法を考案し，これを用いて訪問回数制限ウォークをより高速に列挙・索引化する手法について，[3]にて発表を行った．
これらの研究による手法は，愚直に1つずつ列挙することが困難な膨大な数のウォークを索引として非明示的にまとめて列挙することができている．
本年度の研究では，ウォーク列挙の基盤となる"2点間のk-ステップウォーク"を列挙・索引化することに成功し，構築した索引を特定のウォークを見つけることに応用するための一例として，"訪問回数制限ウォーク"の列挙・索引化を行った．
|
| 現在までの達成度 (段落) |
翌年度、交付申請を辞退するため、記入しない。
|
| 今後の研究の推進方策 |
翌年度、交付申請を辞退するため、記入しない。
|
