就在前天我还是一个只听说过母函数名字的人。但我却并不知道他是啥。而且当听到别人说的时候感觉好高大上啊!就在昨天我开始学习母函数,突然感觉它并没有那么的神秘,而且也没有我想像的那么难啊,不骗你们,感觉这个算法真的好简单啊,和其他算法相比,这个是比较好学的,而且实用性也比较强,今天就有我带着大家开始去揭开母函数的神秘的面纱。因为我也是刚开始学,所以涉及的内容都是比较简单的,比较适合初学者。
母函数又叫做生成函数,学习母函数我们一定要知道的两句话就是:
1.“把组合问题的加法法则和幂级数的乘幂对应起来。”
2.“把离散数列和幂级数一 一对应起来,把离散数列间的相互结合关系对应成为幂级数间的运算关系,最后由幂级数形式来确定离散数列的构造。 “
这是我学习母函数见到的最多的两句话,第二句话是什么意思我还不知道。我们先来主要学习第一句话吧! 我们应该怎么理解第一句话呢?
大家都做过一些排列组合的问题吧!就是那些有很多的组合,或许有很多的情况,给你一个特定的条件,问你有多少种的组合情况,对于这样的问题,平常可能我们不会做,也可能感觉比较麻烦,那么我们应该怎么解决这样的问题呢?这就轮到母函数起作用了,母函数就是把组合问题的加法转变成幂级数的乘法去求解·,为什么能够这样做呢?我们想一下,如果两个幂级数的底数相同,那么他们的乘法是不是就是指数相加呢?看我们是不是把加法转化成幂级数的乘法了呢?恭喜你。你已经领会了母函数的思想了, 可是似乎我们还是什么都不懂,没关系,接下来我们根据一道例题来具体的讲解一下,到时候你都豁然开朗了。
有1克、2克、3克、4克砝码各一枚,问能称出哪几种重量?每种重量各有几种方案?
下面是用母函数解决这个问题的思路:
首先,我们用X表示砝码,X的指数表示砝码的重量。那么,如果用函数表示每个砝码可以称的重量,
1个1克的砝码可以用函数X^0 + X^1表示,
1个2克的砝码可以用函数X^0 + X^2表示,
依次类推。
如果我们把上面2个多项式相乘,可以得到X^0 + X^1 + X^2 + X^3。继续把它与X^0 + X^3相乘,得到X^0 + X^1 + X^2 + 2*X^3 + X^4 + X^5 + X^6。
接着把它与X^0+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的指数表示的是重量,所以,在相乘时,根据幂的运算法则(同底幂相乘,指数相加),得到的结果正是所有的方案。而且,每个X前面的系数代表它有几种方案。
需要注意的是,如果有2个1克的砝码,应该用X^0 + X^1 + X^2表示,而不是X^0 + 2*X^1。
母函数还可以解决其他问题,比如,整数划分。
整数划分是个很经典的问题,划分规则就不再细述,直接说思路。与上面的问题相比,每种砝码的个数不再是1个,而是无限个。于是,
1克的砝码可以用X^0 + X^1 + X^2 + X^3 ……表示,
2克的砝码可以用X^0 + X^2 + X^4 + X^6……表示,
3克的砝码可以用X^0 + X^3 + X^6 + X^9……表示,
依次类推。
相乘后求出X^n的系数,就是结果。
总而言之,解决此类问题,只要模拟好2个多项式相乘就好了。
大概思路是开2个数组,c1[ ]保存当前得到的多项式各项系数,c2[ ]保存每次计算时的临时结果,当每次计算完毕后,把它赋给c1,然后c2清零。
计算的时候,开3层for循环。最外层,记录它正在与第几个多项式相乘。第二层,表示c1中的每一项,第三层表示后面被乘多项式中的每一项。