[論文レビュー] Computational Complexity of Approximate Nash Equilibrium in Large Games

Aviad Rubinstein|arXiv (Cornell University)|May 2, 2014

Game Theory and Applications参考文献 12被引用数 6

ひとこと要約

この論文は、多くのプレイヤーがいる大規模かつ要約表現されたゲームにおいて、任意の定数 $\epsilon > 0$ に対して $\epsilon$-ナッシュ均衡を計算することは、純粋均衡が存在する場合でさえも $\mathbf{PPAD}$-困難であることを確立している。証明は、リプシッツ連続関数の固定点を近似する問題に還元され、回路ベースの報酬表現と戦略サポートの確率的解析を活用している。

ABSTRACT

We prove that finding an epsilon-Nash equilibrium in a succinctly representable game with many players is PPAD-hard for constant epsilon. Our proof uses succinct games, i.e. games whose payoff function is represented by a circuit. Our techniques build on a recent query complexity lower bound by Babichenko.

研究の動機と目的

• 多くのプレイヤーがいる大規模ゲームにおける近似ナッシュ均衡を求める計算複雑性を解明すること。
• ナッシュ均衡計算における多項式時間近似スキーム（PTAS）の存在という未解決の問題に取り組むこと。
• 純粋均衡が存在するにもかかわらず、要約ゲームにおける加法的 $\epsilon$-ナッシュ均衡の近似不能性を確立すること。
• 2人ゲームにとどまらず、コンact表現を持つ多人数ゲームへと困難性の結果を拡張すること。

提案手法

• 単位立方体上の $M$-リプシッツ連続関数の固定点を近似する問題へ、$\epsilon$-ナッシュ均衡を求める問題を還元する。
• 2グループのゲームを構築：1つのグループは他方の行動を模倣し、2番目のグループは最初のグループの行動に関数 $f$ を適用した出力を模倣しようとする。
• 分散と期待値の上限を用いて、$\epsilon$-ナッシュ均衡における戦略サポートを $1/k$ 間隔内の離散値に制限する。
• 関数 $f$ のリプシッツ性を用いて、$\epsilon = 3/(4k^2)$ の任意の $\epsilon$-ナッシュ均衡が、距離 $\frac{3+M}{k}$ 以内の $f$ の近似固定点を与えることを示す。
• クエリ複雑性（Babichenko [1]）とブロワー固定点計算（Hirsch et al. [12]）の技術を用いて、困難性を確立する。
• 報酬が小さな回路によって計算される（戦略空間が指数的に巨大でも）回路ベースの報酬関数を用いて、要約ゲームをモデル化する。

実験結果

リサーチクエスチョン

• RQ1 多くのプレイヤーがいる大規模ゲームにおいて、定数 $\epsilon$ に対して $\epsilon$-ナッシュ均衡を求める問題は $\mathbf{PPAD}$-困難か？
• RQ2 純粋均衡の存在と $\mathbf{PPAD}$-困難性が、近似ナッシュ均衡の計算において共存しうるか？
• RQ3 要約ゲームにおける $\epsilon$-ナッシュ均衡の計算問題は $\mathbf{PPAD}$ に含まれるか、それともより困難か？
• RQ4 近似ナッシュ均衡の複雑性と、連続関数の固定点を近似する複雑性との関係は何か？

主な発見

• 任意の定数 $\epsilon > 0$ に対して、$m$ プレイヤーと $k$ 個の行動を持つ要約ゲームにおいて、$\epsilon$-ナッシュ均衡を計算することは $\mathbf{PPAD}$-困難である。純粋均衡が存在する場合でも同様である。
• この困難性結果は、支持内のすべての行動が近似最適応答である「$\epsilon$-well-supportedナッシュ均衡」に対しても成立する。
• 還元により、任意の $\epsilon$-ナッシュ均衡が $\epsilon = 3/(4k^2)$ の場合、距離 $\frac{3+M}{k}$ 以内の $f$ の近似固定点を示すゲームが構築される。
• この構成により、$M$-リプシッツ連続関数の固定点を近似することは $\mathbf{PPAD}$-困難であることが示され、関数が多項式時間で計算可能で $[0,1]^n$ から自身へ写像する場合でも同様である。
• この結果により、純粋均衡が存在するゲームにおいても $\mathbf{PPAD}$-困難性が生じうることを示しており、これは以前に困難であると知られていなかった設定である。
• 複雑性分類におけるギャップが特定された：$\epsilon$-ナッシュ均衡を計算する問題に対する非自明な上界は知られておらず、近似最適応答を確率的でない方法で計算する困難さにより、問題が $\mathbf{PPAD}$ に属さない可能性がある。