母函数与指数型母函数.pptVIP

特殊的，当ai=i时，对应的母函数为： 例14 把整数N无序拆分成奇整数的和，允许重复，求不同的拆分数。 这相当于在上例中把ai取成奇数，因此拆分数对应的母函数为： 例15 把整数N无序拆分成2的幂次的和，求不同的拆分数。 这相当于把N拆分成1,2,4,8,…的和，但不允许重复。因此拆分数对应的母函数为： 例16 把整数N无序拆分1,2,…,m的和，允许重复，求不同的拆分数。若要求m至少出现一次呢？ 若无要求，由例13可知其母函数为： 若要求m至少出现一次，则拆分数对应的母函数为： 这个等式的组合意义很明显：整数n拆分成1到m的和的拆分数减去拆分成1到m-1的和的拆分数，即为至少出现一个m的拆分数。 显然有 设bN表示N剖分成不同正整数和的剖分数，则其对应的母函数为： 定理1 整数剖分成不同整数的和的剖分数(不允许重复)等于剖分成奇数的剖分数(允许重复)。 设bN表示N剖分成重复数不超过2的正整数之和的剖分数，则其对应的母函数为： 定理2 N剖分成其他数之和但重复数不超过2，其剖分数等于它剖分成不被3整除的数的和的剖分数。 定理3 N被剖分成一些重复次数不超过k次的整数的和，其剖分数等于被剖分成不被k+1除尽的数的和的剖分数。 定理4 对任意整数N，它被无序剖分成2的幂次的和的剖分方式一定唯一。 例17 若有1、2、4、8、16克的砝码各一枚，问能称出那几种质量？有几种可能方案？ 这说明用这些砝码可以称出从1克到31克的质量，而且方案都是唯一的。 实际上这说明整数的二进制表示是唯一的。 4. Ferrers图像 一个从上而下的n层格子组成的图像，mi为第i层的格子数。 当mi≥mi+1，即上层的格子数不少于下层的格子数时，称之为Ferrers图像，如下图： 每一层至少有一个格子。 绕虚线轴旋转所得的图仍然是Ferrers图像。这样的两个Ferrers图像称为一对共轭的Ferrers图像。 (1) 整数n拆分成k个数的和的拆分数，与数n拆分成最大数为k的拆分数相等。 因为整数n拆分成k个数的和的拆分可以用一个k行的图像表示。所得的Ferrers图像的共轭图像最上面一行有k个格子。例如： 利用Ferrers图像可以得到一些关于整数拆分的结果： 24=6+6+5+4+3 5个数，最大数为6 24=5+5+5+4+3+2 6个数，最大数为5 理由和(1)相类似。 因此，拆分成最多不超过m个数的和的拆分数的母函数是： (2) 整数n拆分成最多不超过m个数的和的拆分数，与n拆分成最大不超过m的拆分数相等。 正好拆分成m个数的和的拆分数的母函数为 (3) 整数n拆分成互不相同的若干奇数的和的的拆分数，与n拆分成自共轭的Ferrers图像的拆分数相等。 设整数n拆分为n=(2n1+1)+(2n2+1)+…+(2nk+1)，其中n1n2…nk。 构造一个Ferrers图像，第一行第一列都是n1+1格，对应于2n1+1，第二行第二列都是n2+1格，对应于 2n2+1，依此类推。 这样得到的Ferrers图像一定是自共轭的。 反过来，自共轭的Ferrers图像也可以对应到一些不同奇数的和。 例如17=9+5+3对应的Ferrers图像为： (4) 正整数n剖分成不超过k个数的和的剖分数，等于将n+k剖分成恰好k个数的剖分数。 不超过k层的Ferrers图像的每一层加上一个格子，一一对应到一个刚好k层的Ferrers图像。 5. 指数型母函数 考虑n个元素组成的多重集，其中a1重复了n1次，a2 重复了n2次，…，ak重复了nk次，n=n1+n2+…+nk。从中取r个排列，求不同的排列数。 若r=n，即考虑n个元素的全排列，则不同的排列数为： 但是对于一般的r，情况就比较复杂了。 8 7 6 5 4 3 2 3 2 5 4 3 2 3 2 2 3 2 3 6 9 10 9 6 3 1 ) 1 ( ) 2 3 3 2 1 ( ) 1 )( 1 )( 1 ( ) ( x x x x x x x x x x x x x x x x x x x x x x x x x G + + + + + + + + = + + + + + + + + = + + + + + + + + = 先看一个具体的问题：假设有8个元素，其中a1重复3次，a2重复2次，a3重复3次。从中取r个组合，其组合数为cr，则其对应的母函数为： 从x4的系数可知，从这8个元素中取4个组合，不同的组合数为10。 这10个组合可从下面的展开式中得到： 其中4次方项表示了所有从8个元素中取4个的组合方案。 例如 表示一个a1三个a3的组合， 表示两个a1两个a3的组合，依此类推。 接下来讨论从这8个元素中取4个的不同排