[吉林大学组合数学课件]ch05-3.pptVIP

计算机科学与技术学院 * 第五章 生成函数 5.1 生成函数的定义和性质 5.2 组合数的生成函数 5.3 指数型生成函数与多重集的排列数 5.4 Catalan数列与Stirling数列的生成函数 5.5 分拆数的生成函数 §5.5.1 有序分拆 定理5.5.1 对于n的k有序分拆 其k有序分拆数数列 的生成函数是 这个定理等价于如下分配模型：即把n个相同的球放入k个不同的盒子里，第i个盒的容量为 ，且使每盒非空的方案数为 * 推论5.5.1 若对n的k有序分拆的各分量 ( ) 没有限制，则其k有序分拆数数列 的生成函数是 ， 且 * §5.5.2 无序分拆 在3.6节中可知无序分拆和有序分拆的区别在于是否考虑分拆后的各分量的顺序， 将n分拆为k个分部（每一分部的大小不受限制）的分拆数等于将n分拆为最大分部为k（分部个数不限）的分拆数，该分拆数也记为 * 定理5.5.2 令B(n)表示正整数 的所有分拆数， Bk(n)表示 n的各分部量都不超过 k的分拆数，则它们相应的生成函数分别为 (1) (2) (3) * （1） 等于不定方程 的非负整数解的个数。因此其分拆数列的生成函数为 其中展开式中 的系数即为n的最大分项不超过k的分拆个数。 * （2） 根据定理 3.6.3知，将n分拆为k个分部（每一分部的大小不受限制）的分拆数等于将n分拆为最大分部为k（分部个数不限）的分拆数，其分拆数相当于求方程 的整数解的个数，其生成函数为 * 其中展开式中 的系数即为n的最大分项等于k的分拆个数 容易证明： ，因此 若 ，则 ，因此当 ，它们对应的生成函数的系数为零，所以 * （3） 等于不定方程 的非负整数解的个数。因此其分拆数列的生成函数为 * 推论5.5.2 n 的各分部量两两互不相同的分拆数等于 n的各分部量是奇数的分拆数。 证明 n的各分部量两两互不相同的分拆数的生成函数为 而 显然是n的各分部量是奇数的分拆 数数列的生成函数，因此结论成立. * 例 5.5.1 用1角、2角、3角的邮票贴出面值6角，求有多少种不同的方案？ 解 这是可重复的无序分拆，相应的生成函数为 显然所求为 的系数，为7，说明贴出6角面值的方案有7种。具体为： 6= 1 + 1 + 1 + 1，6 = 2 + 2 + 2，6 = 2 + 2 + 1 + 1， 6=2 + 1 + 1 + 1 + 1，6=3 + 3， 6=3 + 2 + 1，6=3 + 1 + 1 + 1. 例5.5.1中，若考虑不同面值贴的顺序，则有多少种方案。此问题留作习题 * 计算机科学与技术学院