2022 Fiscal Year Annual Research Report
超スマート社会時代のアルゴリズム工学 - パラメータ化近似均衡計算
| Project/Area Number |
22H00513
|
|---|
| Research Institution | Nagoya University |
|---|
Principal Investigator |
小野 廣隆 名古屋大学, 情報学研究科, 教授 (00346826)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
柳浦 睦憲 名古屋大学, 情報学研究科, 教授 (10263120)
大舘 陽太 名古屋大学, 情報学研究科, 准教授 (80610196)
脊戸 和寿 北海道大学, 情報科学研究院, 准教授 (20584056)
土中 哲秀 九州大学, システム情報科学研究院, 准教授 (30824982)
|
|---|
| Project Period (FY) |
2022-04-01 – 2027-03-31
|
| Keywords | 組合せ最適化 / グラフ最適化 / 多項式階層 / パラメータ化計算量 / 近似アルゴリズム / 均衡計算 / PSPACE完全 |
|---|
| Outline of Annual Research Achievements |
本研究はこれまで最適解発見を主な対象としていたアルゴリズム設計論の対象を均衡解発見へと発展・拡大することを目指すものである．通常の最適化がNP, coNPに属するのに対し均衡発見はΣP2, ΠP2といった多項式階層におけるより上位の計算量クラス，あるいは近傍探索におけるPLS, PPADといった計算クラスに属するため，従来型の最適化研究を超えた新たな計算量理論の展開が必要となる．このような視点から本研究では研究期間を通して，大きく(A) アルゴリズム設計論, (B) 実践アルゴリズム設計の構築，(C) 計算量理論・計算限界解明，を研究テーマとして取り組んでいる．2022年度とその繰越年度では査読有論文20本の多くの結果が得られた（詳しくは論文リストを参照されたい）．ここでは主だった結果の一つであるグラフ上で行うゲームの勝敗判定に関する研究について述べる：グラフ上で2人のプレイヤーが交互に辺を抜いていき，それ以上辺が抜けなくなった手番のプレイヤーが負けであるようなゲームを考える．この辺ケイレスと呼ばれるゲームは1978年に提案された．点を交互に抜くゲームである点ケイレスに関しては勝者判定がPSPACE完全であることがわかっているのに対し，辺ケイレスの計算量はまだ未解決である（PSPACEに属することはわかるが，NPに含まれるか，あるいはNP困難・PSPACE困難性などの結果が知られていない）．辺ケイレスに対し，ターン数に関する局面数の見積に基づくFPTアルゴリズムを与えるとともに，その計算量がこの種のアプローチによる高速化の限界に達していることを示した．この研究成果は組合せアルゴリズムに関する国際学会IWOCAに採択となり，Best Student Paper を受賞した．
|
| Current Status of Research Progress |
Current Status of Research Progress
1: Research has progressed more than it was originally planned.
Reason
研究成果が20本に上る査読付き論文として採録されており，またその採録先もAlgorithmica, Theoretical Computer Science誌, Discrete Applied Mathematics誌など一流誌，あるいは定評ある学術誌，ヨーロッパトップ国際会議などがあるだけでなく，上項目で説明したような受賞に至るものもあり高いレベルで研究が進んでいると言える．この他にも次年度に採録が決まっている結果もあるだけでなく，まとめ段階に入っている結果も多くあり，次年度も新たな成果が得られることが見込まれる．
|
| Strategy for Future Research Activity |
本研究は従来のアルゴリズム研究が主に注目してきたP, NP, coNPに属する最適化問題を超える計算階層に属するアルゴリズム理論・実践法の確立を目指すものである．繰越年度を含めた2年間の研究を経て，2つの観点から当初考えていたよりも本研究課題のターゲット・アプローチをより広く考える必要性があると考えている．（１）当初は主なターゲットを（ΣP2, ΠP2困難であると証明・予想されている）均衡発見と考えていたが，上述の結果のようにそれ以外にも自然かつ重要な問題がΣP2, ΠP2困難であることがわかりつつあり，本研究課題の潜在的なターゲットは非常に大きいと考えられる．（２）解の一意化のアルゴリズム設計に用いた技法は，動的計画法・パラメータ化アルゴリズム設計といったP, NP, coNPに属する最適化問題に対して開発されたアプローチをアレンジして得られたものであり，その要点は解空間の構造の丁寧な考察にある．このため，従来型のアルゴリズム設計技法の精緻化が本課題の推進につながるものとなる．以上のような観点から次年度以降，研究を推進する．
|
-
-
-
-
-
-
-
-
-
[Journal Article] Fair Ride Allocation on a Line2022
Author(s)
Yuki Amano, Ayumi Igarashi, Yasushi Kawase, Kazuhisa Makino, Hirotaka Ono
-
Journal Title
Algorithmic Game Theory - 15th International Symposium, SAGT 2022, Lecture Notes in Computer Science
Volume: 13584
Pages: 421-435
DOI
Peer Reviewed
-
-
-
-
-
-
[Journal Article] Sorting balls and water: Equivalence and computational complexity2022
Author(s)
Takehiro Ito, Jun Kawahara, Shin-ichi Minato, Yota Otachi, Toshiki Saitoh, Akira Suzuki, Ryuhei Uehara, Takeaki Uno, Katsuhisa Yamanaka, Ryo Yoshinaka
-
Journal Title
The 11th International Conference on Fun with Algorithms (FUN 2022), Leibniz International Proceedings in Informatics
Volume: 226
Pages: 16:1-16:17
DOI
Peer Reviewed / Open Access
-
[Journal Article] Independent set reconfiguration on directed graphs2022
Author(s)
Takehiro Ito, Yuni Iwamasa, Yasuaki Kobayashi, Yu Nakahata, Yota Otachi, Masahiro Takahashi, Kunihiro Wasa
-
Journal Title
The 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022), Leibniz International Proceedings in Informatics
Volume: 241
Pages: 58:1-58:15
DOI
Peer Reviewed / Open Access
-
-
-
-
-
-
-
-
-
-
-
-
-
