03置换群.docVIP

PAGE PAGE 14 第四节 正整数的剖分 一 正整数的剖分 正整数的剖分是将正整数表示成若干个正整数的和. 和中的每个正整数称为剖分的部分. 正整数的剖分可以是有序的, 也可以是无序的. 这里先讨论无序剖分. 问题1 用的无序的部分和表示正整数, 且不允许重复. 解 这相当于解方程, . 生成函数 特别, 当时, . 问题2 用的无序的部分和表示正整数, 且允许重复. 解 这相当于解方程, 是非负整数. 生成函数 二 剖分的一些经典计数问题 问题3 将正整数进行无序且允许重复的剖分, 方案数记作. 解 在问题2中令, 则生成函数为 这里出现无穷乘积, 在本书中没有系统理论. 问题4 将正整数进行无序且允许重复的剖分, 要求每部分是奇数, 方案数记作. 解 在问题2中令, 则生成函数为 问题5 将正整数进行无序剖分, 不允许重复, 方案数记作. 解 在问题1中令, 则生成函数为 问题6 将正整数进行无序剖分, 不允许重复, 要求每部分是2的幂, 方案数记作. 解 在问题1中令, 则生成函数为 问题7 用的无序的部分和表示正整数, 允许重复, 要求至少有一个, 方案数记作. 解 在问题2中令, 不过最后一个因子从开始. 生成函数为 三 经典计数之间的关系 定理7.1 证 定理7.2 证 定理7.3 (自学) 四 Ferrer图 问题8 将正整数进行无序剖分, 允许重复, 要求不超过个部分, 方案数记作. 直接求生成函数困难. 问题9 将正整数进行无序剖分, 允许重复, 要求每部分不大于, 方案数记作. 解 在问题2中令, 则生成函数为 定理7.4 证 用Ferrer图建立一一对应. 例1 求将6进行无序剖分, 允许重复, 要求不多于3个部分的方案数. 解 根据定理7.4, 研究每部分不大于3的剖分. 生成函数为 计算的系数为7. 五 有序剖分 定理7.5 将正整数进行有序剖分, 允许重复, 要求恰有个部分的方案数为. 证 这就是方程的正整数解的个数. 第五节 指数生成函数 一 定义 定义2 设是一个数列, 形式幂级数 称为数列的指数生成函数. 例1 是哪个数列的生成函数, 是哪个数列的指数生成函数？ 解 因此, 它是组合数的生成函数, 是排列数的指数生成函数. 或者说，生成函数是研究组合问题的工具, 而指数生成函数是研究排列问题的工具. 例2 求数列的生成函数与指数生成函数. 解 二 性质 性质 设数列,的指数生成函数分别为,, 又, 则. 证 计算系数即可. 例3 设,是两个数列, 如果, 则. 证 令, 用性质和条件, 得 . 于是, . 再用性质即可. 这样的结果称为反演公式: 从用表示的公式得到用表示的公式. 有许多反演公式, 在证明中很有用. 三 多重集的排列 用生成函数研究多重集的组合, 用指数生成函数研究多重集的排列. 而且, 前面关于生成函数的分析仍然成立. 即 一个因子对应一个元素; 因子中的幂对应可取元素的个数. 例4 设无穷重集, 求-排列数. 解: 无穷重集的指数生成函数为 . 展开得. 于是无穷重集的-排列数为. 例5 多重集的-排列, 要求每种元素至少取一个. 解 指数生成函数. 展开得 计算系数，可得方案数. 定理7.6 多重集的-排列数记作, 则数列的指数生成函数为, 其中 证 相乘即可. 例6 设, 求全排列数. 解: 根据定理7.6, 其生成函数为形如的因子的乘积. 而全排列数由乘积的最高次幂的系数确定. 于是, 有限重集的全排列数为. 例7 求的4排列数. 解: 指数生成函数为. 计算的系数, 得10. 其中4种只有一个，6种有两个. 例8 用红, 白, 蓝三种颜色涂的方格, 每个方格涂一种颜色, 要求偶数方格涂成白色, 有多少种方案? 解 指数生成函数 展开, 得系数