[論文レビュー] On the complexity of strong Nash equilibrium: Hard-to-solve instances and smoothed complexity

Nicola Gatti, Marco Rocco+1 more|arXiv (Cornell University)|Apr 4, 2013

Game Theory and Applications参考文献 15被引用数 3

ひとこと要約

本稿は、戦略形式ゲームにおける混合戦略強ナッシュ均衡（SNE）が、支払いベクトルが特定の幾何的構造上に位置する必要があることを確立している—2人ゲームでは同一直線上、n人ゲームでは(n−1)次元超平面に位置する。この性質を活用して、サポート列挙アルゴリズムの最悪ケースのインスタンスを構築し、SNEの計算が滑らかさに基づく多項式時間内に可能であることを証明した。一般に、ゲームは純粋戦略SNEしか持たないため、小さな確率的摂動のもとで問題は取り扱い可能になる。

ABSTRACT

The computational characterization of game-theoretic solution concepts is a central topic in artificial intelligence, with the aim of developing computationally efficient tools for finding optimal ways to behave in strategic interactions. The central solution concept in game theory is Nash equilibrium (NE). However, it fails to capture the possibility that agents can form coalitions (even in the 2-agent case). Strong Nash equilibrium (SNE) refines NE to this setting. It is known that finding an SNE is NP-complete when the number of agents is constant. This hardness is solely due to the existence of mixed-strategy SNEs, given that the problem of enumerating all pure-strategy SNEs is trivially in P. Our central result is that, in order for a game to have at least one non-pure-strategy SNE, the agents' payoffs restricted to the agents' supports must, in the case of 2 agents, lie on the same line, and, in the case of n agents, lie on an (n - 1)-dimensional hyperplane. Leveraging this result, we provide two contributions. First, we develop worst-case instances for support-enumeration algorithms. These instances have only one SNE and the support size can be chosen to be of any size-in particular, arbitrarily large. Second, we prove that, unlike NE, finding an SNE is in smoothed polynomial time: generic game instances (i.e., all instances except knife-edge cases) have only pure-strategy SNEs.

研究の動機と目的

• 戦略形式ゲームにおける混合戦略強ナッシュ均衡（SNE）が存在する構造的条件を理解すること。
• 純粋戦略を超えた一般のゲームにおいて、SNEを効率的に見つけるためのアルゴリズムの欠如に対処すること。
• SNE計算に用いられるサポート列挙アルゴリズムの最悪ケースベンチマークインスタンスを開発すること。
• SNE計算の滑らかさに基づく複雑度を分析し、一般のゲームでは純粋戦略SNEしか存在しないことを示すこと。

提案手法

• 幾何的制約の同定：混合戦略SNEが存在するためには、参加者のサポートに制限された支払いベクトルが2人ゲームでは直線上、n人ゲームでは(n−1)次元超平面上に位置しなければならない。
• 正確に1つのSNEと任意のサポートサイズを持つ最悪ケースのゲームインスタンスを構築し、サポート列挙アルゴリズムが指数時間かかることを保証する。
• 滑らかさ解析を適用して、小さな確率的摂動の下で混合戦略SNEが存在する確率がゼロであることを示す。
• 2段階のアルゴリズムを用いる：まずすべての純粋戦略サポートをチェックする。SNEが見つからなければ、混合戦略サポートの組み合わせが幾何的条件を満たすかを検証する。
• 摂動が混合SNEに必要な整合性をほとんど確実に破壊するため、一般には純粋戦略SNEしか存在しないことを活用する。
• 摂動の下で指数時間のサポート列挙が高確率で回避されることを示すことにより、アルゴリズムが滑らかさに基づく多項式時間で実行されることを証明する。

実験結果

リサーチクエスチョン

• RQ1 n人ゲームにおけるサポート上での支払いベクトルにどのような幾何的条件が満たされると、混合戦略SNEが存在するか？
• RQ2 SNE計算のサポート列挙アルゴリズムにとって最悪ケースとなるゲームインスタンスを構築できるか？
• RQ3 小さな確率的摂動の下で、一般のゲームにおけるSNEの探索問題は計算的に取り扱い可能か？
• RQ4 SNE計算の滑らかさに基づく複雑度は、ナッシュ均衡のそれと比べてどう異なるか？
• RQ5 摂動に対してSNE計算が強靭であるか、脆いかを特徴づける構造的性質は存在するか？

主な発見

• 混合戦略SNEは、2人ゲームでは参加者のサポート上での支払いベクトルが同一直線上に、n人ゲームでは(n−1)次元超平面上にある場合にのみ存在する。
• 正確に1つのSNEと、1人の参加者あたり最大m/2のサポートサイズを持つ最悪ケースのゲームインスタンスを構築可能であり、サポート列挙アルゴリズムにはO(4^{m/2})の時間がかかる。
• SNEの探索問題は滑らかさに基づく多項式時間内に可能である。なぜなら、一般のゲーム（鋭い臨界ケースを除く）では純粋戦略SNEしか存在しないからである。
• 小さな確率的摂動が混合戦略SNEを維持する確率はゼロである。これは、必要な幾何的整合性の高次元性（高コディメンジョン）に起因する。
• SNEのサポート列挙アルゴリズムは、滑らかさ解析の下で多項式時間で実行されると保証される。なぜなら、指数時間の列挙は確率ゼロの事象に限られるからである。
• ナッシュ均衡とは異なり、SNE計算は小さな摂動に対して頑健である。摂動を加えたゲームでは一般に、純粋戦略SNEしか存在しない。