[論文レビュー] Complexity Results about Nash Equilibria

Vincent Conitzer, Tüomas Sandholm|ArXiv.org|May 28, 2002

Game Theory and Applications参考文献 64被引用数 217

ひとこと要約

この論文は、非協力的ゲーム理論における基本的問題について、計算上の困難性に関する根本的な結果を確立する。1つの還元を用いて、特定の性質を有するナッシュ均衡の存在を判定することはNP困難であることを示し、均衡の数え上げは#P困難であることを示し、確率的ゲームにおける純粋戦略均衡の探索はPSPACE困難であることを示している。これは対称的で2人用の設定ですら成り立つ。これらの結果は、強い制約下でも成り立つため、ゲーム理論的システムにおける均衡計算の本質的複雑性を強調している。

ABSTRACT

Noncooperative game theory provides a normative framework for analyzing strategic interactions. However, for the toolbox to be operational, the solutions it defines will have to be computed. In this paper, we provide a single reduction that 1) demonstrates NP-hardness of determining whether Nash equilibria with certain natural properties exist, and 2) demonstrates the #P-hardness of counting Nash equilibria (or connected sets of Nash equilibria). We also show that 3) determining whether a pure-strategy Bayes-Nash equilibrium exists is NP-hard, and that 4) determining whether a pure-strategy Nash equilibrium exists in a stochastic (Markov) game is PSPACE-hard even if the game is invisible (this remains NP-hard if the game is finite). All of our hardness results hold even if there are only two players and the game is symmetric. Keywords: Nash equilibrium; game theory; computational complexity; noncooperative game theory; normal form game; stochastic game; Markov game; Bayes-Nash equilibrium; multiagent systems.

研究の動機と目的

• 正規形ゲームにおける、特定の望ましいまたは望ましくない性質を有するナッシュ均衡が存在するかどうかを決定する計算複雑性を確立すること。
• ゲームにおけるナッシュ均衡の数、あるいは連結した均衡集合の数を数える複雑性を分析すること。
• ベイジアンゲームにおける純粋戦略ベイズ＝ナッシュ均衡の存在を決定する複雑性を調査すること。
• 特に、見えない場合や有限の場合に、確率的（マルコフ）ゲームにおける純粋戦略ナッシュ均衡を求める複雑性を検討すること。
• すべての困難性の結果が、2人用かつ対称的ゲームといった強い制約下でも成り立つことを示し、複雑性境界の頑健性を示すこと。

提案手法

• NP完全問題である周期的充足可能性問題（周期的SAT）からの1つの統一的な還元を用いて、複数の均衡存在問題におけるNP困難性を証明する。
• 還元は、特定の戦略プロファイルを有するナッシュ均衡の存在が、周期的SATインスタンスにおける充足割り当ての存在とちょうど一致する正規形ゲームを構築する。
• 同じ構築を拡張して、均衡の数え上げの#P困難性を証明する。これは、有効な均衡の数が周期的SAT式における充足割り当ての数にちょうど一致することを示す。
• 確率的ゲームの場合、還元はプレイヤーの行動が変数の割り当てに対応する段階的なゲームとしてモデル化され、状態遷移が節の充足を符号化する。報酬はインcentive compatibilityを強制するために設計されている。
• 見えない確率的ゲーム設定では、プレイヤーが現在の状態を観測できないが、報酬構造と割引率のおかげで困難性の結果は依然として成り立つ。
• 対称的ゲーム構造と純粋戦略均衡を活用して、制約の強い設定でも困難性が維持されることを示している。

実験結果

リサーチクエスチョン

• RQ1 正規形ゲームにおいて、特定の戦略プロファイルや性質を有するナッシュ均衡が存在するかどうかを決定することは、計算的に困難であるか？
• RQ2 ゲームにおけるナッシュ均衡の総数（または連結した均衡集合）を数える計算複雑性は何か？
• RQ3 ベイジアンゲームにおける純粋戦略ベイズ＝ナッシュ均衡の存在は、決定することがNP困難か？
• RQ4 特に、ゲームが見えない場合や有限の場合に、確率的（マルコフ）ゲームにおける純粋戦略ナッシュ均衡が存在するかどうかを決定する複雑性は何か？
• RQ5 2人用かつ対称的ゲームといった強い制約下でも、これらの困難性の結果は維持されるか？

主な発見

• 2人用かつ対称的な正規形ゲームにおいて、特定の自然な性質を有するナッシュ均衡が存在するかどうかを決定することはNP困難である。
• ゲームにおけるナッシュ均衡（または連結した均衡集合）の数を数えることは、対称的2人用ゲームにおいても#P困難である。
• ベイジアンゲームにおける純粋戦略ベイズ＝ナッシュ均衡の存在を決定することは、2人用でもNP困難である。
• 確率的（マルコフ）ゲームにおける純粋戦略ナッシュ均衡を求めるのはPSPACE困難である。これは、ゲームが見えない場合でも成り立ち、ゲームが有限であればNP困難のまま保たれる。
• すべての困難性の結果が、対称的2人用ゲームにおいても成り立つため、複雑性は本質的であり、ゲーム構造に起因するものではないことが示された。
• 同じ還元により、均衡存在のNP困難性と均衡数え上げの#P困難性が同時に確立され、1つの構築によって複数の複雑性結果が統合された。