[论文解读] Concurrent games and semi-random determinacy

Stéphane Le Roux|arXiv (Cornell University)|Apr 29, 2018

Logic, Reasoning, and Knowledge参考文献 3被引用 3

一句话总结

本文提出了一种新颖的框架，用于处理图上并发的无限时长效力两人博弈，其中获胜条件基于颜色序列而非状态序列定义。研究证明，玩家1存在有限记忆获胜策略当且仅当在满足一个简单条件下的有限多个派生单人博弈中存在此类策略；在附加要求下，玩家1不存在此类策略等价于玩家2存在几乎必然获胜的随机策略——尤其适用于广义正则语言的公平变体。

ABSTRACT

Consider concurrent, infinite duration, two-player win/lose games played on graphs. If the winning condition satisfies some simple requirement, the existence of Player 1 winning (finite-memory) strategies is equivalent to the existence of winning (finite-memory) strategies in finitely many derived one-player games. Several classical winning conditions satisfy this simple requirement. Under an additional requirement on the winning condition, the non-existence of Player 1 winning strategies from all vertices is equivalent to the existence of Player 2 stochastic strategies winning almost surely from all vertices. Only few classical winning conditions satisfy this additional requirement, but a fairness variant of o

研究动机与目标

• 通过将获胜条件从状态序列转变为转移上的颜色序列，重新构想无限时长效力两人博弈。
• 识别出玩家1的有限记忆获胜策略可被约化为有限多个单人博弈的条件。
• 建立玩家1不存在有限记忆获胜策略与玩家2存在几乎必然获胜随机策略之间的联系。
• 将对交错封闭的获胜条件进行表征，作为策略存在性与确定性结果的关键技术工具。
• 将经典确定性结果扩展至具有半随机策略的并发博弈，尤其适用于广义正则语言的公平变体。

提出的方法

• 定义并发博弈，其中动作引发带有颜色标签的转移，获胜由颜色的无限序列决定。
• 引入交错封闭获胜条件的概念，即该性质在无限序列交错操作下保持不变。
• 证明若获胜条件及其补集均交错封闭，则其并集与交集也保持该性质。
• 通过前缀移除与因子-前缀封闭性论证，表明尾部行为反映原始序列的行为。
• 建立交错封闭性在并集与交集下保持不变，并为特定类别证明其在补集下的封闭性。
• 将理论应用于广义正则语言的公平变体，证明其满足所需的封闭性与确定性条件。

实验结果

研究问题

• RQ1 在何种获胜条件约束下，玩家1存在有限记忆获胜策略可约化为有限多个单人博弈？
• RQ2 在何种条件下，玩家1不存在有限记忆获胜策略意味着玩家2存在几乎必然获胜的随机策略？
• RQ3 哪些经典及广义获胜条件（如广义正则语言的公平变体）满足交错封闭性？
• RQ4 交错封闭性是否为刻画并发博弈中获胜策略存在性的必要条件？
• RQ5 交错封闭条件的封闭性质能否用于推导并发博弈中策略合成的有效算法？

主要发现

• 玩家1存在有限记忆获胜策略当且仅当在满足前缀与因子操作下简单封闭性的获胜条件下，其在有限多个派生单人博弈中存在此类策略。
• 在附加要求下——即获胜条件及其补集均交错封闭——玩家1不存在有限记忆获胜策略等价于玩家2存在几乎必然获胜的随机策略。
• 广义正则语言的公平变体满足所需的交错封闭性与补集封闭性条件，使其适用于所提出的确定性结果。
• 交错封闭条件类在并集、交集、前缀移除与因子-前缀操作下均保持封闭，展现出稳健的封闭性质。
• 证明技术依赖于对序列中未解决问题数目的有界性进行控制，利用见证证明交错序列继承自其组成部分的有界性。
• 反例表明交错封闭性在一般情况下不被补集保持，但对特定类别（如可达性、parity、能量、平均支付）成立。