[論文レビュー] Query Complexity of Correlated Equilibrium

Yakov Babichenko, Siddharth Barman|arXiv (Cornell University)|Jun 11, 2013

Game Theory and Applications参考文献 12被引用数 7

ひとこと要約

本稿は、n人プレイヤーのゲームにおける正確な相関均衡を計算するには、純粋戦略プロファイルオラクルへのクエリが指数的数だけ必要であることを確立している。これは、各プレイヤーが2つの行動しか持たない場合でさえ同様に成り立つ。敵対的利得構築に基づくクエリ複雑性の議論を用いて、著者らは、このモデル下で、正確な相関均衡を多項式時間に計算できる決定的アルゴリズムは存在しないことを証明し、セルジュ・ハートが提起した未解決問題を解決した。

ABSTRACT

We study lower bounds on the query complexity of determining correlated equilibrium. In particular, we consider a query model in which an n-player game is specified via a black box that returns players' utilities at pure action profiles. In this model we establish that in order to compute a correlated equilibrium any deterministic algorithm must query the black box an exponential (in n) number of times.

研究の動機と目的

• 多くのプレイヤーを含むゲームにおける正確な相関均衡を求める計算複雑性に関する未解決問題を解消すること。
• 純粋戦略プロファイルの利得のみがブラックボックスオラクルを通じてアクセス可能な場合に、正確な相関均衡を計算する多項式時間決定的アルゴリズムが存在するかを調査すること。
• 純粋戦略クエリモデルにおける、必要なクエリ数のタイトな下界を確立し、指数的クエリが必須であることを示すこと。
• 標準的手法（JiangとLeyton-Brownによる混合戦略クエリを用いるもの）が、より制限の厳しい純粋戦略クエリモデル下でも最適であることを示すこと。
• この設定における決定的アルゴリズムの限界を明らかにし、特に近似均衡に対する確率的アルゴリズムと比較しての特徴を明確にすること。

提案手法

• 各純粋戦略プロファイル s において差分値 d_i(s) によって定義される二値行動を有するn人ゲームの族を構築する。
• 敵対的戦略を用いて差分値 d_i(s) を割り当て、小スパーサーを持ついかなる分布 x も相関均衡条件を満たせないようにする。
• スパニングツリーに基づく差分値の割り当てを用いて、少なくとも1人のプレイヤーの期待的逸脱利得が正であることを強制する。
• 2つのケースを分析する：全行動プロファイル N における確率質量が ≤1/6 である場合と、>1/6 である場合で、両方のケースにおいて有効な相関均衡が形成できないことを示す。
• 線形代数と不等式解析（例：∑ D(s)x(s) < 0）を用いて、分布 x が相関均衡条件を満たさないことを証明する。
• 問題を、y = (1,1,...,1) に対して y^T d(s) > 0 を満たす純粋戦略 s を見つける問題に還元し、JiangとLeyton-Brown（2015）の削減問題と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 純粋戦略プロファイルクエリのみを用いて、正確な相関均衡を多項式時間で計算できるか？
• RQ2 n人ゲームにおける正確な相関均衡を計算するのに必要な最小の純粋戦略プロファイルクエリ数は何か？
• RQ3 純粋戦略クエリモデルにおいて、正確な相関均衡を計算する多項式時間決定的アルゴリズムは存在するか？
• RQ4 このモデル下で、正確な相関均衡のクエリ複雑性と近似相関均衡のクエリ複雑性はどのように比較できるか？
• RQ5 JiangとLeyton-Brown（2015）の結果は、より制限の厳しい純粋戦略クエリモデル下でも最適であるか？

主な発見

• 任意の決定的アルゴリズムは、純粋戦略クエリモデルにおいて、正確な相関均衡を計算するためにはnに関して指数的数のクエリを実行しなければならない。
• この下界は、プレイヤー1人あたり2つの行動しか持たないゲームに対しても成り立つため、このモデル下での問題の本質的困難性を示している。
• 敵対的構築により、小スパーサーまたは中程度スパーサーを持ついかなる分布に対しても、相関均衡条件を満たせないことが保証される。
• この結果は、混合戦略クエリに依存するJiangとLeyton-Brown（2015）の多項式時間アルゴリズムが、この文脈において最適であることを示唆する。
• 本稿は、相関均衡を計算するには、y^T d(s) > 0 を満たす純粋戦略 s を見つけることが必要であり、そのような問題をサブ指数的時間で効率的に解くことは不可能であることを確立した。
• HartとNisan（2013）により、このモデル下で確率的アルゴリズムですら正確な相関均衡を効率的に計算できないことが示され、複雑性の全体像が閉じられた。