[论文解读] Deterministic Zeckendorf Games

Ruoci Li, Xiaonan Li+5 more|arXiv (Cornell University)|Jun 30, 2020

semigroups and automata theory参考文献 8被引用 4

一句话总结

该论文将确定性Zeckendorf游戏的移动次数上界改进为 $3n - 3Z(n) - IZ(n) + 1$，与已知的 $n - Z(n)$ 阶下界相匹配，并分析了四种确定性变体——合并最大、分割最大、合并最小和分割最小，表明分割最小变体实现最长游戏，而合并最大/分割最大变体实现最短游戏长度。

ABSTRACT

Zeckendorf proved that every positive integer can be written uniquely as the sum of non-adjacent Fibonacci numbers. We further explore a two-player Zeckendorf game introduced in Baird-Smith, Epstein, Flint, and Miller: Given a fixed integer $n$ and an initial decomposition of $n = nF_1$, players alternate using moves related to the recurrence relation $F_{n+1} = F_n + F_{n_1}$, and the last player to move wins. We improve the upper bound on the number of moves possible and show that it is of the same order in $n$ as the lower bound; this is an improvement by a logarithm over previous work. The new upper bound is $3n - 3Z(n) - IZ(n) + 1$, and the existing lower bound is sharp at $n - Z(n)$ moves, where $Z(n)$ is the number of terms in the Zeckendorf decomposition of $n$ and $IZ(n)$ is the sum of indices in the same Zeckendorf decomposition of $n$. We also studied four deterministic variants of the game, where there was a fixed order on which available move one takes: Combine Largest, Split Largest, Combine Smallest and Split Smallest. We prove that Combine Largest and Split Largest realize the lower bound. Split Smallest has the largest number of moves over all possible games, and is close to the new upper bound. For Combine Split games, the number of moves grows linearly with $n$.

研究动机与目标

• 改进Zeckendorf游戏中移动次数的上界，缩小与已知下界之间的差距。
• 分析确定性变体（移动顺序固定），在无策略选择的情况下揭示游戏动态。
• 确定哪些确定性变体实现最少和最多移动次数，并理解游戏长度的增长速率。
• 支持关于分裂移动次数线性增长及随机游戏中移动次数分布的猜想。
• 为未来研究获胜策略、多玩家扩展以及游戏长度的统计特性奠定基础。

提出的方法

• 通过Zeckendorf分解和移动序列的组合分析，推导出游戏长度的新上界。
• 定义四种确定性游戏变体：合并最大、分割最大、合并最小和分割最小，每种均有固定的移动顺序。
• 证明合并最大和分割最大变体实现最少移动次数，与理论下界 $n - Z(n)$ 一致。
• 表明分割最小变体产生最长游戏，接近新的上界 $3n - 3Z(n) - IZ(n) + 1$。
• 使用归纳法证明所有中间游戏状态均保持唯一索引表示（无重复的 $i \geq 2$ 索引）。
• 分析大规模数值模拟及随机游戏中移动次数的统计分布，将结果拟合至正态分布和线性模型。

实验结果

研究问题

• RQ1 任何Zeckendorf游戏中移动次数的最紧致上界是什么？
• RQ2 哪种确定性移动顺序产生最长和最短游戏，原因是什么？
• RQ3 分裂移动次数是否随 $n$ 线性增长？若是，渐近常数是多少？
• RQ4 随机游戏中移动次数的分布如何？其分布是否与正态分布一致？
• RQ5 能否使用确定性移动顺序对所有 $n$ 精确刻画最小和最大游戏长度？

主要发现

• 游戏长度的新上界为 $3n - 3Z(n) - IZ(n) + 1$，显著优于先前的 $O(n \log n)$ 上界。
• 下界 $n - Z(n)$ 移动次数是紧确的，由合并最大和分割最大确定性变体实现。
• 分割最小变体产生最长游戏，其长度接近新的上界。
• 对于合并最小和分割最小游戏，移动次数随 $n$ 线性增长，常数分别约为 $1.206$ 和 $\phi^2 \approx 2.618$。
• 所有游戏的合并移动次数相同，均为 $n - Z(n)$，如引理3.3所证明。
• 对 $n = 1,000,000$ 的10,000场随机游戏的数值模拟显示，移动次数分布与正态分布拟合极佳，支持移动次数分布呈高斯型的猜想。