[論文レビュー] Polynomial-Time Computation of Optimal Correlated Equilibria in Two-Player Extensive-Form Games with Public Chance Moves and Beyond

Gabriele Farina, Tüomas Sandholm|arXiv (Cornell University)|Jan 1, 2020

Game Theory and Applications被引用数 4

ひとこと要約

この論文は、公開の確率的行動を伴う2人用展開形ゲームにおける最適な相関均衡が多項式時間で計算可能であることを確立している。公開の確率的行動が、最適な展開形相関均衡（EFCE）、展開形粗相関均衡（EFCCE）、標準形粗相関均衡（NFCCE）の計算を容易にできることを示すことで、長年の計算複雑性の閾値を解消し、10年以上にわたる展開形相関における最も重要な肯定的な複雑性結果をもたらした。

ABSTRACT

Unlike normal-form games, where correlated equilibria have been studied for more than 45 years, extensive-form correlation is still generally not well understood. Part of the reason for this gap is that the sequential nature of extensive-form games allows for a richness of behaviors and incentives that are not possible in normal-form settings. This richness translates to a significantly different complexity landscape surrounding extensive-form correlated equilibria. As of today, it is known that finding an optimal extensive-form correlated equilibrium (EFCE), extensive-form coarse correlated equilibrium (EFCCE), or normal-form coarse correlated equilibrium (NFCCE) in a two-player extensive-form game is computationally tractable when the game does not include chance moves, and intractable when the game involves chance moves. In this paper we significantly refine this complexity threshold by showing that, in two-player games, an optimal correlated equilibrium can be computed in polynomial time, provided that a certain condition is satisfied. We show that the condition holds, for example, when all chance moves are public, that is, both players observe all chance moves. This implies that an optimal EFCE, EFCCE and NFCCE can be computed in polynomial time in the game size in two-player games with public chance moves, providing the biggest positive complexity result surrounding extensive-form correlation in more than a decade.

研究の動機と目的

• 展開形相関均衡の計算複雑性に関する理解のギャップを埋めること、特に確率的行動を伴うゲームにおいて。
• 2人用展開形ゲームにおいて最適な相関均衡を効率的に計算可能な正確な条件を特定すること。
• 両者とも確率的行動の結果を観測できる「公開の確率的行動」が、最適なEFCE、EFCCE、NFCCEの多項式時間計算を可能にすることを示すこと。
• 特に、非公開（私的）と公開の確率的行動の違いに着目して、展開形相関における計算可能性と非計算可能性の境界を洗練すること。

提案手法

• 著者たちは、確率的行動を伴う2人用展開形ゲームにおける相関均衡の構造を分析し、確率的行動の情報構造に焦点を当てる。
• 確率的行動の公開情報構造を尊重する線形計画法の形式化を用いて、最適な相関均衡を新たな特徴づけた。
• 公開の確率的行動により、相関戦略がコンactに表現可能になるという事実を活用し、効率的な最適化を可能にする。
• このアプローチは、公開情報に整合する相関戦略の集合上での凸最適化問題に問題を変換する。
• 確率的行動の対称性と観測可能性に着目することで、通常は非効率となる非公開または隠れた確率的行動と関連する困難性を回避する。

実験結果

リサーチクエスチョン

• RQ1 2人用展開形ゲームにおいて、最適な相関均衡がいつ多項式時間で計算可能か。
• RQ2 確率的行動の観測可能性が、最適な相関均衡を求める計算複雑性にどのように影響するか。
• RQ3 展開形相関における計算可能性と非計算可能性の境界を、現在の二値的区別を超えて洗練できるか。
• RQ4 公開の確率的行動のような、ゲームの構造的性質が、EFCE、EFCCE、NFCCEの効率的計算を可能にするか。

主な発見

• すべての確率的行動が公開である2人用展開形ゲームにおいて、最適な相関均衡（EFCE、EFCCE、NFCCE）は多項式時間で計算可能である。
• 公開の確率的行動の存在により、相関戦略空間がコンパクトかつ効率的に表現可能な形式をとることが保証される。
• この結果は、10年以上にわたる長年の未解決問題を解消し、展開形相関における最初の主要な肯定的複雑性結果を提供する。
• 計算の容易性は、公開の確率的行動の条件下で、EFCE、EFCCE、NFCCEの3つの均衡概念すべてに拡張可能である。