ASP-based Approach to Solving Combinatorial Reconfiguration Problems and its Extension to Optimal Reconfiguration

• Project/Area Number: 25K03097
• Research Category: Grant-in-Aid for Scientific Research (B)
• Allocation Type: Multi-year Fund
• Section: 一般
• Review Section: Basic Section 60050:Software-related
• Research Institution: Nagoya University
• Principal Investigator: 番原 睦則 名古屋大学, 情報学研究科, 教授 (80290774)
• Co-Investigator(Kenkyū-buntansha): 鍋島 英知 山梨大学, 大学院総合研究部, 准教授 (10334848) ; 宋 剛秀 神戸大学, DX・情報統括本部, 准教授 (00625121)
• Project Period (FY): 2025-04-01 – 2028-03-31
• Project Status: Granted (Fiscal Year 2025)
• Budget Amount: ¥17,810,000 (Direct Cost: ¥13,700,000、Indirect Cost: ¥4,110,000); Fiscal Year 2027: ¥5,590,000 (Direct Cost: ¥4,300,000、Indirect Cost: ¥1,290,000); Fiscal Year 2026: ¥5,590,000 (Direct Cost: ¥4,300,000、Indirect Cost: ¥1,290,000); Fiscal Year 2025: ¥6,630,000 (Direct Cost: ¥5,100,000、Indirect Cost: ¥1,530,000)
• Keywords: 解集合プログラミング / 組合せ遷移

Outline of Research at the Start

組合せ遷移問題は，インフラ更新など，サービスの提供を止めることなくより良い状態に遷移させるような持続的システムを定式化し，その構造や性質を分析検証するための汎用的枠組みとして注目されている．本研究課題では，組合せ遷移技術の発展に向けた試みとして，解集合プログラミング (ASP) に基づく組合せ遷移問題の汎用解法と遷移最適化への拡張に取り組む．