[論文レビュー] Robust Equilibria in Concurrent Games

Romain Brenguier|arXiv (Cornell University)|Nov 29, 2013

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

ひとこと要約

この論文は、小さな連合による逸脱に対して耐性があり、有害な逸脱に対して免疫である戦略プロファイルを備えた、複数プレイヤー同時型平均報酬ゲームにおけるロバスト均衡を導入する。2つのアルゴリズム的手法を提示する：1つは、メモリレスなロバスト均衡を実数の存在理論に還元するもので、もう1つは、複数プレイヤーゲームを2人用ゲームに変換することで、存在性がPSPACEで決定可能であることを示し、問題がPSPACE完全であることを示している。

ABSTRACT

We study the problem of finding robust equilibria in multiplayer concurrent games with mean payoff objectives. A $(k,t)$-robust equilibrium is a strategy profile such that no coalition of size $k$ can improve the payoff of one its member by deviating, and no coalition of size $t$ can decrease the payoff of other players. We are interested in pure equilibria, that is, solutions that can be implemented using non-randomized strategies. We suggest a general transformation from multiplayer games to two-player games such that pure equilibria in the first game correspond to winning strategies in the second one. We then devise from this transformation, an algorithm which computes equilibria in mean-payoff games. Robust equilibria in mean-payoff games reduce to winning strategies in multidimensional mean-payoff games for some threshold satisfying some constraints. We then show that the existence of such equilibria can be decided in polynomial space, and that the decision problem is PSPACE-complete.

研究の動機と目的

• 平均報酬目的を持つ複数プレイヤー同時型ゲームにおいて、小さな連合による逸脱に対して耐性があり、免疫である戦略プロファイルを特定する課題に対処すること。
• 一般に決定不能である問題であるが、ロバスト均衡の存在がアルゴリズム的に決定可能となる条件を同定すること。
• 2つの制限付きだが意味のあるアプローチを開発すること：1つはメモリレス戦略に基づくもので、もう1つは確率的変換を用いるものである。
• これらの制限下でのロバスト均衡存在問題の計算複雑性を確立すること。

提案手法

• メモリレスな $(k,t)$-ロバスト均衡の存在性を決定する問題を、実数の存在理論における論理式に還元し、代数的決定手続きを可能にする。
• 複数プレイヤー同時型ゲームから2人用ゲームへの一般変換を提案し、元のゲームにおける純粋均衡が変換後のゲームにおける勝利戦略に対応することを示す。
• この変換を用いて、ロバスト均衡の存在性が多項式空間で決定可能であることを示す。
• 実数の理論からの還元とQBF論理式のゲーム理論的符号化を用いて、決定問題がPSPACE完全であることを確立する。
• エヴァ（存在的）、アダム（全称的）、およびリテラルプレイヤーからなるゲーム構造を定義し、量化ブール論理式をゲームの結果に符号化する。
• 連合の逸脱に関する制約を用いて、耐性と免疫を戦略プロファイルに強制し、有益または有害な逸脱が発生しないように保証する。

実験結果

リサーチクエスチョン

• RQ1 メモリレスな $(k,t)$-ロバスト均衡の存在は、アルゴリズム的に決定可能か？ その計算複雑性はいかほどか？
• RQ2 複数プレイヤー同時型ゲームにおけるロバスト均衡の存在は、決定可能性の性質が既知の2人用ゲーム問題に還元可能か？
• RQ3 同時型平均報酬ゲームにおける $(k,t)$-ロバスト均衡の存在を決定する問題は、決定可能か？ その複雑性はいかほどか？
• RQ4 戦略がメモリレスに制限された場合、ロバスト均衡存在問題は実数の存在理論における論理式に還元可能か？
• RQ5 確率的戦略が許可された場合、ロバスト均衡存在問題の計算複雑性はいかほどか？ また、2人用ゲームへの変換はこの複雑性にどのように影響するか？

主な発見

• メモリレスな $(k,t)$-ロバスト均衡の存在は、実数の存在理論における論理式への還元によって決定可能である。
• 確率的戦略が許可された場合、同時型平均報酬ゲームにおけるロバスト均衡の存在問題はPSPACE完全である。
• 複数プレイヤー同時型ゲームから2人用ゲームへの一般変換は、純粋均衡の存在を保持するため、2人用ゲームソルバーを用いた決定可能性を可能にする。
• 一般には、$(k,t)$-ロバスト均衡の存在は決定不能であるが、メモリレスまたは確率的戦略の制限を課すと決定可能になる。
• 本論文は、量化ブール論理式（QBF）を同時型ゲームにゲーム理論的符号化し、$(n+1)$-耐性均衡が存在するかぎり、論理式が妥当であることを示している。
• QBFからロバスト均衡問題への還元により、決定問題がPSPACE困難であることが証明され、2人用ゲームへの変換によりPSPACE上界が確立されている。