`算法知识` 小球与盒子模型

---

小球与盒子模型

很多排列组合问题, 都可以抽象为: 从a个小球中, 选出若干个, 放到b个盒子里, 问所有放法的总方案数

---

盒子里的元素, 是不分次序的! 这是一条公理, 因为盒子的定义就是这样

比如, 一个盒子里放了(a, b), 那么, 至于里面是怎么排序的[a, b]还是[b, a]?
这是不关注的, 也是不分的, 都是属于一个方案.

---

盒子会有容量限制, 比如至少放1个或最多放k个或放任意个…

---

不管盒子是否是相同的, 盒子之间 是不存在次序问题的!

即同一种方案(即, 小球已经放入盒子里了), 盒子的次序是无关量, 也不存在盒子排列问题

---

针对小球, 分为: 所有小球相同 和 所有小球不同

小球是否相同, 如何区分呢?

比如, 有2个不同的盒子A, B, 有两个小球a, b, 要求: 将所有小球放入盒子里, 每个盒子可以放任意个

1. 如果是: 相同的小球, 即(a, b相同)
   总方案有: A( 1个), B( 1个), A( 0个), B( 2个),A( 2个), B( 0个), 共有3个方案
   可以发现, 当小球是相同的时, 我们已不关心小球标识, 而只需关注小球的个数!!
   虽然小球id标识有a, b, 但是到了这个问题里, 标识就清除掉了, 一视同仁
   比如对于: A( 1个), B( 1个), 至于A里面是a 还是 b, 不关心, 这属于是1个方案

2. 如果是: 不同的小球, 即(a, b不同)
   总方案有: A( a), B( b), A( b), B( a), A( 0个), B( ab),A( 2个), B( ab), 共有4个方案
   此时小球就有id标识了, 但是要注意A( ab), 这里面是不分次序的, 这是盒子的定义

---

针对盒子, 分为: 所有盒子相同 和 所有盒子不同

盒子是否相同, 如何区分呢?

比如, 有2个不同的小球a, b, 有2个盒子A, B. 要求: 将所有小球放入盒子里, 每个盒子可以放任意个

1. 如果是: 相同的盒子, 即(A, B相同)
   总方案有: 一个盒子里( a), 另一盒子( b), 一个盒子里( 0个), 另一盒子( ab), 共有2个方案
   可以发现, 我们此时的称呼为 一个盒子, 另一个盒子..., 与盒子的A, B标识无关

2. 如果是: 不同的盒子, 即(A, B不同)
   总方案有: A( a), B( b), A( b), B( a), A( 0个), B( ab),A( ab), B( 0个), 共有4个方案
   此时盒子就有id标识了

---

线性序列

对于同一个小球与盒子模型, 根据其盒子是相同的或不同的, 可以判定其是否是线性有关的

如果所有盒子都是相同的, 他是线性无关的. 因为所有盒子是相同的, 任何次序都属于一个方案
反之, 所有盒子是不同的, 称其为线性相关的. 因为盒子是不同的, 其次序是重要的

这里的次序, 并不是盒子的排放的次序(上面讲过, 小球与盒子模型中, 盒子间是没有次序关系的
这里的次序, 是所有小球在各个盒子中, 摆放的序列

---

不同盒子的线性序列

比如有3个不同的盒子: B1, B2, B3
将其转化为线性序列, 非常简单, 令线性序