第二类斯特林数
第二类斯特林数##
第二类斯特林数，记为\(\begin{Bmatrix} n \\ m \end{Bmatrix}\)或\(S(n,m)\)，表示将\(n\)个元素划分到\(m\)个非空无序集合的方案数
计算式##
计算式有两种，递推式和通项式
--递推式--
第\(n\)个元素有两种选择，自己独立为一个集合，或者加入之前的集合
\[\begin{Bmatrix} n \\ k \end{Bmatrix} = \begin{Bmatrix} n - 1 \\ k - 1 \end{Bmatrix} + \begin{Bmatrix} n - 1 \\ k \end{Bmatrix} * k
\]
--通项式--
根据容斥：
\[\begin{Bmatrix} n \\ m \end{Bmatrix} = \frac{1}{m!} \sum\limits_{k = 0}^{m} (-1)^{k} {m \choose k} (m - k)^{n}
\]
可以用\(NTT\)在\(O(nlogn)\)的时间内计算出所有的关于\(n\)相同的\(\begin{Bmatrix} n \\ m \end{Bmatrix}\)
不过通常会结合其它式子展开化简
性质##
接下来不加证明地给出一些性质：
①
\[\begin{Bmatrix} 0 \\ 0 \end{Bmatrix} = 1
\]
②
\[\begin{Bmatrix} n \\ 0 \end{Bmatrix} = 0 [ n >０]
\]
③
\[\begin{Bmatrix} n \\ n \end{Bmatrix} = 1
\]
④
\[\begin{aligned}
\begin{Bmatrix} n \\ 2 \end{Bmatrix} &= \begin{Bmatrix} n - 1 \\ 1 \end{Bmatrix} + \begin{Bmatrix} n - 1 \\ 2 \end{Bmatrix} * 2 \\
&= 1 + \begin{Bmatrix} n - 1 \\ 2 \end{Bmatrix} * 2 \\
&= 2^{n - 1} + 1
\end{aligned}\]
⑤
\[\begin{Bmatrix} n \\ n - 1 \end{Bmatrix} = {n \choose 2}
\]
⑥
\[\begin{Bmatrix} n \\ n - 2 \end{Bmatrix} = {n \choose 3} + 3 * {n \choose 4}
\]
