acm组合数学的艺术2精选.ppt

1.用Pk(n)表示n拆分成1,2,…，k的允许重 复的方法数。 2.用Po(n)表示n拆分成奇整数的方法数。 3.用Pd(n)表示n拆分成不同的整数的方法数。 4.用Pt(n)表示n拆分成2的不同幂(即1，2，4，8，…)的方法数。  定义4.7 由上面的讨论和定理4.2即可得 推论1｛P3(n)｝的普通母函数是 推论2｛Pk(n)｝的普通母函数是 推论3｛P(n)｝的普通母函数是 在定理4.2中，令a,b,c,…是奇整数，我们又有 推论4｛P0(n)｝的普通母函数是 的级数展开式中xn项的系数就是把n拆分成a,b,c,…的和，且a,b,c,…最多只出现一次的方法数。 定理4.3 设a,b,c,…都是大于0的正整数，则 由定理4.3即可得 推论1｛Pd(n)｝的普通母函数是 推论2｛Pi(n)｝的普通母函数是 定理4.4(Euler)对于正整数n都有 证明： 上式的左端正好是Pd(n)的普通母函数(由定理4.3的推论1)，而上式的右端，可将分子分母的所有偶次幂约去就得到  以上我们证明了把n拆分成奇整数的和的方式数等于把n拆分成不相同的整数的和的方式数。 这正好是P0(n)的普通母函数(由推论4)。 ∴Po(n)=Pd(n) 2.3 Partition of integers p(x) is the number of partitions for x. For n, the number of 1’s is 0 or 1 or 2 or 3…. The power series is 1+x+x2+x3+x4+…. For n, the number of 2’s can be kept tracked by the power series 1+x2+x4+x6+x8+…. For n, the number of 3’s can be kept tracked by the power series 1+x3+x6+x9+x12+…. f(x)=(1+x+x2+x3+x4+…)(1+x2+x4+x6+x8+x10+…) (1+x3+x6+x9+…) …(1+x10+…) =1/(1-x)?1/(1-x2)? 1/(1-x3) ?…? 1/(1-x10) At last, we have the following series for p(n) by the coefficient of xn 下面我们验证当n=7的情况。 7=7 7=7 7=5+1+1 7=6+1 7=3+3+1 7=5+2 7=3+1+1+1+1 7=4+3 7=1+1+1+1+1+1+1 7=4+2+1 ∴Po(7)=5 Pd(7)=5 于是Po(7)=Pd(7)。  定理4.5(Sylvester) 对正整数n，有 Pt(n)=1 证明：我们知道，任何正整数都可唯一地用一个二进制数来表示，而一个二进制数又可唯一地表成2的幂的和。由此即得结论。 如正整数39可以表成 39=100111=20+21+22+25 下面用另一种方法来证明定理4.5。 我们知道，序列(1，1，…，1)的普通母函数是 又 而上式右端是Pt(n)的普通母函数(由定理4.3的推论2) 定理证毕。  因此，这个恒等式表明，任何正整数都可唯一地拆分成形式为 例如，对于整数349有唯一的拆分： 349=9·100+4·101+3·102 的不同部分。换句话说，任何整数的十进制表示是唯一的。 下面，我们讨论与整数拆分有着密切关系的Ferrers图。 设n的一个拆分为 n=a1+a2+…+ak 并假设a1≥a2≥a3≥…≥ak≥1。 下面画一个图,这个图由一行行的点所组成。 在第一行有a1个点， 第二行有a2个点， ……， 第k行有ak个点，称这图为Ferrers图。 整数的拆分可以用一个Ferrers图来表示，例如16=6+5+3+1+1的Ferrers 图如图4-1  当给定Ferrers图后，可以将它的行与列对换，这就得到另一个图。 显然，这个图也是一个Ferrers图。也就是说，一个Ferrers图的行与列对换所得的图仍是一个Ferrers图。 如