最適化問題の圧縮表現に基づく効率的最適化スキームの確立

• Project/Area Number: 23K28038
• Project/Area Number (Other): 23H03348 (2023)
• Research Category: Grant-in-Aid for Scientific Research (B)
• Allocation Type: Multi-year Fund (2024); Single-year Grants (2023)
• 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: Kyushu University
• Principal Investigator: 瀧本 英二 九州大学, システム情報科学研究院, 教授 (50236395)
• Co-Investigator(Kenkyū-buntansha): 畑埜 晃平 九州大学, システム情報科学研究院, 教授 (60404026)
• Project Period (FY): 2023-04-01 – 2027-03-31
• Project Status: Granted (Fiscal Year 2024)
• Budget Amount: ¥15,860,000 (Direct Cost: ¥12,200,000、Indirect Cost: ¥3,660,000); Fiscal Year 2026: ¥3,250,000 (Direct Cost: ¥2,500,000、Indirect Cost: ¥750,000); Fiscal Year 2025: ¥3,640,000 (Direct Cost: ¥2,800,000、Indirect Cost: ¥840,000); Fiscal Year 2024: ¥3,380,000 (Direct Cost: ¥2,600,000、Indirect Cost: ¥780,000); Fiscal Year 2023: ¥5,590,000 (Direct Cost: ¥4,300,000、Indirect Cost: ¥1,290,000)
• Keywords: 拡張定式化 / 決定ダイアグラム / 圧縮データ構造 / 最適化

Outline of Research at the Start

広い最適化問題のクラスに対し，最適化問題（の表現）が与えられたとき，以下の2つのプロセスからなる汎用のアルゴリズムスキームの確立を目指す．
【最適化問題の圧縮】与えられた最適化問題と等価で，かつ，サイズが小さい最適化問題（の表現）を求める．
【圧縮表現に対する最適化】上で得られた最適化問題の圧縮表現に対し，その最適解を効率よく求める．また，本スキームを，NP困難であることが知られている組合せ最適化問題に適用することで，従来のIPソルバーやSATソルバーに代わる，新しい厳密計算の枠組みを与えることも目指す．