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

• 研究課題/領域番号: 24K02898
• 研究種目: 基盤研究(B)
• 配分区分: 基金
• 応募区分: 一般
• 審査区分: 小区分60010:情報学基礎論関連; 小区分60020:数理情報学関連; 合同審査対象区分:小区分60010:情報学基礎論関連、小区分60020:数理情報学関連
• 研究機関: 北海道大学
• 研究代表者: 脊戸 和寿 北海道大学, 情報科学研究院, 准教授 (20584056)
• 研究分担者: 小野 廣隆 名古屋大学, 情報学研究科, 教授 (00346826) ; 長尾 篤樹 お茶の水女子大学, 基幹研究院, 講師 (20802622)
• 研究期間 (年度): 2024-04-01 – 2028-03-31
• 研究課題ステータス: 交付 (2024年度)
• 配分額: 18,330千円 (直接経費: 14,100千円、間接経費: 4,230千円); 2027年度: 4,680千円 (直接経費: 3,600千円、間接経費: 1,080千円); 2026年度: 4,680千円 (直接経費: 3,600千円、間接経費: 1,080千円); 2025年度: 5,200千円 (直接経費: 4,000千円、間接経費: 1,200千円); 2024年度: 3,770千円 (直接経費: 2,900千円、間接経費: 870千円)
• キーワード: 解の唯一化 / 組合せ最適化問題 / 計算複雑性 / パラメータ化アルゴリズム

研究開始時の研究の概要

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