组合数学之三 —— 生成函数

前言：我觉得生成函数是一个很玄妙的东西

知识铺垫

我们在这里简单的介绍一下几种为人熟知的数列（给出公式及部分证明）：

算术数列，其中的每一项比前一项大一个常数q（等差数列）
几何数列，其中的每一项是前一项的常数q倍（等比数列）

一 . 算术数列

$A_n=A_0+nq$
$S_n=(n-1)\ast A_0+\frac{(q\ast n\ast (n+1))}{2}$

二 . 几何数列

$A_n=A_0\ast q^n$
$Sn=A_0\ast \frac{q^n-1}{q-1}--->(q!=1)$

三 . 斐波那契数列

① $f(n)=f(n-1)+f(n-2)(n>=2)$
② $f(0)=0，f(1)=1$
③ $S_n=f(0)+f(1)+f(2)+...+f(n)=f(n+2)-1$

我们简单的用归纳法证明一下：
$S_{n+1}$
$=f(0)+f(1)+f(2)+...+f(n)+f(n+1)$
$=[f(0)+f(1)+f(2)+...+f(n)]+f(n+1)$
$=f(n+2)-1+f(n+1)$
$=f(n+3)-1$

④ 斐波那契数$f(n)$是偶数当且仅当n能被3整除
⑤ 斐波那契数列通项公式：

⑥ 在帕斯卡三角形从左上到右下的对角线上的二项式系数的和是斐波那契数列

生成函数

简单来说，生成函数是数列的一个副产品：

设
$h_0,h_1,h_2,...,h_n,...$
是一个无穷数列
ta的生成函数定义为无穷函数：

形式很简单，我们主要通过例题来看一下：

∞ 例一

每一项都是1的无穷数列，ta的生成函数是？

$g(x)=1+x+x^2+...+x^n+....==1/(1-x)$

∞ 例二

设$m$是正整数，二项式系数
$C(m,0)，C(m,1)，C(m,2)，...，C(m,m)$
的生成函数是？

$g(x)=C(m,0)+C(m,1)x+C(m,2)x^2+...+C(m,m)x^m$
根据二项式定理：

$g(x)=(x+1{)}^m$

注：实际上$m$为任意实数，都有上式

∞ 例三 (重点)

设$k$为整数，并设数列$（h_0,h_1,h_2,h_3,...,h_n,...）$由令hn等于方程$（e_1+e_2+e_3+...+e_k=n）$的非负整数解的数目定义？

（建议多读几遍题）
首先我们要搞清楚$h_n$到底是什么：
实际上我们可以将问题看做：有$n$个1，把ta们分成k份，每一份中允许不含有任何元素
这是隔板法的经典问题：
$h_n=C(n+k-1,k-1)$

那么$h_n$的生成函数就是：

我们在这里先给出结论：

于是我们有：

听说你们想知道$\frac{1}{(1-x{)}^n}$的证明，百度一下
$(x+y{)}^n={\sum }_{k=0}^{n}C(n,k)x^k{y}^{n-k}$
$(1+x{)}^n={\sum }_{k=0}^{n}C(n,k)x^k$
考虑到组合数的性质，上式可以改写为
$$(1+x{)}^n=\sum _{k=0}^{\infty }C(n,k)x^k$$

如果指数是负数，则有
$$(1+x{)}^{-n}=\sum _{k=0}^{\infty }C(-n,k)x^k=\sum _{k=0}^{\infty }(-1{)}^{k}C(n+k-1,k)x^k$$

我们把$x$换成$-x$
$$(1+(-x){)}^{-n}=\sum _{k=0}^{\infty }(-1{)}^{k}C(n+k-1,k)(-x{)}^k$$

$$=\sum _{k=0}^{\infty }(-1{)}^{k}C(n+k-1,k)(-1{)}^k{x}^k=\sum _{k=0}^{\infty }C(n+k-1,k)x^k$$

$$(1-x{)}^{-n}=\sum _{k=0}^{\infty }C(n+k-1,k)x^k=\sum _{k=0}^{\infty }C(n+k-1,n-1)x^k$$

把$n$和$k$交换一下：
$${(1-x)}^{-k}=\sum _{n=0}^{\infty }C(k+n-1,k-1)x^n$$

在上面的记法中，$x^{e_i}$是第i个因子的代表项，于是我们由题意得：
$x^{e_1}\ast x^{e_2}\ast ...x^{e_k}=x^n$
$e_1+e_2+...+e_k=n$
这样，此生成函数**$x^n$的系数**就是n对应的答案

∞ 例四

什么样的数列的生成函数如下式？
$(1+x+x^2+x^3+x^4+x^5)(1+x+x^2)(1+x+x^2+x^3+x^4)$

设$x^{e_1}（0<=e_1<=5）,x^{e_2}（0<=e_2<=2）,x^{e_3}（0<=e_3<=4)$ 分别表示第一个因子，第二个因子，第三个因子的代表项
假设：$e_1+e_2+e_3=n$
则：$x^{e_1}\ast x^{e_2}\ast x^{e_3}=x^n$

因此乘积中$x^n$的系数是$e_1+e_2+e_3=n$整数解的个数$h_n$，其中$0<=e_1<=5,0<=e_2<=2,0<=e_3<=4$ ，当$n>5+2+4=11时，h_n=0$

∞ 例五

求装有苹果，香蕉，橘子和梨的果篮的数量$h_n$，
其中在每个果篮中苹果数是偶数，香蕉数是5的倍数，橘子最多拿4个，梨要么不拿，要么只能拿一个

我们要是用组合数学的方法，估计就要光速弃疗了。。。
于是我们用生成函数的角度去考虑：

这样我们就使用代数的方法，解决了组合数学问题!

∞ 例六

设{h_n}为方程：{3e_1+4e_2+2e_3+5e_4=n}
的非负整数解得个数。求$h_0，h_1，...，h_n，...$的生成函数$g(x)$

我们作如下变量替换：
$f_1=3\ast e_1,f_2=4\ast e_2,f_3=2\ast e_3,f_4=5\ast e_4$
则：$f_1+f_2+f_3+f_4=n$
其中$f_1$是3的倍数，$f_2$是4的倍数，$f_3$是2的倍数，$f_4$是5的倍数
那我们就可以得到这样的式子：

我们在这里提出一个定理：

可以评测的例题

指数生成函数

之前我们利用下面的单项式的集合为数列（h0 , h1 , h2 , h3 …）定义了生成函数：
{ 1 ， x ， x 2 ， x 3 ， . . . } {1，x，x^2，x^3，...} {1，x，x2，x3，...}
这个生成函数特别适用于某些计数数列，特别是那些涉及二项式系数的数列，这是因为ta有二项式定理的形式
然而，对于某些计数排列的项的数列，更有效的是考虑下面单项式集合的生成函数：
{ 1 ， x ， x 2 2 ! ， x 3 3 ! ， x 4 4 ! ， . . . } {1，x，{x^2 over 2!}，{x^3 over 3!}，{x^4 over 4!}，...} {1，x，2!x2​，3!x3​，4!x4​，...}
这些单项式出现在泰勒级数（e作为数学常数，是自然对数函数的底数）：

数列$h_0，h_1，h_2，h_3，h_4，...$的指数生成函数定义为：

常用指数生成函数的闭形式

这就是知识介绍，很简单明白，我们还是看一些例题：

∞ 例一

设$n$是正整数，确定下面数列的质数生成函数：
$P(n,0)，P(n,1)，P(n,2)，...，P(n,n)$

其中$P(n,k)$表示$n$元素的$k$排列数目，因此对于$k=0，1，...，n$，这个排列的数目是$\frac{n!}{(n-k)!}$，因此指数生成函数是：

仔细一看，这$x^k$的系数实际上是$C(n,k)$
实际上这个生成函数也恰恰是下面数列的普通生成函数：
$C(n,0)，C(n,1)，C(n,2)，...，C(n,n)$

∞ 例二

如果a是任意一个实数，则数列
$1，a，a^2，a^3，...$
的指数生成函数是：

这个时候，我们提出一个小问题：
对于正整数$k，k^n$表示有$k$种不同类型的对象且每一种对象都有无穷重数的多重集合的$n$排列数。因此，这个计数数列的指数生成函数就是$e^{kx}$

我们在这里再提出一个定理：

设$S$是多重集合 { n 1 ∗ a 1 ， n 2 ∗ a 2 ， n 3 ∗ a 3 ， . . . ， n k ∗ a k } { n_1*a_1，n_2*a_2，n_3*a_3，...，n_k*a_k } {n1​∗a1​，n2​∗a2​，n3​∗a3​，...，nk​∗ak​}（第$i$种元素$a_i$有$n_i$个），其中$n_i$是非负整数
设$h_n$是$S$的$n$排列数，那么数列$（h_0，h_1，h_2，...，h_k）$的指数生成函数由下式给出：

①

我们简单的证明一下：

设
是$（h_0，h_1，h_2，...，h_n，...）$的指数生成函数
注意，当$n>n_1+n_2+n_3+...+n_k$时$h_n=0$，所以$g(x)$是有限和

我们把①式展开，对于一个单项式得到的应该是下面的形式：

其中：$0<=m_1<=n_1，0<=m_2<=n_2，0<=m_3<=n_3，...，0<=m_k<=n_k$
设 $n=m_1+m_2+...+m_k$，于是上式化为：

因此在①式中$\frac{x^n}{n!}$的系数就是这个玩意。。。

其中的求和就是对所有满足下面条件的$m_1，m_2，m_3，...，m_k$的求和
$0<=m_1<=n_1，0<=m_2<=n_2，0<=m_3<=n_3，0<=m_k<=n_k$
$m_1+m_2+m_3+...+m_k=n$
对于确定的$m_1，m_2，m_3，...，m_k$，$S$的组合 { m 1 ∗ a 1 ， m 2 ∗ a 2 ， m 3 ∗ a 3 ， . . . ， m k ∗ a k } {m_1*a_1，m_2*a_2，m_3*a_3，...，m_k*a_k} {m1​∗a1​，m2​∗a2​，m3​∗a3​，...，mk​∗ak​}的n排列数就是：

显然对于上式的求和，就是原问题的解
原式得证

∞ 例三

设$h_n$表示由数字1,2,3构造的n位数的个数，其中1的个数是偶数，2的个数至少是3，而3的个数至少是4
确定最终的数列$（h_0，h_1，h_2，...，h_n，....）$的指数生成函数

设$h_i(x)$表示对应因子的指数生成函数：

∞ 例四

用红，白，蓝三种颜色给1*n的棋盘着色，要求红色的方格数是偶数，确定给这个棋盘着色的方法数

设$h_n$表示这样的着色数，其中我们定义$h_0=1$
则$h_n$等于有3种颜色（红，白，蓝）的多重集合的n排列数，其中每一种颜色的重数是无穷
且要求红色出现的次数是偶数
我们能过得到一个生成函数（参见上文的定理）:

∞ 例五

确定满足下面条件的n位数的个数hn：每个数字都是奇数且数字1和数字3出现偶数次？

设$h_0=1$，数$h_n$等于多重集合 { ∞1，∞3，∞5，∞7，∞*9 }的n排列中1，3出现偶数次的n排列个数
我们可以得到生成函数：

∞ 例六

确定用红，黄，蓝三色给$1\ast n$棋盘着色中，要求红格数是偶数，且至少有一个蓝格的着色方法数

可以评测的例题

最后

以上就是雪白小土豆为你收集整理的组合数学之三 —— 生成函数的全部内容，希望文章能够帮你解决组合数学之三 —— 生成函数所遇到的程序开发问题。

如果觉得靠谱客网站的内容还不错，欢迎将靠谱客网站推荐给程序员好友。