组合数学入门

组合数学入门

---

卡特兰数

以下摘自OI-wiki：

1. 一位大城市的律师在她住所以北n个街区和以东n个街区处工作。每天她走2n个街区去上班。如果他从不穿越（但可以碰到）从家到办公室的对角线，那么有多少条可能的道路？
2. 在圆上选择2n个点，将这些点成对连接起来使得所得到的n条线段不相交的方法数？
3. 对角线不相交的情况下，将一个凸多边形区域分成三角形区域的方法数？
4. n个结点可构造多少个不同的二叉树？
5. ...

$\text{通}项公式$ $H(n)=\left(\begin{array}{c}2n\\ n\end{array}\right)-\left(\begin{array}{c}2n\\ n+1\end{array}\right)=\left(\begin{array}{c}2n\\ n\end{array}\right)\ast \frac{1}{n+1}=\frac{1}{n+1}{\sum }_{i=0}^n{\left(\begin{array}{c}n\\ i\end{array}\right)}^2$

$递推式$ $H(n)=H(n-1)\ast \frac{4\ast n-2}{n+1}$

$\text{定}义式$ $H(n)=\sum_{i=1}^{n} H(i-1)*H(n-i)\quad n>2\H(n)=1\quad n=0,1 $

---

斯特林数

第一类斯特林数

定义:记为$S_1(n,k)$,计算将n个元素排成k个非空圆排列的方案数。

递推式:$S_1(n,k)=(n-1)S_1(n-1,k)+S_1(n-1,k-1)S_{!}(0,0)=1,S_1(n,0)=0$

公式:${\sum }_{k=0}^n{S}_1(n,k)=n!(可以理解为所有置换个数为总排列数)$

第二类斯特林数

定义：记为$S_2(n,k)$,表示将n个元素划分为k个非空子集的方案数。

递推式:$S_2(n,k)=k{S}_2(n-1,k)+S_2(n-1,k-1)S_2(n,0)=0,S_2(n,1)=1n>0$

通项公式:$m!S_2(n,m)={\sum }_{k=0}^m(-1{)}^{k}C(m,k)(m-k{)}^n$

注意到通项公式为卷积形式，可以用NTT，nlogn时间内处理斯特林数。(待补)

还有一些较为复杂，一般与多项式联系，待学。

---

贝尔数

定义：记为$B_n$,表示1~n划分为不同非空集合的方案数

递推式：$B_{n+1}={\sum }_{k=0}^n\left(\genfrac{}{}{0ex}{}{n}{k}\right)B_k$

另外注意到贝尔数其实是第二类斯特林数的和。

贝尔三角形：

用以下方法建构一个三角矩阵：

(1) 第一行第一项是1

(2) 对于n>1，第n行第一项等同第n-1行最后一项。

(3) 对于m,n>1，第n行第m项等于它左边和左上方的两个数之和。（$a_{n,m}=a_{n,m-1}+a_{n-1,m-1}$）
每行的首项是贝尔数