生成函数——OGF学习笔记

背景：

$\text{OZY}$师兄来$\text{diss}$我们了。
$\text{EGF}$学习笔记详见：生成函数——$\text{EGF}$学习笔记。

一些定义：

好像没什么用？
级数： 级数是指将一个无穷数列 的项依次用加号连接起来的函数。
当$n\to \infty ,f_n\to 0$时，则称级数收敛，否则称计数发散。在级数求和中，最后的结果可能是一个具体数值，也可能是一个函数。
幂级数： 形如${\sum }_{n=0}^{\infty }{a}_n(x-x_0{)}^n$的即为幂级数。
其中$x_0$是一个常数，$a_0,a_1,a_2...a_n$是这个幂级数的系数
形式幂级数： 可以看做也是不讨论幂级数敛散性，也就是将其中的不定元$x$仅仅看作是一个代数对象，而不是任何具体数值的时候写出的幂级数。生成函数就是一种形式幂级数，因此不需要考虑它是否收敛。

生成函数定义：

$\text{OGF}$：定义$f_x={\sum }_{i=0}^n{a}_i{x}^i$为这个序列的普通生成函数（$a_i$为常数）。

常见的$\text{OGF}$：

$$\sum _{i=0}^n{x}^i=\frac{x^{n+1}-1}{x-1}=\frac{1-x^{n+1}}{x-1}$$
另$x\to 0$，有：
$$\begin{array}{rl}& \sum _{i=0}^{\infty }{x}^i=\frac{1-x^{\infty }}{1-x}=\frac{1}{1-x}\\ & \sum _{i=0}^{\infty }{a}^i{x}^i=\frac{1}{1-ax}\\ & \sum _{i=0}^{\infty }(i+1)x^i=\frac{1}{(1-x{)}^2}\\ & \sum _{i=0}^{\infty }(-1{)}^i{x}^i=\frac{1}{1+x}\end{array}$$
然而像因式分解一样，我们必须掌握其相反的形式。
$$\begin{array}{rl}& \frac{1}{1-x}=\sum _{i=0}^{\infty }{a}^i{x}^i\\ & \frac{1}{(1-x{)}^m}=\sum _{n\in N_{+}}{C}_{n+m-1}^{m-1}{x}^n\\ & \frac{1}{(1-ax{)}^m}=\sum _{n\in N_{+}}{C}_{n+m-1}^{m-1}{a}^n{x}^n\end{array}$$

证明一个有用的结论（$\frac{1}{(1-x{)}^m}=({\sum }_{i=0}^{\infty }{x}^i{)}^m={\sum }_{n\in N_{+}}{C}_{n+m-1}^{m-1}{x}^n$）：
我们知道多项式乘法的本质是一位一位相乘，最后相加，因此对于可以构成$x_n$的我们可以写成如下形式：${\sum }_{i=1}^m{A}_i=n$，其中的$A_i$表示你在第$i$个不等式选了$A_i$作为$x$的指数。
解决的方式当然是插板法，故最后的答案为$C_{n+m-1}^{m-1}$。
下面的一条同理，只是加上一个系数。

二项式定理与广义二项式定理：

二项式定理：$$(x+y{)}^n=\sum _{k=0}^n{(}_k^n)x^{n-k}{y}^k$$

其中${(}_k^n)=C_n^k=\frac{n!}{k!(n-k)!}$是组合数。


当$n$不为非负整数时，$k$取不到$n$，设$\alpha$为任意实数，因此有：
广义二项式定理：$$(x+y{)}^{\alpha }=\sum _{k=0}^{\infty }{(}_k^{\alpha })x^{\alpha -k}{y}^k$$
其中${(}_k^{\alpha })=\frac{\alpha (\alpha -1)(\alpha -2)...(\alpha -k+1)}{k!}$是形式意义上的组合数。
证明不会。

一些例题：

$\text{T1}$：

$\text{que}$：
三种硬币，面值为$1,2,5$，每种各有$a,b,c$个，求不能组成的最小的面值。

$\text{sol}$：
而在这一题，假设当前硬币的面值为$1$，那么可以用$x^2,x^3,...,x^a$来表示这$a$个硬币，同理$x,x^2,x^4,...,x^{2b}$表示面值为$2$的，$x^5,x^{10},x^{15},...,x^{5c}$来表示面值为$5$的。
由于我们可以在当前方案中不选一种或两种硬币，因此用常数$1=x_0$来表示当前不选。因此这三种的生成函数分别是：${\sum }_{i=0}^a{x}^i,{\sum }_{i=0}^b{x}^{2i},{\sum }_{i=0}^c{x}^{5i}$,
最后乘在一起，即${\sum }_{i=0}^a{x}^i{\sum }_{i=0}^b{x}^{2i}{\sum }_{i=0}^c{x}^{5i}$，看看最小的为$0$的系数是什么，其对应的位置就是最后答案。
为什么？考验我们对生成函数的理解。我们知道多项式乘法的本质是一位一位相乘，最后相加。因此，我们可以在认为其指数相加的和就是你选到的总面值（$1$的指数为$1$的倍数，$2$的指数为$2$的倍数，$5$的指数为$5$的倍数），判断当前面值是否出现就看前面的系数是否为$0$即可。
有点感性，感性理解就好了。

$\text{T2}$：

$\text{que}$：
现在有两个商店，价格为$i$的物品，分别有$i$件，问你在每个商店买一个物品，花费$n$元有多少种方案。

$\text{sol}$：
思路同$\text{T1}$，写出其生成函数为${\sum }_{i=0}^{\infty }i{x}^i$。
${\sum }_{i=0}^{\infty }i{x}^i={\sum }_{i=0}^{\infty }i\cdot x\cdot x^{i-1}=x{\sum }_{i=0}^{\infty }i{x}_{i-1}$
我们不用在意$x$的值，因此另$x\to 0$，套用上面的式子${\sum }_{i=0}^{\infty }(i+1)x_i=\frac{1}{(1-x{)}^2}$，得到结果为$\frac{x}{(1-x{)}^2}$。
$ans=({\sum }_{i=0}^{\infty }{x}_i{)}^2=[\frac{x}{(1-x{)}^2}{]}^2=\frac{x^2}{(1-x{)}^4}$。因为我们只需要在乎其在第$n$个位置的取值，而分子为$x^2$，相当于数列向右两位，因此$n$代表$n-2$，套回$\frac{1}{(1-x{)}^m}={\sum }_{n\in N_{+}}{C}_{n+m-1}^{m-1}{x}^n$，即$m=4,$因此结果为$C_{n-2+4-1}^{4-1}=C_{n+1}^3$。

$\text{T3}$：

$\text{que}$：
悄悄告诉你$\text{bzoj}3028$权限题。

$\text{sol}$：
其实还是同样的道理。
列出生成函数。
承德汉堡：${\sum }_{i=0}^{\infty }{x}^{2i}$，由等比数列求和公式可推得$=\frac{1}{1-x^2}$；
可乐：${\sum }_{i=0}^1{x}^i=x^0+x^1=1+x$；
鸡腿：${\sum }_{i=0}^2{x}^i$，由等比数列求和公式可推得$=\frac{x^3-1}{x-1}$。
蜜桃多：${\sum }_{i=0}^{\infty }{x}^{2i+1}={\sum }_{i=0}^{\infty }{x}^{2i}\cdot x=x{\sum }_{i=0}^{\infty }{x}^{2i}=\frac{x}{1-x^2}$；
鸡块：${\sum }_{i=0}^{\infty }{x}^{4i}$，由等比数列求和公式可推得$=\frac{1}{1-x^4}$；
包子：${\sum }_{i=0}^3{x}^i$，由等比数列求和公式可推得$=\frac{x^4-1}{x-1}$
土豆片炒肉：${\sum }_{i=0}^1{x}^i=x^0+x^1=1+x$；
面包：${\sum }_{i=0}^{\infty }{x}^{3i}=\frac{1}{1-x^3}$
最后全部乘在一起，化简得：$\frac{x}{(1-x{)}^4}$。
因为我们只需要在乎其在第$n$个位置的取值，而分子为$x$，相当于数列向右偏一位，因此$n$代表$n-1$，套回$\frac{1}{(1-x{)}^m}={\sum }_{n\in N_{+}}{C}_{n+m-1}^{m-1}{x}^n$，即$m=4,$因此结果为$C_{n-1+4-1}^{4-1}=C_{n+2}^3$。

$\text{T4}$：

$\text{que}$：
求$a_i=i^2$的生成函数。

$\text{sol}$：
我们设：
$$F(x)=\sum _{i=0}^{\infty }{i}^2{x}^i$$

则有：
$$x\cdot F(x)=x\cdot \sum _{i=0}^{\infty }{i}^2{x}^i=\sum _{i=0}^{\infty }{i}^2{x}^{i+1}$$

由于$F(0)=0$，因此我们可以向右平移一位。
$$\begin{array}{rl}F(x)& =\sum _{i=1}^{\infty }{i}^2{x}^i\\ x\cdot F(x)& =\sum _{i=1}^{\infty }(i-1{)}^2{x}^i\end{array}$$

两式相减，有：
$$\begin{array}{rl}(1-x)\cdot F(x)& =\sum _{i=1}^{\infty }(i^2-(i-1{)}^2)x^i\\ (1-x)\cdot F(x)& =\sum _{i=1}^{\infty }(2i-1)x^i\\ (1-x)\cdot F(x)& =\sum _{i=1}^{\infty }2i{x}^i-\sum _{i=1}^{\infty }{x}^i\\ (1-x)\cdot F(x)& =2x\sum _{i=1}^{\infty }i{x}^{i-1}-(\sum _{i=0}^{\infty }{x}^i-x^0)\\ (1-x)\cdot F(x)& =2x\sum _{i=1}^{\infty }(i+1)x^i-(\frac{1}{x-1}-1)\\ (1-x)\cdot F(x)& =2x\cdot \frac{1}{(1-x{)}^2}-\frac{x}{1-x}\\ (1-x)\cdot F(x)& =\frac{x(x+1)}{(1-x{)}^2}\\ F(x)& =\frac{x(x+1)}{(1-x{)}^3}\end{array}$$

$\text{T5}$：

$\text{que}$：
求$a_1=1,a_{n+1}=2a_n+3^n$的生成函数和通项式。

$\text{sol}$：
不妨整体左移一位，使得$a_0=1$。
设生成函数为$F$。
$[1]$：怎么解决$a_{n+1}$从$a_n$解决过来的问题呢。
我们考虑到$xF$的含义是将$F$整体右移一位，与$a_{n+1}=a_n$相符，再带上个系数$2$，问题貌似解决了。
$[2]$：怎么解决$3^n$。
我们有这样一条式子，${\sum }_{i=0}^{\infty }{a}^i{x}^i=\frac{1}{1-ax}$，因此当$a=3$时，前面的系数为$3^i$，满足我们对$3^n$的需要。我们在后面加上个$\frac{1}{1-3x}$，问题貌似解决了。
$[2]$：怎么解决向右平移一位后$F(0)=a_0$的问题。
当$x=0$时，$\frac{1}{1-3x}=1$，而$F(0)=a_0=1$，貌似没有问题。

因此我们有：
$$\begin{array}{rl}F& =2xF+\frac{1}{1-3x}\\ F& =\frac{1}{(1-2x)(1-3x)}\end{array}$$

裂项一下，我们有：
$$F=x\left(\frac{1}{1-3x}-\frac{1}{1-2x}\right)$$
我们有这样一条式子，${\sum }_{i=0}^{\infty }{a}^i{x}^i=\frac{1}{1-ax}$，因此$a$分别为$3,2$，带入回去，得到：
$$F[x^n]=x\left(3^n-2^n\right)$$

$x$相当于向右移一位，因此$n$代表$n-1$，所以：
$$F[x^n]=3^{n-1}-2^{n-1}$$
因为一开始你的$a$整体左移了一位，因此把$n$当做$n+1$即可。
因此最后的结果就是：$3^n-2^n$。

$\text{T6}$：

$\text{que}$：
求$\text{Catalan number}$的生成函数和通项式。

$\text{sol}$：
$$F(x)=\sum _{n=0}^{\infty }\left([n=0]+\sum _{i=0}^{n-1}{f}_i{f}_{n-i-1}\right)x^n$$

当$n=0$时，$[n=0]$才会对$x^n$产生贡献（$[n=0]x^n=1\ast 1=1$），而此时${\sum }_{i=0}^{n-1}{f}_i{f}_{n-i-1}=0$，因此可以提出，得：

$$\begin{array}{rl}F(x)& =1+\sum _{n=1}^{\infty }\left(\sum _{i=0}^{n-1}{f}_i{f}_{n-i-1}\right)x^n\\ F(x)& =1+x\sum _{n=0}^{\infty }\left(\sum _{i=0}^{n-1}{f}_i{f}_{n-i-1}\cdot x^i{x}^{n-1-i}\right)\\ F(x)& =1+x\sum _{n=0}^{\infty }\left(\sum _{i=0}^{n-1}{f}_i{x}^i\cdot f_{n-i-1}{x}^{n-1-i}\right)\end{array}$$

容易发现里面是一个卷积的形式，因此有：
$$F(x)=1+x{F}^2(x)$$

解得：
$$F(x)=\frac{1\pm \sqrt{1-4x}}{2x}$$

当$x=0$时，$F(x)=\frac{2}{0},F(x)=\frac{0}{0}$。
因为$F(0)=0$，因此舍去前者，取后者。
故：
$$F(x)=\frac{1-\sqrt{1-4x}}{2x}$$

怎么展开？
$$\sqrt{1-4x}=(1-4x{)}^{\frac{1}{2}}$$

套入广义二项式定理：$(x+y{)}^{\alpha }={\sum }_{k=0}^{\infty }\frac{\alpha (\alpha -1)(\alpha -2)...(\alpha -k+1)}{k!}{x}^{n-k}{y}^k$，即此时$\alpha =\frac{1}{2},x=1,y=-4x$得：
$$(1-4x{)}^{\frac{1}{2}}=\sum _{k=0}^{\infty }\frac{\frac{1}{2}(\frac{1}{2}-1)(\frac{1}{2}-2)...(\frac{1}{2}-k+1)}{k!}{1}^{n-k}(-4x{)}^k$$

上下同时乘上$2^k$，且上面的$2^k$平均分到这$k$个项中，得到：
$$(1-4x{)}^{\frac{1}{2}}=\sum _{k=0}^{\infty }\frac{1(1-2)(1-4)...(1-2k+2)}{2^{k}k!}(-4x{)}^k$$

上面提取$k-1$个$-1$（除了第$1$项，均提取一个），得：
$$\begin{array}{rl}(1-4x{)}^{\frac{1}{2}}& =\sum _{k=0}^{\infty }\frac{(-1{)}^{k-1}1\ast 1\ast 3\ast ...\ast (2k-3)}{2^{k}k!}(-4x{)}^k\\ (1-4x{)}^{\frac{1}{2}}& =\sum _{k=0}^{\infty }\frac{(-1{)}^{k-1}1\ast 3\ast ...\ast (2k-3)}{2^{k}k!}(-4x{)}^k\end{array}$$

上下同时乘上$2\ast 4\ast 6\ast ...\ast (2k-2)$，则上面变成$1\ast 2\ast 3\ast ...\ast (2k-2)=(2k-2)!$，下面提取一个$2$，相当于乘上$2^{k-1}\ast 2\ast 3\ast ...\ast (k-1)=2^{k-1}\ast (k-1)!$得：

$$\begin{array}{rl}(1-4x{)}^{\frac{1}{2}}& =\sum _{k=0}^{\infty }\frac{(-1{)}^{k-1}(2k-2)!}{2^k\ast 2^{k-1}\cdot (k-1)!k!}(-4x{)}^k\\ (1-4x{)}^{\frac{1}{2}}& =\sum _{k=0}^{\infty }\frac{(-1{)}^{k-1}(2k-2)!}{2^{2k-1}(k-1)!k!}(-2^{2}x{)}^k\\ (1-4x{)}^{\frac{1}{2}}& =\sum _{k=0}^{\infty }\frac{(-1{)}^{k-1}(2k-2)!}{2^{2k-1}(k-1)!k!}\cdot (-1{)}^k\cdot 2^{2k}{x}^k\end{array}$$

约分，得：
$$(1-4x{)}^{\frac{1}{2}}=\sum _{k=0}^{\infty }2\frac{(-1{)}^{2k-1}(2k-2)!}{(k-1)!k!}{x}^k$$

因为$2k-1$一定为奇数，所以$(-1{)}^{2k-1}=-1$：
$$(1-4x{)}^{\frac{1}{2}}=-\sum _{k=0}^{\infty }2\frac{(2k-2)!}{(k-1)!k!}{x}^k$$

带回$F(x)=\frac{1-\sqrt{1-4x}}{2x}$，得：
$$\begin{array}{rl}F(x)& =\frac{1-(-{\sum }_{k=0}^{\infty }2\frac{(2k-2)!}{(k-1)!k!}{x}^k)}{2x}\\ F(x)& =\frac{1+{\sum }_{k=0}^{\infty }2\frac{(2k-2)!}{(k-1)!k!}{x}^k}{2x}\end{array}$$

因为$F(0)=1$，不妨丢掉它，得：

$$\begin{array}{rl}F(x)& =\frac{1+{\sum }_{k=1}^{\infty }2\frac{(2k-2)!}{(k-1)!k!}{x}^k-1}{2x}\\ F(x)& =\frac{2{\sum }_{k=1}^{\infty }\frac{(2k-2)!}{(k-1)!k!}{x}^k}{2x}\\ F(x)& =\sum _{k=1}^{\infty }\frac{(2k-2)!}{(k-1)!k!}{x}^{k-1}\end{array}$$

整体右移一位，即$k$表示$k+1$得：
$$F(x)=\sum _{k=1}^{\infty }\frac{(2k)!}{k!(k+1)!}{x}^k$$

$\text{T7}$：

$\text{que}$：
求$\text{Fibonacci sequence}$的生成函数和通项式。

$\text{sol}$：
由$f_n=f_{n-1}+f_{n-2},f_0=0,f_1=1,f_2=1$可得：
$$F=Fx+F{x}^2+x$$

$$F=\frac{x}{1-x-x^2}$$

$(1-x-x^2)$怎么因式分解呢？
待定系数法。
设$(1+ax)(1+bx)=(1-x-x^2)$，解得$a=-\frac{1\pm \sqrt{5}}{2},b=-\frac{1\mp \sqrt{5}}{2}$。我们随便取一个点都可以成立，因此有：
$$F=\frac{x}{(1-\frac{1+\sqrt{5}}{2}x)(1-\frac{1-\sqrt{5}}{2}x)}$$

考虑裂项。
还是用待定系数法。
设$\frac{A}{1+ax}+\frac{B}{1+bx}=\frac{x}{(1-\frac{1+\sqrt{5}}{2}x)(1-\frac{1-\sqrt{5}}{2}x)}$，解得：$A=\frac{1}{\sqrt{5}},B=-\frac{1}{\sqrt{5}}$，因此有：
$$F=\frac{\frac{1}{\sqrt{5}}}{1-\frac{1+\sqrt{5}}{2}x}+\frac{-\frac{1}{\sqrt{5}}}{1-\frac{1-\sqrt{5}}{2}x}$$

$$F=\frac{1}{\sqrt{5}}\left(\frac{1}{1-\frac{1+\sqrt{5}}{2}x}-\frac{1}{1-\frac{1-\sqrt{5}}{2}x}\right)$$
因为${\sum }_{i=0}^{\infty }{a}^i{x}^i=\frac{1}{1-ax}$，带入得：
$$[x^n]F=\frac{1}{\sqrt{5}}\left((\frac{1+\sqrt{5}}{2}{)}^n-(\frac{1-\sqrt{5}}{2}{)}^n\right)$$