组合数学-Chapter VIII: 生成函数

Chapter VIII: 生成函数

在数学分析中, 我们已经对幂级数有所了解. 在当时, 我们所关心的主要是幂级数的(一致/条件)收敛性或收敛幂级数的和. 实际上, 在组合数学中, 通过构造特殊的幂级数, 我们可以将组合意义下的计数问题和幂级数相应幂次项系数的值相关联, 从而大幅地简化一些组合计数问题的难度. 这样构造的, 用于解决计数问题的幂级数通常被称为生成函数或母函数 (Generating Function). 下面, 我们对生成函数进行简要介绍.

[例]

设现有 $n$ 本完全相同的组合数学书, 并需要将它们分发给五人, 且每人至少拿到一本书. 满足这一条件的分配有多少种?

在上一章 <Chapter VII: 容斥原理> 中, 我们使用了Stirling 数解决了这一问题. 而下面, 我们将介绍一种使用生成函数解决问题的办法:

我们将五个相同的多项式 $x+x^2+\cdots +x^n$ 和每一个人相关联. 这个多项式的每一项的幂次均表示和该多项式关联的人所可能拿到的书的数量.(虽然每个人所可能拿到的书一定是有限多本的, 不过这无关紧要) 因此, 对这五本书所进行的一个分发可以表示为:
$$f(x)=(x+x^2+\cdots +x^n{)}^5.$$
显然, 现在我们所关心的是这个多项式展开式中幂次为 $n$ 的项的系数, 这个系数的值即为所有满足条件的分配的种数, 这点无需赘述.

实际上, 由于
$$\sum _{i=1}^{\infty }{x}^i=\frac{x}{1-x}=x\cdot (1+x+\cdots ),$$
我们看到
$$f(x)=\frac{x^5}{(1-x{)}^5}=x^5\cdot (\frac{d^4}{d{x}^4}\frac{1}{(1-x{)}^4}\cdot \frac{1}{4!})$$
$$=\frac{x^5}{4!}[\frac{d^4}{d{x}^4}\sum _{i=0}^{\infty }{x}^i]=\sum _{i=4}^{\infty }\left(\genfrac{}{}{0ex}{}{i}{4}\right)x^{i+1}$$
$$=\sum _{i=5}^{\infty }\left(\genfrac{}{}{0ex}{}{i-1}{4}\right)x^i.$$

因此, 所求的多项式系数为 $\left(\genfrac{}{}{0ex}{}{n-1}{4}\right).$

由此可见, 我们可以使用生成函数解决一类 “将相同的多个元素映射到彼此不同的多个元素所组成的集合中” 的问题.

下面我们再以一个经典的组合学问题作为例子:

[例]
在某个杂物店销售的水果拼盘中, 必须包含 $20$ 块水果, 这些水果可能是 苹果, 梨, 橘子或者葡萄.
假设每个拼盘中都必须包含苹果, 且最多包含三块梨, 必须包含 $4k$ 片橘子 ($k$ 为整数). 则在以上约束条件下, 可能的水果搭配有多少种?

在这一问题中, 我们同样利用类似于上个例子的方法, 构造生成函数计算系数解决问题. 按照题目要求, 我们将 “苹果” 和多项式
$$\sum _{i=1}^{\infty }{x}^i$$
相关联, 将梨的片数和多项式
$$1+x+x^2+x^3$$
相关联, 将橘子的片数与多项式
$$\sum _{i=0}^{\infty }{x}^{4i}$$
关联, 将葡萄的个数与多项式
$$\sum _{i=0}^{\infty }{x}^i$$
相关联. 则所有的水果拼盘搭配被表示为:
$$f(x)=\sum _{i=1}^{\infty }{x}^i\cdot (1+x+x^2+x^3)\cdot \sum _{i=0}^{\infty }{x}^{4i}\cdot \sum _{i=0}^{\infty }{x}^i.$$
在这个多项式中, 幂次为 $20$ 的项 $x^{20}$ 的系数即为我们所要求的结果. 下面, 计算这一系数:

显见
$$f(x)=\frac{x}{1-x}\cdot (1+x+x^2+x^3)\cdot \frac{1}{1-x^4}\cdot \frac{1}{1-x}$$
$$=\frac{x}{(1-x{)}^2}\cdot \frac{1}{1-x}=x\cdot (\frac{d^2}{d{x}^2}\frac{1}{1-x}\cdot \frac{1}{2})$$
$$=\frac{x}{2}\frac{d^2}{d{x}^2}\sum _{i=0}^{\infty }{x}^i=\frac{x}{2}\sum _{i=0}^{\infty }i(i-1)x^{i-2}$$
$$=\sum _{i=2}^{\infty }\left(\genfrac{}{}{0ex}{}{i}{2}\right)x^{i-1}=\sum _{i=1}^{\infty }\left(\genfrac{}{}{0ex}{}{i+1}{2}\right)x^i.$$
因此, 我们所要求的系数即为 $\left(\genfrac{}{}{0ex}{}{21}{2}\right)=210$.

通过以上的两个例子, 我们已经大致了解了 “生成函数” 在解决一类组合计数问题中所可以起到的作用, 以及利用它解决问题的一般思想方法与步骤. 下面, 我们对 “生成函数” 这一概念给出严格的定义:

定义8.1 (生成函数)

设
a 0 , a 1 , ⋯   , a n , ⋯ = { a n } n = 0 ∞ a_0, a_1,\cdots, a_n,\cdots = \{a_n\}_{n = 0}^{\infty} a0​,a1​,⋯,an​,⋯={an​}n=0∞​
为一个序列. 定义形式幂级数
$$f(x)=\sum _{n=0}^{\infty }{a}_n{x}^n$$
为序列 { a n } n = 0 ∞ \{a_n\}_{n = 0}^{\infty} {an​}n=0∞​ 的 生成函数.

和数学分析中所不同的是, 在这里我们所关心的对象只是这个形式幂级数中特定幂次项所对应的系数. 该幂级数的形式和我们所要解决的具体问题所提出的要求和条件相关. 在利用它解决问题时, 我们并不关心它的敛散性或求和所得的值.

命题8.1

设
$$f(x)=\sum _{i=0}^{\infty }{a}_i{x}^i,g(x)=\sum _{i=0}^{\infty }{b}_i{x}^i.$$
则有
$$f(x)\cdot g(x)=\sum _{i=0}^{\infty }(\sum _{j=0}^{\infty }{a}_j{b}_{i-j})x^i.$$

同样地, 在利用生成函数解决组合计数问题时, 仅仅依据问题要求和条件将相关的生成函数所构造出来是不够的. 我们需要将所构造出的生成函数化为一个更为一般的, 可以计算出各项系数的形式, 才算是真正解决了问题.

[例]
求序列:
1 2 , 2 2 , ⋯   , n 2 , ⋯ = { ( n + 1 ) 2 } n = 0 ∞ 1^2, 2^2, \cdots,n^2,\cdots = \{(n+1)^2\}_{n=0}^{\infty} 12,22,⋯,n2,⋯={(n+1)2}n=0∞​
的生成函数.

[解]
设
$$g(x)=\sum _{n=0}^{\infty }(n+1)x^n.$$
由于
$$\frac{1}{(1-x{)}^2}=\sum _{n=0}^{\infty }(n+1)x^n,\frac{x}{(1-x{)}^2}=\sum _{n=0}^{\infty }(n+1)x^{n+1}$$
又
$$\frac{d}{dx}\frac{x}{(1-x{)}^2}=\frac{1+x}{(1-x{)}^3},\frac{d}{dx}\sum _{n=0}^{\infty }(n+1)x^{n+1}=\sum _{n=0}^{\infty }(n+1{)}^2{x}^n$$
故
{ ( n + 1 ) 2 } n = 0 ∞ \{(n+1)^2\}_{n = 0}^{\infty} {(n+1)2}n=0∞​
的生成函数为
$$\frac{1+x}{(1-x{)}^3}.$$

[Assignment]

Find the closed form of the generating functions of:

1. { ( n + 1 ) 3 } n = 0 ∞ \{(n+1)^3\}_{n = 0}^{\infty} {(n+1)3}n=0∞​

[Solution]

Define
$$f(x)=\sum _{n=0}^{\infty }(n+1{)}^2{x}^n.$$
From the solution above, we have:
$$\frac{1+x}{(1-x{)}^3}=\sum _{n=0}^{\infty }(n+1{)}^2{x}^n.$$
also
$$\sum _{i=0}^{\infty }(n+1{)}^2{x}^{n+1}=\frac{x^2+x}{(1-x{)}^3}$$
$$\frac{d}{dx}\frac{x^2+x}{(1-x{)}^3}=\sum _{n=0}^{\infty }(n+1{)}^3{x}^n.$$
since
$$\frac{d}{dx}\frac{x^2+x}{(1-x{)}^3}=\frac{x^2+4x+1}{(1-x{)}^4}$$

The closed form of its generated function is:
$$\frac{x^2+4x+1}{(1-x{)}^4}.$$

2. { ( n + 1 ) ( n + 2 ) 2 } n = 0 ∞ \{\frac{(n+1)(n+2)}{2}\}_{n = 0}^{\infty} {2(n+1)(n+2)​}n=0∞​

[Solution]

Define
$$f(x)=\sum _{n=0}^{\infty }(n+1)x^n.$$
From the solution above, we have:
$$\frac{x}{(1-x{)}^2}=\sum _{n=0}^{\infty }(n+1)x^n.$$
$$\frac{x^3}{(1-x{)}^2}=\sum _{i=0}^{\infty }(n+1)x^{n+2}.$$
also

$$\frac{d}{dx}\frac{x^3}{(1-x{)}^2}=\sum _{n=0}^{\infty }(n+2)(n+1)x^{n+1}.$$
since
$$\frac{d}{dx}\frac{x^3}{(1-x{)}^2}=\frac{3x^2-x^3}{(1-x{)}^3}$$
$$\frac{3x-x^2}{(1-x{)}^3}=\sum _{n=0}^{\infty }(n+2)(n+1)x^n$$
The closed form of its generated function is:
$$\frac{3x-x^2}{2\cdot (1-x{)}^3}.$$