[論文レビュー] On Subgame Perfection in Quantitative Reachability Games

Thomas Brihaye, Véronique Bruyère+2 more|arXiv (Cornell University)|May 29, 2012

Game Theory and Applications被引用数 12

ひとこと要約

この論文は、複数人定量到達ゲームにおける部分ゲーム完全均衡の存在を確立し、2人ゲームにおける部分ゲーム完全セキュア均衡という新しい概念を導入し、その存在を証明する。さらに、複数人ケースにおけるセキュア均衡の存在を決定するためのアルゴリズムを提示し、分野における長年の未解決問題を解決する。

ABSTRACT

We study turn-based quantitative multiplayer non zero-sum games played on finite graphs with reachability objectives. In such games, each player aims at reaching his own goal set of states as soon as possible. A previous work on this model showed that Nash equilibria (resp. secure equilibria) are guaranteed to exist in the multiplayer (resp. two-player) case. The existence of secure equilibria in the multiplayer case remained and is still an open problem. In this paper, we focus our study on the concept of subgame perfect equilibrium, a refinement of Nash equilibrium well-suited in the framework of games played on graphs. We also introduce the new concept of subgame perfect secure equilibrium. We prove the existence of subgame perfect equilibria (resp. subgame perfect secure equilibria) in multiplayer (resp. two-player) quantitative reachability games. Moreover, we provide an algorithm deciding the existence of secure equilibria in the multiplayer case.

研究の動機と目的

• 複数人定量到達ゲームにおける部分ゲーム完全均衡の存在を調査すること。
• 2人定量到達ゲームにおける部分ゲーム完全セキュア均衡の導入およびその存在の証明すること。
• セキュア均衡が複数人ケースに存在するかどうかという未解決問題を、決定アルゴリズムの提供により解決すること。

提案手法

• 著者らは、到達目標を有する有限グラフ上のゲームを分析し、プレイヤーは個々の到達時間の最小化を目的とする。
• 彼らは、ナッシュ均衡の精錬として部分ゲーム完全均衡の概念を適用し、すべての部分ゲームで合理的な戦略がとられることを保証する。
• 部分ゲーム完全セキュア均衡は、部分ゲーム完全性とセキュリティ制約を組み合わせたより強い精錬として定義される。
• 証明は、ゲームグラフの構造的解析と、均衡条件を満たす戦略の再帰的構築に依拠する。
• ゲーム理論的後退帰納法と到達可能性解析に基づくアルゴリズムが、複数人ゲームにおけるセキュア均衡の存在を決定するために設計されている。
• アルゴリズムは、部分ゲームごとに戦略プロファイルの一貫性を反復的に検証し、均衡の安定性を確認することで動作する。

実験結果

リサーチクエスチョン

• RQ1 複数人定量到達ゲームにおける部分ゲーム完全均衡は存在するか？
• RQ2 2人ゲームにおいて、セキュア均衡の概念を部分ゲーム完全性によって強化できるか？
• RQ3 セキュア均衡が複数人ケースに存在するかどうかを決定するアルゴリズム的手法は存在するか？
• RQ4 このゲームモデルにおいて、部分ゲーム完全均衡はナッシュ均衡およびセキュア均衡とどのように関係するか？

主な発見

• すべての複数人定量到達ゲームにおいて、部分ゲーム完全均衡が存在する。
• すべての2人定量到達ゲームにおいて、部分ゲーム完全セキュア均衡が存在する。
• 提案されたアルゴリズムにより、複数人ケースにおけるセキュア均衡の存在が決定可能である。
• アルゴリズムは、与えられた複数人定量到達ゲームにおいて、セキュア均衡が存在するかどうかを正しく同定する。