木幅・パス幅計算の実用化

• 研究課題/領域番号: 24H00697
• 研究種目: 基盤研究(A)
• 配分区分: 補助金
• 応募区分: 一般
• 審査区分: 中区分60:情報科学、情報工学およびその関連分野
• 研究機関: 明治大学
• 研究代表者: 玉木 久夫 明治大学, 研究・知財戦略機構(生田), 研究推進員(客員研究員) (20111354)
• 研究分担者: 齋藤 寿樹 九州工業大学, 大学院情報工学研究院, 准教授 (00590390) ; 大舘 陽太 名古屋大学, 情報学研究科, 准教授 (80610196) ; 川原 純 京都大学, 情報学研究科, 准教授 (20572473) ; 吉仲 亮 東北大学, 情報科学研究科, 准教授 (80466424) ; 小林 靖明 北海道大学, 情報科学研究院, 准教授 (60735083)
• 研究期間 (年度): 2024-04-01 – 2028-03-31
• 研究課題ステータス: 交付 (2024年度)
• 配分額: 47,060千円 (直接経費: 36,200千円、間接経費: 10,860千円); 2025年度: 11,440千円 (直接経費: 8,800千円、間接経費: 2,640千円); 2024年度: 12,740千円 (直接経費: 9,800千円、間接経費: 2,940千円)
• キーワード: 木幅 / パス幅 / 固定パラメータアルゴリズム / 実用的アルゴリズム / 実問題への応用

研究開始時の研究の概要

グラフの重要なパラメータである木幅とパス幅の実用的なソルバー（解法プログラム）を開発する。このソルバーは研究代表者による最新の木幅アルゴリズムを核としている。
木幅・パス幅の応用については膨大な研究結果の蓄積があるが、木幅・パス幅の計算自体が困難であるために理論的な結果に留まっているものが多い。開発するソルバーによって、そのような理論的な結果を実験的に評価することが可能になる。本研究では、自らそのような実験的評価を行うとともに、応用分野コミュニティーにおける実験研究を促進する。
また、木幅・パス幅の新たな応用、特にBDD、ZDDと呼ばれるデータ構造に基づいた応用技術を開発し、現実の問題へ適用する。