2013 Fiscal Year Research-status Report
Project/Area Number |
24700130
|
Research Institution | Kobe University |
Principal Investigator |
斎藤 寿樹 神戸大学, 工学(系)研究科(研究院), 助教 (00590390)
|
Keywords | アルゴリズム / バイオインフォマティクス / ZDD / 区間グラフ / 列挙 |
Research Abstract |
本研究では,大きく2つの列挙アルゴリズムにおける研究成果および1つの理論的な研究成果を挙げることができた. 列挙アルゴリズムに関する研究成果の1つ目は,有向二値完全系統樹の列挙である.従来の列挙アルゴリズムでは,ZDDと呼ばれるデータ構造を用いた手法であった.しかし,従来のZDDを用いた手法では,計算途中でZDDが爆発に巨大化してしまい,計算できない,ということが多々あった.それに対し,近年,ZDDを用いた新な列挙手法がKnuthによって提案された.本研究では,その手法を拡張し,有向二値完全系統樹を列挙する高速なアルゴリズムを開発した. 列挙アルゴリズムに関する研究成果の2つ目は,避難所割当問題に対する高速なアルゴリズムの開発である.避難所割当問題は,震災発生時に誰をどこの避難所に割り当てるか,という問題である.しかし,避難所割当問題は,避難所までの距離や避難所の予想される混雑度など,様々な目的関数を考慮する必要があり,複数の目的関数を考慮したパレート最適な解の抽出が重要となる.本研究では,様々な列挙アルゴリズムを駆使することにより,パレート最適な解のみを列挙するアルゴリズムを開発した. 理論的な成果として,区間二部グラフを中心としたグラフクラスに対する特徴を与えることに成功した.区間二部グラフとは,二部グラフでかつ区間表現を持つグラフである.区間表現は区間の集合で,グラフの各頂点は区間と対応し,異なる部集合に含まれる頂点間に辺がある必要十分条件は対応する2つの区間に重なりがあること,である.こうした区間表現を持つグラフの特徴を与えることで,大規模な区間データを処理する有用なアルゴリズムを考えることができる.
|
Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
本研究は,少し方向性を変えながら,着実に実用的な問題に対するアルゴリズムの開発に成功している. 列挙は目的とする対象をすべて出力することで,データマイニングなどで用いられている.また,列挙したすべての対象をZDDと呼ばれるデータ構造に格納することで,最適解の抽出や解の絞り込みといったことを高速に行うことができるため,ZDDとして高速に格納できるか否かが重要な鍵となる.本研究では,有向二値完全系統樹や避難所割当問題に対して,すべての実行可能解をZDDに格納することに成功し,この出力したZDDを用いることにより,すべての実行可能解の中から様々な特徴を抽出することが可能となる.本研究では,列挙アルゴリズムに関する研究成果はアルゴリズムの開発だけでなく,開発したアルゴリズムの実装も行い,従来のアルゴリズムよりも実際に高速であることを,計算機実験により示している.
|
Strategy for Future Research Activity |
現在,開発したアルゴリズムの列挙アルゴリズムの有用性を示す計算機実験は,ランダムデータや小規模な実データを含むいくつかの例題でのみ行っている.規模の大きい例題等でも開発したアルゴリズムの有用性を示す必要があるが,規模の大きい問題に対しては,提案アルゴリズムは動作しない可能性がある.規模の大きい問題に対しても,実用上耐えうる高速に動作するアルゴリズムの開発を目標とする.また,同時に実用面で現在のアルゴリズムが有用か否かを確かめるためにも,現在のアルゴリズムを搭載したソフトウェアの開発への着手等を行う. 一方で,区間データを扱うために,区間グラフに対する理論的な研究成果を与えているものの,区間データに対する処理アルゴリズムを与えることができていない.しかし,この研究成果を十分に活用することで,高速な区間データを処理するための高速なアルゴリズムの開発への期待が持てる.理論的研究から得られた知見を活かし,区間データを処理するためのアルゴリズムの開発も引き続き行う.
|
Expenditure Plans for the Next FY Research Funding |
計算サーバの購入に想像以上の費用がかかり,海外出張のための旅費を確保することができなかったため. 積極的に国際会議に参加および発表をすることで,出張旅費として消費する.
|
Research Products
(6 results)