| 研究課題/領域番号 |
26280001
|
|---|
| 研究機関 | 京都大学 |
|---|
研究代表者 |
牧野 和久 京都大学, 数理解析研究所, 准教授 (60294162)
|
|---|
| 研究分担者 |
石井 利昌 北海道大学, 経済学研究科(研究院), 准教授 (30324487)
|
|---|
| 研究期間 (年度) |
2014-04-01 – 2019-03-31
|
| キーワード | アルゴリズム |
|---|
| 研究実績の概要 |
近年，情報科学分野ばかりでなく，工学，化学，医学など多様な分野で列挙アルゴリズムが広く用いられており，ビッグデータ時代における基盤技術としてその重要性が認識されている．本研究では，様々な問題に潜む汎用的な列挙構造を抽出・解析し，劣モジュラ解析などの離散最適化の手法と融合させることにより，列挙問題ばかりでなく，探索問題や最適化問題などに対する実用的でかつ品質保証された高速なアルゴリズムの開発を行う．
また，これらを通してアルゴリズム理論における新しい潮流の創造を目指す．
本研究の初年度では，これまで高速な列挙アルゴリズム開発のために用いられてきた列挙構造を調査，分類すると同時に，指数時間アルゴリズムパラダイムにおいて用いられている列挙的技法も調査，分類を主目的とした．これらの調査分類の最中に固定パラメータ効率性や正モジュラ関数の最適化などに関連する問題に対して計算量的解析に成功した．
特に，組合せ最適化問題の重要な未解決問題のひとつである正モジュラ関数の最小化問題に対して計算量的な指数時間下界を示すことに成功した．
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
1: 当初の計画以上に進展している
理由
正モジュラ関数の最小化問題は組合せ最適化問題の重要な未解決問題のひとつである。
この問題に対して計算量的な指数時間下界を示すことに成功したため．
|
| 今後の研究の推進方策 |
今年度正モジュラ関数の解析などを前倒しで行われたため，まだ完了していない，高速な列挙アルゴリズム開発のために用いられてきた列挙構造を調査，分類，ならびに，
と同時に，指数時間アルゴリズムパラダイムにおいて用いられている列挙的技法も調査，分類を行う．
この際，構造検証のアルゴリズムをコード化し，計算機を用いても検証する．また，実データやランダムデータを用いて，大規模にかつ系統立つ検証を行うことにより(計算機，謝金：研究補助)，新しい構造の発見も試みる．
また，正モジュラ関数の最小化問題のタイトな計算量解析をさらに行う．
|
| 次年度使用額が生じた理由 |
今年度正モジュラ関数の解析などの研究が前倒しで行われたため，まだ完了いない，高速な列挙アルゴリズム開発のために用いられてきた列挙構造を調査，分類，ならびに，
と同時に，指数時間アルゴリズムパラダイムにおいて用いられている列挙的技法も調査，分類を行う必要がある．また，正モジュラ関数などのさらなる解析などを行うため．
|
| 次年度使用額の使用計画 |
上記の構造検証のアルゴリズムをコード化し，計算機を用いても検証する．また，実データやランダムデータを用いて，大規模にかつ系統立つ検証を行う予定である(計算機1式 30万円，謝金：研究補助50万円)．また，研究を円滑に行うための旅費(10万円×6回)，国内外での研究発表旅費（計50万円），トナーなどの消耗品10万円の予定である．
|
