生成函数（TBC）

生成函数

生成函数 (Generating Function) 的应用简单来说在于研究未知（通项）数列规律，用这种方法在给出递推式的情况下求出数列的通项。

对于一个数列 $a$，称$$f(x)=\sum _{i=0}^n{a}_i{x}^i$$是数列 $a$ 的 普通生成函数 (OGF)，$$g(x)=\sum _{i=0}^n{a}_i\times \frac{x^i}{i!}$$是数列 $a$ 的 指数生成函数 (EGF)。

我们总是认为生成函数是收敛的。

本局对战的剩余时间内，所有未加上标的求和符号，上标均为 $\infty$。

常见的普通生成函数

1. $\forall n\in {\mathbb{N}}^{\ast }$ 有$$\sum _{i=0}^n{x}^i=\frac{1-x^{n+1}}{1-x}$$

证明： 设 $$S=\sum _{i=0}^n{x}^i$$则$$xS=\sum _{i=1}^{n+1}{x}^i$$所以$$\begin{array}{rl}(x-1)S& =x^{n+1}-1\\ S& =\frac{x^{n+1}-1}{x-1}\\ & =\frac{1-x^{n+1}}{1-x}\end{array}$$
得证。

2. $$\sum _{i=0}{x}^i=\frac{1}{1-x}$$

证明： 设$$S=\sum _{i=0}{x}^i$$则$$xS=\sum _{i=1}{x}^i$$所以$$\begin{array}{rl}(1-x)S& =1\\ S& =\frac{1}{1-x}\end{array}$$
得证。

3. $$\sum _{i=0}(i+1)x^i=(\sum _{i=0}{x}^i{)}^2=\frac{1}{(1-x{)}^2}$$

证明： 先证明 $\forall n\in {\mathbb{N}}^{\ast }$ 有 $$(\sum _{i=0}^n{x}^i{)}^2=(\sum _{i=0}^n(i+1)x^i)+S...(\ast )$$其中 $$S=(\sum _{i=0}^{n-1}(n-i)x^{n+i+1})$$

设$$f(x)=\sum _{i=0}{x}^i$$ $[x^n]f(n)$ 表示多项式 $f(n)$ 中 $x^n$ 项之系数。则$$\begin{array}{rl}(\sum _{i=0}^n{x}^i{)}^2& =(\sum _{i=0}^n{x}^i)\cdot (\sum _{i=0}^n{x}^i)\\ & =[\sum _{i=0}^n\cdot (\sum _{j,i-j\in [0,i]}[x^j][x^{i-j}])\cdot x^i]+S...(1)\end{array}$$
因为 $i\le n$，所以有且仅有 $i+1$ 个 $j\in [0,n]$ 使 $j,i-j\in [0,i]$。

所以$$\begin{array}{rl}(\sum _{i=0}^n{x}^i{)}^2& =[\sum _{i=0}^n(i+1)x^i]+S\end{array}$$
$(\ast )$ 式得证。
令 $n\to \infty$ 使原命题得证。

4. $$\sum _{i=0}(-x{)}^i=\frac{1}{1+x}$$

证明： 令 $x=-x$ 并将原式代入 命题2 即可。

5. $\forall m\in {\mathbb{N}}^{\ast }$ 有 $$\frac{1}{(1-x{)}^m}=\sum _{n=0}{C}_{n+m-1}^{m-1}{x}^n$$

证明： 易知 $\forall m\in {\mathbb{N}}^{\ast }$ 有 $$(\sum _{i=0}^m{x}^i{)}^m=\frac{1}{(1-x{)}^m}$$

推广 $(1)$ 式，得 ( ∑ i = 0 n x i ) m = [ ∑ i = 0 n ⋅ ( ∑ { a j } ∈ [ 0 , n ] , j ∈ [ 1 , m ] , ∑ a j = i ∏ k = 0 j [ x a k ] ) ] + S (\sum_{i=0}^{n}{x^i})^m=[\sum_{i=0}^{n}·(\sum_{\{a_j\}\in[0,n],j\in[1,m],\sum{a_j}=i}{\prod_{k=0}^{j}{[x^{a_k}]}})]+S (i=0∑n​xi)m=[i=0∑n​⋅({aj​}∈[0,n],j∈[1,m],∑aj​=i∑​k=0∏j​[xak​])]+S
而 $\forall j,k$ 都有 $[a_j^k]=1$，所以只需证明 有且仅有 $C_{i+m-1}^{m-1}$ 组 { a i } \{a_i\} {ai​} 使 $\sum a_j=i$。

考虑连续的一行 $i$ 个小球，你需要在 $m-1$ 组相邻两个球之间各放一个隔板，将这 $i$ 个小球分成 $m$ 份（第 $j$ 份即为 $a_j$）。因为 $a_j$ 可能为零，也就是说隔板可能重叠。所以方案数为 $C_{i+m-1}^{m-1}$。这样我们就证明了有且仅有 $C_{i+m-1}^{m-1}$ 组 { a i } \{a_i\} {ai​} 使 $\sum a_j=i$。原命题得证。

例 1

今有 $a$ 个 $1$ 元硬币，$b$ 个 $2$ 元硬币，$c$ 个 $5$ 元硬币。求一个最小的、不能用这些硬币拼出的面值。$1\le a,b,c\le 10^3$。


设 $$\begin{array}{rl}f(x)& =\sum _{i=0}^a{x}^i\\ g(x)& =\sum _{i=0}^b{x}^{2i}\\ h(x)& =\sum _{i=0}^c{x}^{5i}\end{array}$$则 $f(x)\ast g(x)\ast h(x)$ 各个位的系数就表示拼出这个面值的方案数，答案就是这个卷积的系数为零的最低位。

例 2

今有 A、B 两个超市，价格为 $i$ 的商品各有 $i$ 件。求从两个超市各买一个商品，恰好花 $n$ 元的方案数。


生成函数$$\begin{array}{rl}f(x)& =(\sum _{i=1}i{x}^i{)}^2\\ & =x^2\cdot (\sum _{i=0}(i+1)x^i{)}^2\\ & =\frac{x^2}{(1-x{)}^4}\\ & =x^2\cdot \sum _{i=0}{C}_{i+3}^3{x}^i\end{array}$$

所以，$[x^{n-2}]({\sum }_{i=0}{C}_{i+3}^3{x}^i)=C_{n+1}^3$。此即为答案。

例 3

求函数$$f(x)=\sum _{i=0}{i}^2{x}^i$$的生成函数。


由 $\forall n\in {\mathbb{N}}^{\ast }$ 的 $$n^2=\sum _{i=1}^n(2i-1)$$得
$$\begin{array}{rl}f(x)& =\sum _{i=0}{i}^2{x}^i\\ & =\sum _{i=1}\sum _{j=i}(2i-1)x^j\\ & =\sum _{i=1}\sum _{j=i+1}(2i-1)x^j+[\sum _{i=1}(2i-1)x^i]\\ & =\sum _{i=1}\sum _{j=i+1}(2i-1)x^j+[2\times \frac{x}{(1-x{)}^2}-\frac{1}{1-x}+1]\end{array}$$
设$$\begin{array}{rl}S& =2\times \frac{x}{(1-x{)}^2}-\frac{1}{1-x}+1\\ & =\frac{x^2+x}{(1-x{)}^2}\end{array}$$则$$\begin{array}{rl}f(x)& =\sum _{i=1}\sum _{j=i+1}(2i-1)x^j+S\\ & =\sum _{i=1}(2i-1)(\sum _{j=1}{x}^j-\sum _{j=1}^i{x}^j)+S\\ & =\sum _{i=1}(2i-1)(\frac{1}{1-x}-1-\frac{x^{i+1}-x}{x-1})+S\\ & =\sum _{i=1}(2i-1)\cdot \frac{x^{i+1}}{1-x}+S\\ & =\frac{1}{1-x}(2\times \sum _{i=1}i\cdot x^{i+1}-\sum _{i=1}{x}^{i+1})+S\end{array}$$
而$$\begin{array}{rl}\sum _{i=1}i\cdot x^{i+1}& =\sum _{i=1}(i+1)\cdot x^i-2\sum _{i=1}{x}^i\\ & =\frac{1}{(1-x{)}^2}-1-2\times \frac{x}{1-x}\\ & =\frac{x^2}{(1-x{)}^2}\\ \sum _{i=1}{x}^{i+1}& =\frac{1}{1-x}-1-x\\ & =\frac{x^2}{1-x}\end{array}$$
所以$$\begin{array}{rl}f(x)& =\frac{1}{1-x}(2\times \frac{x^2}{(1-x{)}^2}-\frac{x^2}{1-x})+S\\ & =\frac{x^2+x}{(1-x{)}^3}\end{array}$$

Catalan （卡特兰）数

令 $$\begin{gathered} h(0)=0,h(1)=1, \\ h(n)=\sum _{i=0}^{n-1}h(i)\cdot h(n-i-1)(n\ge 2) \end{gathered}$$则 $h$ 是 Catalan 数。

尝试用生成函数推导 Catalan 数的通项公式。

设 $h(x)$ 的生成函数为 $f(x)$。则$$\begin{array}{rl}f(x)& =\sum _{i=0}(\sum _{j=0}f(j)\cdot f(i-j-1))x^i+1\\ & =1+x\sum _{i=0}\sum _{j=0}^{i-1}f(j)\cdot f(i-j-1)x^{n-1}\\ & =1+x\cdot f^2(x)\end{array}$$
也就是说$$f(x)=1+x\cdot f^2(x)$$$$f(x)=\frac{1\pm \sqrt{1-4x}}{2x}$$由 $f(0)=1$ 舍去＋号，所以$$f(x)=\frac{1-\sqrt{1-4x}}{2x}$$
因为 $\sqrt{1-4x}=(1-4x{)}^{\frac{1}{2}}$，由 广义二项式定理 得$$\sqrt{1-4x}=\sum _{i=0}{C}_i^{\frac{1}{2}}(-4x{)}^i$$
而$$\begin{array}{rl}{C}_n^{\frac{1}{2}}& =\frac{\frac{1}{2}(\frac{1}{2}-1)\cdot \cdot \cdot (\frac{1}{2}-n+1)}{n!}\\ & =(-1{)}^{n-1}\times \frac{1\times 1\times 3\times \cdot \cdot \cdot \times (2n-3)}{2^{n}n!}\\ & =\frac{(-1{)}^{n-1}(2n-2)!}{2^{2n-1}n!(n-1)!}\\ \sqrt{1-4x}& =-2\sum _{i=0}\frac{(2i-2)!}{i!(i-1)!}{x}^i\\ f(x)& =\sum _{i=0}\frac{(2i)!}{i!(i+1)!}{x}^i\end{array}$$
所以$$h(n)=\frac{(2n)!}{n!(n+1)!}$$

常见的指数生成函数

1. $$\sum _{i=0}\frac{x^i}{i!}=e^x$$
2. 偶数项求和。$$\sum _{i=0}\frac{x^{2i}}{(2i)!}=\frac{e^x+e^{-x}}{2}$$
3. 奇数项求和。$$\sum _{i=0}\frac{x^{2i+1}}{(2i+1)!}=\frac{e^x-e^{-x}}{2}$$

可以发现，它们与 OGF 最大的区别在于阶乘。所以，EGF 常用于解决与排列有关的问题。

例 4

用 $1,2,3,4$ 给 $n$ 个方块染色，求 $1,2$ 颜色染的方块数为偶数的方案数。

写出 $1,2$ 的生成函数$$f(x)=\sum _{i=0}\frac{x^{2i}}{(2i)!}$$
$3,4$ 的生成函数$$g(x)=\sum _{i=0}\frac{x^i}{i!}$$
则$$\begin{array}{rl}h(x)& =f^2(x)\ast g^2(x)\\ & =(\sum _{i=0}\frac{x^{2i}}{(2i)!}{)}^2\cdot (\sum _{i=0}\frac{x^i}{i!}{)}^2\\ & =(\frac{e^x+e^{-x}}{2}{)}^2\cdot e^{2x}\\ & =\frac{e^{4x}+2e^{2x}+1}{4}\\ & =\frac{1}{4}+\sum _{i=0}(\frac{4^i+2^{n+1}}{4})\frac{x^i}{i!}\end{array}$$
所以$$[x^n]h(x)=\frac{4^n+2^{n+1}}{4}$$
（To Be Continued）