无视标题，从我做起

update in 2018.10.1：

补充了"至多为1的四中情况"

这玩意儿的官方名字应该是叫"Twelvefold way"，共用12种情况。

球异，盒同

不空

该情况为经典的第二类斯特灵数

设\(f[n][m]\)表示答案。

\(f[n][m] = f[n - 1][m - 1] + m \times f[n - 1][m]\)

边界条件：\(f[0][0] = 1\)

答案 = 第\(n\)个数单独占一个盒子 + 第\(n\)个数和之前的数共占一个盒子，同时考虑不同位置的贡献

注意最后要乘\(m\)，因为第\(n\)个数放置的位置对答案是有影响的

例如{1}{2 4}{3}与{1}{2}{3 4}是不同的方案

题目中的应用

可空

直接枚举用了多少个盒子

设\(g[n][m]\)表示答案

则\(g[n][m] = \sum_{i = 0}^m g[n][i]\)

至多放\(1\)

此类"至多放\(1\)"的问题若\(n>m\)则方案数一定为\(0\)

答案为\([n <= m]\)

球异，盒异

可空

每一个球都有\(m\)种放法，故答案为\(m^n\)

不空

设\(g[n][m]\)表示答案，\(s[n][m]\)为第二类斯特灵数

则\(g[n][m] = s[n][m] \times m!\)

相当于是考虑\(m\)个盒子的顺序

至多放\(1\)

\(ans = m!(m-1)! \dots (m - n + 1) ! = \frac{m!}{(m-n)!}\)

球同，盒异

不空

插板法的经典例题

\(n\)个球之间形成\(n - 1\)个空位，把\(m\)个盒子塞到里面

方案为\(C_{n - 1}^{m - 1}\)

可空

注意这里不能直接套用“插板法”得到\(C_{n+1}^{m - 1}\)

因为使用插板法的前提条件之一就是“分成的方案不能为空”

考虑先在每个盒子中放一个小球，那么剩下的小球再往里放的时候就可以无视“非空的条件了”

故方案为\(C_{n+m-1}^{m - 1}\)

这里再补充一下为什么不能直接套用插板法

比如\(n = 2, m = 3\)时，方案为\(6\)，而直接套用插板法得到的答案为\(3\)。

究其原因，是因为没有考虑到两个板同时占了一个空位的情况。

至多放\(1\)

考虑每个球放在了哪里。

\(ans = C_m^n\)

球同，盒同

可空

这种情况下，不同方案之间与具体用了哪个球以及放到了哪个盒子里都没有必然的联系

区分不同方案的方法是：把每个盒子的球的个数从小到大排序，比较最终的情况是否相同

例如：\(1 \ 7 \ 1\)与\(1 \ 1 \ 7 \\)实际是一种方案

对于\(n = 8, m = 3\)而言一共有\(10\)种不同的放法

从上面的分析我们也不难得出结论

\(n\)个相同的小球放到\(m\)个相同的盒子里，盒子可以为空的方案数 与一个整数\(n\)拆成\(m\)段非递减序列的方案数相同

设\(f[n][m]\)表示\(n\)个小球放到\(m\)个相同的盒子里，盒子可以为空的方案数

边界条件为\(f[0][k] = 1, f[1][k] = 1, f[k][1] = 1\)

递推方程\(f[n][m] = \begin{cases} f[n - m][m] + f[n][m - 1] &n >= m \\ f[n][m - 1] &n < m \end{cases}\)

解释一下：

我们考虑这\(m\)个位置中是否有空盒子

显然：答案 = \(m\)个位置中至少有\(1\)个位置为空的方案 + \(m\)个位置中全不为空的方案

不空

我们可以先在所有盒子里都放了一个，然后对剩下的球讨论

同样可以得到一个结论：

\(n\)个相同的球，放到\(m\)个相同的盒子里，盒子不能为空的方案数 与把整数\(n\)拆成\(m\)段，每段不能为\(0\)的方案数相同

设\(g[n][m]\)表示\(n\)个小球放到\(m\)个相同的盒子里，盒子不能为空的方案数

则\(g[n][m] = f[n - m][m]\)，

题目链接

至多放\(1\)

\(ans = [n <= m]\)

参考资料

“n个球放到m个盒子”问题整理