[論文レビュー] On the Verification and Computation of Strong Nash Equilibrium

Nicola Gatti, Marco Rocco+1 more|arXiv (Cornell University)|Nov 16, 2017

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

ひとこと要約

本稿では、n人ゲームにおける戦略プロファイルが強いナッシュ均衡（SNE）であるかどうかを検証する多項式時間アルゴリズムを提示し、ナッシュ均衡オラクルを繰り返し照会する空間的分枝限定法を導入してSNEを計算する。主な貢献は、SNE検証がPに属することの証明であり、SNE計算がNPに属すること、および混合戦略SNEインスタンスにおいてNE列挙法よりも優れた性能を示したことである。

ABSTRACT

Computing equilibria of games is a central task in computer science. A large number of results are known for \emph{Nash equilibrium} (NE). However, these can be adopted only when coalitions are not an issue. When instead agents can form coalitions, NE is inadequate and an appropriate solution concept is \emph{strong Nash equilibrium} (SNE). Few computational results are known about SNE. In this paper, we first study the problem of verifying whether a strategy profile is an SNE, showing that the problem is in $\mathcal{P}$. We then design a spatial branch--and--bound algorithm to find an SNE, and we experimentally evaluate the algorithm.

研究の動機と目的

• 一般ゲームにおける強いナッシュ均衡（SNE）の計算手法の不足に取り組むこと、特に連携可能なコалиションが存在する場合を含む。
• 与えられた戦略プロファイルがSNEであるかどうかを検証する問題の複雑性を調査すること、特に多方向および混合戦略の逸脱が存在する場合を含む。
• 2人ゲームにおける混合戦略に焦点を当て、SNEの計算のための実用的アルゴリズムを設計・評価すること。
• GAMUTのような標準的なNEベンチマークテストベッドが、純粋戦略SNEに偏っているため、SNE評価に不適切であることを示すこと。
• 純粋戦略SNEを含まない、唯一混合戦略SNEが存在するゲームを生成する新しいインスタンスジェネレータを開発すること。

提案手法

• SNE検証問題を、行動集合が有界な多エージェントミニマックス問題に還元し、多項式時間で解けることを証明する。
• ナッシュ均衡オラクルを用いて均衡を計算し、それがSNEであるかを検証する、空間的分枝限定法を設計する。
• SNE検証サブルーチンを分枝限定フレームワークに統合し、非SNE解を効率的に pruning する。
• 混合整数プログラミング（MIP）をNE探索のオラクルとして使用し、NE計算の効率化とSNE検証ステップへの統合を可能にする。
• 複数の構成を実装・比較する：反復的MIP 2StrongNash、ランダム状態選択を用いたアルゴリズム3、PNSベースのNE列挙。
• 既存のGAMUTベンチマークの偏りを避けるために、唯一混合戦略SNEが存在するゲームを生成するカスタムジェネレータを用いて新しいテストインスタンスを生成する。

実験結果

リサーチクエスチョン

• RQ1 一般n人ゲームにおいて、戦略プロファイルが強いナッシュ均衡（SNE）であるかどうかを検証する問題はPに属するか？
• RQ2 NEオラクルとSNE検証を組み合わせた空間的分枝限定法は、SNEを効果的に計算できるか？
• RQ3 2人ゲームにおいて、提案されたアルゴリズムがNE探索オラクルに必要な最大コール回数はどの程度か？
• RQ4 有限個の制約（純粋戦略の逸脱に加え、混合戦略の多方向逸脱を含む）を用いてSNEの条件を定式化することは可能か？
• RQ5 一般ゲームにおけるSNEのスムーズな複雑度は何か？

主な発見

• SNE検証は、任意のn人ゲームにおいてPに属する。これは、有界な多エージェントミニマックス問題に還元可能であるためである。
• SNEの探索問題はNPに属する。なぜなら検証がPに属し、解を効率的に推測・検証できるからである。
• 反復的MIP 2StrongNashを用いた空間的分枝限定法は、100×100ゲームにおいてNE列挙法を100倍以上上回る性能を示した。
• 100×100ゲームでは、アルゴリズムが150秒以内に終了するが、NE列挙法は1日でも完了しない。
• 標準的なGAMUTベンチマークはSNE評価に不適切である。すべてのインスタンスは純粋SNEを含むか、SNEを含まない。
• 混合戦略の多方向逸脱は、SNEの条件に明示的に組み込む必要がある。なぜなら、純粋戦略の逸脱に制限された有限制約では捕捉できないからである。