| 研究領域 | 多面的アプローチの統合による計算限界の解明 |
|---|
| 研究課題/領域番号 |
24106002
|
|---|
| 研究種目 |
新学術領域研究(研究領域提案型)
|
| 配分区分 | 補助金 |
|---|
| 審査区分 |
理工系
|
|---|
| 研究機関 | 京都大学 |
|---|
研究代表者 |
牧野 和久 京都大学, 数理解析研究所, 教授 (60294162)
|
|---|
| 研究分担者 |
河村 彰星 東京大学, 大学院総合文化研究科, 講師 (20600117)
垣村 尚徳 東京大学, 大学院総合文化研究科, 講師 (30508180)
小林 佑輔 筑波大学, システム情報系, 准教授 (40581591)
ロスマン ベンジャミン 国立情報学研究所, 大学共同利用機関等の部局等, 特任研究員 (90599177)
|
|---|
| 研究協力者 |
クック ステファン トロント大学, 計算機科学部, 名誉教授
ツィーグラー マーティン KAIST大学, 計算機科学部, 教授
グルビッティ ブラディミア ロシア国立高等経済学院, 教授
ボロシュ エンドレ ラトガース大学, 経営学部, 教授
|
|---|
| 研究期間 (年度) |
2012-06-28 – 2017-03-31
|
| 研究課題ステータス |
完了 (2017年度)
|
| 配分額 *注記 |
93,340千円 (直接経費: 71,800千円、間接経費: 21,540千円)
2016年度: 19,890千円 (直接経費: 15,300千円、間接経費: 4,590千円)
2015年度: 19,370千円 (直接経費: 14,900千円、間接経費: 4,470千円)
2014年度: 18,850千円 (直接経費: 14,500千円、間接経費: 4,350千円)
2013年度: 18,720千円 (直接経費: 14,400千円、間接経費: 4,320千円)
2012年度: 16,510千円 (直接経費: 12,700千円、間接経費: 3,810千円)
|
|---|
| キーワード | computation / 計算量 / 反マトロイド / 回路計算量 / 実数計算量 / 計算複雑度 |
|---|
| 研究成果の概要 |
本研究では，数理論理学からの計算限界解析を行い，様々な成果を得た．
具体的には，例えば，領域計算量に関して決定性と非決定いう計算モデルに能力の差を示す：任意のk=o(log n)に対して、NC[k]≠AC[k]を得た．また，単量論理回路における非多項式下界をさらなる改善を示した． さらに，重み付きの線形マトロイドパリティ問題は離散最適化分野の基礎をなす重要な問題である。この問題に対して初めての多項式時間アルゴリズムを与えた．
|
