[论文解读] The Generalized Zeckendorf Game

Paul Baird‐Smith, Alyssa Epstein+2 more|arXiv (Cornell University)|Sep 13, 2018

Game Theory and Applications参考文献 8被引用 8

一句话总结

本文引入了广义Zeckendorf游戏，这是一种基于整数唯一分解为线性递推序列（包括Fibonacci数列及更高阶递推）非相邻项的双人组合博弈。玩家轮流根据递推关系规则执行移动，将初始分解转化为唯一的Zeckendorf形式。在Fibonacci情形下，对于所有n > 2，玩家2拥有必胜策略，该结论通过非构造性方法证明。

ABSTRACT

Zeckendorf proved that every positive integer $n$ can be written uniquely as the sum of non-adjacent Fibonacci numbers; a similar result, though with a different notion of a legal decomposition, holds for many other sequences. We use these decompositions to construct a two-player game, which can be completely analyzed for linear recurrence relations of the form $G_n = \sum_{i=1}^{k} c G_{n-i}$ for a fixed positive integer $c$ ($c=k-1=1$ gives the Fibonaccis). Given a fixed integer $n$ and an initial decomposition of $n = n G_1$, the two players alternate by using moves related to the recurrence relation, and whomever moves last wins. The game always terminates in the Zeckendorf decomposition, though depending on the choice of moves the length of the game and the winner can vary. We find upper and lower bounds on the number of moves possible; for the Fibonacci game the upper bound is on the order of $n\log n$, and for other games we obtain a bound growing linearly with $n$. For the Fibonacci game, Player 2 has the winning strategy for all $n > 2$. If Player 2 makes a mistake on his first move, however, Player 1 has the winning strategy instead. Interestingly, the proof of both of these claims is non-constructive.

研究动机与目标

• 形式化基于整数广义Zeckendorf分解为线性递推序列项的双人博弈。
• 分析博弈动态，包括移动序列、游戏长度上下界及必胜策略。
• 将已知的Fibonacci情形结果推广至更广泛的递推序列类，如Tribonacci及更高阶线性递推。
• 探讨必胜策略的存在性与结构，特别是针对玩家2，识别博弈复杂性与策略构造中的开放问题。

提出的方法

• 将游戏状态定义为正线性递推序列（PLRS）项的多重集，起始为n个首项的副本。
• 基于递推关系定义合法移动：将两个连续项合并为下一项，或用递推规则生成的组合替换两个相同项。
• 使用基于树的博弈分析建模所有可能的游戏路径，层表示移动次数，节点着色表示获胜玩家。
• 应用非构造性方法证明必胜策略的存在性，尤其针对Fibonacci博弈中的玩家2。
• 使用计算工具（Mathematica与Java小工具）模拟博弈树，统计移动次数，并可视化游戏状态与获胜路径。
• 建立游戏长度的上下界，显示Fibonacci情形下为O(n log n)，其他PLRS情形下为O(n)。

实验结果

研究问题

• RQ1 在广义Zeckendorf游戏中，对于所有足够大的n，特别是Fibonacci情形下，玩家2是否拥有必胜策略？
• RQ2 对于给定递推关系，任何游戏序列中移动次数的最紧致上下界是什么？
• RQ3 能否为Fibonacci Zeckendorf游戏中的玩家2推导出构造性必胜策略，还是当前证明本质上是非构造性的？
• RQ4 在随机玩法下，游戏长度的分布行为如何？其是否收敛至已知分布（如正态分布）？
• RQ5 当游戏扩展至超过两人，或扩展至非均匀起始配置时，会发生什么？

主要发现

• 在Fibonacci Zeckendorf游戏中，对于所有n > 2，玩家2拥有必胜策略，该结论通过非构造性方法证明。
• 若玩家2在第一步出现失误，玩家1将获得必胜策略，表明早期走法具有高度敏感性。
• Fibonacci游戏中移动次数的最大值被上界限制为O(n log n)，而其他PLRS情形下则线性增长为O(n)。
• 无论移动序列如何，游戏总会终止于唯一的Zeckendorf分解。
• 对于Tribonacci递推，模拟数据支持一个猜想：对于足够大的n，玩家2拥有必胜策略，但尚无证明。
• 可使用Java小工具可视化博弈树，节点按获胜玩家着色，终端状态高亮显示，从而实现对游戏路径结构的分析。