メタ計算量に基づく平均時NP完全性理論の開拓

2024 年度 審査結果の所見

• 研究課題/領域番号: 24K21317
• 研究種目: 挑戦的研究(開拓)
• 配分区分: 基金
• 審査区分: 中区分60:情報科学、情報工学およびその関連分野
• 研究機関: 国立情報学研究所
• 研究代表者: 平原 秀一 国立情報学研究所, 情報学プリンシプル研究系, 准教授 (80848440)
• 研究分担者: 清水 伸高 東京工業大学, 工学院, 助教 (10910127) ; 七島 幹人 東京工業大学, 情報理工学院, 助教 (90855222)
• 研究期間 (年度): 2024-06-28 – 2030-03-31

学術的意義、期待される成果

平均計算量におけるNP完全性の理論は、より現実的な設定での計算困難性の理論としての有用性が高いにもかかわらず、いまだ明確な結果が得られていない。本研究で目指す平均計算量版の計算困難性の理論は、基礎理論としての有用性に加え、新たな分野の展開が期待できる。また、優れた業績をもつ研究者で構成されていることから成果も期待できる。