| 研究課題/領域番号 |
25700002
|
|---|
| 研究種目 |
若手研究(A)
|
| 研究機関 | 九州大学 |
|---|
研究代表者 |
来嶋 秀治 九州大学, システム情報科学研究科(研究院, 准教授 (70452307)
|
|---|
| 研究期間 (年度) |
2013-04-01 – 2017-03-31
|
| キーワード | アルゴリズム理論 / 離散構造 / マルコフ連鎖 / 脱乱択化 |
|---|
| 研究概要 |
本課題では，計算における乱数の機能の究明に向け，「乱択アルゴリズムの設計」と「脱乱択化の新理論の構築」の両研究を進めている．本年度は特にランダムウォークの脱乱択化に関して大きな進展があった．ランダムウォークはネットワーク上をランダムに推移する確率モデルで，インターネットクローラーやマルコフ連鎖モンテカルロ法に基づく数値積分法などに応用をもつ．ロータールーターモデルは，ランダムウォークを模倣する決定性の過程で，隣接頂点に決定性の推移を行う．ランダムウォークの脱乱択化に関する従来モデルのロータールーターモデルでは，有理数の遷移確率しか扱えなかったのに対し，本研究では無理数の遷移確率をも扱うことのできる関数ルーターモデルを開発し，その解析を行った．数え上げ困難な対象（#P完全問題）のランダム生成に用いられるマルコフ連鎖に対して，入力サイズの多項式で押さえられる頂点誤差保証をもつ脱乱択化の設計は重要な未解決問題であったが，これを肯定的に解決した．この成果を用いて，0-1ナップサック解や半順序の線形拡大などに対して，頂点誤差の保証を持つ決定性のサンプリングに対する多項式時間アルゴリズムを与えた．これは数え上げ困難な問題に対する決定性の近似アルゴリズム設計の新たな理論に向けた大きな１ステップと考える．より一般の誤差保証については今後の課題である．
乱択アルゴリズムの設計に関しては，離散構造に着目したアルゴリズム設計に取り組んだ．疎性マトロイドは組合せ剛性理論におけるグラフの剛性に対する特徴づけを与える．疎性マトロイド基の判定に用いられるペブルゲームについて，得られる向き付けの離散構造について研究した．この離散構造を用いて疎性マトロイド基のランダム生成法の設計を行った．このほか，ストリーム中の頻出アイテム検知法の開発を行った．
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
ランダムウォークの脱乱択化の研究において大きな進展を得て未解決問題を解決した．その他，乱択アルゴリズムの設計についても進展があった．
|
| 今後の研究の推進方策 |
２５年度の成果を受け，継続して研究を進める．得られた成果については国際会議等で報告を行う．
|
| 次年度の研究費の使用計画 |
予定していたいくつかの国際会議に採択されなかったため．
２６年度に開催されるいくつかの国際会議に採択が決定しており，その旅費に充てる．
|
