[高等教育]组合数学ch03-3.pptVIP

第三章 基本计数方法及应用 一、集合的排列和组合(§3.1 ,§3.2.1 ) 二、圆排列（环排列） (§3.2.1 ) 三、排列和组合的生成 (§3.2.2 ) 四、多重集的排列和组合(§3.3 ) 五、二项式系数 (§3.4 ) 六、Stirling数 (§3.5 ) 七、分拆问题 (§3.6 ) 八、分配问题 (§3.7 ) Ferrers图，设n的一个k-分拆为 （3.6.8） 我们在水平直线上画 个点，在其下面一条直线上画 个点，且使这两条直线上的第一个点在同一条竖线上，其他点依次与上一行的点对齐；依此类推，最后在第k条直线上画 个点，第一个点与前面各行的第一个点均在同一条竖线上，其他点依次与上面各行的点对齐， 这样得到的点阵叫做n的k-分拆（3.6.8）的Ferrers图。 2，无序分拆的Ferrers图 共轭Ferrers图所对应的分拆叫做原分拆的共轭分拆 定理3.6.3 n的k-分拆的个数等于n的最大分部为k的分拆数 证明 上面定义的分拆的共轭运算是一个映射，它将n的最大分部为k的分拆映射到n的k-分拆，例如，分拆（3.6.9）是12的最大分部为5的分拆，其共轭分拆（3.6.10）是12的一个5分拆，并且这个映射显然是一一的，所以两者相等。 若n的一个分拆与其轭分拆相同，则该分拆称为n的自共轭分拆。 定理3.6.4 n的自共轭分拆的个数等于n的各分部都是奇数且两两不等的分拆的个数。 证明 我们将借助于Ferrers图建立一个n的各分部为奇数且两两不等的分拆到n的自轭分拆之间的一一对应。 设n的一个分部为奇数且两两不等的分拆为 （3.6.11） 其中 由n的分拆（3.6.11），我们构造n的一个自共轭分拆的Ferrers图。 在第1行与第1列都画n1+1个点，共有2n1+1个点； 画完第1行和第1列后，在第2行与第2列再各画n2+1个点，共2n2+1个点； ……； 在第k行与第k列再画nk+1个点，共2nk+1个点， 因为 所以如此画出的n个点的点阵图的每一行都不比下一行的点数少 因而是n的一个分拆的Ferrers图，且由上面的构造过程知道，该Ferrers图一定是对称的，当然其对应的分拆是自共轭的。 显然，上面建立的n的分部为奇数且两两不等的分拆与n的自共轭分拆之间的对应关系是一一的 所以定理的结论成立。 * * §3.5 集合的分划与Stirling数 §3.5.1 集合的分划与第二类Stirling数 1, 集合的分划的定义 3. 其中每个Si称为一个分划块，也把这个k-分划记为： 定义3.5.1 集合S的子集族 称为n元集S的一个k-分划，如果这个子集族满足 每个Si非空； 当i≠j时， 例3.5.1 集合A={1,,3,4} 的2-分划 有7个，它们是： 定义3.5.2 一个n元集合的全部k-分划的个数记为第二类Stirling数，表示为 或 S2(n,k) 2，第二类Stirling数 （1） （2） 几条性质： 证明 等式左边 是集合 的k-分划的个数，这些k-分划可以分成两类： 第1类：{an}是A的k-分划中的一块，这时，只需对集合A -{an}进行(k–1)-分划，再加上{an}这一块，就构成了A的k-分划，因此，这类分划有 个 定理3.5.1 第二类Stirling数 满足如下递推关系 第2类： {an}不是A的k-分划中单独的一块，此时，先构造A -{an}的k-分划， 共有 种方法 然后，对于A -{an}的每个k-分划，将an加到该k-分划的k个块中的某一块，从而构成A的k-分划 因此由乘法原理，集合A的此类k-分划共有 个 综上以上，由加法原理 定理3.5.2 （1） （2） 证明 由定理3.5.1中的递推关系，有 （1） （2） 这两条性质也可以用组合意义来解释： （1） 是n元集合 的2-分划 数，先取出a1,则对于 a2,a3,…, an，每个元素都有两种选择，即 与a1在同一块里或者ai与a1不在同一块里，不同的选择就构成了集合A的不同的2-分划，但这里要排除掉a2,a3,…, an，都与a