[论文解读] Dead Ends in Misere Play: The Misere Monoid of Canonical Numbers

Rebecca Milley, Gabriel Renault|arXiv (Cornell University)|Dec 27, 2012

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

一句话总结

本文在所有终结跟随者本身亦为终结点的死锁游戏宇宙中，确立了正规数（整数与非整数）的误解幺半群与偏序关系。研究证明，在误解游戏中，整数与非整数均构成行为良好的幺半群，并识别出一个无限族游戏在死锁宇宙中等价于零，尽管其形式并非 $G + ​\overline{G}$。核心贡献在于对这一受限误解情境下等价性与可比性的完整刻画。

ABSTRACT

We find the misere monoids of normal-play canonical-form integer and non-integer numbers. These come as consequences of more general results for the universe of `dead-ending' games. Left and right `ends' have previously been defined as games in which Left or Right, respectively, have no moves; here we define a dead left (right) end to be a left (right) end whose options are all left (right) ends, and we define a dead-ending game to be one in which all end followers are dead. We find the monoids and partial orders of dead ends, integers, and all numbers, and construct an infinite family of games that are equivalent to zero in the dead-ending universe.

研究动机与目标

• 分析在移动不可逆、游戏状态无法重新开启选项的受限死锁游戏宇宙中，误解玩法的代数结构。
• 确定正规整数与非整数在误解游戏下的误解幺半群，这些结构在一般误解玩法中原本表现不佳。
• 识别在一般误解设定下缺乏加法逆元的情况下，哪些游戏在死锁宇宙中等价于零。
• 通过限制于一个行为良好的子宇宙，将正常玩法中的代数工具扩展应用于误解玩法。

提出的方法

• 将死锁游戏定义为所有终结跟随者本身亦为终结点的游戏（即，一旦失去选项，玩家无法重新获得）。
• 利用跟随者与误解玩法下的结果类分析游戏等价性与不等性，通过关系 $G \equiv H \pmod{\mathcal{E}}$ 进行分析。
• 在误解玩法中，由于 $G + (-G) = 0$ 通常不成立，故使用共轭操作 $\overline{G}$ 代替否定。
• 构造 Left 在 $G + G + X$ 中的必胜策略，以证明对某些游戏 $G$ 有 $G + \overline{G} \not\equiv 0$，从而展示不可逆性。
• 证明仅以左/右端点为选项且可抵达零的游戏，其在 $\mathcal{E}$ 模下等价于零，使用第二位玩家策略与终局策略。
• 利用结果类的偏序关系（$\mathcal{L}^-, \mathcal{P}^-, \mathcal{N}^-, \mathcal{R}^-$）比较游戏，并建立可比性条件。

实验结果

研究问题

• RQ1 在死锁宇宙中，正规整数的误解幺半群结构为何？
• RQ2 非整数在死锁宇宙的误解玩法中表现如何？
• RQ3 哪些游戏在死锁宇宙中等价于零，且何种条件可确保此等价性？
• RQ4 通过限制于死锁游戏，能否在误解玩法中恢复如可比性与可逆性等代数性质？

主要发现

• 正规整数的误解幺半群同构于 $\mathbb{Z}$，且 $\boldsymbol{a} \equiv \boldsymbol{b} \pmod{\mathcal{E}}$ 当且仅当 $a = b$。
• 对于非整数，误解幺半群同构于 $\mathbb{Q}_2$（二进有理数），且 $\boldsymbol{a} \equiv \boldsymbol{b} \pmod{\mathcal{E}}$ 当且仅当 $a = b$。
• 对 $\mathbb{Q}_2$ 模 $\mathcal{E}$ 的偏序关系已完全刻画：当 $0 < a < b$ 且 $l(\boldsymbol{a}) \leq l(\boldsymbol{b})$，或 $b < a < 0$ 且 $r(\boldsymbol{b}) \leq r(\boldsymbol{a})$ 时，有 $\boldsymbol{a} \gneqq \boldsymbol{b}$；否则 $\boldsymbol{a} || \boldsymbol{b}$。
• 存在一个无限族游戏 $G = \{\boldsymbol{n_1}, \dots, \boldsymbol{n_k} \mid \overline{\boldsymbol{n_1}}, \dots, \overline{\boldsymbol{n_k}}\}$，其中 $n_i \in \mathbb{N}$，满足 $G + \overline{G} \not\equiv 0 \pmod{\mathcal{E}}$，表明在死锁宇宙中存在不可逆性。
• 当所有左选项均为可抵达零的左端点，且所有右选项均为可抵达零的右端点时，游戏在 $\mathcal{E}$ 模下等价于零，即使其并非 $G + \overline{G}$ 的形式。