[論文レビュー] Query Complexity of Approximate Equilibria in Anonymous Games

Paul W. Goldberg, Stefano Turchetta|arXiv (Cornell University)|Dec 19, 2014

Game Theory and Applications参考文献 30被引用数 4

ひとこと要約

本稿では、2戦略の匿名ゲームにおいて、$\tilde{O}(n^{3/2})$ の報酬クエリと実行時間で $O(n^{-1/4})$-近似ナッシュ均衡を計算する、ランダム化されクエリ効率の良いアルゴリズムを提示する。これにより、従来の手法が改善された。また、ランダム化が可能であっても、$\epsilon$-well-supported均衡を求めるには $\Omega(n\log n)$ のクエリ下界がタイトであることが示され、正確な均衡はクエリ効率的に計算できないことが示された。

ABSTRACT

We study the computation of equilibria of anonymous games, via algorithms that may proceed via a sequence of adaptive queries to the game's payoff function, assumed to be unknown initially. The general topic we consider is \emph{query complexity}, that is, how many queries are necessary or sufficient to compute an exact or approximate Nash equilibrium. We show that exact equilibria cannot be found via query-efficient algorithms. We also give an example of a 2-strategy, 3-player anonymous game that does not have any exact Nash equilibrium in rational numbers. However, more positive query-complexity bounds are attainable if either further symmetries of the utility functions are assumed or we focus on approximate equilibria. We investigate four sub-classes of anonymous games previously considered by \cite{bfh09, dp14}. Our main result is a new randomized query-efficient algorithm that finds a $O(n^{-1/4})$-approximate Nash equilibrium querying $ ilde{O}(n^{3/2})$ payoffs and runs in time $ ilde{O}(n^{3/2})$. This improves on the running time of pre-existing algorithms for approximate equilibria of anonymous games, and is the first one to obtain an inverse polynomial approximation in poly-time. We also show how this can be utilized as an efficient polynomial-time approximation scheme (PTAS). Furthermore, we prove that $Ω(n \log{n})$ payoffs must be queried in order to find any $ε$-well-supported Nash equilibrium, even by randomized algorithms.

研究の動機と目的

• 報酬関数が適応的クエリによってアクセスされる匿名ゲームにおける、近似ナッシュ均衡を計算するためのクエリ複雑度を調査すること。
• その表現が有理数でない可能性があることから、クエリモデル下で正確なナッシュ均衡が効率的に計算可能かどうかを特定すること。
• 2戦略の匿名ゲームにおける近似均衡およびwell-supported均衡のクエリ複雑度のタイトな境界を確立すること。
• 多項式時間内で逆多項式近似を達成する、より優れたクエリおよび実行時間効率を備えた新しいランダム化アルゴリズムを開発すること。

提案手法

• アルゴリズムは、報酬クエリをランダムにサンプリングし、滑らかにしたゲームの不動点を特定するために、離散化された戦略空間上で二分探索を適用する。
• 期待効用をクエリされた報酬から効率的に計算するために、ポアソン二項分布の構造を活用する。
• プレイヤーが確率 $\zeta/k$ と $1 - (k-1)\zeta/k$ で2つの戦略にランダムに混合するものと仮定し、計算の簡素化のため $k=2$ に限定する。
• 重要な要素として、報酬関数を補間してリプシッツ連続性を保証する滑らかなゲーム近似を用いる。これにより、不動点探索が効率的に行える。
• アルゴリズムは、すべてのプレイヤーの逸脱のインcentiveが $O(n^{-1/4})$ 以下であることを保証し、$\epsilon = O(n^{-1/4})$ の $\epsilon$-NE を達成する。
• 敵対的ゲーム分布とミニマックス原理を用いて下界を導出し、クエリ応答からランダムな $\log n$ ビット文字列を学習する問題に還元する。

実験結果

リサーチクエスチョン

• RQ1 正確なナッシュ均衡が、有理数でない可能性があるにもかかわらず、匿名ゲームにおいてクエリ効率の良いアルゴリズムで計算可能かどうか。
• RQ2 2戦略の匿名ゲームにおいて、$\epsilon$-well-supportedナッシュ均衡を計算するために必要な最小の報酬クエリ数は何か。
• RQ3 $\epsilon$ を $n$ の逆多項式として達成するクエリ効率の良いアルゴリズムを設計可能かどうか。
• RQ4 アルゴリズム的手法を $k$-戦略の匿名ゲームに一般化可能か。この場合でもクエリ効率を維持できるか。
• RQ5 $\epsilon$-NE を求めるクエリ複雑度は、$n$ に関して対数的にスケーリングするか。特に $\epsilon < 1/2$ の場合でも同様か。

主な発見

• 本稿では、$\tilde{O}(n^{3/2})$ のクエリと実行時間で $O(n^{-1/4})$-近似ナッシュ均衡を計算するランダム化アルゴリズムを提示し、従来の手法を改善した。
• アルゴリズムは多項式時間内で逆多項式近似を達成しており、匿名ゲームにおいてはこれが初めての結果である。
• 任意のランダム化アルゴリズムが $\epsilon$-well-supportedナッシュ均衡を計算するには $\Omega(n\log n)$ のクエリが必要であることが証明された。これは $\epsilon < 1$ の場合でも成り立つ。
• 有理数にない正確なナッシュ均衡をもつ2戦略3プレイヤーの匿名ゲームを構築した。これにより、有理数の正確な均衡が常に存在するわけではないことが示された。
• 正確な均衡は、無理数均衡の可能性とクエリモデルの本質的複雑さのため、クエリ効率的に計算できないことが示された。
• $\epsilon$-WSNE のクエリ複雑度は $\Omega(n\log n)$ 以上であることが示され、well-supported均衡では対数的クエリオーバーヘッドを避けられないことがわかった。