整数分割

✍ dations ◷ 2025-08-27 00:05:10 #整数分割
一个正整数可以写成一些正整数的和。在数论上,跟这些和式有关的问题称为整数拆分、整数剖分、整数分割、分割数或切割数(英语:Integer partition)。其中最常见的问题就是给定正整数 n {displaystyle n} ,求不同数组 ( a 1 , a 2 , . . . , a k ) {displaystyle (a_{1},a_{2},...,a_{k})} 的数目,符合下面的条件:分割函数p(n)是求符合以上第一、二个条件的数组数目。4可以用5种方法写成和式:4, 3+1, 2+2, 2+1+1, 1+1+1+1。因此 p ( 4 ) = 5 {displaystyle p(4)=5} 。定义 p ( 0 ) = 1 {displaystyle p(0)=1} ,若n为负数则 p ( n ) = 0 {displaystyle p(n)=0} 。此函数应用于对称多项式及对称群的表示理论等。分割函数p(n),n从0开始:每种分割方法都可用Ferrers图示表示。Ferrers图示是将第1行放 a 1 {displaystyle a_{1}} 个方格,第2行放 a 2 {displaystyle a_{2}} 个方格……第 k {displaystyle k} 行放 a k {displaystyle a_{k}} 个方格,来表示整数分割的其中一个方法。借助Ferrers图示,可以推导出许多恒等式:证明:将表示前者其中一个数组的Ferrers图示沿对角线反射,便得到后者的一个数组。即两者一一对应,因此其数目相同。例如 k=3,n=6:此外,例如 n = 8 {displaystyle n=8} :p ( n ) {displaystyle p(n)} 的生成函数是当|x|<1,右边可写成:p ( n ) {displaystyle p(n)} 生成函数的倒数为欧拉函数,利用五边形数定理可得到以下的展开式:将 p ( n ) {displaystyle p(n)} 生成函数配合五边形数定理,可以得到以下的递归关系式其中 q i {displaystyle q_{i}} 是第 i {displaystyle i} 个广义五边形数。一个杨氏矩阵与一个整数分拆一一对应,也就是说整数分拆的个数等于相应的杨氏矩阵的个数。如图表示一个10=5+4+1的分拆。利用杨氏矩阵来表示的 分拆更具有直观性,和可处理性,下面是几个例子。整数分拆(10=5+4+1)对应的杨氏矩阵沿x=y轴翻转得到新的杨氏矩阵。它对应分拆为10=3+2+2+2+1。渐近式:这式子是1918年哈代和拉马努金,以及1920年J. V. Uspensky独立发现的。1937年,Hans Rademacher得出一个更佳的结果:其中( m , n ) = 1 {displaystyle (m,n)=1} 表示 m , n {displaystyle m,n} 互质时才计算那项。 s ( m , k ) {displaystyle s(m,k)} 表示戴德金和。这条公式的证明用上了和戴德金η函数、福特圆(英语:Ford circle)、法里数列、模群(英语:Modular group)。在将 n {displaystyle n} 表示成正整数之和的所有和式之中,任意正整数 r {displaystyle r} 作为和项出现在这些式子内的次数,跟每条和式中出现 r {displaystyle r} 次或以上的正整数数目,相同。当 r = 1 {displaystyle r=1} 时,此定理又称为Stanley定理。以 n = 5 {displaystyle n=5} 为例:以下叙述带有附加条件的分拆。考虑满足下面条件分拆及分拆的每个数都不相等。生成函数是考虑满足下面条件分拆生成函数是差分拆的个数与奇分拆的个数是一样多的。可以通过杨表证明。当限定将 n {displaystyle n} 表示成刚好 k {displaystyle k} 个正整数之和时,可以表示为 p k ( n ) {displaystyle p_{k}(n)} 。显然, p ( n ) = ∑ k = 1 n p k ( n ) {displaystyle p(n)=sum _{k=1}^{n}p_{k}(n)} 。不少数学家亦有研究按以下方式分拆的方法数目:

相关

  • 散囊菌纲散囊菌目(学名:Eurotiomycetes)是子囊菌门盘菌亚门之下的一个纲。散囊菌目原来分为以下三个分类:医学导航 · 真菌病真菌 · 分类疾病药物(抗真菌药)
  • 艾尔帕索艾尔帕索(西班牙语:El Paso)是美国德克萨斯州艾尔帕索县县治,位于德州极西部,隔格兰德河与墨西哥的华雷斯城相望。是该州第六大城、全国第十九大城市 (2006年估计人口为609,415)。
  • 罗氏制药有限公司罗氏(德语:F. Hoffmann-La Roche AG,简称Roche),总部位于瑞士巴塞尔的跨国医药研发生产商。它始创于1896年,现属于罗氏控股股份有限公司。罗氏于2009年3月26日以大约468亿美元完成
  • 透明质酸玻尿酸(英语:Hyaluronan、Hyaluronic acid),又称透明质酸、玻璃糖醛酸、琉璃糖碳基酸,是一种是由双糖(D-葡萄糖醛酸及N-乙酰葡糖胺)基本结构组成的糖胺聚糖。玻尿酸广泛存在于结缔
  • 海上共和国海上共和国(意大利语:Repubbliche Marinare)是中世纪意大利和达尔马提亚沿海地区一批繁荣的城市国家的统称。传统上,其定义特别是4个意大利城市:阿马尔菲共和国、比萨共和国、热
  • 包谷酒包谷酒即一种用包谷(玉米)作为原料的蒸馏酒,因为玉米成本低,所以在中国农村非常流行,有时也被称为玉米白酒。包谷酒一般多为家酿。
  • 肯定推得否定肯定前提推得否定结论(英文:negative conclusion from affirmative premises)是一种形式谬误,是因三段论中前提皆为肯定,而结论为否定,导致论证无效。例句:推理规则:例句分析结果:有
  • 训练手段训练不类似练习。两者有分别。训练就是有别人(教练)的参考或教导;但练习可以独自或与同伴一起进行。训练也有很多不同的种类,例如是运动类的训练,就有游泳的训练、跑步的训练、足
  • 守恒量在经典力学里,对于一个动力系统,随着时间的演进,所有保持不变的物理量都称为守恒量(conserved quantity),又称为运动常数。由于很多物理定律会表达某种守恒行为,对应的守恒量时常会
  • NaIOsub4/sub高碘酸钠是高碘酸的钠盐,有两种形式,偏高碘酸钠(化学式:NaIO4)和原高碘酸钠(化学式:Na5IO6),都可用作有机合成中的氧化剂。高碘酸钠密度为3.865g/cm3,可溶于水,加热时分解为碘酸钠(NaIO3