第二类斯特林数

介绍

有$n$个不同的小球，要放在$m$个相同的盒子中，且每个盒子不能为空，问有多少种方案。

第二类斯特林数就是这类问题的答案，其表示方法为$S(n,m)$。

一些公式

我们考虑如何求$S(n,m)$。

首先，$S(0,0)=S(1,1)=1$，$S(1,m)=0$，其中$m>1$。

考虑当前放第$n$个小球，它可以和前面的小球放在一个盒子里，也可以新开一个盒子，那么

$S(n,m)=m\times S(n-1,m)+S(n-1,m-1)$

因为空了就不合法，所以可以用容斥来推通项公式

$S(n,m)=\frac{1}{m!}\sum _{i=0}^m(-1{)}^i{C}_m^i(m-i{)}^n$

我们先把盒子看作互不相同，其中$i$表示至少有$i$个盒子为空，$(-1{)}^i$是容斥系数，$C_m^i$表示在$m$个盒子中选$i$个为空，$n$个球任意放在剩下$(m-i)$个盒子中的方案数为$(m-i{)}^n$。因为盒子相同，而先前我们把盒子看作互不相同，所以要乘上$\frac{1}{m!}$。

还有一个比较常见的公式

$m^n=\sum _{k=0}^{n}S(n,k)\times C_m^k\times k!$

$m^n$其实就是把$n$个小球任意地放在$m$个不同的盒子中，每个小球有$m$种选法，盒子可以为空。而$k$枚举的就是非空盒子的个数，$C_n^k$表示在$n$个盒子中选$k$个为空。因为$S(n,k)$表示将$n$个不同的球放在$k$个相同的盒子中，再乘上$k!$表示放在$k$个不同的盒子中。方案数相同，所以相等。

为了好看一些，我们也可以将$m,n$的定义互换，得到

$n^m=\sum _{k=0}^{m}S(m,k)\times C_n^k\times k!$