生成函数(母函数)

前言

昨天晚上学习了生成函数。终于从多项式的深渊中爬出来找到了一丝希望。写篇博客纪念一下似乎友善一些的生成函数(母函数)。(叫生成函数好像比母函数好听点)

定义

生成函数是用于对应一个无穷系列的幂函数。
一般的生成函数形式为：
$$G(x)=g_0+g_{1}x+g_{2}x...=\sum _{n\ge 0}{g}_n{x}^n$$
也可以将系数提出来写成：
$$<g_0,g_1,g_2,...,g_n>$$
例如，$<1,1,1,1,1,...>⟺$ $G(x)=1+x+x^2+...$

闭形式

对于生成函数$G(x)=1+x+x^2+...={\sum }_{n\ge 0}{x}^n$，可将它看做一个公比为x的等比数列。根据等比数列求和公式，它等价于
$$\frac{1-x^n}{1-x}$$
，在这里，我们若设$0<x<1$，因为$n$是无穷大，所以$x^n$趋近于$0$，可以约掉，得
$$\frac{1}{1-x}$$
当然，这里是因为项数无限才能这样约，对于有限项是不能直接约的。

基本操作

都比较显然，不详细说明

放缩

$$c{g}_0,c{g}_1,c{g}_2...$$=
$$cG(x)=g_0+g_{1}x+g_2{x}^2+...$$

加减法

$$<f_0\pm g_0,f_1\pm g_1,...>$$=
$$F(x)\pm G(x)=(f_0\pm g_0)+(f_1\pm g_1)x+(f_2\pm g_2)+...$$

右移

$$x^{k}G(x)=g_0{x}^k+g_1{x}^{k+1}+g_2{x}^{k+2}+...$$

求导

$$G(x)=g_0+g_{1}x+g_2{x}^2+g_3{x}^3+...$$
$$G^{\prime }(x)=g_1+2g_{2}x+3g_3{x}^2$$
举个栗子：
$$G(x)=1+x+x^2+x^3+...=\frac{1}{x-1}$$
$$G^{\prime }(x)=1+2x+3x^2+4x^3+...=\frac{1}{(x-1{)}^2}$$
$$<1,2,3,...>⟺\frac{1}{(x-1{)}^2}$$

卷积

$$S(x)=F(x)\cdot G(x)=(f_0+f_{1}x+f_2{x}^2+...)(g_0+g_{1}x+g_2{x}^2+...)$$
$$s_i=\sum _{j=0}^{j=i}{f}_j{g}_{i-j}$$

简单序列对应的母函数

$$G(x)=(1+x+x^2+x^3+...{)}^m=\frac{1}{(1-x{)}^m}$$
若
$$x_1+x_2+x_3+...+x_m=k$$
则$g_k$为这个不定方程非负整数解的个数:
$$g_k=C_{m+k-1}^{m-1}$$
得到：
$$\frac{1}{(1-x{)}^m}=<1,C_m^{m-1},C_{m+1}^{m-1},C_{m+2}^{m-1},...>$$

一道例题

指数型母函数

咕咕咕