ACM常用数列

Catalan数

一个凸$n$边形通过不相交于$n$边形内部的对角线把$n$边形拆分成若干三角形，不同的拆分数用$C_n$表示.该拆分数即为卡特兰数。

1. 卡特兰数的递推关系
   定理： Catalan数$C_n$满足以下递推关系：
    ①：$C_{n+1}=C_2{C}_n+C_3{C}_{n-1}+\cdots +C_{n-1}{C}_3+C_{n-1}{C}_2={\sum }_{k=2}^n{C}_k{C}_{n-k+2}$
    ②：$(n-3)C_n=\frac{n}{2}(C_3{C}_{n-1}+C_4{C}_{n-2}+\cdots +C_{n-2}{C}_4+C_{n-1}{C}_3)$
2. 卡特兰数计算公式
   $$C_{n+1}=\frac{1}{n}\left(\genfrac{}{}{0ex}{}{2n-2}{n-1}\right)$$
3. 卡特兰数意义

• $n$边形的拆分数
  一个凸$n$边形通过不相交于$n$边形内部的对角线把$n$边形拆分成若干三角形，不同的拆分数的数量设为$C_n$, 有$C_{n+1}=\frac{1}{n}\left(\genfrac{}{}{0ex}{}{2n-2}{n-1}\right)$
  • $n$个数的连乘方案数量，$n$对括号的合法排列方式
    $P=a_1{a}_2\cdots a_n$是n个数的连乘积，不改变其顺序，只用加进括号来表示乘积的顺序，方案的数量设为$p_n$，则有$p_n=C_{n+1}=\frac{1}{n}\left(\genfrac{}{}{0ex}{}{2n-2}{n-1}\right)$
  • 具有$n$个节点的二叉树的数量
    • 若节点无区别，则不同的二叉树的数量设为$t_n$，有$t_n=p_{n+1}=C_{n+2}=\frac{1}{n+1}\left(\genfrac{}{}{0ex}{}{2n}{n}\right)$
    • 若$n$个节点互不相同，则不同的二叉树数量设为$T_n$，有$T_n=n!\cdot t_n$
  • 在棋盘上从$(0,0)$点走到$(n,n)$点，要求保证$x\le y$
    设方案数量为$s_n$，有$s_n=C_{n+2}=\frac{1}{n+1}\left(\genfrac{}{}{0ex}{}{2n}{n}\right)$

---

Stirling数

第一类斯特林数

1. 定义：将n个不同的球排列成 m个非空圆排列的方案数目称为第一类斯特林数，表示为$s(n,m),(n\ge m)$。
2. 递推公式：$s(n,m)=(n-1)s(n-1,m)+s(n-1,m-1)$
3. 性质：①：$s(n,n)=1,n\ge 0$
      ②：$s(n,0)=0,n>0$
      ③：$s(n,1)=(n-1)!$
      ④：$S(n,n-1)=C(n,2)$
      ⑤：${\sum }_{k=0}^{n}s(n,k)=n!$
4. 第一类斯特林数打表：
   

第二类斯特林数

1. 定义：将n个求区别的球放入到m个相同的盒子中，要求无一空盒，其不同的方案数称为第二类斯特林数，表示为$S(n,m)$
2. 递推公式：$S(n,m)=S(n-1,m-1)+mS(n-1,m)(n>1,m\ge 1)$
3. 通项公式：$$S(n,m)=\frac{1}{m!}\sum _{k=0}^{m-1}(-1{)}^k(\genfrac{}{}{0ex}{}{m}{k})(m-k{)}^n$$
4. 第二类斯特林数奇偶性判断：
   $$\left\{\begin{array}{c}n\\ k\end{array}\right\}\equiv \left(\genfrac{}{}{0ex}{}{n-\lceil \frac{k+1}{2}\rceil }{\lfloor \frac{k-1}{2}\rfloor }\right)mod2$$
5. 性质：①：$S(n,0)=S(0,n)=0,\forall n\in N$
      ②：$S(n,k)>0,n\ge k\ge 1$
      ③：$S(n,k)=0,k>n\ge 1$
      ④：$S(n,1)=1,n\ge 1$
      ⑤：$S(n,n)=1,n\ge 1$
      ⑥：$S(n,2)=2^n-1$
      ⑦：$S(n,3)=\frac{1}{2}(3^{n-1}+1)-2^{n-1}$
      ⑧：$S(n,n-1)=\left(\genfrac{}{}{0ex}{}{n}{2}\right)$
      ⑨：$S(n,n-2)=\left(\genfrac{}{}{0ex}{}{n}{3}\right)+3\left(\genfrac{}{}{0ex}{}{n}{4}\right)$
6. 第二类斯特林数打表
   

---

Bell数

1. 定义：贝尔数指的是将含有$n$个不同的数字的的集合划分为若干个非空子集的划分方案数量。表示为$B_n$。
2. 递推关系：
   ①：$B_{n+1}={\sum }_{k=0}^n\left(\genfrac{}{}{0ex}{}{n}{k}\right)B_k$
   ②：$B_n={\sum }_{k=1}^{n}S(n,k)$
3. 性质：
   ①：若$p$为质数，则$B_{p^m + n} \equiv mB_n + B_{n + 1} (mod;;p) $
   ②：贝尔数模素数$p$的周期为$N_p=\frac{p^p-1}{p-1}$
4. 贝尔三角形：贝尔三角形的构造方法类似于杨辉三角形，具体如下：

• 第一行第一个元素是$1$, 即$a[1][1]=1$；
• 若$n>1$，则第$n$行第一项等于第$n-1$行最后一项，即$a[n][1]=a[n-1][n-1]$；
• 对于$m,n>1$，第$n$行第$m$项等于它左边和左上方两个数之和，即$a[n][m]=a[n][m-1]+a[n-1][m-1]$
  
  可以发现，从第二行开始，每一行第一项即为贝尔数