母函数

母函数就是生成函数，就是说一个函数f(n) = 第n项的系数.

对于母函数说的最多的两句话是：

1.“把组合问题的加法法则和幂级数的乘幂对应起来。”

2.“把离散数列和幂级数一 一对应起来，把离散数列间的相互结合关系对应成为幂级数间的运算关系，最后由幂级数形式来确定离散数列的构造。 “

举个例子：

有1克、2克、3克、4克砝码各一枚，问你能称出哪几种重量？每种重量各有几种方案？

下面是用母函数解决这个问题的思路：

首先，我们用X表示砝码，X的指数表示砝码的重量。那么，如果用函数表示每个砝码可以称的重量，

1个1克的砝码可以用函数X^0 + X^1表示，x^0代表不放的状态 x^1代表放一个1克的砝码。

1个2克的砝码可以用函数X^0 + X^2表示，x^0代表不放的状态 x^2代表放一个2克的砝码。

依次类推。

所以母函数 为 (1 + x) * (1 + x^2 ) * (1 + x^3 ) * (1 + x^4 )

解得方程 X^0 + X^1 + X^2 + 2*X^3 + 2*X^4 + 2*X^5 + 2*X^6 + 2*X^7 + X^8 + X^9 + X^10。

因为同底数幂相乘指数相加,所以 x^3*x^2 = x^5 说明一个3克砝码和一个2克砝码称出了5克,x^1*x^4 = x^5一个1克砝码和一个4克砝码称出了5克.

说明 该多项式的系数代表他解的个数 2*x^6代表称出6克有两种方案

下面讲讲母函数怎么列

列如 整数划分

一个整数N拆分成几个整数相加, 问一共有多少种拆法

数字1的使用可以用X^0 + X^1 + X^2 + X^3 ……X^n表示，X^1代表分一个1,X^2代表分2个1........

数字2的使用可以用X^0 + X^2 + X^4 + X^6……X^n表示， 同上

数字3的使用可以用X^0 + X^3 + X^6 + X^9……X^n表示，

依次类推。

相乘后求出X^n的系数，就是结果。

方程就是 (X^0 + X^1 + X^2 + X^3 ……X^n) * (X^0 + X^2 + X^4 + X^6……X^n) * (X^0 + X^3 + X^6 + X^9……x^n)

当你手动乘多项式时你会发现他就相当于暴力,先是x^0 乘以 (X^0 + X^2 + X^4 + X^6……X^n)中 的每个数,

相当于不分1,分一个2,2个2,3个2.........得出的数再和第三个括号多项式乘,得出的指数相同,系数都累加，所以最后X^n就是该数的分解答案