理論的に計算不能・計算困難なクラスの可解領域の研究

2024 Fiscal Year Comments on the Screening Results

• Project/Area Number: 24H00690
• Research Category: Grant-in-Aid for Scientific Research (A)
• Allocation Type: Single-year Grants
• Section: 一般
• Review Section: Medium-sized Section 60:Information science, computer engineering, and related fields
• Research Institution: Japan Advanced Institute of Science and Technology
• Principal Investigator: 上原 隆平 北陸先端科学技術大学院大学, 先端科学技術研究科, 教授 (00256471)
• Co-Investigator(Kenkyū-buntansha): 湊 真一 京都大学, 情報学研究科, 教授 (10374612) ; 川原 純 京都大学, 情報学研究科, 准教授 (20572473) ; 伊藤 健洋 東北大学, 情報科学研究科, 教授 (40431548) ; 番原 睦則 名古屋大学, 情報学研究科, 教授 (80290774)
• Project Period (FY): 2024-04-01 – 2029-03-31

Scientific Significance and Expected Research Achievements

本研究は、理論的に計算不能あるいは計算困難な上位の計算量クラスのインスタンスを現実的に解く方法を研究・開発するものである。PSPACE完全問題について、具体的なインスタンスにより解法を明らかにし、NPや計算不能な問題、その他の計算量クラスとの関係を決定づける要因を明らかにすることは学術的意義がある。成果物のライブラリ公開など、理論と実装の双方のアプローチが取られている点も評価できる。