[学习笔记]浅析 第二类斯特林（Stirling）数 的妙用

一、概念及递推

第二类斯特林数：把 $n$ 个元素分成 $m$ 个非空无序集合的方案数，记作

$$\begin{Bmatrix}n\\m\end{Bmatrix}$$
递推式：考察第 $n$ 个元素是否单独属于一个集合。
如果单独属于一个集合，那么剩下的 $n-1$ 个元素有 $\begin{Bmatrix}n-1\\m-1\end{Bmatrix}$ 中划分方法。
如果不单独属于一个集合，那么剩下的 $n-1$ 个元素有 $\begin{Bmatrix}n-1\\m\end{Bmatrix}$ 种划分方法，第 $n$ 个元素可以插入这 $m$ 个集合中的任一。
所以得出第二类斯特林数的递推式：
$$\begin{Bmatrix}n\\m\end{Bmatrix}=\begin{Bmatrix}n-1\\m-1\end{Bmatrix}+m\times\begin{Bmatrix}n-1\\m\end{Bmatrix}$$
边界 $\begin{Bmatrix}0\\0\end{Bmatrix}=1$ 。

二、通项公式

可以用容斥的方法求第二类斯特林数。
先考虑无序转有序，设 $T(n,m)$ 表示把 $n$ 个元素划分成 $m$ 个非空有序集合的方案数。
注意这里「有序」的概念：集合的顺序有序，而集合内的元素无序。
如