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

• Project/Area Number: 24K21317
• Research Category: Grant-in-Aid for Challenging Research (Pioneering)
• Allocation Type: Multi-year Fund
• Review Section: Medium-sized Section 60:Information science, computer engineering, and related fields
• Research Institution: National Institute of Informatics
• Principal Investigator: 平原 秀一 国立情報学研究所, 情報学プリンシプル研究系, 准教授 (80848440)
• Co-Investigator(Kenkyū-buntansha): 清水 伸高 東京工業大学, 工学院, 助教 (10910127) ; 七島 幹人 東京工業大学, 情報理工学院, 助教 (90855222)
• Project Period (FY): 2024-06-28 – 2030-03-31
• Project Status: Granted (Fiscal Year 2024)
• Budget Amount: ¥26,000,000 (Direct Cost: ¥20,000,000、Indirect Cost: ¥6,000,000); Fiscal Year 2029: ¥3,510,000 (Direct Cost: ¥2,700,000、Indirect Cost: ¥810,000); Fiscal Year 2028: ¥3,510,000 (Direct Cost: ¥2,700,000、Indirect Cost: ¥810,000); Fiscal Year 2027: ¥3,510,000 (Direct Cost: ¥2,700,000、Indirect Cost: ¥810,000); Fiscal Year 2026: ¥3,510,000 (Direct Cost: ¥2,700,000、Indirect Cost: ¥810,000); Fiscal Year 2025: ¥3,510,000 (Direct Cost: ¥2,700,000、Indirect Cost: ¥810,000); Fiscal Year 2024: ¥8,450,000 (Direct Cost: ¥6,500,000、Indirect Cost: ¥1,950,000)
• Keywords: 平均時計算量 / メタ計算量 / 埋め込みクリーク予想

Outline of Research at the Start

埋め込みクリーク問題などの自然かつ理論的に重要な平均時計算量の問題について、他の自然な問題と同等に難しいこと（完全性）を示すことにより、それらの問題の平均時計算困難性に根拠を与えることを目指す。研究手法は、近年国際的に発展してきたメタ計算量のアイディアに基づく。