无需登录 数据私有 本地保存

整数划分可视化 - 分堆块图演示

16
0
0
0
1–12
135791112
悬停查看共轭
划分数 p(6) = 11 自共轭: 1 最大部分: 6 最多行数: 6
自共轭划分（对称） 共轭配对高亮 点击选中
常见问题与知识点
什么是整数划分？
整数划分（Integer Partition）是将一个正整数表示为若干个正整数之和的不同方式，不考虑加数的顺序。例如，4 有 5 种划分：4、3+1、2+2、2+1+1、1+1+1+1。划分函数 p(n) 表示 n 的划分数，p(1)=1, p(2)=2, p(3)=3, p(4)=5, p(5)=7, p(6)=11……其增长速度极快，p(20)=627，p(100) 已超过 1.9 亿。
什么是 Ferrers 图（分堆块图）？
Ferrers 图（又称 Ferrers diagram 或 Young diagram）是用点或方块来可视化整数划分的图形工具。每一行对应划分中的一个部分，行长度等于该部分的数值，且行按长度从上到下递减排列。例如划分 4+2+1 的 Ferrers 图：第一行 4 个方块，第二行 2 个，第三行 1 个。这种可视化方式由英国数学家 Norman Ferrers 在 19 世纪推广。
什么是共轭划分（Conjugate Partition）？
共轭划分是将 Ferrers 图沿主对角线翻转（行列互换）后得到的新划分。例如划分 [4,2,1]（4+2+1）的 Ferrers 图转置后得到 [3,2,1,1]（3+2+1+1）。共轭划分的列数等于原划分的最大部分，行数等于原划分的行数。在本工具中，悬停任意划分卡片即可高亮其共轭配对（金色边框）。
什么是自共轭划分？有什么特点？
自共轭划分（Self-conjugate Partition）是指 Ferrers 图关于主对角线对称的划分，即划分等于其自身的共轭。例如 n=6 时，[3,2,1] 是自共轭的（转置后仍是 [3,2,1]）。自共轭划分与将 n 表示为不同奇数之和的方式一一对应，这是欧拉证明的一个优美结论。本工具中自共轭划分以金色卡片和星标突出显示。
划分数量 p(n) 如何计算？
没有简单的闭式公式，但可通过递推关系或生成函数计算。欧拉给出了著名的五边形数定理：p(n) = p(n-1) + p(n-2) - p(n-5) - p(n-7) + p(n-12) + p(n-15) - ...，其中减数为广义五边形数 k(3k±1)/2。现代算法（如 Hardy-Ramanujan-Rademacher 公式）可高效计算极大的 p(n)。
整数划分有哪些实际应用？
整数划分在组合数学、数论、统计物理、计算机科学中有广泛应用。例如： Young 表格在表示论中用于描述对称群的不可约表示；在算法设计中用于分析递归复杂度；在密码学中与某些加密方案的数学基础相关；在物理学中用于描述玻色子系统的能级分布。
为什么 N 限制在 1–12？
划分数量随 N 增长极快——p(12)=77、p(13)=101、p(15)=176、p(20)=627。为了在页面上保持清晰的可视化体验和良好的性能，我们将 N 限制在 12 以内。这样每个划分卡片都有足够的空间展示 Ferrers 图，用户也能轻松浏览全部划分。
🔧 相关工具