[論文レビュー] Be a Leader or Become a Follower: The Strategy to Commit to with Multiple Leaders (Extended Version)

Matteo Castiglioni, Alberto Marchesi+1 more|arXiv (Cornell University)|May 30, 2019

Complex Systems and Decision Making参考文献 32被引用数 3

ひとこと要約

本稿は、複数のリーダーが段階的合意段階を通じて相関戦略をコミットするか、フォロワーとして脱退するかを事前に決定する、新しいマルチリーダー・スタックルベルグゲームの枠組みを提案する。3つの解概念（SCE、SCE-PA、SCE-PAPE）を定義し、安定性、完全安定性、効率性の性質に基づいて存在を保証するとともに、安定性オракルを用いた効率的計算を可能にする。コンパクトなゲーム（匿名型、対称型、有界木幅グラフィカルゲームなど）では多項式時間で解けることを示す。

ABSTRACT

We study the problem of computing correlated strategies to commit to in games with multiple leaders and followers. To the best of our knowledge, this problem is widely unexplored so far, as the majority of the works in the literature focus on games with a single leader and one or more followers. The fundamental ingredient of our model is that a leader can decide whether to participate in the commitment or to defect from it by taking on the role of follower. This introduces a preliminary stage where, before the underlying game is played, the leaders make their decisions to reach an agreement on the correlated strategy to commit to. We distinguish three solution concepts on the basis of the constraints that they enforce on the agreement reached by the leaders. Then, we provide a comprehensive study of the properties of our solution concepts, in terms of existence, relation with other solution concepts, and computational complexity.

研究の動機と目的

• 複数のリーダーとフォロワーを伴うスタックルベルグゲームに対して、理論的かつ計算的枠組みが不足している問題に対処すること。
• リーダーが相関戦略にコミットするか、フォロワーとして脱退するかを決定する段階的合意段階をモデル化すること。
• 安定性、完全安定性、効率性の性質に基づき、3つの解概念（SCE、SCE-PA、SCE-PAPE）を定義・分析すること。
• 一般およびコンパクトなゲームクラスにおいて、これらの解概念の存在および計算の容易さを確立すること。
• スケーラブルな解の計算を可能にする、ゲームに依存しない安定性オラクルに依存する一般化された計算フレームワークを設計すること。

提案手法

• 合意段階を、リーダーが順番にコミットするか脱退するかを決定する逐次ゲームとしてモデル化し、階乗サイズのゲームツリーを形成する。
• 3つの解概念を導入：SCE（安定性と効率性）、SCE-PA（完全安定性と効率性）、SCE-PAPE（完全安定性と完全効率性）。
• リーダーが脱退するインcentiveがあるかどうかを検証する安定性オラクルを用い、最適な相関戦略を反復的に計算可能にする。
• 脱退するリーダーの集合と最後に脱退するリーダーに注目することで、指数的圧縮を達成し、指数的状態空間を削減する。
• コンパクトなゲームにおいて、分離問題を多項式時間で解くために楕円体法を適用し、最適相関均衡計算と関連付ける。
• 既存の最適相関均衡アルゴリズム（例：JiangとLeyton-Brown, 2011）を活用し、匿名型、対称型、有界木幅ゲームなどのクラスにおいて多項式時間の安定性オラクルを構築する。

実験結果

リサーチクエスチョン

• RQ1 複数のリーダーが、相関戦略にコミットするか、フォロワーとして脱退するかを決定できる段階的合意を伴うゲームにおいて、相関戦略コミットメントを意味的に拡張できるか？
• RQ2 提案された相関コミットメントからリーダーが脱退するインcentiveを持たないような解概念は何か？
• RQ3 マルチリーダー設定において、最適コミットメントを求める計算複雑性をどのように低減できるか？
• RQ4 どのゲームクラスにおいて、安定性オラクルを多項式時間で計算できるか？
• RQ5 最適性や安定性の保証を失うことなく、合意結果の状態空間を圧縮できるか？

主な発見

• SCEおよびSCE-PAは、任意の有限ゲームにおいて存在が保証されるため、提案された解概念の理論的堅牢性が裏付けられる。
• 脱退するリーダーの集合と最後に脱退するリーダーに注目することで、合意状態の数をリーダー数の階乗から指数関数的（2^{|L|}）に圧縮できる。
• 匿名型、対称型、有界木幅グラフィカルゲームおよび多項式ゲームなどのコンパクトなゲームクラスにおいて、安定性オラクルを多項式時間で実装可能である。
• SCE-PAにおける最適相関戦略コミットメントは、O(|L|2^{|L|-1} + 1)回の安定性オラクルクエリで計算可能である。
• 安定性オラクルは、最適相関均衡の計算問題と密接に結びついており、既存の効率的アルゴリズムの再利用を可能にする。
• 本フレームワークは一般ゲームに適用可能であり、セキュリティ特化モデルに限定されず、ゲーム理論的根拠と計算スケーラビリティを両立するソリューションを提供する。