| 研究領域 | 多面的アプローチの統合による計算限界の解明 |
|---|
| 研究課題/領域番号 |
15H00853
|
|---|
| 研究種目 |
新学術領域研究(研究領域提案型)
|
| 配分区分 | 補助金 |
|---|
| 審査区分 |
理工系
|
|---|
| 研究機関 | 大阪府立大学 |
|---|
研究代表者 |
宇野 裕之 大阪府立大学, 工学(系)研究科(研究院), 准教授 (60244670)
|
|---|
| 研究期間 (年度) |
2015-04-01 – 2017-03-31
|
| 研究課題ステータス |
完了 (2016年度)
|
| 配分額 *注記 |
4,160千円 (直接経費: 3,200千円、間接経費: 960千円)
2016年度: 2,080千円 (直接経費: 1,600千円、間接経費: 480千円)
2015年度: 2,080千円 (直接経費: 1,600千円、間接経費: 480千円)
|
|---|
| キーワード | パラメータ化計算 / アルゴリズム / 計算複雑さ / 情報基礎 |
|---|
| 研究実績の概要 |
本研究は，アルゴリズムの設計や解析，計算複雑さの理論などの分野で近年急速な進歩を見せるパラメータ化計算と，その枠組みのもとで，計算複雑さの上下界を明らかにする固定パラメータアルゴリズムやパラメータ化計算複雑さ理論を対象にしている．この際，歴史的にも未解決問題へのアプローチが分野発展の原動力となっている事実に鑑み，パラメータ化計算分野において提示される未解決問題に着目し，幅広い調査や整理とともに，過去の研究で自身が得た未解決問題との間に有機的な関連を見出し，そのような問題を解決することで，計算複雑さのクラスを分離する状況証拠を積み重ねて，困難さの原因に対する知見を獲得する．これらと並行し，さまざまな離散最適化問題に対する具体的な固定パラメータアルゴリズムや高速厳密アルゴリズムを設計することも同時に行う．これらを通じて，P=NP?問題の解決への側面からの貢献を目指す．
このような目標のもとで，本研究計画申請期間を通して，平面的有向グラフにおける最長路問題に対する劣指数時間アルゴリズム，辺グラフ枝削除問題に対する高速固定パラメータアルゴリズム，PSPACE 完全であることが知られている二人ゲーム Kayles などに対する未解決もんだいなどを幅広く調査した．それらの中で，部分問題としてグラフ描画を含む紙折り問題や，幾何学的な問題，あるいはグラフアルゴリズム分野で基礎的な問題である支配点集合問題などに対して効率的なアルゴリズムを設計することに成功した．
|
| 現在までの達成度 (段落) |
28年度が最終年度であるため、記入しない。
|
| 今後の研究の推進方策 |
28年度が最終年度であるため、記入しない。
|
