[论文解读] When game comparison becomes play: Absolutely Categorical Game Theory

Urban Larsson, Richard J. Nowakowski+1 more|arXiv (Cornell University)|Sep 9, 2016

Game Theory and Applications参考文献 1被引用 3

一句话总结

本文引入了左暂定游戏（LPG），这是一种正常玩法规则下的组合博弈构造方法，通过将博弈比较编码为衍生的正常玩法规则博弈中的第二位玩家获胜条件，实现了在不同组合博弈宇宙（如正常玩法规则、错误玩法规则、计分玩法规则）之间的范畴化博弈比较。其核心贡献是证明了在任意绝对宇宙中，当且仅当左玩家作为第二位玩家赢得LPG $[G,H]$ 时，有 $ G \succcurlyeq H $，从而在所有此类宇宙中建立了范畴结构 $\mathbf{LNP}(\mathbb{U})$。

ABSTRACT

Absolute Universes of combinatorial games, as defined in a recent paper by the same authors, include many standard short normal- misère- and scoring-play monoids. In this note we show that the class is categorical, by extending Joyal's construction of arrows in normal-play games. Given $G$ and $H$ in an Absolute Universe $U$, we study instead the Left Provisonal Game $[G, H]$, which is a normal-play game, independently of the particular Absolute Universe, and find that $G\longrightarrow H$ (implying $G\succcurlyeq H$) corresponds to the set of winning strategies for Left playing second in $[G,H]$. By this we define the category ${\bf LNP(U)}$.

研究动机与目标

• 通过将它们嵌入统一的范畴框架中，统一不同组合博弈类别（正常玩法规则、错误玩法规则、计分玩法规则）之间的博弈比较。
• 解决在非群性质宇宙（如错误玩法规则或计分玩法规则）中比较博弈的挑战，其中逆博弈通常不可用。
• 定义一种通用博弈构造——左暂定游戏（LPG），将博弈比较简化为标准正常玩法规则结果评估。
• 建立 $ G \succcurlyeq H $ 当且仅当左玩家在第二位玩家角色下赢得LPG $[G,H]$ 的关系，从而实现范畴结构。
• 在CG-suit 0.7中提供计算实现，通过LPG框架实现对错误玩法规则-双射博弈的自动化比较。

提出的方法

• 将左暂定游戏 $[G,H]$ 定义为一种正常玩法规则博弈，其左选项受限于绝对宇宙 $\mathbb{U}$ 中的‘证明条件’，右选项则无限制。
• 使用标准组合博弈记号构造LPG：$[G,H] = \{[G^L,H] \in \text{Proviso}, [G,H^R] \in \text{Proviso} \mid [G^R,H], [G,H^L]\}$，确保其始终为有效的正常玩法规则博弈。
• 引入 $\mathbb{U}$ 中的‘维持’概念，若左玩家总能以制胜回应右玩家的走法，则称 $[G,H] \in \text{Maintain}(\mathbb{U})$。
• 证明在 $\mathbb{U}$ 中 $ G \succcurlyeq H $ 成立当且仅当 $[G,H] \in \text{Proviso}(\mathbb{U}) \cap \text{Maintain}(\mathbb{U})$，这等价于在正常玩法规则下 $[G,H] \geq 0$。
• 通过自定义过程 `CompareDM` 在CG-suit 0.7中实现LPG构造，该过程通过递归分析 $[G,H]$ 及其对偶博弈的结果来评估博弈比较。
• 使用结果函数 `Moutcome` 将位置分类为左胜（1）、右胜（-1）或平局（0或11），并应用对偶博弈逻辑以确定比较中的支配关系。

实验结果

研究问题

• RQ1 是否能通过一种通用构造，将非正常玩法规则宇宙（如错误玩法规则或计分玩法规则）中的博弈比较简化为标准正常玩法规则结果评估？
• RQ2 是否存在一个基础范畴结构，适用于所有组合博弈的绝对宇宙，即使它们缺乏群性质？
• RQ3 左暂定游戏 $[G,H]$ 是否正确地将关系 $ G \succcurlyeq H $ 编码为在正常玩法规则中左玩家作为第二位玩家获胜？
• RQ4 LPG构造能否被算法化实现，以在CG-suit等工具中实现自动化博弈比较？
• RQ5 在何种最小条件下，LPG能确保 $ G \succcurlyeq H $ 当且仅当左玩家作为第二位玩家赢得 $[G,H]$ ？

主要发现

• 左暂定游戏 $[G,H]$ 始终是有效的正常玩法规则博弈，无论其底层绝对宇宙 $\mathbb{U}$ 如何，这是由于其基于证明条件限制选项的递归构造。
• 在任意绝对宇宙 $\mathbb{U}$ 中，$ G \succcurlyeq H $ 成立当且仅当LPG $[G,H]$ 是左玩家作为第二位玩家获胜，即在正常玩法规则下 $[G,H] \geq 0$。
• 通过LPG构造建立了 $\mathbf{LNP}(\mathbb{U})$，即 $\mathbb{U}$ 中博弈的范畴，其态射 $ G \to H $ 当且仅当 $ G \succcurlyeq H $，该构造将乔伊亚尔的正常玩法规则范畴推广至所有绝对宇宙。
• 证明条件确保 $ G \succcurlyeq H $ 在所有左原子和右原子扩展下保持不变，使其成为博弈比较的充分且必要条件。
• 在CG-suit 0.7中通过 `CompareDM` 的实现成功评估了错误玩法规则-双射博弈的博弈比较，方法是分析LPG及其对偶，使用 `Moutcome` 正确分类结果。
• 该方法在所有标准宇宙中均正确识别了 $ G \succcurlyeq H $：正常玩法规则、双射错误玩法规则、自由错误玩法规则和计分玩法规则，均符合引理3.21中所述的相应条件。