解空間の形状に着目した組合せ遷移の理論：計算量解析の高精細化とソルバー新技法

• Project/Area Number: 24H00686
• 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: Tohoku University
• Principal Investigator: 伊藤 健洋 東北大学, 情報科学研究科, 教授 (40431548)
• Co-Investigator(Kenkyū-buntansha): 宋 剛秀 神戸大学, DX・情報統括本部, 准教授 (00625121) ; 小林 靖明 北海道大学, 情報科学研究院, 准教授 (60735083) ; 野崎 雄太 横浜国立大学, 大学院環境情報研究院, 講師 (40822648)
• Project Period (FY): 2024-04-01 – 2028-03-31
• Project Status: Granted (Fiscal Year 2024)
• Budget Amount: ¥47,450,000 (Direct Cost: ¥36,500,000、Indirect Cost: ¥10,950,000); Fiscal Year 2025: ¥11,570,000 (Direct Cost: ¥8,900,000、Indirect Cost: ¥2,670,000); Fiscal Year 2024: ¥12,220,000 (Direct Cost: ¥9,400,000、Indirect Cost: ¥2,820,000)
• Keywords: 組合せ遷移 / アルゴリズム

Outline of Research at the Start

「組合せ遷移」とは，可用性を担保しながら最適化するためのアルゴリズム理論である．15年以上にわたり，アルゴリズムと計算量の理論研究が盛んに行われている．また最近では，様々な手法に基づく組合せ遷移のソルバーが開発され，一般には計算困難である組合せ遷移問題であっても，高速に解ける事例が散見され始めている．本研究では「解空間の形状」という組合せ遷移ならではの新しい概念を導入し，そのような事例群の理論的な解析に取り組む．