组合数学5--母函数

母函数

一 母函数的定义

1.定义

• 对于序列$C_0,C_1,C_2,\dots$构造一函数
  $$G(x)=C_0+C_{1}x+C_2{x}^2+\dots$$称$G(x)$为序列$C_0,C_1,C_2,\dots$的母函数。

例如：$(1+x{)}^n$为序列$C_0,C_1,C_2,\dots C_n$的母函数。

• 序列的长度：可能是有限的，也可能是无限的。
• 序列和对应的母函数是一一对应的。

2.理解

• 组合数学的主要内容是计数，用的最多的计数工具为母函数。

例：两个骰子掷出6点，有多少种可能性？

现有：且：乘法法则（分步）或：加法法则（分类）

• 方法一：第一位数1-5，且第二位数由第一位数来确定 $$5\times 1=5$$
• 方法二：$1+5=5+1$;或$2+4=4+2$;或$3+3=3+3$

如果：很多骰子的情况，以上方法是不是不再适用？

雅各布·伯努利(Jakob Bernoulli‎）300多年前提出的问题：
投掷m粒骰子时，加起来点数总和等于n的可能方式的数目？

思路：如下图所示

• 先来看两个色子掷出n点的可能，第一个色子掷出的可能性为1或2或3或4或5或6，即$?+?+?+?+?+?$，如果直接点数相加，结果为各个点数的求和，显然不符合要求，那么什么相加呢？
• 我们考虑第一个色子两个点数，分两步贴点，贴第一个点为x，贴第二个点为x，则两个点可以表示为$x^2$，同理，1 3 4 5 6可分别表示为：$x{x}^3{x}^4{x}^5{x}^6$,则：
  1或2或3或4或5或6 可表示为：$x+x^2+x^3+x^4+x^5+x^6$
• 两个色子掷出的点数之和，分布来看，假设第一个色子掷出2点，第二个色子掷出4点，得到6点，即为：$x^2{x}^4=x^6$
  掷出6点所有的可能性：
  $$x^1{x}^5+x^2{x}^4+x^3{x}^3+x^4{x}^2+x^5{x}^1$$共5种，与
  $$(x+x^2+x^3+x^4+x^5+x^6)\times (x+x^2+x^3+x^4+x^5+x^6)$$中的$x^6$系数相同。
  由此可见，两个色子掷出的点数可由
  $$(x+x^2+x^3+x^4+x^5+x^6{)}^2$$函数中的系数表示。

3.总结：函数中的系数对应计数序列。

再来理解母函数的定义：

• 关注每一个计数序列
• 每一个计数序列对应的是