[論文レビュー] Tree Polymatrix Games Are PPAD-Hard

Argyrios Deligkas, John Fearnley+1 more|arXiv (Cornell University)|Jan 1, 2020

Game Theory and Applications参考文献 10被引用数 5

ひとこと要約

この論文は、1人あたり20の行動をとる木型多行列ゲームにおけるナッシュ均衡の計算がPPAD困難であることを証明し、行動数が定数個の非巡回相互作用グラフについて、初めてPPAD困難性の結果を確立した。著者らは2D-LinearFIXPから還元し、カーディナル構造のゲームに定数幅の算術回路を埋め込み、たとえ定数倍近似（約0.2071以内）であってもPPAD困難であることを示した。これにより、アルゴリズムゲーム理論における主要な未解決問題が解決された。

ABSTRACT

We prove that it is PPAD-hard to compute a Nash equilibrium in a tree polymatrix game with twenty actions per player. This is the first PPAD hardness result for a game with a constant number of actions per player where the interaction graph is acyclic. Along the way we show PPAD-hardness for finding an ε-fixed point of a 2D-LinearFIXP instance, when ε is any constant less than (√2 - 1)/2 ≈ 0.2071. This lifts the hardness regime from polynomially small approximations in k-dimensions to constant approximations in two-dimensions, and our constant is substantial when compared to the trivial upper bound of 0.5.

研究の動機と目的

• 1人あたり定数個の行動をとる木型多行列ゲームが多項式時間で解けるかどうかという未解決問題を解消すること。
• 先行のパスおよびサイクルグラフに関する結果により、トレーサブルであると予想されていた非巡回多行列ゲームにおけるPPAD困難性を確立すること。
• 従来の多項式的に小さい近似ではなく、定数近似固定点におけるPPAD困難性を示すことで、既存の困難性結果を強化すること。
• 1人あたり20の行動をとるパス幅1のグラフ（カーディナル）でさえもPPAD困難であることを示し、2行動パスゲームが既に多項式時間で解けるのと対照的にすること。

提案手法

• 定数幅の同期的算術回路を用いて、2D-LinearFIXPから木型多行列ゲームへの還元。
• 各プレイヤーが1つのゲートではなく、ゲートの段階全体をシミュレートするカーディナル構造の相互作用グラフに回路を埋め込む。
• 混合プレイヤーを用いて均一な混合を強制：各変数プレイヤーおよび制約プレイヤーが10個の行動ペアのそれぞれに正確に0.1の確率を割り当てる。
• 混合プレイヤーと他のプレイヤーとの間の隠れんぼゼロサムゲームを用いて、必要な混合戦略制約を強制する。
• 加算、減算、乗算、定数用のゲートガジェットを設計し、出力が[0,1]に制限された条件下で算術回路演算を正確にシミュレートする。
• すべてのナッシュ均衡において、変数プレイヤーの戦略が算術回路の出力を正確にシミュレートすることを証明し、元の関数の固定点をもたらす。

実験結果

リサーチクエスチョン

• RQ1 1人あたり定数個の行動をとる木型多行列ゲームにおけるナッシュ均衡の計算が、非巡回構造にもかかわらずPPAD困難であるか？
• RQ2 2D-LinearFIXPにおける定数倍近似固定点についてもPPAD困難性を確立できるか、多項式的に小さい近似にとどまらないか？
• RQ3 2D-LinearFIXPにおけるϵ-固定点を求める問題がPPAD困難となる最大の定数ϵは何か？
• RQ4 パス幅1（例：カーディナルグラフ）を持つ相互作用グラフであっても、木型多行列ゲームのPPAD困難性は維持されるか？
• RQ5 定数幅の回路を用いて還元を実装できるか。これにより、構造化されたゲームグラフへの埋め込みが可能になるか？

主な発見

• 1人あたり20の行動をとる木型多行列ゲームにおけるナッシュ均衡の計算は、パス幅1の相互作用グラフであってもPPAD困難である。
• 2D-LinearFIXPにおける任意のϵ-近似固定点（ϵ < (√2 − 1)/2 ≈ 0.2071）の計算もPPAD困難であり、自明な上限0.5と比較して顕著な定数である。
• 還元には定数幅の算術回路が用いられ、各プレイヤーが1つのゲートではなく、ゲートの段階全体をシミュレートしている。これは、従来の還元とは異なり、各プレイヤーが1つのゲートをシミュレートしていた点と対照的である。
• 相互作用グラフはカーディナルであり、パス幅1である。これは、非常に単純な非巡回グラフでもPPAD完全問題を符号化できることを示している。
• 1人あたり定数個の行動をとる木型多行列ゲームが多項式時間で解けるかどうかという未解決問題が解決された：PPAD = Pでない限り、解けるわけではない。
• 構成により、20行動の木型多行列ゲームがPPAD完全であることが証明された。すでにPPADに属することは知られているため。