小球遇上盒子的八种模型

现在有$n$个球,$m$个盒子

$Ⅰ.球同,盒不同,无空箱$

那么$n$个球形成了$n-1$个间隙,于是可以用$m-1$个隔板分成$m$组

方案数是$C_{n-1}^{m-1}$,其中$n>=m$

$Ⅱ.球同,盒不同,允许空箱$

相当于多加$m$个球预先给$m$个盒子每个放一个,这样保证了无空箱

于是现在又转化为$Ⅰ$,同样利用隔板法(最后把每个盒子去掉一个球是等价的)

方案数是$C_{n+m-1}^{m-1}$

$Ⅲ.球不同,盒不同,允许空箱$

这个最简单了,相当于每个球都有$m$种放法

方案数是$m^n$

下面的五种模型都是第二类斯特灵数的变种

$Ⅳ.球不同,盒同,无空箱$

①.递推法

这就是斯特灵数,定义$f[i][j]$表示$i$个球$j$个盒子的方案

$$f[i][j]=f[i-1][j-1]+j\ast f[i-1][j]$$

当第$i$个球新开一组时,毫无疑问是$f[i-1][j-1]$,不需要系数因为每个盒子都一样

当第$i$个球放在前面某一组,有$j$个盒子可选,所以是$j\ast f[i-1][j]$

边界是$f[0][1]=1$,这样可以在$O(n^2)$的时间内转移

②.容斥法

$f[n][m]=\frac{1}{m!}\sum _{k=0}^m(-1{)}^k{C}_m^k(m-k{)}^n$

意思是先考虑盒子不同的答案,所以前面乘以$\frac{1}{m!}$抵消

然后枚举盒子为空的个数,$C_m^k$选出$k$个为空的盒子

那么现在剩下$(m-k)$个盒子,也就是$(m-k{)}^n$

似乎这个式子可以用$FFT$加速,下次学了来补…(不鸽)

$Ⅴ.球不同,盒不同,无空箱$

只是盒子多了有序性而已,答案是$m!\ast f[n][m]$

$Ⅵ.球不同,盒同,允许空箱$

枚举用了多少盒子累加即可$\sum _{i=1}^{m}f[n][i]$

$Ⅶ.球同,盒同,允许空箱$

定义$dp[i][j]$为$i$个球,$j$个盒子的方案数

若$i=0||j==1$,自然$dp[i][j]=1$

若球小于盒子$i<j$,有$dp[i][j]=dp[i][i]$

若球大于盒子$i>=j$,有$dp[i][j]=dp[i-j][j]+dp[i][j-1]$

因为可以在每个盒子上放一个小球,这样不改变相对大小,方案$dp[i-j][j]$

也可以暂时不在这个位置放球,方案是$dp[i][j-1]$

$Ⅷ.球同,盒同,无空箱$

和第Ⅶ种情况类似,无空箱就是$dp[n-m][m]$

也就是预先给每个盒子放一个球.