离散数学：聊聊生成函数的郁闷

聊聊生成函数的郁闷

最近拿着一本离散数学呆呆地发愣…生成函数四个大字搞得我无限自闭，那么就来聊聊这天杀的生成函数到底是何方神圣。

生成函数是一种表现序列的有效方法，把序列的项作为一个形式幂级数中变量x的幂的系数，由此可以解决许多类型的技术问题。

基本概念理解

定义： 实数序列a₀，a₁……，a_k，……的生成函数是无穷级数
G(x)=a₀+a₁x+……+a₆x^k+……
这叫做{a_k}的普通生成函数。

一些定理

当我们解决计数问题时，我们习惯于把它考虑为形式幂级数，我们在讨论的时候一般不涉及到收敛问题。
定理一 令f(x)=$\sum$ a_kx^k,g(x)=$\sum$ b_kx^k，那么，可以知道：
f(x)+g(x)=$\sum$(a_k+b_k)x^k和f(x)g(x)=$\sum$($\sum$a_jb_k-j)x^k
定理一只有当幂级数在一个区间收敛时才有效，但是，生成函数并不局限于这种级数。当级数不收敛时，我们可以看成是生成函数和与积的定义。
我们来看一个小小的例子来帮助我们理解：
例子： 我们可以知道1/(1-x) = 1+x+x²+x³+……，我们由定理一可以得出：1/(1-x)²=$\sum$($\sum$ 1)x^k=$\sum$ (k+1)x^k。

未完待续…