組合せ最適化問題に対する解の唯一化における計算複雑さの研究

• Project/Area Number: 24K02898
• Research Category: Grant-in-Aid for Scientific Research (B)
• Allocation Type: Multi-year Fund
• Section: 一般
• Review Section: Basic Section 60010:Theory of informatics-related; Basic Section 60020:Mathematical informatics-related; Sections That Are Subject to Joint Review: Basic Section60010:Theory of informatics-related , Basic Section60020:Mathematical informatics-related
• Research Institution: Hokkaido University
• Principal Investigator: 脊戸 和寿 北海道大学, 情報科学研究院, 准教授 (20584056)
• Co-Investigator(Kenkyū-buntansha): 小野 廣隆 名古屋大学, 情報学研究科, 教授 (00346826) ; 長尾 篤樹 お茶の水女子大学, 基幹研究院, 講師 (20802622)
• Project Period (FY): 2024-04-01 – 2028-03-31
• Project Status: Granted (Fiscal Year 2024)
• Budget Amount: ¥18,330,000 (Direct Cost: ¥14,100,000、Indirect Cost: ¥4,230,000); Fiscal Year 2027: ¥4,680,000 (Direct Cost: ¥3,600,000、Indirect Cost: ¥1,080,000); Fiscal Year 2026: ¥4,680,000 (Direct Cost: ¥3,600,000、Indirect Cost: ¥1,080,000); Fiscal Year 2025: ¥5,200,000 (Direct Cost: ¥4,000,000、Indirect Cost: ¥1,200,000); Fiscal Year 2024: ¥3,770,000 (Direct Cost: ¥2,900,000、Indirect Cost: ¥870,000)
• Keywords: 解の唯一化 / 組合せ最適化問題 / 計算複雑性 / パラメータ化アルゴリズム

Outline of Research at the Start

数独をはじめとするパズルでは解盤面が唯一であることが重要である。しかし、唯一解をもつ盤面を生成することは、数独のサイズが大きくなると簡単ではないことが過去の研究で示されている。唯一解をもつインスタンスを生成することはパズルだけでなく、種々のアルゴリズムの解析などにおいて重要であり、本研究では組合せ最適化問題における解の唯一化の計算困難性を明らかにし、アルゴリズムの構築も行う。