多重集的排列数与组合数

多重集的排列数与组合数

设 S = { n 1 a 1 , n 2 a 2 , … , n k a k } S = \{ n_1a_1,n_2a_2,…,n_ka_k\} S={n1​a1​,n2​a2​,…,nk​ak​} 是由 $n_1$个$a_1$，$n_2$个$a_2$，…,$n_k$个$a_k$组成的多重集。
$N=n_1+n_2+n_3+...+n_k$, $n_i$被称为元素$a_i$的重数，$k$成为多重集合的类别数

---

多重集的排列数

在 $S$ 中任选 $r$ 个元素的排列称为$S$的$r$排列，当$r=n$时不考虑相同的元素，其全排列的个数为$({\sum }_{i=1}^k{n}_i)!$

$S$的全排列个数为：
$$A=\frac{({\sum }_{i=1}^k{n}_i)!}{{\pi }_{i=1}^k(n_i!)}或\frac{N!}{n_1!n_2!...n_k!}(N=\sum _{i=1}^k{n}_i)$$
$N=n_1+n_2+n_3+...+n_k$

---

多重集的组合数

在 $S$ 中任选 $r$ 个元素的组合称为$S$的$r$组合；
问题一：
给定一个多重集 S = { n 1 a 1 , n 2 a 2 , . . . , n k a k } S=\{n_1a_1,n_2a_2,...,n_ka_k\} S={n1​a1​,n2​a2​,...,nk​ak​}
以及一个整数$r$,并且$r\le n_i（\forall i\in [1,k]）$ 【即$r$小于等于$n_i$的最小值】
求从S中取出任意r个元素可以$n_i$产生的不同多重集数量

我们设$a_i$取$x_i$个，那么原问题就等价于不定方程${\sum }_{i=1}^k{x}_i=r(x\ge 0)$的解的个数。
就是就是要给每个$x_i$赋值$[0,m]$中的任意整数，且所有$x_i$的和为$m$,
由于条件$r\le n_i（\forall i\in [1,k]）$所以不用考虑$x_i>n_i$的情况
等价于一共有$r$个苹果，分给$k$个人，可以有人拿$0$个苹果，求所有的方案数。
用隔板法计算，其方案数为$C_{r+k-1}^{k-1}$ 【隔板法传送门】

问题二：
给定一个多重集 S = { n 1 a 1 , n 2 a 2 , . . . , n k a k } S=\{n_1a_1,n_2a_2,...,n_ka_k\} S={n1​a1​,n2​a2​,...,nk​ak​}
以及一个整数$r$，并且$r\le {\sum }_{i=1}^k{n}_i$ 【即$r$小于$N$】
求从S中取出任意r个元素可以$n_i$产生的不同多重集数量

先不考虑$n_i$个元素的限制，即从多重集 S ′ = { ∞ a 1 , ∞ a 2 , … , ∞ a k } S^′= \{∞a_1,∞a_2,…,∞a_k\} S′={∞a1​,∞a2​,…,∞ak​}中取$r$个元素的组合数。
此时$x_i$不受$n_i$限制，就与问题一类似，方案数为$C_{r+k-1}^{k-1}$

这里的方案数显然包含了$x_i>n_i$的不合法方案
考虑每个$a_i$取值受$x_i$的限制，设不满足第$i$个限制的方案集合为$F_i$
即答案为$C_{r+k-1}^{k-1}-|{\bigcup }_{i=1}^k{F}_i|$

$|{\bigcup }_{i=1}^k{F}_i|$用容斥原理计算:

对于 $F_i$，我们从$S$中取出$n_i+1$个$a_i$【即这样已经是非法方案了，那么我们选择的任意$m-n_i-1$个元素都是非法方案】，再从S中任意（注意可以是$a_i$也可以是别的）$m-n_i-1$个元素构成$F_i$集合
这样我们可以看成是一共有$(r-n_i-1)$个苹果，分给$k$个人，可以有人拿0个苹果，求所有方案数。
由问题一可得：$C_{r-n_i-1+k-1}^{k-1}\to C_{r-n_i+k-2}^{k-1}$
我们得出的结论是所有$x_i>n_i$的不合法方案；但是我们发现我们还多算上了$\left|F_i\bigcap F_j\right|$的数量。（即同时包含了至少$n_i+1$个$a_i$和至少$n_j+1$个$a_j$的多重集）
多算的原因：看上方绿色字体,我们选择剩余元素的方案中，包含同时选择了至少$n_j+1$个$a_j$的多重集的方案。
我们求一下$|F_i\bigcap F_j|$，也就是我们取$n_i+1$个$a_i$，再取$n_j+1$个$a_j$ ，其余的$r-n_i-n_j-2$个元素任意取。还是类似于问题一的方法：得出$|F_i\bigcap F_j|=C_{k+r-n_i-n_j-3}^{k-1}$

反复容斥可得：

$$\left|\bigcup _{i=1}^k{F}_i\right|=\sum _{i=1}^k{C}_{r-n_i+k-2}^{k-1}-\sum _{1\le i<j\le n}{C}_{k+r-n_i-n_j-3}^{k-1}+...+(-1{)}^k{C}_{k+r-{\sum }_{i=1}^k{n}_i-(k+1)}^{k-1}$$

最终答案：
$$C_{r+k-1}^{k-1}-\sum _{i=1}^k{C}_{r-n_i+k-2}^{k-1}+\sum _{1\le i<j\le n}{C}_{k+r-n_i-n_j-3}^{k-1}-...+(-1{)}^k{C}_{k+r-{\sum }_{i=1}^k{n}_i-(k+1)}^{k-1}$$