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

一句话总结

本文引入了弱子博弈完美均衡（weak SPE）与非常弱子博弈完美均衡（very weak SPE）作为有限图上具有量化目标的n人轮流制博弈中纳什均衡的精化。它通过一个非增算子建立了刻画弱SPE结果的 Folk 定理，证明了在量化可达性博弈中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作为纳什均衡的精化。
• 基于一个非增算子，通过Folk定理刻画弱SPE可实现结果的集合。
• 建立在量化可达性博弈中SPE的可判定性与有限记忆可实现性。
• 将该框架扩展至另一类博弈，其中约束弱SPE的存在性可判定。

提出的方法

• 通过分别限制玩家仅能进行有限次或单步偏离，定义弱SPE与非常弱SPE，从而对标准SPE进行精化。
• 在所有博弈路径的集合上构造一个非增算子，移除与弱SPE结果不相容的路径，该算子收敛至弱SPE结果的精确集合。
• 利用无限字词上的MSO逻辑，判断给定成本约束是否可在弱SPE结果集合内实现。
• 通过选择满足弱SPE条件且每状态成本最优的环形路径（lasso-shaped plays），构建有限记忆SPE。
• 通过归纳标记历史的方法，构建一个有限记忆策略组合，以实现弱SPE结果。
• 利用在量化可达性博弈中弱SPE与标准SPE的等价性，将结果推广至标准SPE。

实验结果

研究问题

• RQ1 在图上的量化多人博弈中，弱子博弈完美均衡可能产生的所有路径的集合是什么？
• RQ2 在量化可达性博弈中，能否判定存在一个个体成本有界的子博弈完美均衡？
• RQ3 能否在量化可达性博弈中计算出一个有限记忆的子博弈完美均衡？
• RQ4 对于哪些博弈类，(约束)弱SPE的存在性是可判定的？
• RQ5 弱SPE与标准SPE之间有何关系？在何种情形下二者等价？

主要发现

• 弱SPE结果的集合被精确刻画为：将一个非增算子作用于所有路径集合后，其极限即为该集合。
• 在量化可达性博弈中，有限记忆SPE始终存在，并且可被算法计算。
• 通过无限字词上的MSO逻辑，可判定有限记忆SPE的约束存在性——即每位玩家的成本是否被给定常数所限制。
• 在量化可达性博弈中，弱SPE与标准SPE一致，因此关于弱SPE的结果可直接应用于标准SPE。
• 对于另一类广义博弈，通过类似的逻辑与结构技术，(约束)弱SPE的存在性亦可判定。
• 有限记忆SPE的构造依赖于选择每状态成本最优的环形路径，并通过归纳标记历史以从这些路径中定义无记忆策略。