数论-生成函数

定义

在数学中某个序列的生成函数(母函数)是一种形式幂级数，其每一项的系数可以提供关于这个序列的信息。

使用母函数解决问题的方法称为母函数方法。

生成函数可分为很多种，如普通母函数、指数母函数、L级数、贝尔级数、狄利克雷级数等。对每个序列都可以写出以上每个类型的一个母函数。构造母函数的目的一般是为了解决某个特定的问题，因此选用何种母函数视乎序列本身的特性和问题的类型。

fib递推式

好像每一篇生成函数的博客都有这种东西

普通型生成函数

对于数列 { a 0 , a 1 , a 2 . . . a n } \{a_0,a_1,a_2...a_n\} {a0​,a1​,a2​...an​}，
设$G(x)=a_0+a_1\ast x+a_2\ast x^2+a_3\ast x^3+...+a_n\ast x^n$,
则称G(x)是数列的生成函数(generating function)。

一些公式

当$(x\in (1,-1))$时，

• $x^0+x^2+x^4+x^6...=\frac{1}{1-x^2}$
• $1\ast x^0+2\ast x^1+3\ast x^2+4\ast x^3=\frac{1}{(1-x{)}^2}$
• ${\sum }_{i=0}^{\infty }C{(}_{n+i-1}^i)\ast x^i=\frac{1}{(1-x{)}^n}$(广义二项式定理）

举个栗子

• 第一个栗子

每一项都是1的无穷数列的生成函数是？

$G(x)=x^0+x^1+x^2+x^3+...$
   $=\frac{1}{1-x}(x\in (1,-1))$

• 第二个栗子

设n∈N+，数列 { C n 0 , C n 1 , C n 2 , . . . , C n n } \{C_n^0,C_n^1,C_n^2,...,C_n^n\} {Cn0​,Cn1​,Cn2​,...,Cnn​}的生成函数是？

$G(x)=C{(}_n^0)\ast x^0+C{(}_n^1)\ast x^1+C{(}_n^2)\ast x^2+...+C{(}_n^n)\ast x^n=(x+1{)}^n$

• 第三个栗子

小明有四个盒子，盒子里分别有1,2,3,4块蛋糕。
为了保证蛋糕的口感，一旦小明打开盒子就必须把盒子里的所有蛋糕都吃掉。
小明吃了若干块蛋糕。
(1)小明可能吃了几块蛋糕（显然以小明的胃口吃得下任意数量的蛋糕）？
(2)小明吃各种数量蛋糕打开盒子的方案分别是多少？
(用生成函数求解)

设生成函数G(x);
指数为蛋糕数,系数为方案数;


对于一个盒子,我们可以选择是否打开：
第一个盒子的方案:$(x^0+x^1)$
第二个盒子的方案:$(x^0+x^2)$
第三个盒子的方案:$(x^0+x^3)$
第四个盒子的方案:$(x^0+x^4)$


四个盒子的开合相互独立;
最终方案$G(x)=(x^0+x^1)\ast (x^0+x^2)\ast (x^0+x^3)\ast (x^0+x^4)$
       $=x^0+x^1+x^2+2\ast x^3+2\ast x^4+2\ast x^5+2\ast x^6+2\ast x^7+x^8+x^9+x^{10}$


我们可以从中得知,小明可能吃到0,1,2,3,4,5,6,7,8,8,10块蛋糕;
有1种方案吃到0块,有1种方案吃到1块,有1种方案吃到2块,有2种方案吃到3块;
有2种方案吃到4块,有2种方案吃到5块,有2种方案吃到6块,有2种方案吃到7块;
有1种方案吃到8块,有1种方案吃到9块,有1种方案吃到10块;

• 第四个栗子

小明有四种盒子，每种盒子有无限个，盒子里分别有1,2,3,4块蛋糕。
为了保证蛋糕的口感，一旦小明打开盒子就必须把盒子里的所有蛋糕都吃掉。
小明吃了若干块蛋糕。
(1)小明可能吃了几块蛋糕（显然以小明的胃口吃得下任意数量的蛋糕）？
(2)小明吃各种数量蛋糕打开盒子的方案分别是多少？
(用生成函数求解)

设生成函数G(x);
指数为蛋糕数,系数为方案数;


对于一个盒子,我们可以选择打开任意个或不打开：
第一个盒子的方案:$(x^0+x^1+x^2+x^3+...)$
第二个盒子的方案:$(x^0+x^2+x^4+x^6+...)$
第三个盒子的方案:$(x^0+x^3+x^6+x^9+...)$
第四个盒子的方案:$(x^0+x^4+x^8+x^{12}+...)$


四个盒子的方案相互独立;
最终方案:$G(x)=(x^0+x^1+x^2+...)\ast (x^0+x^2+x^4+...)\ast (x^0+x^6+x^6+...)\ast (x^0+x^4+x^8+...)$


我们可以从中得知，小明可能吃了x(x∈N)块蛋糕;
有1种方案吃到0块,有1种方案吃到1块,有2种方案吃到2块,有3种方案吃到3块;
有5种方案吃到4块…

• 第五个栗子

小明有四种盒子，第一种盒子有无限个，每个装有两块蛋糕；第二种盒子有无限个，每个装有五块蛋糕；第三种盒子有四个，每个装有一块蛋糕，第四种盒子有一个，里面装有三块蛋糕。
为了保证蛋糕的口感，一旦小明打开盒子就必须把盒子里的所有蛋糕都吃掉。
小明吃了若干块蛋糕。
(1)小明可能吃了几块蛋糕（显然以小明的胃口吃得下任意数量的蛋糕）？
(2)小明吃各种数量蛋糕打开盒子的方案分别是多少？
(用生成函数求解)

设生成函数G(x);
指数为蛋糕数,系数为方案数;


对于一个盒子,我们可以选择是否打开：
第一个盒子的方案:$(x^0+x^2+x^4+x^6+...)$
第二个盒子的方案:$(x^0+x^5+x^{10}+x^{15}+...)$
第三个盒子的方案:$(x^0+x^1+x^2+x^3+x^4)$
第四个盒子的方案:$(x^0+x^3)$


四个盒子的方案相互独立;
最终方案:$G(x)=(x^0+x^2+x^4+x^6+...)\ast (x^0+x^5+x^{10}+x^{15}+...)\ast (x^0+x^1+x^2+x^3+x^4)\ast (x^0+x^3)$

指数型生成函数

数列{an}的指数型生成函数为$H(x)={\sum }_{i=0}^{\infty }\frac{a_i\ast x^i}{i!}=\frac{a_1\ast x^0}{0!}+\frac{a_2\ast x^1}{1!}+\frac{a_3\ast x^2}{2!}+...$

一些公式

果然图片才是坠好的_(:3

举个栗子

第一个栗子

小明有n个盒子，每个盒子可以容纳一块蛋糕；他有四种蛋糕，每种蛋糕有无限个。他要选择n块蛋糕装进盒子里。其中第一种蛋糕和第二种蛋糕必须打包偶数个。求不同的打包方案。（如果两种打包方案是不同的，那么必须存在至少一个盒子在两次打包中装有不同种类的蛋糕。）

设指数型生成函数H(x)，指数表示盒子数，系数表示方案数。


第一种蛋糕的方案:$(\frac{x^0}{0!}+\frac{x^2}{2!}+\frac{x^4}{4!}+...)$
第二种蛋糕的方案:$(\frac{x^0}{0!}+\frac{x^2}{2!}+\frac{x^4}{4!}+...)$
第三种蛋糕的方案:$(\frac{x^0}{0!}+\frac{x^1}{1!}+\frac{x^2}{2!}+...)$
第四种蛋糕的方案:$(\frac{x^0}{0!}+\frac{x^1}{1!}+\frac{x^2}{2!}+...)$


四种蛋糕的方案相互独立;
最终方案：
$H(x)=(\frac{x^0}{0!}+\frac{x^2}{2!}+\frac{x^4}{4!}+...{)}^2\ast (\frac{x^0}{0!}+\frac{x^1}{1!}+\frac{x^2}{2!}+...{)}^2$
   $=(\frac{e^x+e^{-x}}{2}{)}^2\ast e^{2\ast x}$
   $=\frac{e^{4\ast x}+2\ast e^{2\ast x}+1}{4}$
   $=\frac{1}{4}+{\sum }_{i=0}^{\infty }\frac{4^n+2^{n+1}}{4}\ast \frac{x^n}{n!}$


与普通生成函数相似，给n个盒子装入蛋糕的方案数为函数H(x)指数为n的项的系数$\frac{4^n+2^{n+1}}{4}$

第二个栗子

被我吃掉了。

生成函数的运算

• F+G意义为可能是两种情况中的一种
• FG意义为同时选择两种情况
• E^F意义为自我组合