| Project/Area Number |
19K20212
|
|---|
| Research Category |
Grant-in-Aid for Early-Career Scientists
|
| Allocation Type | Multi-year Fund |
|---|
| Review Section |
Basic Section 60010:Theory of informatics-related
|
|---|
| Research Institution | The Institute of Statistical Mathematics (2023)
The University of Tokyo (2019) |
|---|
Principal Investigator |
相馬 輔 統計数理研究所, 先端データサイエンス研究系, 准教授 (90784827)
|
|---|
| Project Period (FY) |
2022-12-19 – 2026-03-31
|
| Project Status |
Granted (Fiscal Year 2023)
|
| Budget Amount *help |
¥4,160,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥960,000)
Fiscal Year 2022: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2021: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2020: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2019: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
|
|---|
| Keywords | スペクトル疎化 / 組合せ最適化 / 集中不等式 |
|---|
| Outline of Research at the Start |
行列集中不等式は，ラプラシアンソルバーや，グラフの疎化，ネットワークフローアルゴリズムなど幅広い応用がある．一方で，既存の行列集中不等式は組合せ構造を扱うための柔軟性に欠け，アルゴリズム設計の自由度が乏しいという課題がある．本研究計画では，組合せ構造を扱える新たな行列集中不等式の開発と，それに基づくアルゴリズムの設計を行う．
|
| Outline of Annual Research Achievements |
今年度はハイパーグラフのスペクトル疎化に対するオンラインアルゴリズムの開発に取り組んだ．
ハイパーグラフのスペクトル疎化とは，元のハイパーグラフの性質をよく近似しつつ枝数を大幅に削減する技法で，ハイパーグラフ上の最適化問題に対する前処理として活用でき，計算量の改善を見込める．ハイパーグラフのスペクトル疎化は，申請者の共同研究により2019年に導入され，その後も枝数の改善が推し進められてきた．現在は，頂点数に対しほぼ線形個の枝しかもたないハイパーグラフを出力するアルゴリズムが提案されている．
ところが，既存のスペクトル疎化のアルゴリズムはオフライン型，すなわち，元のハイパーグラフを一旦メモリに格納した上で，枝数の削減を行うというものであった．そのため，素朴には頂点数に対して指数サイズのメモリを必要とする．これは，最終的に出力されるハイパーグラフが頂点数に対しほぼ線形個の枝しかもたないこととは対照的に，非効率的であった．
本研究では，入力のハイパーグラフがオンラインで逐次的に与えられる設定を考え，メモリ使用量の少ないスペクトル疎化アルゴリズムを設計した．具体的には，既存のオフラインのスペクトル疎化アルゴリズムに近い枝数削減を達成しながら，メモリ使用量は頂点数の2乗程度で抑えられるアルゴリズムを設計した．アルゴリズムの解析では，本課題のテーマである行列集中不等式の技法とともに，generic chainingと呼ばれる高度な確率解析技法も利用した．本成果は，組合せ最適化の国際会議であるInteger Programming and Combinatorial Optimization (IPCO) 2024に採択された．
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
スペクトル疎化は，グラフやハイパーグラフ上の様々な組合せ最適化問題に対する前処理として活用でき，理論計算機科学において重要なトピックである．ハイパーグラフのスペクトル疎化も，申請者の共同研究による導入以後，国内外様々な研究グループにより枝数の改善が進められてきた．その上で，オンライン型のアルゴリズムを開発したのは本研究が最初であり，ハイパーグラフのスペクトル疎化に対する大きな貢献を果たしたものと考えている．
|
| Strategy for Future Research Activity |
本研究課題は，2020年度～2022年度の間，海外における研究滞在による研究中断を行った．そのため，2018年の申請当時に挙げた具体的な研究テーマの中には，既に他のグループにより解決されるなど，現在では実施が難しくなったものもある．一方で，行列集中不等式で使われる半正定値行列や行列解析を用いたアルゴリズム設計は，依然として最先端の研究トピックであり続けている．今後は，上記のハイパーグラフスペクトル疎化など，広く行列集中不等式の関連技法を用いた組合せ最適化アルゴリズム設計をテーマに研究を推進していく．
|
