[論文レビュー] A Graph Spectral Approach for Computing Approximate Nash Equilibria

Haralampos Tsaknakis, Paul G. Spirakis|ArXiv.org|Sep 25, 2009

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

ひとこと要約

本稿は、2人ゼロ和でない非協力ゲームにおけるε-近似ナッシュ均衡を計算するためのグラフスペクトル的手法を導入する。問題を単体上での不定な二次計画問題に還元し、導出されたグラフの対称隣接行列の正固有値を活用する。時間計算量はn^{ξ(m)/ε}で、ξ(m) = ∑_{i=1}^m λ_i / n であり、ξ(m)が定数となるクラスに対してはPTASを達成する。

ABSTRACT

We present a new methodology for computing approximate Nash equilibria for two-person non-cooperative games based upon certain extensions and specializations of an existing optimization approach previously used for the derivation of fixed approximations for this problem. In particular, the general two-person problem is reduced to an indefinite quadratic programming problem of special structure involving the $n imes n$ adjacency matrix of an induced simple graph specified by the input data of the game, where $n$ is the number of players' strategies. Using this methodology and exploiting certain properties of the positive part of the spectrum of the induced graph, we show that for any $\varepsilon > 0$ there is an algorithm to compute an $\varepsilon$-approximate Nash equilibrium in time $n^{ξ(m)/\varepsilon}$, where, $ξ(m) = \sum_{i=1}^m λ_i / n$ and $λ_1, λ_2, >..., λ_m$ are the positive eigenvalues of the adjacency matrix of the graph. For classes of games for which $ξ(m)$ is a constant, there is a PTAS. Based on the best upper bound derived for $ξ(m)$ so far, the worst case complexity of the method is bounded by the subexponential $n^{\sqrt{m}/\varepsilon}$.

研究の動機と目的

• 2人非協力ゲームにおける近似ナッシュ均衡を計算するための新規手法の開発。
• 一般の2人ゲーム問題を、{0,1}の隣接行列を持つ対称的勝ち負けゲームに還元する。
• 誘導グラフの隣接行列のスペクトル特性を活用して、計算複雑性の境界を導出する。
• 本手法が多項式時間近似スキーム（PTAS）を達成する条件を確立する。

提案手法

• 均衡構造を保存する変換を用いて、一般のバイマトリックスゲームを、{0,1}の隣接行列を持つ対称的勝ち負けゲームに還元する。
• 誘導された有向グラフの隣接行列Aを用いて、n次元確率単体上での不定二次計画問題としてゲームを表現する。
• A + A^Tにより無向グラフを構築し、その正固有値と固有ベクトルを解析の中心とする。
• 単体Δ_nをA + A^Tの正固有空間へ射影し、P_m(Δ_n)と表記する。幾何的構造を解析する。
• P_m(Δ_n)を半径ε·ξ(m)の球で被覆し、ξ(m) = ∑_{i=1}^m λ_i / n であり、高々n^{1/ε}個のグリッド点を用いる。
• 各グリッド点から降下法を適用し、レジット関数の停留点を探索することで、ε-近似ナッシュ均衡が得られることを保証する。

実験結果

リサーチクエスチョン

• RQ1 ゲームの誘導グラフ隣接行列のスペクトル特性を用いて、近似ナッシュ均衡のための効率的アルゴリズムを設計可能か？
• RQ2 アルゴリズムの実行時間は、対称隣接行列A + A^Tの正固有値にどのように依存するか？
• RQ3 グラフスペクトルにどのような条件下で、本手法が多項式時間近似スキーム（PTAS）を達成するか？
• RQ4 正固有空間の幾何的性質を活用することで、投影単体を被覆するグリッドサイズを小さくできるか？
• RQ5 上界ξ(m) ≤ √mはタイトか、それともグラフの接続性を組み込むことで改善可能か？

主な発見

• アルゴリズムは時間n^{ξ(m)/ε}でε-近似ナッシュ均衡を計算し、ξ(m) = ∑_{i=1}^m λ_i / n であり、λ_iはA + A^Tの正固有値である。
• ξ(m)が定数となるゲームクラスに対して、本手法は多項式時間近似スキーム（PTAS）を達成する。
• 最悪ケースの時間計算量はn^{√m / ε}で抑えられ、mはA + A^Tの正固有値の個数である。これは非指数的計算量を達成する。
• 上界ξ(m) ≤ √mは、(∑_{i=1}^m λ_i)^2 ≤ m ∑_{i=1}^m λ_i^2 ≤ m n^2 という不等式から導出され、トレースとスペクトルノルムの性質に由来する。
• εが小さくnが大きい場合、従来の部分指数的アルゴリズムよりも性能が向上し、性能のトレードオフがε ≈ 12 ln n / √nの閾値で変化する。
• 本手法はスパarsなまたは構造的正固有スペクトルを持つゲームに対して有効であり、スペクトルグラフ理論がゲーム理論的問題のアルゴリズム設計を指針とする可能性を示唆する。