[论文解读] 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

一句话总结

本文证明了多人定量到达游戏中的子博弈完美均衡的存在性，并引入了子博弈完美安全均衡这一新概念，证明了其在双人游戏中的存在性。此外，本文还提出了一种算法，用于判定多人情形下安全均衡的存在性，从而解决了该领域长期存在的开放性问题。

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.

研究动机与目标

• 研究多人定量到达游戏中子博弈完美均衡的存在性。
• 在双人定量到达游戏中引入并证明子博弈完美安全均衡的存在性。
• 通过提供一个决策算法，解决安全均衡在多人情形下是否存在这一开放性问题。

提出的方法

• 作者分析了具有到达目标的有限图上的游戏，其中玩家旨在最小化各自的到达时间。
• 他们应用子博弈完美均衡的概念作为纳什均衡的精炼，确保在每个子博弈中均保持理性行为。
• 他们将子博弈完美安全均衡定义为一种更强的精炼，结合了子博弈完美性与安全约束。
• 证明依赖于对博弈图的结构分析，以及满足均衡条件的策略的递归构造。
• 基于博弈论的逆向归纳法与可达性分析，设计了一种算法，用于判定多人游戏中安全均衡的存在性。
• 该算法通过迭代验证子博弈中策略组合的一致性，并检查均衡的稳定性来运行。

实验结果

研究问题

• RQ1 多人定量到达游戏中是否存在子博弈完美均衡？
• RQ2 在双人游戏中，安全均衡的概念能否通过子博弈完美性得到强化？
• RQ3 是否存在一种算法化方法，用于判断多人情形下安全均衡的存在性？
• RQ4 在该博弈模型中，子博弈完美均衡与纳什均衡及安全均衡之间有何关系？

主要发现

• 所有多人定量到达游戏中均存在子博弈完美均衡。
• 所有双人定量到达游戏中均存在子博弈完美安全均衡。
• 通过所提出的算法，多人情形下安全均衡的存在性是可判定的。
• 该算法能够正确判断给定的多人定量到达游戏中是否存在安全均衡。