| 研究課題/領域番号 |
21K17707
|
|---|
| 研究種目 |
若手研究
|
| 配分区分 | 基金 |
|---|
| 審査区分 |
小区分60010:情報学基礎論関連
|
|---|
| 研究機関 | 九州大学 (2022)
名古屋大学 (2021) |
|---|
研究代表者 |
土中 哲秀 九州大学, システム情報科学研究院, 准教授 (30824982)
|
|---|
| 研究期間 (年度) |
2021-04-01 – 2025-03-31
|
| 研究課題ステータス |
交付 (2022年度)
|
| 配分額 *注記 |
4,550千円 (直接経費: 3,500千円、間接経費: 1,050千円)
2024年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
2023年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2022年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2021年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
|
|---|
| キーワード | グラフアルゴリズム / 計算複雑性 / パラメータ化アルゴリズム / 近似アルゴリズム / 固定パラメータ容易性 |
|---|
| 研究開始時の研究の概要 |
グラフ最適化問題は工学，情報学，経済学をはじめとした様々な分野における自然な問題としてしばしば現れる．それらの多くは計算困難問題であることが知られているが，近似アルゴリズムやパラメータ化アルゴリズムなどの発展によって，ある程度効率的に解を求めることが可能になった．しかし，それら単独のアプローチでは対処しきれない問題も依然として多く残されている．本研究では，近似技法やパラメータ化技法などのアルゴリズム設計技法を組み合わせることにより，既存アルゴリズムの限界を打破する高速高精度アルゴリズム設計スキームの基盤構築を行う．
|
| 研究実績の概要 |
本研究では，近似技法やパラメータ化技法による計算困難問題へのアルゴリズム設計，およびそれらの技法を組み合わせることにより既存アルゴリズムの限界を打破する高速高精度アルゴリズム設計スキームの基盤構築を行う．
本年度は，主に計算困難なグラフ最適化問題に対する近似アルゴリズム，およびパラメータ化アルゴリズムなどの設計に取り組んだ．以下では結果を抜粋して詳細を述べる．
(1)通常の最適化問題は解を1つ発見するような問題であるが，現実世界では複数の最適解を提示し，その中から適切な解を選ぶといった状況が考えられる．この際，似たような解を複数提示するのではなくある程度異なる解を提示する方が望ましい．このようなシチュエーションに対して，複数解の多様性を考慮した多様性最大化問題が提案された．本研究では，このようなタイプの問題に対する近似アルゴリズム設計フレームワークを構築した．このフレームワークに含まれる問題として，多様性最大マッチング問題， 多様性最大共通マトロイド問題，多様性最大最小カット問題などが挙げられる．本研究結果は人工知能分野のトップカンファレンスであるAAAI2023に採択された．
(2)グラフの中から密な部分グラフを見つけることはグラフ探索の有効なアプローチの一つである．本研究では，k頂点部分グラフで最も密なものを探す最密k-部分グラフ問題に対して，各種グラフパラメータに関する固定パラメータ容易アルゴリズムを設計した．特に，グラフからp頂点削除するとクリーク幅が定数になるようなグラフに対して，O*(2^p)時間で動作するアルゴリズムを設計した．本研究によって，主要なグラフパラメータに関する最密k-部分グラフ問題のパラメータ化計算量が明らかになった．本研究結果は，Journal of Combinatorial Optimizationに採択された．
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
多様性最大化問題に対する近似アルゴリズム設計フレームワークの構築による結果がAAAI2023に，最密k-部分グラフ問題のパラメータ化計算量に関する結果がJournal of Combinatorial Optimizationに採択されており，順調に成果が挙げられているため．
|
| 今後の研究の推進方策 |
現在までにパラメータ化アルゴリズム，および近似アルゴリズムに関する結果が順調に得られているため，引き続き研究に取り組む．これまでに得られた知見を他の問題のアルゴリズム設計に還元しながら，研究を進めていく予定である．
|
