生成函数小结

1.常见模型
指数型生成函数
排列型分配问题问题：求k个不同元素的有条件n排列数
解法：求出相应的指数型生成函数，找$x^n$系数
拓展问题1：n个不同的小球放入k个不同的盒子中的方法数
解法：可以转化为k个不同的盒子去覆盖n个小球，即k个无穷元素的无条件n排列数:$k^n$

通型生成函数模型
组合型分配问题：n个相同元素放入k个不同盒子的方法数
C(n+k-1,k)

类似问题：n个不同元素放入k个相同盒子的方法数。如果每个盒子非空，则为S(n,k)——第二类斯特灵数，如果可能空，那么为$\sum_{i=1}^kS(n,i)$
但是注意：结果不等于$k^n/k!$（只有在盒子非空时才可以除以k！得到，因为两个空的不同盒子是等价的。所以这个结果是错误的）

2.常用生成函数公式：
C(-n,k)=$(-1)^kC(n+k-1,k)$,n>0
1.$e^x=\sum_{i=0}^{\infty}1/i!*x^i$
2.$e^{nx}=\sum_{i=0}^{\infty}n^i/i!*x^i$
3.$(e^x+e^{-x})/2=\sum_{i=0}^{\infty}1/(2i)!*x^{2i}$
4.$(e^x-e^{-x})/2=\sum_{i=0}^{\infty}1/(2i+1)*x^{2i+1}$
5.$\sum_{n=0}^{\infty}x^n = \frac{1}{1-x}$
6.$\sum_{n=0}^{\infty}(ax)^n= \frac{1}{1-ax}$
7.$\sum_{n=0}^{\infty}(n+1)x^n= \frac{1}{(1-x)^2}$
8.$\sum_{n=0}^{\infty}\binom{n+2}2 x^n= \frac{1}{(1-x)^3}.$
9.$\sum_{n=0}^{\infty}a^n\binom{n+k}k x^n= \frac{1}{(1-ax)^{k+1}}\,$
10.$\sum_{n=0}^{\infty}f(n) x^n=G(x)$ f(n)是n的多项式函数，一定存在G(x)与之对应，可以用待定系数法求出

3.常见性质：
$f_n$对应生成函数为$F[x]$，那么:
1.$g_n=f_{n-k}$,则G[x]=$x^kF[x]$,$n>=k$，生成函数从$x^k$开始出现非零项
2.$g(n)=\sum_{k=0}^nf(k)f(n-k)$对应生成函数G[x]为$F^2[x]$
3.g(n,m)=$\sum_{i=0}^ng(i,m-1)f(n-i)$,$G[x]=F^m[x]$

4.应用
1）已知递推式，求通项。把递推市看作第n项的等式关系，推出生成函数等式，解得生成函数，求出n次项前系数即为通项
2）已知组合意义。如排列型分配问题问题