[論文レビュー] Weak Subgame Perfect Equilibria and their Application to Quantitative Reachability

Thomas Brihaye, Véronique Bruyère+2 more|arXiv (Cornell University)|Apr 7, 2015

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

ひとこと要約

本稿は、有限グラフ上のn人プレイヤーのターンベースゲームにおける定量的目的関数をもつナッシュ均衡の精錬として、弱いおよび非常に弱い部分ゲーム完全均衡（SPE）を導入する。非増加作用素を用いたフォールクの定理により、弱いSPEの結果を特徴づけ、定量的到達可能性ゲームにおけるSPEの存在と有限記憶計算可能性を証明し、無限語上のMSO論理を用いて制約付きSPEの存在の決定可能性を示す。

ABSTRACT

We study $n$-player turn-based games played on a finite directed graph. For each play, the players have to pay a cost that they want to minimize. Instead of the well-known notion of Nash equilibrium (NE), we focus on the notion of subgame perfect equilibrium (SPE), a refinement of NE well-suited in the framework of games played on graphs. We also study natural variants of SPE, named weak (resp. very weak) SPE, where players who deviate cannot use the full class of strategies but only a subclass with a finite number of (resp. a unique) deviation step(s). Our results are threefold. Firstly, we characterize in the form of a Folk theorem the set of all plays that are the outcome of a weak SPE. Secondly, for the class of quantitative reachability games, we prove the existence of a finite-memory SPE and provide an algorithm for computing it (only existence was known with no information regarding the memory). Moreover, we show that the existence of a constrained SPE, i.e. an SPE such that each player pays a cost less than a given constant, can be decided. The proofs rely on our Folk theorem for weak SPEs (which coincide with SPEs in the case of quantitative reachability games) and on the decidability of MSO logic on infinite words. Finally with similar techniques, we provide a second general class of games for which the existence of a (constrained) weak SPE is decidable.

研究の動機と目的

• グラフ上の定量的マルチプレイヤーゲームにおける部分ゲーム完全均衡（SPE）のアルゴリズム的理解の欠如に対処すること。
• プレイヤーの逸脱能力を制限することで、標準的なSPEを精錬する弱いおよび非常に弱いSPEを定義・分析すること。
• 非増加作用素に基づくフォールクの定理を用いて、弱いSPEによって達成可能な結果の集合を特徴づけること。
• 定量的到達可能性ゲームにおけるSPEの決定可能性と有限記憶実現可能性を確立すること。
• 別のゲームクラスにまで枠組みを拡張し、制約付き弱いSPEの存在が決定可能であることを示すこと。

提案手法

• プレイヤーを有限回の逸脱または1ステップの逸脱に制限することで、標準的なSPEを精錬する弱いおよび非常に弱いSPEを定義する。
• 弱いSPEの結果と整合しないプレイの集合を削除するプレイの集合上での非増加作用素を構築し、弱いSPEの結果の正確な集合に収束させる。
• 無限語上のMSO論理を用いて、与えられたコスト制約が弱いSPEの結果集合内で実現可能かどうかを決定する。
• 弱いSPE条件を満たすラッソ型のプレイから、各状態あたりのコストが最大となるものを選択することで、有限記憶SPEを構築する。
• 履歴の帰納的ラベリングを用いて、弱いSPEの結果を実現する有限記憶戦略プロファイルを構築する。
• 定量的到達可能性ゲームにおいて弱いSPEとSPEが等価であることに着目し、結果を標準的なSPEに拡張する。

実験結果

リサーチクエスチョン

• RQ1 定量的マルチプレイヤーゲームのグラフ上で、弱い部分ゲーム完全均衡から得られるすべてのプレイの集合は何か？
• RQ2 定量的到達可能性ゲームにおいて、各プレイヤーのコストが有界であるような部分ゲーム完全均衡の存在を決定可能か？
• RQ3 定量的到達可能性ゲームにおいて、有限記憶部分ゲーム完全均衡を計算可能か？
• RQ4 どのクラスのゲームにおいて、(制約付き)弱いSPEの存在が決定可能か？
• RQ5 弱いSPEは標準的なSPEとどのように関係し、どのような設定で等価となるか？

主な発見

• 弱いSPEの結果の集合は、すべてのプレイの集合に非増加作用素を繰り返し適用した極限として正確に特徴づけられる。
• 定量的到達可能性ゲームでは、有限記憶SPEが常に存在し、アルゴリズム的に計算可能である。
• 各プレイヤーのコストが与えられた定数以下であるという制約付き有限記憶SPEの存在は、無限語上のMSO論理を用いて決定可能である。
• 定量的到達可能性ゲームでは、弱いSPEと標準的なSPEが一致するため、弱いSPEに関する結果はSPEに対しても直接適用可能である。
• 到達可能性ゲームに加え、もう一つの一般的なゲームクラスに対しても、類似した論理的・構造的手法を用いて、(制約付き)弱いSPEの存在が決定可能である。
• 有限記憶SPEの構築は、各状態あたりのコストが最適なラッソ型のプレイの選択と、履歴を帰納的にラベリングしてメモリレス戦略を定義する手法に依存する。