[论文解读] 2-pile Nim with a Restricted Number of Move-size Imitations

Urban Larsson|ArXiv.org|Oct 19, 2007

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

一句话总结

本文提出了一种2堆尼姆游戏的变体，其规则为移动大小模仿限制：玩家不能连续超过$p-1$次模仿对手的移动。论文证明，该游戏的$P$-位置恰好对应于禁止了$p-1$个对角位置的威佐夫尼姆的阻塞版本，从而在模仿限制的尼姆与威佐夫游戏中的阻塞策略之间建立了深刻的结构等价性。

ABSTRACT

We study a variation of the combinatorial game of 2-pile Nim. Move as in 2-pile Nim but with the following constraint: Suppose the previous player has just removed say $x>0$ tokens from the shorter pile (either pile in case they have the same height). If the next player now removes $x$ tokens from the larger pile, then he imitates his opponent. For a predetermined natural number $p$, by the rules of the game, neither player is allowed to imitate his opponent on more than $p-1$ consecutive moves. We prove that the strategy of this game resembles closely that of a variant of Wythoff Nim--a variant with a blocking manoeuvre on $p-1$ diagonal positions. In fact, we show a slightly more general result in which we have relaxed the notion of what an imitation is.

研究动机与目标

• 分析一种2堆尼姆的变体，其中玩家被限制不能连续超过$p-1$次模仿对手的移动。
• 确定这种模仿约束如何改变游戏的$P$-位置，与标准2堆尼姆相比。
• 建立模仿限制游戏与威佐夫尼姆一个阻塞版本之间的结构对应关系。
• 将移动大小动态游戏与公平游戏中阻塞策略之间的联系进行推广。
• 探讨组合游戏中模仿规则是否可以系统地映射到已知游戏中阻塞机制。

提出的方法

• 将游戏定义为带有移动大小模仿规则的2堆尼姆：如果上一位玩家从较短的堆中移除了$x$个标记，则从较长的堆中移除$x$个标记即构成一次模仿。
• 施加硬性限制：任何玩家都不能连续模仿超过$p-1$次，其中$p \in \mathbb{N}$ 是一个固定的参数。
• 使用$L(a,b)$来追踪从位置$(a,b)$开始的连续模仿次数，使用$\xi(a,b)$表示最近一次移动中完成的模仿次数。
• 证明模仿限制游戏的$P$-位置与威佐夫尼姆的一个变体完全一致，后者禁止了$p-1$个特定的对角位置。
• 利用贝蒂序列和黄金分割比$\phi$的性质来刻画威佐夫尼姆游戏的$P$-位置，使用[HeLa]和[Wy]中的已知结果。
• 通过反证法和情况分析证明，任何不满足证明中类型(I)或(II)的位置都必须存在一种符合模仿约束的制胜移动，从而确立了对应关系。

实验结果

研究问题

• RQ1 在2堆尼姆游戏中，对连续模仿的限制如何影响游戏的$P$-位置？
• RQ2 能否利用威佐夫尼姆游戏中的已知结果，精确刻画模仿限制尼姆变体的$P$-位置？
• RQ3 在公平游戏中，模仿约束与阻塞策略之间是否存在结构等价性？
• RQ4 在何种条件下，组合游戏中的模仿规则可以映射到其他游戏中的禁止移动集合？
• RQ5 本文游戏中的模仿规则是否产生与阻塞威佐夫尼姆变体完全相同的策略？

主要发现

• 模仿限制的2堆尼姆游戏的$P$-位置，恰好与威佐夫尼姆一个变体中的$P$-位置一致，后者禁止了$p-1$个特定的对角位置。
• 该游戏的策略在结构上等价于威佐夫尼姆游戏中对$p-1$个位于对角线$y - x = \text{constant}$上的位置施加的阻塞操作。
• 证明表明，对于任意位置$(\alpha, \beta)$，若其为模仿游戏中的$P$-位置，则$L(\alpha, \beta) < \xi(\alpha, \beta) \leq p-1$，从而确保模仿次数始终在限制范围内。
• 若$(\alpha, \beta)$是模仿游戏中的$N$-位置，则存在一种移动方式，可到达类型(I)或(II)的位置，且满足模仿约束，从而进入$P$-位置。
• 即使模仿的定义被放宽，该对应关系依然成立，表明结构等价性的稳健性。
• 该结果推广了先前关于移动大小动态游戏的研究，并进一步拓展了模仿规则与公平游戏中阻塞机制之间联系的理论框架。