放球是指把 n个球放到 m个盒子里的方案数。它是组合数学的一个非常重要的问题。根据球是否相同,盒子是否有区别,是否允许有空盒以及n与m 的大小关系,放球问题可分成 16 个子问题。不同情况总结见下表。
1,n 个球有区别,m 个盒子有区别,允许有空盒,n≥m≥1
由于可以有空盒,所以每个球可以放到m个盒子的任意一个盒子里。又因为盒子是有区别的,所以对于任意一个球有m种不同的选择。 n个球是有区别的,所以总共有 种方案。比如,当n=3 时,第 1 个球有m种不同选择,第 2 个球有m种不同选择,第3个球有m种不同选择,据乘法法则总共有 种方案。
2. n 个球有区别,m 个盒子有区别,允许有空盒,m>n≥1。
由于可以有空盒,所以每个球可以放到m个盒子的任意一个盒子里。又因为盒子是有区别的,所以对于任意一个球有m种不同的选择。n个球是有区别的,所以总共有 种方案。
3. n 个球有区别,m 个盒子无区别,无空盒,n≥m≥1 根据 [1] 中第二类司特林数的定义,n个有区别的球放到m个相同的盒子中,要求无一空盒,其不同的方案数为S(n,m)。
4. n 个球有区别,m 个盒子无区别,无空盒,m>n≥1 由于m>n,而n个球至多可放入n个盒子里,所以必定有空盒。故满足此条件的方案数为 0。 5. n 个球有区别,m 个盒子有区别,无空盒,n≥m≥1 对于这个问题,可以先假设m个盒子是无区别的,这样根据 3 可知总共有S(n,m)种不同的方案数。然后再把m个盒子进行全排列,所以总共有m!S(n,m)种方案。 6. n 个球有区别,m 个盒子有区别,无空盒,m>n≥1 由于m>n, 而n个球至多可放入n个盒子里,所以必定有空盒。故满足此条件的方案数为 0。 7. n 个球有区别,m 个盒子无区别,允许有空盒,n≥m≥1 因为允许有空盒,我们可以设非空的盒子数是k个。则问题变成n个有区别的球放到k个无区别的盒子里,要求无一空盒。据3可知,总共有S(n,k) 种方案。因为n≥m, k的取值范围是[1, m], 所以共有S(n, 1) + S(n, 2) + …… + S(n, m)种方案。
8. n 个球有区别,m 个盒子无区别,允许有空盒,m>n≥1 因为允许有空盒,我们可以设非空的盒子数是k个。则问题变成n个有区别的球放到k个无区别的盒子里,要求无一空盒。据3可知,总共有S(n,k) 种方案。因为m>n, k的取值范围是[1, n], 所以共有S(n, 1) + S(n, 2) + …… + S(n, n)种方案。
9. n 个球无区别,m 个盒子有区别,允许有空盒,n≥m≥1 先介绍允许重复的组合的概念。允许重复的组合是指从集合A={1,2,……,n}中取r个元素{ }, 并且允许当 时, .例如A={1,2,3}, 取A中2个元素作允许重复的组合,除了不重复的{1,2}, {1,3}和{2,3}外,还包含{1,1}, {2,2}, {3,3}。根据 [1] 可知,在n个不同的元素中取r个作允许重复的组合,其组合数为C(n+r-1, r)。设m个不同的盒子构成集合M。每次从集合M中取出n个元素作允许重复的组合。若组合中,第i个盒子出现了k次(n≥k≥0),则表示第i个盒子中有k个球。因此问题可表示为 从m个不同的元素中取n个作允许重复的组合,其方案数为C(m+n-1, n)。
也可利用“插板法”来理解。假设n个球和m-1个板放到n+m-1个位置,第1个板前的放进第一个盒子,第i-1个版和第i个版之间的球放进第i个盒子,则共有C(m+n-1,n)种放法。由于此时板可以连续放,故对应允许有空盒的情况。
10. n 个球无区别,m 个盒子有区别,允许有空盒,m>n≥1
此问题可表示为从m个不同的元素中取n个作允许重复的组合,其方案数为C(m+n-1, n)。
11. n 个球无区别,m 个盒子有区别,无空盒,n≥m≥1 由于要求无空盒,而且n个球无区别,所以先取出m个球放入m个盒子里。此时,这个问题可转化为求将(n-m)个无区别的球放入m个有区别的盒子里,允许有空盒的方案数。这 个 问 题 就 变 成 了 9 所 解 决 的 问 题 。 因此有C(m+(n-m)-1, n-m)=C(n-1, n-m)=C(n-1, n-1-(n-m))=C(n-1,m-1)种方案。
12. n 个球无区别,m 个盒子有区别,无空盒,m>n≥1 由于n<m,而n个球至多可放入n个盒子里,所以必定有空盒。故满足此条件的方案数为 0。 13. n 个球无区别,m 个盒子无区别,允许有空盒,n≥m≥1 此问题相当于把n个球分成k堆,其中m>=k>1。根据 [1] 中2.9 节的推论:设n≥m,n拆分成最多m个数的和的拆分数等于将n拆分成最大数不超过m的拆分数。据上述推论可把问题转化为把整数n拆分成最大数不超过m的拆分数。而把整数拆分成最大不超过m的拆分数 的母函数为 。
故满足条件的方案数等于把n用{1,2,...,m}进行拆分的拆分数,等于G(x)的 项系数。 14. n 个球无区别,m 个盒子无区别,允许有空盒,m>n≥1 此问题相当于把n个球分成k堆。其中m>=k>1且n>=k>1。又因m>n,所以k的取值范围为n>=k>1。 据13 可知此问题可转化为把整数n拆分成最大数不超过n的拆分数。而把整数拆分成 最 大不 超 过n的 拆 分 数的母函数为
故满足条件的方案数等于把n用{1,2,...,n}进行拆分的拆分数,等于G(x)的 项系数。
15. n 个球无区别,m 个盒子无区别,无空盒,n≥m≥1 我们可先将每个盒子放一个球,然后利用类比13题,即
满足条件的方案数等于G(x)的 项系数。
16. n 个球无区别,m 个盒子无区别,无空盒,m>n≥1 由于n<m, 而n个球至多可放入n个盒子里,所以必定有空盒。故满足此条件的方案数为0。
n个球是否有区别 | m个盒是否有区别 | 是否允许空盒 | n是否大于m | 方案数 | 简要解释 |
是 | 是 | 是 | 是 | | 每个球有m种可能 |
否 | | 每个球有m种可能 | |||
否 | 是 | | 类比盒无区别时,再乘以盒的可能排列 | ||
否 | | 盒比球多,必有空盒 | |||
否 | 是 | 是 | | 枚举有球盒的数量,再利用斯特林数 | |
否 | | 枚举有球盒的数量,再利用斯特林数 | |||
否 | 是 | | 根据斯特林数定义 | ||
否 | | 盒比球多,必有空盒 | |||
否 | 是 | 是 | 是 | | 插板法或根据可重组合计算公式 |
否 | | 同上 | |||
否 | 是 | | 先给每盒放一球,然后利用n-m个球,m个盒子有空盒的解 | ||
否 | | 盒比球多,必有空盒 | |||
否 | 是 | 是 | | 母函数方法 | |
否 | | 母函数方法 | |||
否 | 是 | | 母函数方法 | ||
否 | | 盒比球多,必有空盒 |