🔢 mathematics

A short survey the game Bulgarian solitaire and related games

本文对保加利亚解谜（Bulgarian solitaire）进行了简明综述，这是一种在整数拆分上的动力系统，当总和为三角形数时会收敛至唯一的固定点，并概述了该游戏的几种变体。

原作者： Romeo Meštrović

发布于 2026-07-21

📖 1 分钟阅读🧠 深度阅读

原作者： Romeo Meštrović

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

伟大的纸牌洗牌：一场数学模式之旅

想象一个世界，其中的数字不再是纸面上冰冷、静态的符号，而是能够根据严格规则进行跳跃、移动和重新排列的生动角色。这就是**组合数学（combinatorics）的游乐场，这是一个研究事物如何被计数、排列和组合的数学分支。本文的核心在于一种被称为整数拆分（integer partitioning）**的特定类型谜题。把“拆分”想象成拿起一堆完全相同的乐高积木，并将它们拼成不同高度的塔。如果你有10块积木，你可以做一个10层高的长塔，或者两个5层的塔，亦或是由4、3、2、1组成的混乱组合。数学家们热衷于问的问题是：“如果我们不断改变建造这些塔的规则，它们会停止运动，还是会永远原地打转？”

这种好奇心不仅仅关乎游戏；它能帮助我们理解混沌系统中的隐藏秩序，从交通流量到原子的排列方式。我们正在探讨的这篇论文深入研究了一个著名的游戏——保加利亚 solitaire（Bulgarian Solitaire），这是一个看似简单的纸牌游戏，实则蕴含着深刻的数学奥秘。它在问：如果你按照一个非常特定的、重复性的规则来洗一副牌，这些牌堆最终会进入一个完美的、不变的模式，还是会陷入无尽的循环？答案完全取决于你开始时的总牌数，这揭示了简单算术与复杂周期之间美丽的联系。

游戏：带有转折的纸牌戏法

想象你正坐在桌旁，面前有一副纸牌，但你玩的不是扑克，而是一个名为保加利亚 solitaire的纯逻辑游戏。你首先将手中的牌分成若干堆，每堆的大小随你喜欢。也许你有堆为5张的堆，另一堆为3张，还有一个只有2张的小堆。现在，见证奇迹的时刻到了：你从每一堆中各取出一张牌，将这些牌收集起来组成一个全新的堆。

如果你原本有5堆牌，那么你现在手里就有5张新牌，它们将成为第6堆。原来的旧牌堆现在每堆都减少了一张。如果某一堆只有1张牌，它就会因为被取走唯一的牌而消失。你一遍又一遍地重复这个动作。这就像一场有节奏的舞蹈，牌堆在缩小、增长并交换位置。大问题是：这场舞蹈会停止吗？牌堆最终会排列成一种特定的、不变的形态，还是会一直不停地洗牌？

魔力数字：三角形数

论文揭示了答案取决于一种特殊的数字，称为三角形数（triangular number）。你可以通过堆叠点来制作这些数：1个点，然后是3个点（1+2），接着是6个点（1+2+3），然后是10个点（1+2+3+4），以此类推。这些数字是游戏的“金票”。

如果你开始时的牌数是一个三角形数（如1, 3, 6, 10, 15等），游戏就有一个保证的圆满结局。无论你的初始牌堆多么混乱，只要你继续玩下去，牌最终都会稳定在一个完美的、不变的模式中。这个模式始终是相同的：大小分别为1, 2, 3...直到 $k$ 的堆，其中 $k$ 是构成你总数的那个数。例如，如果你有10张牌（即 $1+2+3+4$ ），游戏最终会停留在由1, 2, 3, 4张牌组成的堆中。数学家称之为唯一不动点（unique fixed point），这意味着一旦达到这个状态，下一个动作只会重新创造出同样的牌堆，舞蹈便停止了。

循环：当数字不完美时

但如果你的牌数不是三角形数呢？比如你有11张牌而不是10张。论文解释说，游戏永远不会稳定在单一、不变的模式中。相反，牌堆会陷入一个循环（cycle）。想象一个永不停歇的旋转木马；牌堆会不断变化，但在经过一定次数的移动后，它们会回到之前出现过的某种配置，随后整个序列将无限重复。

论文详细描述了这些循环是如何运作的。事实证明，对于任何数量的牌，游戏都是可预测的。如果数字不是三角形数，牌堆会在几种特定的形状之间循环往复。作者描述了一种列出任何牌数下所有可能循环的方法，证明了这种“混沌”实际上是非常有序的。这就像知道一个旋转陀螺会在特定的圆圈内摇摆，而不是随机乱飞。

历史：从火车到数学期刊

这个游戏有着丰富的背景故事。虽然它在1983年由著名的数学专栏作家马丁·加德纳（Martin Gardner）推广并赋予了它朗朗上口的名称“保加利亚 solitaire”，但据传它实际上是在1980年左右由数学家康斯坦丁·奥斯科尔科夫（Konstantin Oskolkov）发现的。传说奥斯科尔科夫是在一次前往俄罗斯的火车旅途中听说了这个问题的。当他告诉同事时，一位数论学家对这个谜题感到如此兴奋（或者说是深受震撼），以至于据说他直接跑回办公室，锁上门，直到解开谜题才出来！

论文指出，到1981年，已有几位数学家发表了证明，证实了三角形数的情况总是会导致那个单一的稳定模式。1982年，一位名叫布兰特（Brandt）的数学家完成了繁重的任务，弄清楚了当数字不是三角形数时究竟会发生什么，并绘制出了所有可能的循环路径。自那以后，其他研究人员尝试用不同的方式（如使用计算机程序和不同的数学理论）来证明这些事实，但他们都一致认同核心结果：这个游戏是简单规则如何创造复杂且可预测模式的完美范例。

变体：旋转轮盘

论文还快速审视了该游戏如何启发了许多“亲戚”。数学家喜欢微调规则以观察变化。有些版本允许你从一堆中取出多于一张的牌，或者引入随机性，比如通过掷骰子来决定移动多少张牌。这些变体被命名为诸如“奥地利 solitaire”或“蒙特利尔 solitaire”之类，至今仍处于研究之中。它们帮助研究人员理解，规则的微小改变如何能完全改变系统的行为，有时会让循环变得更长，或让模式变得更复杂。

总结

最后，这篇论文是一份综述——它是通往保加利亚 solitaire及其众多亲属世界的友好导游。它确认了对于三角形数，游戏总能找到一个平和、唯一的安息之地。对于所有其他数字，它会找到一个有节奏的、重复的循环。作者不仅是口头陈述，他们还通过数学证明了这一点，精确展示了那些循环的样貌以及它们的数量。这提醒我们，即使是在这样一个洗牌的游戏中，也存在着深邃且不可动摇的秩序等待着被发现。

《保加利亚独占游戏及其相关游戏简述》技术摘要

问题陈述
本文探讨了“保加利亚独占游戏”（Bulgarian solitaire）的数学性质，该游戏是一个定义在正整数 $N$ 的整数拆分集上的动力系统。该系统通过一个特定的移位操作 $T$ 进行运行：给定一个拆分 $\lambda = (\lambda_1, \lambda_2, \dots, \lambda_l)$ ，操作 $T(\lambda)$ 生成一个新的拆分，其组成部分为 $\lambda_1-1, \lambda_2-1, \dots, \lambda_l-1$ 以及整数 $l$ （即部分的个数），并忽略任何产生的零。核心问题在于刻画序列 $\lambda, T(\lambda), T^2(\lambda), \dots$ 的行为。具体而言，本文研究了该序列在何种条件下收敛于不动点而非进入循环，并试图对所有 $T$ -循环拆分（即满足 $T^i(\mu) = \mu$ 对于某个 $i \ge 1$ 的拆分 $\mu$ ）进行分类。

方法论与形式框架
本文采用了植根于整数拆分理论（由欧拉创立）的形式组合方法。其方法论包括：

形式化定义： 将游戏状态空间定义为 $N$ 的拆分集合，并将转换函数定义为 $T$ 。
循环刻画： 利用状态空间的有限性，确立系统最终必然进入循环。
结构分析： 依赖于 Brandt [9] 的工作，他利用一组基于基数条件的序列 $M_n$ 来刻画循环。本文综合了 Brandt、Akin 和 Davis [1] 以及 Etienne [16] 的研究成果，用以描述循环拆分的结构。
历史综述： 本文作为一篇综述，汇编并背景化了 1980 年至 2016 年间该游戏的各种发展、证明和变体，引用了 Oskolkov、Toom、Bojanov、Eriksson、Gardner、Knuth 等人的关键贡献。

主要贡献与结果
本文的主要贡献是对保加利亚独占游戏及其变体的理论图景进行的综合综述。呈现的关键结果包括：

Brandt 平衡定理： 对于三角形数 $N = 1 + 2 + \dots + k$ ，系统拥有唯一的固定点（长度为 1 的循环），即拆分 $(k, k-1, \dots, 1)$ 。从任何初始配置开始，系统都会收敛至此状态。
循环拆分的刻画： 对于任意 $N$ ，本文提出了一个定理（归功于 Etienne [16] 并源自 Brandt [9]），指出若 $N = 1 + 2 + \dots + k + r$ （其中 $0 \le r \le k$ ），则拆分 $\lambda$ 是 $T$ -循环的充分必要条件是它具有如下形式：
$\lambda = (k + \delta_k, k-1 + \delta_{k-1}, \dots, 1 + \delta_1, \delta_0)$
其中每个 $\delta_i \in \{0, 1\}$ 且 $\sum_{i=0}^k \delta_i = r$ 。
猜想解决： 本文指出 Igusa [30] 解决了 D. Knuth 的猜想（即对于三角形数 $N$ ，到达固定点所需的步数最多为 $k(k-1)$ ），并由 Etienne [16] 将该界限推广到了任意 $N$ 。
变体与推广： 本文目录化了众多的变体，包括：
- 奥地利独占游戏 (Akin and Davis, 1985)
- 蒙特利尔独占游戏 (Cannings and Haigh, 1992)
- 卡罗莱纳独占游戏 (Andreev, 1997)
- 随机保加利亚独占游戏 (Popov, 2003)
- 双手保加利亚独占游戏 (Bancroff, 2004)
- $\sigma$ -保加利亚独占游戏 (Olson, 2016)，允许从单个堆中抽取多张牌。
相关的计数问题： 本文强调了保加利亚独占游戏与关于整数序列 $a_n = \#\{i : 1 \le i \le n-1 \text{ 且 } a_i + i < n\}$ 的周期性问题之间的联系，并指出该问题的解由 Bojanov [8] 提供。

意义与范围
本文将其定位为一篇旨在提供该游戏历史、数学公式化及后续研究全面概述的“简短综述”。它强调了该游戏作为趣味数学（由 Martin Gardner 在 1983 年推广）与严谨组合博弈论之间桥梁的角色。其意义在于将零散的研究结果——从收敛性证明到循环分类，再到随机与确定性变体的探索——整合进单一的参考体系中。作者谦逊地将这项工作描述为对现有文献的总结，包括来自 Hopkins 2012 年评论中的全部 20 篇参考文献以及另外 14 篇来源，而非提出关于独占游戏本身的新原发定理。