| 研究課題/領域番号 |
13J09782
|
|---|
| 研究種目 |
特別研究員奨励費
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 国内 |
|---|
| 研究分野 |
情報学基礎
|
|---|
| 研究機関 | 東京大学 |
|---|
研究代表者 |
木村 慧 東京大学, 情報理工学系研究科, 特別研究員(DC2)
|
|---|
| 研究期間 (年度) |
2013-04-01 – 2015-03-31
|
| 研究課題ステータス |
完了 (2014年度)
|
| 配分額 *注記 |
1,800千円 (直接経費: 1,800千円)
2014年度: 900千円 (直接経費: 900千円)
2013年度: 900千円 (直接経費: 900千円)
|
|---|
| キーワード | 制約充足問題 / 線形計画問題 / 計算複雑さ / 充足可能性保存割当て |
|---|
| 研究実績の概要 |
制約充足問題において，扱える制約集合を制限した際の計算量が多項式時間可解かもしくはNP完全であるという予想は二分予想と呼ばれ，理論的に非常に重要な課題であると認識されている．本研究では，この予想を，数理計画法を用いることで解決することを目指す．そのためのステップとして，数理計画法を利用したアルゴリズムを開発することが目標である． 具体的な成果を以下に記す．
まず，解を直接求める代わりに，充足可能性保存割当てを求めるアルゴリズムを開発した．充足可能性保存割当ては，解を緩和した概念であり，解そのものよりも扱い易いことが期待される．一方で，このような割当てを逐次的に求めていけば，解を求めることが出来る．そのため，充足可能性保存割当てを求めること自体がNP困難であるので，多面錐により近似することで，効率的なアルゴリズムを開発した．ここで，多面錐により近似することにより，数理計画法の一種である線形計画法のアルゴリズムを用いることが可能となることに注意する．そして，近似がどの程度良いものになるかについての解析を詳細に行い，解が良い性質をもつ場合には極大な近似を与えることに成功した．
また，上記のアルゴリズムにより解ける部分クラスを解析し，整数線形不等式系の実行可能性問題に対しては，先行研究の結果を含むクラスが解けることを示した．このことにより，上記のアルゴリズムが広い問題クラスを解くことを明らかにした．
さらに，提案したアルゴリズムを，特殊な問題クラスに対して高速化した．提案アルゴリズムにでは線形計画法を解いているが，この際，組合せ的な特徴付けを与えることにより，線形計画法に対する汎用的なアルゴリズムよりも高速に解くアルゴリズムを提案した．
|
| 現在までの達成度 (段落) |
26年度が最終年度であるため、記入しない。
|
| 今後の研究の推進方策 |
26年度が最終年度であるため、記入しない。
|
