Practical Algorithm Generation through Diversification of Graph Decomposition Techniques and Problem Description Rules

• Project/Area Number: 25K03076
• 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: Nagoya University
• Principal Investigator: 大舘 陽太 名古屋大学, 情報学研究科, 准教授 (80610196)
• Project Period (FY): 2025-04-01 – 2030-03-31
• Project Status: Granted (Fiscal Year 2025)
• Budget Amount: ¥17,680,000 (Direct Cost: ¥13,600,000、Indirect Cost: ¥4,080,000); Fiscal Year 2029: ¥3,120,000 (Direct Cost: ¥2,400,000、Indirect Cost: ¥720,000); Fiscal Year 2028: ¥4,030,000 (Direct Cost: ¥3,100,000、Indirect Cost: ¥930,000); Fiscal Year 2027: ¥4,030,000 (Direct Cost: ¥3,100,000、Indirect Cost: ¥930,000); Fiscal Year 2026: ¥3,770,000 (Direct Cost: ¥2,900,000、Indirect Cost: ¥870,000); Fiscal Year 2025: ¥2,730,000 (Direct Cost: ¥2,100,000、Indirect Cost: ¥630,000)
• Keywords: グラフアルゴリズム / パラメータ化計算量 / アルゴリズム的メタ定理

Outline of Research at the Start

本研究では，実用的グラフアルゴリズム自動生成を探求し，理論と実践の融合による問題解決基盤を構築する．
グラフアルゴリズム自動生成手法は非常に重要な理論的成果であるが，その理論的強力さゆえに実用面での制約が課題となっている．特に，特定の記法では捉えられない問題の取り扱いや，生成されるアルゴリズムに対して保証された漸近的時間計算量に隠された巨大な定数項が大きな課題となっている．本研究では，グラフ分解手法の多様化および問題記法の多様化を行い，実践的なグラフアルゴリズム自動生成手法の構築を行う．これにより，これまで扱えなかった問題に対して，理論保証と実用性を兼ね備えたアルゴリズム自動生成を実現する．