[论文解读] Subtraction Division Games

Elizabeth J. Kupin|arXiv (Cornell University)|Dec 30, 2011

Artificial Intelligence in Games参考文献 3被引用 3

一句话总结

本文研究了一类称为减法-除法游戏的两人组合博弈，玩家轮流减去固定值 $ a $ 或除以固定除数 $ b $，目标是达到 1。通过 Sprague-Grundy 理论，作者完全刻画了当 $ a=1 $ 且 $ b=2d $ 时，先手玩家获胜或失败的条件，表明结果取决于 $ n $ 的 $ 2d $ 进制表示，特别是最低位奇数数码之前偶数数码块的奇偶性。

ABSTRACT

A Subtraction-Division game is a two player combinatorial game with three parameters: a set S, a set D, and a number n. The game starts at n, and is a race to say the number 1. Each player, on their turn, can either move the total to n-s for some s in S or to \lceil\frac{n}{d} ceil, for some d in D (i.e. either subtract s or divide by d and round up). This paper examines in detail the Sprague-Grundy sequences for the games when |S|=|D|=1. For a large class of these games, the patterns in the sequences allow for a characterization of all the winning positions. The paper also proves that, for the same large class, these sequences are automatic. In the process, a large family of recurrences that completely determine their behavior is constructed.

研究动机与目标

• 确定在参数 $ a=1 $、$ b=2d $ 的减法-除法游戏中，对哪些 $ n $ 值先手玩家拥有获胜策略。
• 将游戏结果的刻画从特殊情形 $ S=\{1\}, D=\{2\} $ 推广至更一般情况。
• 应用 Sprague-Grundy 理论分析游戏状态，将位置分类为必胜或必败。
• 基于 $ n $ 的 $ b $ 进制表示，推导出 $ SG_{a,b}(n) = 0 $（即先手失败）的完整刻画。

提出的方法

• 将 Sprague-Grundy 函数 $ SG_{a,b}(n) $ 递归定义为可达位置 SG 值的最小非负排除值（mex）：$ \text{mex}\{ SG(n-a), SG(\lceil n/b \rceil) \} $。
• 设定 $ SG(1) = 0 $，表示先手玩家处于终局的必败位置。
• 使用数学归纳法和结构引理，分析 $ b=2d $ 为偶数时的游戏行为，重点关注 $ 2d $ 进制下的奇偶性与数位模式。
• 分析通过反复除以 $ b $ 并向上取整所形成的移动序列，追踪此类路径上 SG 值的交替变化。
• 基于 $ 2d $ 进制表示中系数的奇偶性与数位块，使用递归约化方法将复杂游戏状态简化为更简单的状态。
• 根据 $ n $ 的 $ 2d $ 进制展开中，最低位奇数数码前的偶数数码块的性质对结果进行分类。

实验结果

研究问题

• RQ1 当 $ a=1 $ 且 $ b=2d $ 时，哪些 $ n $ 值会导致先手玩家失败（即 $ SG_{a,b}(n) = 0 $）？
• RQ2 如何通过 $ n $ 的 $ 2d $ 进制表示来确定 Sprague-Grundy 值，从而决定游戏结果？
• RQ3 是否能通过 $ b $ 进制下的数位模式，特别是奇数数码前的偶数数码块，完全刻画游戏结果？
• RQ4 哪些递归约化方法能保持 Sprague-Grundy 值不变，从而实现对游戏状态的高效分类？
• RQ5 在除法路径上，SG 值在何种条件下表现出周期性或交替性行为？

主要发现

• 当 $ a=1 $ 且 $ b=2d $ 时，$ SG_{1,2d}(n) = 0 $ 当且仅当 $ n $ 的 $ 2d $ 进制表示中，最低位奇数数码前的偶数数码块长度为偶数。
• 若 $ n $ 为偶数，则 $ SG_{1,2d}(n) \neq 0 $，即先手玩家总可通过减去 1 获胜，前提是 $ n > 1 $。
• 当 $ n \equiv 1,3,\ldots,2d-1 \pmod{4d} $ 时，游戏结果取决于到达集合 $ \{2d+1, 2d+3, \ldots, 4d-1\} $ 所需的步数，奇数步长路径导致先手获胜，偶数步长路径导致失败。
• 对于具有 $ 2d $ 进制展开 $ 2dc_1 + 4d^2c_2 + \cdots $ 的数 $ n $，可通过分析系数奇偶性并应用保持 SG 值不变的约化方法，实现递归简化。
• 约化过程表明，当 $ c_1 $ 为非零偶数时，有 $ SG(2dc_1 + 4d^2c_2 + \cdots) = SG(c_1 + 2dc_2 + \cdots) $，从而实现递归简化。
• 分析结果表明 $ SG_{a,b}(n) $ 有界，且任意两个相邻状态不共享相同的 SG 值，这是此类公平博弈的关键性质。