| Project/Area Number |
19K22841
|
|---|
| Research Category |
Grant-in-Aid for Challenging Research (Exploratory)
|
| Allocation Type | Multi-year Fund |
|---|
| Review Section |
Medium-sized Section 60:Information science, computer engineering, and related fields
|
|---|
| Research Institution | Kyoto University |
|---|
Principal Investigator |
牧野 和久 京都大学, 数理解析研究所, 教授 (60294162)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
木村 慧 九州大学, システム情報科学研究院, 准教授 (00758716)
|
|---|
| Project Period (FY) |
2019-06-28 – 2025-03-31
|
| Project Status |
Granted (Fiscal Year 2023)
|
| Budget Amount *help |
¥6,500,000 (Direct Cost: ¥5,000,000、Indirect Cost: ¥1,500,000)
Fiscal Year 2021: ¥2,600,000 (Direct Cost: ¥2,000,000、Indirect Cost: ¥600,000)
Fiscal Year 2020: ¥2,600,000 (Direct Cost: ¥2,000,000、Indirect Cost: ¥600,000)
Fiscal Year 2019: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
|
|---|
| Keywords | アルゴリズム / アルゴリズム論 / 主双対法 / オンライン問題 |
|---|
| Outline of Research at the Start |
本研究では，局所的な離散構造を利用することで，効率的なアルゴリズム設計のための基 礎理論の構築を目指す．具体的には，離散的な構造解析手法に基づく，（１）局所解改善 の方法論，（２）局所解の列挙手法の研究を行う．離散アルゴリズムは情報化社会におい て極めて重要であるが，その計算量的な難しさから，メタ戦略など品質保証されない手法 を用いて解かれることが多い．これらの手法の多くは局所探索法を発展させたものであり ，局所解の離散構造の解析は非常に意義深く，チャレンジングな研究課題である．
|
| Outline of Annual Research Achievements |
ポピュラーマッチングに関連する成果、具体的には、マトロイド的な拡張を行うことで、アーボレッセンスや色付き森問題に対するポピュラ性に関する問題のアルゴリズムを与えた。また、更なる拡張がNP困難になることを証明した。また、不可分財集合に対して、補助的な金銭を用いて、無羨望な割当てを行う問題に対して、その際に用いる金銭の上界の大幅な改善を行った。それ以外にも、最小値演算不変性をもつ単位係数ホーン線形不等式制約からなる整数計画問題やそれらの拡張に対する証拠付きの組合せ的アルゴリズムを提案、高ランク系統樹の列挙、マトロイドをハイパーグラフホーンを用いた特徴付けなどを行った。
|
| Current Status of Research Progress |
Current Status of Research Progress
1: Research has progressed more than it was originally planned.
Reason
昨年度に引き続き、当該研究分野で最高峰の国際会議SODAで発表を行うなど、質量ともに十分な実績をあげているため。
|
| Strategy for Future Research Activity |
コロナ禍で移動制限のために、ここ数年できていなかった、出張などを伴う研究打ち合わせ、また、海外などの学会での発表などを積極的に行う計画である．
|
