组合数学 第二章二章四节.pptVIP

* 定理2.9.2 整数n拆分成互不相同的若干奇数和的拆分数，与n拆分成有自共轭费勒斯图像的拆分数相等。这里所讲的自共轭费勒斯图像是指共轭图像与原图像一致。 每一个奇数都与右图这样的自共轭费勒斯图像一一对应。 n拆分成若干奇数和可以如下表示： n=(2n1+1)+(2n2+1)+…+(2nk+1) 任何一个奇数都可表示成2n+1这种形式。 2.9 费勒斯（Ferrers)图像 * 例如：17=9+5+3，求所对应的自共轭费勒斯图像。 首先将9写成2×4+1,按此构造自共轭费勒斯图像。 将5写成2×2+1,按此构造自共轭费勒斯图像。 将3写成2×1+1,按此构造自共轭费勒斯图像。 将这三个图像结合起来就得到了我们所要求的图像。 2.9 费勒斯（Ferrers)图像 * n拆分成若干奇数和可以如下表示： n=(2n1+1)+(2n2+1)+…+(2nk+1) 构造一个Ferrers图像，其第一行，第一列都是n1+1格，对应于2n1+1， 第二行，第二列各n2+2格，对应于2n2+1。 以此类推。由此得到的Ferres图像是自共轭的。 2.9 费勒斯（Ferrers)图像 * 例1 若有1克、2克、3克、4克的砝码各一枚，问能称出几种可能的重量。 解： 单独1克砝码的母函数为1+x 单独2克砝码的母函数为1+x2， 单独3克砝码的母函数为1+x3, 单独4克砝码的母函数为1+x4。 2.8：整数的拆分 （1+x)(1+x2)(1+x3)(1+x4) =1+x+x2+2x3+2x4+2x5+2x6+2x7+x8+x9+x10 * 第2章 递推关系与母函数 2.1 递推关系 2.2 母函数(生成函数) 2.3 Fibonacci数列 2.4 优选法与Fibonacci序列的应用 2.5 母函数的性质 2.6 线性常系数齐次递推关系 2.7 关于常系数非齐次递推关系 2.8 整数的拆分 2.9 ferrers图像 2.10 拆分数估计 2.11 指数型母函数 2.12 广义二项式定理 2.13 应用举例 2.14 非线性递推关系举例 2.15 递推关系解法的补充 * 2.8：整数的拆分 1、拆分的概念 2、拆分的模型 3、拆分算法:递归实现 4、用母函数讨论拆分数 * 2.8：整数的拆分 所谓整数的拆分，是指把一个正整数拆分成若干正整数的和。不同的拆分法的数目称为拆分数 例如：考虑正整数4的拆分数： 4=4，4=3+1，4=2+2，4=2+1+1，4=1+1+1+1 通常用p(n)表示整数n拆分成若干正整数的和的拆分数，也可说成方案数 例如p(4)=5。 1、拆分的概念 * (1)、C(n,r) 2、拆分的模型 2.8：整数的拆分 从n个不同的球中取出r个,放进r个相同的盒子中,不许空盒,有多少种放法. (2)、P(n,r) 从n个不同的球中取出r个,放进r个不相同的盒子中,不许空盒,有多少种放法. * (3)、从n个不同元素中取r个允许重复的组合 2.8：整数的拆分 r个相同的球放进n个不同的盒子中,允许空盒,有多少种放法. 以正整数4为例： 4=4，4=3+1，4=2+2，4=2+1+1，4=1+1+1+1 (4)、正整数n的拆分数 * 正整数n的拆分，相当于把n个无区别的球放进n个无区别的盒子，盒子中允许放一个以上的球，也允许空着 以正整数4为例，球的放法如下： 4=4，4=3+1，4=2+2，4=2+1+1，4=1+1+1+1 ○○ ○○ ○ ○○ ○ 2.8：整数的拆分 *** * 3、拆分算法:递归实现 定义一个函数Q(n,m)：表示整数n的所有加数都不超过m的拆分数。 n的拆分数就可以表示为Q(n,n) Q(n,n)有以下递归关系 (1)Q(n,n)=1+Q(n,n-1) 停止条件： (1)Q(n,1)=1 (2)Q(1,m)=1 2.8：整数的拆分 Q(n,m)有以下递归关系 (2)Q(n,m)=Q(n,m-1)+Q(n-m,m) * int divinteger(int n,int m) {if (n1||m1) printf(“error”); else if(n=1||m=1) return(