定义
在数学中某个序列的生成函数(母函数)是一种形式幂级数,其每一项的系数可以提供关于这个序列的信息。
使用母函数解决问题的方法称为母函数方法。
生成函数可分为很多种,如普通母函数、指数母函数、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 ∗ x + a 2 ∗ x 2 + a 3 ∗ x 3 + . . . + a n ∗ x n G(x)=a_0+a_1*x+a_2*x^2+a_3*x^3+...+a_n*x^n G(x)=a0+a1∗x+a2∗x2+a3∗x3+...+an∗xn,
则称G(x)是数列的生成函数(generating function)。
一些公式
当 ( x ∈ ( 1 , − 1 ) ) (x∈(1,-1)) (x∈(1,−1))时,
- x 0 + x 2 + x 4 + x 6 . . . = 1 1 − x 2 x^0+x^2+x^4+x^6...=\frac{1}{1−x^2} x0+x2+x4+x6...=1−x21
- 1 ∗ x 0 + 2 ∗ x 1 + 3 ∗ x 2 + 4 ∗ x 3 = 1 ( 1 − x ) 2 1*x^0+2*x^1+3*x^2+4*x^3=\frac{1}{(1-x)^2} 1∗x0+2∗x1+3∗x2+4∗x3=(1−x)21
- ∑ i = 0 ∞ C ( n + i − 1 i ) ∗ x i = 1 ( 1 − x ) n \sum_{i=0}^\infty C(_{n+i-1}^i)*x^i=\frac{1}{(1-x)^n} ∑i=0∞C(n+i−1i)∗xi=(1−x)n1(广义二项式定理)
举个栗子
每一项都是1的无穷数列的生成函数是?
G ( x ) = x 0 + x 1 + x 2 + x 3 + . . . G(x)=x^0+x^1+x^2+x^3+... G(x)=x0+x1+x2+x3+...
= 1 1 − x ( x ∈ ( 1 , − 1 ) ) =\frac{1}{1-x}(x∈(1,-1)) =1−x1(x∈(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,