7.2 递推关系与生成函数

第七章 组合数学

全文均为手敲，如果发现有误，请于评论区交流讨论留言，作者会及时修改

7.2 递推关系与生成函数

1. $Fibonacci$数列

   $$\{\begin{array}{ll}& f_n=f_{n-1}+f_{n-2}(n\ge 2)\\ & f_0=0,f_1=1\end{array}$$

   通项公式

   $$f_n=\frac{1}{\sqrt{5}}(\frac{1+\sqrt{5}}{2}{)}^n-\frac{1}{\sqrt{5}}(\frac{1-\sqrt{5}}{2}{)}^n(n\ge 0)$$

   其他性质

   $$\begin{array}{rl}& (1)s_n=f_0+f_1+\cdots +f_n=f_{n+2}-1\\ & (2)2|f_n\iff 3|n\\ & (3)3|f_n\iff 4|n\\ & (4)4|f_n\iff 6|n\\ & (5)\underset{n\to \infty }{\lim }\frac{f_n}{f_{n+1}}=\frac{\sqrt{5}-1}{2}\end{array}$$

2. 生成函数

   序列$h_0,h_1,\cdots ,h_n,\cdots$唯一确定生成函数

   $$G(x)=\sum _{n=0}^{\infty }{h}_n{x}^n$$

3. 指数生成函数

   序列$h_0,h_1,\cdots ,h_n,\cdots$唯一确定指数生成函数

   $$G_e(x)=\sum _{n=0}^{\infty }{h}_n\frac{x^n}{n!}$$

4. 线性常系数递推式求解

   $$\begin{array}{rl}& 特征方程:类比微分方程\\ & 基础解系:(a_k{n}^k+\cdots +a_0){\alpha }^n,若\alpha 是k重根\\ & 非齐次特解:若非齐次部分b_n=P_m(n)d^n,P_m(n)是n的m次多项式,则\\ & 特解形式为:h_n^{\ast }=n^k{d}^n{A}_m(n),其中k为d在特征方程中根的重数\end{array}$$

5. $Catalan$数

   $$\begin{array}{rl}& 递推公式:\{\begin{array}{ll}& C_n=C_0{C}_{n-1}+C_1{C}_{n-2}+\cdots +C_{n-1}{C}_0\\ & C_0=1\end{array}\\ & 通项公式:C_n=\frac{1}{n+1}\left(\begin{array}{c}2n\\ n\end{array}\right)\\ & 其他性质:\frac{C_n}{C_{n-1}}=\frac{4n-2}{n+1}\end{array}$$

6. 拟$Catalan$数

   定义$C_n^{\ast }=n!C_{n-1}(n\ge 1)$，则有$C_n^{\ast }=(4n-6)C_{n-1}^{\ast }(n\ge 2),C_1^{\ast }=1$

7. 差分序列

   该课程中采用后向差分：${\Delta }^p{h}_n={\Delta }^{p-1}{h}_{n+1}-{\Delta }^{p-1}{h}_n$

   根据差分表可以得出通项公式

   $$h_n=\sum _{k=0}^{\infty }{\Delta }^k{h}_0\left(\begin{array}{c}n\\ k\end{array}\right)$$

   同时也能得出部分和的通项公式

   $$\sum _{k=0}^n{h}_k=\sum _{k=0}^{\infty }{\Delta }^k{h}_0\left(\begin{array}{c}n+1\\ k+1\end{array}\right)$$

   注意到，${\Delta }^k{h}_0$一般只有有限项非零，所以同通项公式实际上是一个部分和的形式。

8. 第二类$Stirling$数

   记$[n{]}_k=k!\left(\begin{array}{c}n\\ k\end{array}\right)=n(n-1)\cdots (n-k+1)$，则

   $$h_n=n^p=\sum _{k=0}^p\frac{c(p,k)}{k!}[n{]}_k=\sum _{k=0}^{p}S(p,k)[n{]}_k$$

   上式中的系数$S(p,k)$称为第二类$Striling$数

   $$\begin{array}{rl}& 第二类Stirling数的性质\\ & (1)S(p,0)=\{\begin{array}{l}1,p=0\\ 0,p\ge 1\end{array}\\ & (2)S(p,p)=1,p\ge 1\\ & (3)S(p,1)=1,p\ge 1\\ & (4)S(p,k)=kS(p-1,k)+S(p-1,k-1),1\le k\le p-1\\ & (5)S(p,2)=2^{p-1}-1\\ & (6)S(p,p-1)=\left(\begin{array}{c}p\\ 2\end{array}\right)\end{array}$$

   组合解释：$S(p,k)$表示把$p$元素集合划分到$k$个不可区分的盒子且没有空盒的划分个数。

   若盒子可区分，则方案数为$k!S(p,k)$，记作$S^{\#}(p,k)$

9. $Bell$数

   $Bell$数为把$p$元素集合划分到$k$个不可区分的盒子且允许有空盒的划分个数。

   $$B_p=\sum _{k=0}^{p}S(p,k)$$

   $Bell$数满足以下递推关系

   $$B_p=\sum _{k=0}^{p-1}\left(\begin{array}{c}p-1\\ k\end{array}\right)B_k$$

10. 第一类$Stirling$数

    $$[n{]}_p=\sum _{k=0}^p(-1{)}^{p-k}s(p,k)n^k$$

    上式中的系数$s(p,k)$称为第一类$Striling$数

    $$\begin{array}{rl}& 第一类Stirling数的性质\\ & (1)s(p,0)=0,p\ge 1\\ & (2)s(p,1)=1,p\ge 0\\ & (3)s(p,k)=(p-1)s(p-1,k)+s(p-1,k-1),1\le k\le p-1\end{array}$$

    组合解释：将$p$个物品排成$k$个非空循环排列的方法数

11. 将$n$个球放入$m$个盒子的问题分类讨论

    () 球有无区别	盒子有无区别	是否允许空盒	方案数或母函数
    () 有	有	有	$m^n$
    有	有	无	$m!S(n,m)$
    有	无	有	$S(n,1)+S(n,2)+\cdots +S(n,\min (m,n))$
    有	无	无	$S(m,n)$
    无	有	有
    m-1
    无	有	无
    m-1
    无	无	有	$G(x)=\frac{1}{(1-x)\cdots (1-x^m)}$
    无	无	无	$G(x)=\frac{x^m}{(1-x)\cdots (1-x^m)}$
    ()

12. 整数的拆分

    将正整数$n$拆分为$1,2\cdots$之和，允许重复

    $$G_1(x)=\sum _{n=1}^{\infty }\frac{1}{1-x^n}$$

    将正整数$n$拆分为$1,2\cdots$之和，不允许重复

    $$G_2(x)=\sum _{n=1}^{\infty }(1+x^n)$$

    将正整数$n$拆分为$1,2\cdots$之和，允许重复

    $$G_3(x)=\sum _{n=1}^{\infty }\frac{1}{1-x^{2n-1}}$$

    在上式中，有$G_2(x)=G_3(x)$

13. $Ferrers$图像

    靠左的上三角图像，上一行不少于下一行，左一列不少于右一列，从上到下表示分拆方案

14. 共轭$Ferrers$图像

    分拆$\lambda$对应的$Ferrers$图像进行转置，则得到$\lambda$的共轭分拆${\lambda }^{\ast }$对应的$Ferrers$图像

    组合解释：设$m\le n$，则$n$拆分为最多$m$个数的和的拆分数等于将$n$拆分为最大数不超过$m$的拆分数

    自共轭$Ferrers$图像：$\lambda ={\lambda }^{\ast }$或图像关于对角线对称