【ACM数论】斯特林数

斯特林数（Stirling Number）

斯特林数主要处理的是把$N$个不同的元素分成$k$个集合或环的个数问题

1.第二类斯特林数

表示将$n$个元素划分成$m$个集合，每个集合非空的方案数，读作$n$子集$m$，记作$\left\{\begin{array}{c}n\\ \\ m\end{array}\right\}$,又称为斯特林子集数

1.1、组合意义推导

新来一个元素$n$，对于该元素我们有两种方案：

（1）：元素$n$单独做一个集合，故此时的方案为：$\left\{\begin{array}{c}n-1\\ \\ k-1\end{array}\right\}$

（2）：元素$n$放入一个现有的非空集合，那么我们需要选择一个非空集合，故此时的方案为:$C_k^1\left\{\begin{array}{c}n-1\\ \\ k\end{array}\right\}$

所以通过加法原理可以得到：$\left\{\begin{array}{c}n\\ \\ m\end{array}\right\}=\left\{\begin{array}{c}n-1\\ \\ k-1\end{array}\right\}+C_k^1\left\{\begin{array}{c}n-1\\ \\ k\end{array}\right\}$

1.2、容斥原理推导

设全集 S = { 乱放 } 子集 A i = { 第 i 个盒子是空的 } ∴ ∣ S − U k = 0 m A i ∣ = ∑ k = 0 m ( − 1 ) k [ 子问题 : 哪几个盒子是空的 ] = 1 m ! ∑ k = 0 m ( − 1 ) k C m k ( m − k ) n = ∑ k = 0 m ( − 1 ) k k ! ( m − k ) n ( m − k ) ! ∴ 通项公式 { n m } = ∑ k = 0 m ( − 1 ) k k ! ( m − k ) n ( m − k ) ! 设全集S=\{乱放\}\\\\ 子集A_i=\{第i个盒子是空的\}\\\\ \begin{aligned} \therefore|S-U_{k=0}^{m}A_i|&=\sum_{k=0}^{m}(-1)^k[子问题:哪几个盒子是空的]\\ &=\frac{1}{m!}\sum_{k=0}^{m}(-1)^kC_m^k(m-k)^n\\ &=\sum_{k=0}^m\frac{(-1)^k}{k!}\frac{(m-k)^n}{(m-k)!} \end{aligned} \\ \therefore 通项公式 \begin{Bmatrix} n\\\\m \end{Bmatrix}=\sum_{k=0}^m\frac{(-1)^k}{k!}\frac{(m-k)^n}{(m-k)!} 设全集S={乱放}子集Ai​={第i个盒子是空的}∴∣S−Uk=0m​Ai​∣​=k=0∑m​(−1)k[子问题:哪几个盒子是空的]=m!1​k=0∑m​(−1)kCmk​(m−k)n=k=0∑m​k!(−1)k​(m−k)!(m−k)n​​∴通项公式⎩ ⎨ ⎧​nm​⎭ ⎬ ⎫​=k=0∑m​k!(−1)k​(m−k)!(m−k)n​

通过观察我们可以发现通项公式其实是一个卷积的形式，因此我们可以利用FFT在$O(nlogn)$的时间内求对于$n$不变，任意$m\in [0,n]$的$\left\{\begin{array}{c}n\\ \\ m\end{array}\right\}$

1.3、生成函数推导

$$\begin{gathered} 由于分的每个集合是没有标号的，故可以写出每个集合的指数生成函数A(x)=\sum _{i=1}^{+\infty }\frac{x^i}{i!} \\ \therefore \left\{\begin{array}{c}n\\ m\end{array}\right\}=\frac{[x^n]A^m(x)}{m!} \end{gathered}$$

那么可以利用多项式快速幂求出

通过观察我们还可以发现，在$m$不变时，利用多项式快速幂求出$A^m(x)$后，对于任意$n>m$都可以通过$A^m(x)$在$O(1)$时间内知道对应的$[x^n]$

1.4、第二类斯特林数的重要性质

$$n^k=\sum _{i=0}^{k}i!C_n^i\left\{\begin{array}{c}k\\ i\end{array}\right\}$$

1.4.1、理解

等式左边考虑$k$个球可以放置在$n$个盒子里

等式右边考虑为枚举非空盒子的数量$i$,那么把$k$个球放到$i$个盒子

1.4.2、运用

可以将一个高次方数转化为第二类斯特林数

1.5、第二类斯特林数其他性质

$$\begin{array}{rl}& \left\{\begin{array}{c}0\\ 0\end{array}\right\}=1\\ & \left\{\begin{array}{c}n\\ 0\end{array}\right\}=0,n>0\\ & \left\{\begin{array}{c}n\\ n\end{array}\right\}=1\\ & \left\{\begin{array}{c}n\\ 2\end{array}\right\}=\left\{\begin{array}{c}n-1\\ 1\end{array}\right\}+2\times \left\{\begin{array}{c}n-1\\ 2\end{array}\right\}=1+2^{n-1}\\ & \left\{\begin{array}{c}n\\ n-1\end{array}\right\}=C_n^2\\ & \left\{\begin{array}{c}n\\ n-2\end{array}\right\}=C_n^3+3C_n^4\\ & \left\{\begin{array}{c}n\\ 3\end{array}\right\}=\frac{1}{2}(3^{n-1}+1)-2^{n-1}\\ & \left\{\begin{array}{c}n\\ n-3\end{array}\right\}=C_n^4+10C_n^5+15C_n^6\end{array}$$

2、第一类斯特林数

表示 $n$ 个数形成 $m$ 个环的方案数，读作$n$ 轮换$m$ ,记作$\left[\begin{array}{c}n\\ \\ m\end{array}\right]$，又称为斯特林轮换数

2.1、组合意义推导

新来一个元素$n$，对于该元素我们有两种方案：

（1）：元素$n$单独做一个环，故此时的方案为：$\left[\begin{array}{c}n-1\\ \\ k-1\end{array}\right]$

（2）：元素$n$放入一个现有的环，那么我们需要选择一个数，并把这个新数插到其前面，故此时的方案为:$C_{n-1}^1\left[\begin{array}{c}n-1\\ \\ k\end{array}\right]$

所以通过加法原理可以得到：$\left[\begin{array}{c}n\\ \\ m\end{array}\right]=\left[\begin{array}{c}n-1\\ \\ k-1\end{array}\right]+C_{n-1}^1\left[\begin{array}{c}n-1\\ \\ k\end{array}\right]$

2.2、生成函数推导

$$\begin{gathered} 同样地我们考虑单个环上的生成函数，对于长度为i的环而言，其方案数为(i-1)! \\ \therefore 我们可以写出单个环的指数生成函数:A(x)=\sum _{i=1}^n(i-1)!\frac{x^i}{i!}=\sum _{i=1}^n\frac{x^i}{i} \\ \therefore \left[\begin{array}{c}n\\ m\end{array}\right]=[x^n]A^m(x) \end{gathered}$$

2.3、第一类斯特林数的性质

$$\begin{array}{rl}& \left[\begin{array}{c}0\\ 0\end{array}\right]=1\\ & \left[\begin{array}{c}n\\ 0\end{array}\right]=0,n>0\\ & \left[\begin{array}{c}n\\ 1\end{array}\right]=(n-1)!\\ & \left[\begin{array}{c}n\\ n-1\end{array}\right]=C_n^2\\ & \left[\begin{array}{c}n\\ n-2\end{array}\right]=(n-1)!\times \sum _{i=1}^{n-1}\frac{1}{i}\\ & \left[\begin{array}{c}n\\ n-2\end{array}\right]=2C_n^3+3C_n^4\\ & \sum _{k=0}^n\left[\begin{array}{c}n\\ k\end{array}\right]=n!\end{array}$$