母函数总结

母函数

母函数是用于解决组合问题计数的一种方法。
在了解它之前我们先看看熟悉的杨辉三角。

杨辉三角的第n行(注意是从0开始标号的)的数字就是$(1+x)^n$的展开式从低项到高项的各项系数，也可以表示为组合数的形式$C_{n}^{i}$。如果将两者联系起来我们会发现，$(1+x)$可以看成对于一件取舍，$1=x^0$就是不取，x就是取。这样在$(1+x)^n$的展开式中$x^i$项的系数就是从n件物品选取i件的方案数。

定义

给定数列$a_0,a_1,a_2…a_n$，构造函数$G(x)=a_0f_0(x)+a_1f_1(x)+a_2f_2(x)…a_nf_n(x)$,其中$G(x)$就是该序列的母函数，$f_0(x),f_1(x),f_2(x)…f_n(x)$为标志函数。
母函数主要有两种形式：普通型母函数和指数型母函数。

普通型母函数

先看一个例题：HDU 1085
普通型母函数的标志函数一般为$x^0，x^1,x^2…x^n$
因为每个硬币有个数限制，但是也不难构造出

$$G(x)=(1+x+x^2+x^3+…+x^{num_1})(1+x^2+x^4+…+x^{2*num_2})(1+x^5+x^{10}+…+x^{5*num_5})$$ 。将多项式展开后， $x^i$项对应的系数就是组成面值为i的方案数。

指数型母函数

再看一个例题：HDU 1521
指数型母函数的标志函数一般为$\frac{x^0}{0!},\frac{x^1}{1!},\frac{x^2}{2!}...\frac{x^n}{n!}$，对于$\frac{x^i}{i!}$表示在一个方案中某个元素出现了$i$次，而不同位置的该种元素本质不同，所以在记方案数时只算作一种，所以最后结果应处以$i！$。
对于这道题就不难构造出母函数为

$$G(x)=(\frac{1}{0!}+\frac{X}{1!}+\frac{X^2}{2!}+...+\frac{X^{a_1}}{a_1!})(\frac{1}{0!}+\frac{X}{1!}+\frac{X^2}{2!}+...+\frac{X^{a_2}}{a_2!})(\frac{1}{0!}+\frac{X}{1!}+\frac{X^2}{2!}+...+\frac{X^{a_n}}{a_n!})$$