母函数与序列

什么是母函数：

①有n个骰子，有多少种骰法使得和为m？

对应母函数： 中 x^m的系数就是答案

②有1~4g砝码各一个，一共能称出多少种不同的质量，分别有多少种方案？

，图中说明能称出10种不同的质量(1~10)，其中(3~7)有两种不同的称法

母函数和函数的区别：函数注重的是自变量x和因变量F(x)，而母函数注重的是每一项的系数

③无序拆分问题：整数n拆成1,2,3,…,m的和，并允许重复，有多少种方案

→ 每个数字都可能出现1次，2次，3次……无数次，母函数中每个第x个括号里的第y项就相当于数字x出现了y次（y从0开始）

→ 母函数为，n的拆分方案数就是其中x^n项的系数

根据Ferrers图像可证明：n个数拆分成m个数方案数=n个数拆成若干个数，最大为m的方案数

母函数与泰勒展开：

常用的泰勒展开公式如下：

例如公式

那么就可以说明是序列的母函数（母函数和序列有着一一对应的关系）

例题：对于递推公式，求出通项公式f[n]

设F[n]对应的母函数，那么有

其它例题：http://blog.csdn.net/jaihk662/article/details/79534385

http://blog.csdn.net/jaihk662/article/details/79541509

指数型母函数：（可以处理多重排列）

例题：3个a1，2个a2，3个a3组成4个数的组合有多少种？（2123，1223属于同一种情况）

根据上面的知识可得对应母函数其中x^4项系数就是答案（=10）

那么3个a1，2个a2，3个a3组成4个数的排列有多少种？（2123，属于不同情况）

这是答案就是对应指数型母函数其中x^4/4!前面的系数

总结：对于序列a0, a1, a2……，构造函数称函数G(x)是a0, a1, a2……的母函数

对于序列a0, a1, a2……，构造函数称函数G(x)是a0, a1, a2……的指数型母函数