[论文解读] Heap games, numeration systems and sequences

Aviezri S. Fraenkel|ArXiv.org|Sep 14, 1998

Artificial Intelligence in Games参考文献 8被引用 5

一句话总结

本文提出了一类包含两个参数的双人堆游戏，并基于源自非典型记数系统的新型整数序列类，发展出一种策略。该研究建立了这些序列与游戏中必胜位置之间的深刻等价关系，证明了可通过记数系统高效判定游戏的结果，从而解决了该类游戏的计算复杂性问题。

ABSTRACT

We propose and analyse a 2-parameter family of 2-player games on two heaps of tokens, and present a strategy based on a class of sequences. The strategy looks easy, but is actually hard. A class of exotic numeration systems is then used, which enables us to decide whether the family has an efficient strategy or not. We introduce yet another class of sequences, and demonstrate its equivalence with the class of sequences defined for the strategy of our games.

研究动机与目标

• 定义并分析一类具有组合规则的双人堆游戏的两参数族。
• 基于一类新型整数序列，为这些游戏开发策略。
• 研究该游戏族是否具有高效的必胜位置判定过程。
• 建立游戏策略与一类非典型记数系统之间的联系。
• 证明定义策略的序列类与新引入的序列族之间的等价性。

提出的方法

• 作者定义了一类基于两个堆令牌的双人游戏，其移动规则由两个整数参数化。
• 利用源自非标准（非典型）记数系统的序列构造策略。
• 通过记数系统的定义，刻画了游戏中P-位置（前一玩家获胜的位置）的成员资格。
• 论文引入了一类新序列，并证明其与定义策略的序列类等价。
• 通过记数系统的结构特性和序列性质的数论分析，建立了这种等价性。
• 通过记数系统的算法性质，展示了游戏位置判定过程的高效性。

实验结果

研究问题

• RQ1 能否定义一类两参数的堆游戏，使得其必胜策略由源自非典型记数系统的序列决定？
• RQ2 该游戏族的策略是否可高效计算，其高效性需满足何种条件？
• RQ3 定义游戏中P-位置的序列与所用记数系统之间存在何种结构关系？
• RQ4 由游戏策略产生的序列是否构成一个与新引入序列族等价的类？
• RQ5 能否利用所提出的记数系统在多项式时间内判定游戏结果？

主要发现

• 该游戏族基于源自非典型记数系统的序列构建策略，从而能够精确刻画P-位置。
• 该策略计算高效，因为记数系统允许快速判断某一位置是否为P-位置。
• 引入了一类新序列，并证明其与定义游戏策略的序列类等价。
• 通过记数系统的结构分析及其表示性质，建立了两类序列之间的等价性。
• 由于非典型记数系统中表示的高效性，游戏结果判定问题可在多项式时间内求解。
• 研究结果揭示了组合博弈、记数系统与序列理论之间深刻且非平凡的联系。