[論文レビュー] How discontinuous is Computing Nash Equilibria?

Arno Pauly|ArXiv.org|Jul 9, 2009

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

ひとこと要約

本稿は、計算可能解析およびType-2チューリングマシンを用いて、ナッシュ均衡を計算する際の不連続性の度合いを調査する。計算可能解析の枠組みにおいて、ナッシュ均衡を計算する問題は、連立一次不等式を解く問題よりも厳密に不連続性が強く、ボレル階層のレベル4に分類され、相関均衡もナッシュ均衡と同一の不連続性の度合いを示すことが示された。

ABSTRACT

We investigate the degree of discontinuity of several solution concepts from non-cooperative game theory. While the consideration of Nash equilibria forms the core of our work, also pure and correlated equilibria are dealt with. Formally, we restrict the treatment to two player games, but results and proofs extend to the n-player case. As a side result, the degree of discontinuity of solving systems of linear inequalities is settled.

研究の動機と目的

• 計算可能解析の枠組みにおいて、2人零和ゲームにおけるナッシュ均衡を計算する際の不連続性の度合いを分析すること。
• 2人正準形ゲームにおけるナッシュ均衡、相関均衡、純粋均衡の不連続性レベルを比較すること。
• 2×2ゲームにおけるナッシュ均衡を計算する問題の正確な不連続性の度合いを特定すること。
• 連立一次不等式を解く問題が、ナッシュ均衡を計算する問題よりも厳密に不連続性が小さいことを確立すること。
• 古典的計算複雑性において多項式時間で計算可能であるにもかかわらず、相関均衡がナッシュ均衡と同一の不連続性の度合いを示すかどうかを示すこと。

提案手法

• 実数上の計算を形式化し、ゲームや均衡を無限列として表現するために、Type-2効果的理論（TTE）を用いる。
• 実数の標準的表現 ρ を有理数近似を用いて定義し、計算可能関数と連続性を定義する。
• 還元関係（≤₂）を用いて、異なる解法概念や演算の不連続性の度合いを比較する。
• 有理数除算（rDiv）を分離問題（Sep）に還元し、rDiv ≤₂ Sep を示し、これによりナッシュ均衡の不連続性を評価する。
• 関数の合成とペアリング演算を用いて、⟨Sep, Sep⟩ ≡₂ Sep を示し、階層的分類を可能にする。
• 2×2ゲームの解析において、均衡計算を1つの実数変数に還元し、レベル4の不連続性を持つ関数を明示的に構成する。

実験結果

リサーチクエスチョン

• RQ1 2人正準形ゲームにおけるナッシュ均衡を計算する問題の正確な不連続性の度合いは何か？
• RQ2 ナッシュ均衡を計算する問題の不連続性は、連立一次不等式を解く問題のそれと比べてどのように異なるか？
• RQ3 古典的計算複雑性において多項式時間で計算可能であるにもかかわらず、相関均衡はナッシュ均衡と同一の不連続性の度合いを示すか？
• RQ4 純粋均衡の不連続性は、ナッシュ均衡のそれよりも厳密に小さいか？
• RQ5 2×2ゲームにおけるナッシュ均衡問題のボレル階層（Lev）は何か？

主な発見

• 有理数除算（rDiv）を分離問題（Sep）に還元できること（rDiv ≤₂ Sep）と、Nash <₂ Sep であることから、ナッシュ均衡を計算する問題は、連立一次不等式を解く問題よりも厳密に不連続性が強いことが示された。
• 2×2ナッシュ均衡問題の不連続性の度合いは正確に4であり、Lev(Nash₂₂) = 4 であることが、レベル4の不連続性を持つ関数の構成によって確立された。
• 相関均衡は、古典的計算複雑性において多項式時間で計算可能であるにもかかわらず、ナッシュ均衡と同一の不連続性の度合いを示すことが、両者の不連続性レベルの同値性によって示された。
• 純粋均衡は、ナッシュ均衡よりも厳密に不連続性が小さく、立方時間アルゴリズムで計算可能であり、極限において連続であることが示された。
• 有理数除算（rDiv）は分離問題（Sep）に還元可能であり、この還元関係を用いて、ナッシュ均衡の不連続性が関数レベルの階層によって評価された。
• 分離問題の合成 ⟨Sep, Sep⟩ ≡₂ Sep を満たすため、複数の演算の階層的分類が可能となり、ナッシュ均衡のレベル分類が支援された。