容斥原理

容斥原理

设S_1,S_2,…,S_n为有限集合，$$\begin{gathered} \left| \\ S\right| \end{gathered}$$表示集合S的大小，则:
$$\begin{gathered} \left|\bigcup _{i=1}^n{S}_i\right|=\sum _{i=1}^n\left| \\ {S}_i\right|-\sum _{1\le i<j\le n}\left| \\ {S}_i\cap S_j\right|+\sum _{1\le i<j<k\le n}\left| \\ {S}_i\cap S_j\cap S_k\right|+\cdots \end{gathered}$$

$$\begin{gathered} +(-1{)}^{n+1}\left| \\ {S}_1\cap S_2\cap ....\cap S_n\right| \end{gathered}$$

两个字:去重

用文氏图(Venn图)表示就很简单明了了:

多重集的组合数

设$S=\left\{\begin{array}{c}{n}_1\cdot a_1,n_2\cdot a_2,n_3\cdot a_3,\cdots ,n_k\cdot a_k\end{array}\right\}$是由$n_1$个$a_1$，$n_2$个$a_2$，$\cdots$，$n_k$个$a_k$组成的多重集。设$n={\sum }_{i=1}^k{n}_i$，对于任意整数$r\le n$，从S中取出r个元素组成一个多重集(不考虑顺序)，产生的不同多重集的数量为:

$$C_{k+r-1}^{k-1}-\sum _{i=1}^k{C}_{k+r-n_i-2}+\sum _{1\le i<j\le k}{C}_{k+r-n_i-n_j-3}^{k-1}-\cdots +(-1{)}^k{C}_{k+r-{\sum }_{i=1}^k{n}_i-(k+1)}^k$$

证明:
不考虑$n_i$的限制，从S中任选r个元素，相当于从多重集$\left\{\begin{array}{c}\infty \cdot a_1,\infty \cdot a_2,\cdots ,\infty \cdot a_k\end{array}\right\}$中取出r个元素，根据组合计数的讨论，方案数为$C_{k+r-1}^{k-1}$.

设$S_i(1\le i\le k)$表示至少包含$n_i+1$个a_i的多重集。我们先从S中取出$n_i+1$个$a_i$，然后再任选$r-n_i-1$个元素，即可构成$S_i$。与上面同理，可以构成不同$S_i$的数量为$C_{k+r-n_i-2}^{k-1}$.

进一步地，先从S中取出$n_i+1$个$a_i$和$n_j+1$个$a_j$，然后再任选$r-n_i-n_j-2$个元素，即可构成$S_i\cap S_j$，方案数为:
$$C_{k+r-n_i-n_j-3}^{k-1}$$

根据容斥原理，至少有一种$a_i$选取的数量超过$n_i$限制的多重集共有:
$$\begin{gathered} \left| \\ \bigcup _{i=1}^k{S}_i\right|=\sum _{i=1}^k{C}_{k+r-n_i-2}-\sum _{1\le i<j\le k}{C}_{k+r-n_i-n_j-3}^{k-1}+\cdots +(-1{)}^{k+1}{C}_{k+r-{\sum }_{i=1}^k{n}_i-(k+1)}^k \end{gathered}$$

故满足所有限制的合法多重集共有$$\begin{gathered} C_{k+r-1}^{k-1}-\left| \\ {\bigcup }_{i=1}^k{S}_i\right| \end{gathered}$$个，(也可以用文氏图简单明了的得到)两式相减即得原命题。

证毕。