分拆函数计算器

欢迎使用分拆函数计算器，这是一个专门探索组合数学中最迷人对象之一的全功能工具。输入任何非负整数 \(n\)，本工具将计算 \(p(n)\) —— 即将 \(n\) 写成正整数之和（顺序无关）的方法数 —— 同时计算互异部分分拆数 \(q(n)\)、奇数部分分拆数 \(o(n)\)、Hardy-Ramanujan 渐近估计值、所有匹配的 Ramanujan 同余式，并且对于较小的 \(n\)，还将每一个分拆渲染为动态 Young 图。

什么是分拆函数 p(n)？

分拆函数 \(p(n)\) 用于计算将 \(n\) 写成正整数之和的方法数，不计顺序。仅加数顺序不同的两个和被视为同一个分拆。例如，4 的分拆有：

• 4
• 3 + 1
• 2 + 2
• 2 + 1 + 1
• 1 + 1 + 1 + 1

因此 \(p(4) = 5\)。按照约定 \(p(0) = 1\)，计为“空分拆”。其他一些值：\(p(1) = 1,\ p(5) = 7,\ p(10) = 42,\ p(50) = 204{,}226,\ p(100) = 190{,}569{,}292\)。

母函数

莱昂哈德·欧拉（Leonhard Euler）发现 \(p(n)\) 的母函数具有非常简洁的乘积形式：

每一个因子 \(1/(1 - x^k) = 1 + x^k + x^{2k} + \ldots\) 贡献了部分 \(k\) 在分拆中出现的次数选择。将这些因子相乘恰好生成每一个分拆一次。

Young (Ferrers) 图

Young 图（也称为 Ferrers 图）以左对齐的方块数组视觉化地表示一个分拆。每一行对应一个部分，各行按从大到小的顺序排列。例如，7 的分拆 \(4 + 2 + 1\) 表示为：

Young 图让您能“看到”分拆恒等式。沿主对角线翻转图表会将行变为列，这对应于共轭分拆。当 \(n \le 15\) 时，本计算器会为 \(n\) 的每个分拆渲染一个 Young 图。

欧拉分拆定理

欧拉最优雅的结论之一指出：

例如，7 的互异部分分拆为 \(\{7\}, \{6+1\}, \{5+2\}, \{4+3\}, \{4+2+1\}\) —— 共五个。7 的奇数部分分拆为 \(\{7\}, \{5+1+1\}, \{3+3+1\}, \{3+1+1+1+1\}, \{1+1+1+1+1+1+1\}\) —— 也是五个。计算器的摘要面板会同时报告 \(q(n)\) 和 \(o(n)\)，以便您验证所选 \(n\) 的这一恒等式。

Hardy-Ramanujan 渐近公式

1918 年，G.H. Hardy 和 Srinivasa Ramanujan 证明了第一个捕获大 \(n\) 时 \(p(n)\) 真实增长率的公式：

这一结果源自 Hardy-Ramanujan 圆法（circle method），该方法通过在单位圆上的奇点附近对母函数进行积分得出。Hans Rademacher 在 1937 年将其改进为精确收敛级数 —— 这是解析数论中最著名的公式之一。

Ramanujan 分拆同余式

在研究分拆值表时，Ramanujan 注意到了三个令人惊讶的整除模式：

例如，\(p(4)=5,\ p(9)=30,\ p(14)=135,\ p(19)=490,\ p(24)=1575\) 均能被 5 整除。当您选择的 \(n\) 属于这些类别之一时，计算器会自动标记。

如何使用此计算器

1. 在输入框中输入一个最高为 500 的非负整数，或点击著名的快速示例（0, 4, 10, 42, 100, 200）。
2. 点击“计算分拆”。工具会计算 \(p(n)\)、\(q(n)\)、\(o(n)\) 以及 Hardy-Ramanujan 估计值。
3. 查看主显示面板，其中 \(p(n)\) 以大号标题数字显示，然后浏览摘要网格中的互异部分、奇数部分、渐近估计值及百分比误差。
4. 检查 Young 图 —— 如果 \(n \le 15\)，每一个分拆都会在响应式网格中绘制成动态 Young 图。
5. 探索增长图表 —— 绘制 \(k = 0, 1, \ldots, n\) 时 \(p(k)\)、\(q(k)\) 和 Hardy-Ramanujan 曲线。可在线性刻度和对数刻度之间切换以观察渐近形状。
6. 查阅增长表 —— 逐行查看较小 \(k\) 值的 \(p(k), q(k), o(k)\)。可用它来观察每个 Ramanujan 同余式的首次出现。

实例解析：5 的分拆

让我们以 \(n = 5\) 为例。所有分拆为：

• \(5\)
• \(4 + 1\)
• \(3 + 2\)
• \(3 + 1 + 1\)
• \(2 + 2 + 1\)
• \(2 + 1 + 1 + 1\)
• \(1 + 1 + 1 + 1 + 1\)

所以 \(p(5) = 7\)。互异部分分拆：\(\{5\}, \{4+1\}, \{3+2\}\) —— 共三个，即 \(q(5) = 3\)。奇数部分分拆：\(\{5\}, \{3+1+1\}, \{1+1+1+1+1\}\) —— 也是三个，即 \(o(5) = 3\)。欧拉定理成立。最后，\(n = 5 \equiv 0 \pmod 5\) 不属于 \(5k+4\) 的形式，因此不适用 5-同余式；然而，\(p(4) = 5\) 确实满足 \(p(5k+4) \equiv 0 \pmod 5\)。

p(n) 的典型值

历史

• 1750年代： 莱昂哈德·欧拉研究分拆，发现了母函数恒等式和“互异 = 奇数”定理。
• 1915年： Percy MacMahon 少校发布了 \(n\) 最高达 200 的 \(p(n)\) 表 —— 全部通过手工计算。
• 1918年： Hardy 和 Ramanujan 使用圆法证明了渐近公式。
• 1919年： Ramanujan 发表了著名的同余式 \(p(5k+4),\ p(7k+5),\ p(11k+6)\)。
• 1937年： Hans Rademacher 将 Hardy-Ramanujan 公式改进为精确收敛级数。
• 2011年： Ken Ono 和 Jan Bruinier 证明了 \(p(n)\) 在每个正整数处都可以表示为一个有限代数和。

应用

• 组合数学与表示论 —— 分拆索引了对称群 \(S_n\) 的不可约表示。
• 统计力学 —— 分拆计数出现在理想量子气体的熵以及弦理论分拆函数中。
• 模形式 —— \(p(n)\) 的母函数与 Dedekind eta 函数密切相关。
• 计算机科学 —— 子集和问题（subset-sum）和整数规划枚举基准测试经常使用分拆计数。

常见问题解答

什么是分拆函数 p(n)？

\(p(n)\) 计算将 \(n\) 表示为正整数之和（顺序无关）的方法数。\(p(4) = 5\)，因为 4 可以写成 \(4\), \(3+1\), \(2+2\), \(2+1+1\) 或 \(1+1+1+1\)。按约定 \(p(0) = 1\)。

什么是 Young 或 Ferrers 图？

Young 图是分拆的视觉表示：每个部分成为一行左对齐的方块，各部分自上而下按从大到小排列。对于 \(4+2+1\)，画一行 4 个，一行 2 个，一行 1 个。当 \(n \le 15\) 时，本计算器为每个分拆渲染一个 Young 图。

欧拉分拆定理的内容是什么？

对于每个正整数 \(n\)，将 \(n\) 分拆为互异部分的方法数等于将 \(n\) 分拆为奇数部分的方法数。对于 \(n = 5\)：互异部分得到 \(\{5\}, \{4+1\}, \{3+2\}\)；奇数部分得到 \(\{5\}, \{3+1+1\}, \{1+1+1+1+1\}\)。两项计数均等于 3。

什么是 Hardy-Ramanujan 渐近公式？

它指出当 \(n \to \infty\) 时，\(p(n) \sim \frac{1}{4n\sqrt{3}} \exp\!\left(\pi \sqrt{2n/3}\right)\)。这是第一个描述 \(p(n)\) 精确增长率的公式，由 G.H. Hardy 和 Srinivasa Ramanujan 于 1918 年发现。

什么是 Ramanujan 分拆同余式？

三个显著的整除模式：\(p(5k+4) \equiv 0 \pmod 5\)、\(p(7k+5) \equiv 0 \pmod 7\) 以及 \(p(11k+6) \equiv 0 \pmod{11}\)。例如，\(p(4)=5, p(9)=30, p(14)=135\) 均能被 5 整除。

p(n) 的增长速度有多快？

p(n) 的增长快于任何多项式但呈次指数级，大约像 \(\exp(\pi \sqrt{2n/3})\)。对比：\(p(10)=42\)，\(p(50)=204{,}226\)，\(p(100)=190{,}569{,}292\)，而 \(p(200) \approx 4 \times 10^{12}\)。使用图表的对数刻度切换可直观地观察增长曲线。

更多资源

• 分拆函数 - 维基百科
• Ramanujan 同余式 - 维基百科