[论文解读] Misère canonical forms of partizan games

Aaron N. Siegel|ArXiv.org|Mar 20, 2007

Artificial Intelligence in Games参考文献 4被引用 9

一句话总结

本文在错误游戏规则下建立了分庭游戏的规范形式，将康威的正常游戏规范形式定理扩展至错误游戏情境。证明是构造性的，可支持算法计算规范形式并比较游戏，明确列举出第2天出生的256种游戏，并给出了第3天出生游戏数量的上界。

ABSTRACT

We show that partizan games admit canonical forms in misère play. The proof is a synthesis of the canonical form theorems for normal-play partizan games and misère-play impartial games. It is fully constructive, and algorithms readily emerge for comparing misère games and calculating their canonical forms. We use these techniques to show that there are precisely 256 games born by day 2, and to obtain a bound on the number of games born by day 3.

研究动机与目标

• 通过为错误游戏下的分庭游戏建立规范形式定理，弥合组合博弈论中长期存在的理论空白。
• 证明错误游戏下的规范形式可构造性获得，与正常游戏情形类似。
• 提供比较错误游戏及计算其规范形式的算法。
• 枚举错误游戏分庭游戏中第2天出生的互异游戏数量，并对第3天出生的游戏数量给出上界。
• 阐明错误游戏与正常游戏等价关系及结果类之间的关系。

提出的方法

• 将正常游戏分庭游戏与错误游戏无偏游戏的规范形式定理整合为统一框架，适用于错误游戏下的分庭游戏。
• 引入基于游戏 $G + X$ 与 $H + X$ 的结果类比较的递归测试方法，用于判断错误游戏不等式 $G \geq H$，利用错误结果类的偏序关系 $\mathscr{L} \geq \mathscr{P} \geq \mathscr{R}$ 和 $\mathscr{L} \geq \mathscr{N} \geq \mathscr{R}$。
• 定义游戏 $G$ 的伴随 $G^\circ$，使得 $G + G^\circ$ 为 $\mathscr{P}$-位置，推广康威对无偏游戏的“配对”概念。
• 使用“下拉”（downlinking）与“可逆性”（reversibility）概念，消除错误游戏中的支配与可逆选项，同时保持等价性。
• 利用偏序集 $\mathbb{P}$ 中结果类划分与反链的结构，对第3天出生的游戏数量进行上界估计。
• 采用四部分幺半群 $ (\mathcal{Q}, \Pi) $ 建模错误商，其诱导的偏序关系定义为：$ x \geq y \text{ 当且仅当 } \Pi(xz) \geq \Pi(yz) \text{ 对所有 } z \in \mathcal{Q} $。

实验结果

研究问题

• RQ1 分庭游戏在错误游戏规则下是否具有规范形式，类似于正常游戏的情形？
• RQ2 能否构造性地证明错误游戏分庭游戏的规范形式定理，从而支持算法计算？
• RQ3 错误游戏分庭游戏中第2天出生的互异游戏数量是多少？
• RQ4 能否为错误游戏分庭游戏中第3天出生的游戏数量建立上界？
• RQ5 错误游戏等价关系与正常游戏等价关系之间有何关系，特别是对无偏游戏而言？

主要发现

• 分庭游戏在错误游戏规则下具有规范形式，且规范形式定理成立，其支配与可逆选项的定义与正常游戏完全一致。
• 递归不等式测试 $G \geq H$ 完全由 $G+X$ 与 $H+X$ 的结果类比较决定，且证明过程具有构造性。
• 在错误游戏分庭游戏中，第2天出生的互异游戏恰好有256种。
• 第3天出生的游戏数量上界为 $M^2$，其中 $M = 2 \times 167 \times 167 \times 56130437228687557907788$，对应上界约为 $2^{183}$。
• 错误游戏等价关系 $=^{-}$ 严格弱于无偏游戏的 $=^{-}_{I}$，如 $\ast + \ast =^{-}_{I} 0$ 但 $\ast + \ast \neq^{-} 0$ 所示，表明错误游戏可区分正常游戏无法区分的游戏。
• 在商幺半群 $\mathcal{Q}(1, \overline{1})$ 中，关系 $\Phi(\overline{1}) > \Phi(0) > \Phi(1)$ 与 $\Phi(\overline{1})\Phi(1) = \Phi(0)$ 成立，且 $\mathcal{Q}(1, \overline{1}) \cong \mathbb{Z}$，配备标准偏序关系。