[論文レビュー] FPTAS for Mixed-Strategy Nash Equilibria in Tree Graphical Games and Their Generalizations

Luis E. Ortiz, Mohammad Irfan|arXiv (Cornell University)|Feb 16, 2016

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

ひとこと要約

本稿では、正規形、グラフィカル、多対数ゲームの一般化である木構造のグラフィカルマルチハイパーマトリックスゲーム（GMhG）における近似混合戦略ナッシュ均衡を計算する、最初の完全多項式時間近似スキーム（FPTAS）を提示する。確率空間および報酬空間を離散化した制約充足問題（CSP）を定式化し、動的計画法を用いて解くことで、近隣サイズに指数的依存性を排除し、行動数とハイパツリー幅が定数で有界である場合にFPTASを達成する。

ABSTRACT

We provide the first fully polynomial time approximation scheme (FPTAS) for computing an approximate mixed-strategy Nash equilibrium in tree-structured graphical multi-hypermatrix games (GMhGs). GMhGs are generalizations of normal-form games, graphical games, graphical polymatrix games, and hypergraphical games. Computing an exact mixed-strategy Nash equilibria in graphical polymatrix games is PPAD-complete and thus generally believed to be intractable. In contrast, to the best of our knowledge, we are the first to establish an FPTAS for tree polymatrix games as well as tree graphical games when the number of actions is bounded by a constant. As a corollary, we give a quasi-polynomial time approximation scheme (quasi-PTAS) when the number of actions is bounded by the logarithm of the number of players.

研究の動機と目的

• 正確な計算がPPAD困難であることが知られている木構造のグラフィカルゲームにおける混合戦略ナッシュ均衡の効率的近似スキームの開発。
• 従来のグラフィカルゲームアルゴリズムにおけるノード次数に依存する指数的依存性という長年の未解決問題への対処。
• グラフィカルマルチハイパーマトリックスゲーム（GMhG）の統一的枠組みを通じて、多対数ゲームやハイパーグラフゲームを含む広範なゲームクラスへの近似の tractability の拡張。
• 行動数とハイパツリー幅が定数で有界である場合にFPTASを確立し、行動数が log(n) で有界である場合には準PTASを達成すること。

提案手法

• 任意の解が ϵ-MSNE に対応する制約充足問題（CSP）を定式化し、確率空間および報酬空間の離散化により、近似解が存在することを保証する。
• 木構造を介したメッセージパッシングにより、局所的な報酬および戦略制約を伝搬する動的計画法（DP）を用いてCSPを効率的に解く。
• 各ノードにおける最適戦略プロファイルおよび期待報酬を計算するための再帰関数 T, R, V, W を定義し、根および葉ノードの境界条件を設定する。
• 混合戦略および報酬にグリッド離散化を適用し、解像度を ϵ で決定することで、真のMSNEに近いグリッド点がCSPを満たすことを保証する。
• DPアルゴリズムを用いて、葉から根へと再帰的に最適戦略を計算し、その後、逆方向に伝搬して完全な ϵ-MSNE を回復する。
• 行動数とハイパツリー幅が定数で有界である場合に、アルゴリズムが完全多項式時間で実行されることを証明し、近隣サイズへの指数的依存性を排除する。

実験結果

リサーチクエスチョン

• RQ1 木構造のグラフィカルマルチハイパーマトリックスゲームにおける近似混合戦略ナッシュ均衡を計算するFPTASを構築可能か？
• RQ2 アルゴリズムは、従来のグラフィカルゲーム計算における長年のボトル neck であったノードの最大次数への指数的依存性を解消するか？
• RQ3 行動数がプレイヤー数の対数関数的に増加する場合に、FPTASを拡張可能か？
• RQ4 与えられたゲームに対して、混合戦略の離散化グリッドが、常に ϵ-MSNE である点を含むように保証できるか？
• RQ5 動的計画法を木構造のGMhGに効果的に適用し、完全多項式時間で近似均衡を計算可能か？

主な発見

• 提案されたアルゴリズムは、行動数とハイパツリー幅が定数で有界である場合に、木構造のGMhGにおける ϵ-MSNE を計算するFPTASを達成する。
• 実行時間はプレイヤー数、1/ϵ、行動数に関して多項式的であり、近隣サイズへの指数的依存性は一切ない。
• 定数行動を有する101ノードのスターポリマトリックスゲームでは、アルゴリズムは O(poly(k/ϵ)) 時間で実行され、O((k/ϵ)^k) または O((2^{k+2}k log k / ϵ)^2)^k 時間を要する従来のアルゴリズムよりも顕著に優れる。
• 行動数が log(n) で有界である場合には準PTASを提供し、より大きなゲームへの適用可能性を拡張する。
• DP定式化により、ノード次数への指数的依存性が効果的に排除され、計算ゲーム理論における15年間の未解決問題が解決された。
• 手法は実装が簡単であり、GMhGの抽象化を通じて、標準的グラフィカルゲーム、ポリマトリックスゲーム、ハイパーグラフィカルゲームへと一般化可能である。