[論文レビュー] The complexity of computing a (quasi-)perfect equilibrium for an n-player extensive form game of perfect recall

Kousha Etessami|arXiv (Cornell University)|Aug 6, 2014

Game Theory and Applications参考文献 39被引用数 3

ひとこと要約

この論文は、n人プレイヤーの完全記憶を持つ広範図ゲームにおけるナッシュ均衡のさまざまな精錬形——逐次的、完全、準完全均衡——を計算するか近似する問題が、複雑性クラス FIXP_a に完全であることを確立している。さらに、δ-ほぼε-(準)完全均衡を近似することはPPAD完全であることが示され、3人以上のプレイヤーを含む広範図設定におけるより洗練された均衡精錬形への既知の正規形ゲームにおける複雑性結果の拡張がなされた。

ABSTRACT

We study the complexity of computing or approximating refinements of Nash equilibrium for a given finite n-player extensive form game of perfect recall (EFGPR), where n >= 3. Our results apply to a number of well-studied refinements, including sequential (SE), extensive-form perfect (PE), and quasi-perfect equilibrium (QPE). These refine Nash and subgame-perfect equilibrium. Of these, the most refined notions are PE and QPE. By classic results, all these equilibria exist in any EFGPR. We show that, for all these notions of equilibrium, approximating an equilibrium for a given EFGPR, to within a given desired precision, is FIXP_a-complete. We also consider the complexity of corresponding "almost" equilibrium notions, and show that they are PPAD-complete. In particular, we define "delta-almost epsilon-(quasi-)perfect" equilibrium, and show computing one is PPAD-complete. We show these notions refine "delta-almost subgame-perfect equilibrium" for EFGPRs, which is PPAD-complete. Thus, approximating one such (delta-almost) equilibrium for n-player EFGPRs, n >= 3, is P-time equivalent to approximating a (delta-almost) NE for a normal form game (NFG) with 3 or more players. NFGs are trivially encodable as EFGPRs without blowup in size. Thus our results extend the celebrated complexity results for NFGs to refinements of equilibrium in the more general setting of EFGPRs. For 2-player EFGPRs, analogous complexity results follow from the algorithms of Koller, Megiddo, and von Stengel (1996), von Stengel, van den Elzen, and Talman (2002), and Miltersen and Soerensen (2010). For n-player EFGPRs, an analogous result for Nash and subgame-perfect equilibrium was given by Daskalakis, Fabrikant, and Papadimitriou (2006). However, no analogous results were known for the more refined notions of equilibrium for EFGPRs with 3 or more players.

研究の動機と目的

• n ≥ 3 を満たすn人プレイヤーの完全記憶を持つ広範図ゲーム（EFGPR）における洗練された均衡の計算または近似の計算複雑性を特定すること。
• 正規形ゲームにおけるナッシュ均衡の既知の複雑性結果を、EFGPRにおけるより洗練された均衡概念へと拡張すること。
• 逐次的、完全、準完全均衡の近似がFIXP_a完全であることを確立し、それらの「ほぼ」バージョンがPPAD完全であることを示すこと。
• 代数的不動点関数を介して、これらの均衡のためのパスフォローリングアルゴリズムの計算可能性を検討すること。
• EFGPRにおける適切な均衡および準適切均衡に関する未解決の問題を特定し、それらの潜在的な複雑性クラスを同定すること。

提案手法

• 論文は、n人プレイヤーのEFGPRにおける均衡条件を代数的不動点表現を用いてモデル化し、FIXP_a複雑性クラスの道具を活用している。
• EFGPRにおける（準）完全均衡の計算の下界を示すために、既知のFIXP_a完全問題からの還元を構築している。
• 離散的パスフォローリングアルゴリズムを可能にするために、δ-ほぼε-(準)完全均衡を緩和された解概念として定義している。
• δ-ほぼ部分ゲーム完全均衡との関連を用いてPPAD完全性の議論を適用し、それらが既にPPAD完全であることが知られていることを利用している。
• Lemke-Howson法やScarff型手法を含む先行のパスフォローリングアルゴリズムの研究に根拠を置き、それらをEFGPRの代数的構造に適合させている。
• 正規形ゲームをEFGPRにサイズの増大なしに自明に符号化できることを用いて、正規形から広範図への複雑性結果の移行を可能としている。

実験結果

リサーチクエスチョン

• RQ1 n ≥ 3 を満たすn人プレイヤーのEFGPRにおける（準）完全均衡の計算は計算的に困難であり、その複雑性クラスは何か？
• RQ2 δ-ほぼε-(準)完全均衡は効率的に計算可能か？ その複雑性クラスは何か？
• RQ3 EFGPRにおける均衡精錬形の複雑性クラスは、正規形ゲームにおけるそれらとどのように比較できるか？
• RQ4 EFGPRにおける適切均衡および準適切均衡の近似は、FIXP_a完全であるか？
• RQ5 パスフォローリングアルゴリズムにおいてPPAD完全性を実現するための「ほぼ」適切均衡の正しい定義は何か？

主な発見

• n ≥ 3 を満たすn人プレイヤーのEFGPRにおける逐次的、広範図的完全、または準完全均衡の計算または近似は、FIXP_a完全である。
• n ≥ 3 を満たすn人プレイヤーのEFGPRにおけるδ-ほぼε-(準)完全均衡の近似はPPAD完全である。
• これらの洗練された均衡の近似の複雑性は、3人プレイヤーの正規形ゲームにおけるδ-ほぼナッシュ均衡の近似とP時間同等である。
• 本研究では、正規形ゲームにおけるナッシュ均衡の著名な複雑性結果が、広範図ゲームにおけるより洗練された解概念へと拡張された。
• 論文は、代数的不動点関数に基づくScarff型の離散的パスフォローリングアルゴリズムが、ほぼ（準）完全均衡を計算する実用的手段を提供する可能性があると示唆している。
• 著者らは、EFGPRにおける適切均衡および準適切均衡の近似もFIXP_a完全であると予想しているが、PPAD完全性を実現するための正しい緩和定義は未解決のままである。