斯特林数

斯特林数

斯特林数有第一类斯特林数和第二类斯特林数

第一类斯特林数

有$n$个不同的元素，需要将这$n$个元素组成$m$个圆环，问方法数。这个方法数就是第一类斯特林数，记作$s(n,m)$。对于第一类斯特林数，可以有这样的递推过程，对于$s(n,m)$，假设已经知道$s(n-1,m)$和$s(n-1,m-1)$，对于$s(n-1,m-1)$，可以将第$n$个元素自己组成一个环，对于$s(n-1,m)$，可以将第$n$个元素放到前$n-1$任意一个元素的左侧，所以关于$s(n,m)$有：
$$s(n,m)=n\ast s(n-1,m)+s(n,m-1)$$
上面介绍的是无符号第一类斯特林数，对于有符号第一类斯特林数未来有机会再学习。

第二类斯特林数

有$n$个不同的元素，需要将这$n$个元素分成$m$个集合，问方法数。这个方法数就是第二类斯特林数，也记作$s(n,m)$。对于第二类斯特林数，可以有这样的递推过程，对于$s(n,m)$，假设已经知道$s(n-1,m)$和$s(n-1,m-1)$，对于$s(n-1,m-1)$，可以将第$n$个元素自己新开一个集合，对于$s(n-1,m)$，可以将第$n$个元素放入$m$个集合任意一个集合，所以关于$s(n,m)$有：
$$s(n,m)=m\ast s(n-1,m)+s(n-1,m-1)$$
除了递推式，第二类斯特林数还有一组可以直接计算的公式：
$$s(n,m)=\frac{1}{m!}\sum _{k=0}^m(-1{)}^{k}C(m,k)(m-k{)}^n$$
对于这个式子，可以使用容斥定理证明。先区分$m$个集合，给每个集合标上号，这时候总的方案数就是$m^n$，即$n$个元素可以任意选择$m$个集合，我们可以发现这里面还包括了一些空集合的情况，将存在空集合的情况去掉就能得到我们的答案，令$T(h)$表示空集合数目为$h$的情况数，则很容易得到下面的式子：
$$m^n=\sum _{h=0}^{m}T(h)$$
$T(0)$是我们的答案，现在我们尝试去掉空集合数大于1的情况，我们随机选择一个集合作为空集合，有$C(m,1)$的选法，然后对$n$个元素随机放入剩余$m-1$个集合，则总的方案数有：
$$S_1=C(m,1)\ast (m-1{)}^n$$
对于$S_1$，可以发现对于$T(2)$的情况统计了两次，对于$T(h)$的情况统计了$h$次，这意味减去$S_1$会变成：
$$\begin{gathered} m^n-S_1=T(0)+T(1)+...+T(m)-T(1)-2\ast T(2)-...-m\ast T(m) \\ =T(0)-T(2)-2\ast T(3)-...-(m-1)\ast T(m) \end{gathered}$$
我们的目标是得到$T(0)$，所以需要把$T(2)$加回来，于是同样的，有$S_2$:
$$S_2=C(m,2)\ast (m-2{)}^n=T(2)+C(3,2)\ast T(3)+...+C(m,2)\ast T(m)$$
把$S_2$加上有：
$$m^n-S_1+S_2=T(0)+T(3)+3\ast T(4)+...+(m-1{)}^2\ast T(m)$$
利用数学归纳法很容易可以证明：
$$S_k=C(m,k)\ast (m-k{)}^n=T(k)+C(k+1,k)\ast T(k+1)+...+C(m,k)\ast T(m)$$
$$T(0)=m^n-\sum _{k=1}^m(-1{)}^k{S}_k=\sum _{k=0}^m(-1{)}^{k}C(m,k)(m-k{)}^n$$
前面提到$T(0)$是$n$个不同元素放入$m$个不同集合的种数，而第二类斯特林数是$n$个不同元素放入$m$个相同集合的种数，所以第二类斯特林数有以下结果：
$$S(n,m)=\frac{1}{m!}T(0)=\frac{1}{m!}\sum _{k=0}^m(-1{)}^{k}C(m,k)(m-k{)}^n$$