容斥原理及其应用

容斥原理及其应用

关键词：容斥原理；路径选择；组合数学

概念

计数是组合数学中常见的一类问题。为了实现无重复无遗漏的计数，可以计先算出总数，再排除不符合条件的数目。 本文介绍了容斥原理的基本定理，并给出了证明，并对广义容斥原理进行了说明，最后用广义容斥原理解决了在限制条件下的路径组合问题，有较强的背景意义。
容斥原理是一种重要的组合数学方法，可以求解任意大小的集合，或者计算复合事件的概率。在计数时，必须注意无一重复，无一遗漏。为了使重叠部分不被重复计算，研究出一种新的计数方法。这种方法的基本思路是：先不考虑重叠的情况，把包含于某内容中的所有对象的数目先计算出来，然后再把计数时重复计算的数目排斥出去，使得计算的结果既无遗漏又无重复，这种计数的方法称为容斥原理.要计算几个集合并集的大小，我们要先将所有单个集合的大小计算出来，然后减去所有两个集合相交的部分，再加回所有三个集合相交的部分，再减去所有四个集合相交的部分，依此类推，一直计算到所有集合相交的部分。

容斥原理

定义及证明

假设N是一些目标的集合，并令$S_1$，和$S_2$是N的每个目标可能具有或者不具有的2个性质，我们的目的是为了求出N中即不具有性质$S_1$，也不具有性质$S_2$的目标的个数按照容斥原理的的原则，我们可以采用下列的步骤：
—-先求出N中所有物体的个数，然后去掉具有性质$S_1$,的目标个数，再去掉具有性质$S_2$ 的物体个数，如果一些目标同时具有$S_1$和$S_2$这2种性质，它们就会被去掉2次，那么我们需要再加回这些目标的个数，用符号表示如下
$A_1 = N\bigcap{S_1}$ $A_2 = N\bigcap{S_2}$
集合$\bar{A_1}\bigcap{\bar{A_2}}$表示既没有$S_1$特征，也没有$S_2$特征的目标。根据集合论，很容易得到。

按照这种理论可以把多个特征推广到n维，那么可以得到以下的定理 定理1 集合N中不具有n个特征的目标个数将有下列公式给出

$$|\bar{A_1}\bigcap{\bar{A_2}}...\bar{A_n}| = |N|-\Sigma_{1\leq{i}\leq{n} }|A_i| +\Sigma_{1\leq{i}\leq{j}\leq{n} }|A_i\bigcap{A_j}| - ... (-1)^m|A_1\bigcap{A_2}...\bigcap{A_n}|$$
运算规律就是多个的组合，正负性是根据组合数的奇偶性决定的，奇数为负，偶数为正。\
证明： n=2的情况，上述已经讨论过了，现在假设n=3，则根据公式可以推导出，\
$|\bar{A_1}\bigcap{\bar{A_2}}\bigcap{\bar{A_n}}| = |N|-(|A_1|+|A_2|+|A_3|)+(|A_1\bigcap{A_2}|+|A_1\bigcap{A_3}|+|A_3\bigcap{A_2}|)-|A_1\bigcap{A_2}\bigcap{A_3}|$\

这里看到该公式有1+3+3+1=8项.
当n为一般时，该式的左边是对N中的不具有性质$S_i$(i=1,2,…,n)的物体计数，通过证明增添1
个性质$S_i$都不具有的物体会使公式的右边净增加，增添1个至少具有1个性质的物体使公式的右
边净增0来建立公式的合理性.
首先，添加1个性质$S_i$都不具有的物体x,公式右边的净增加数为:1-0+0-0+0-..-+
$(一1)^m$0=1;因为它在S中而不在其他子集$A_i$中.考虑恰好具有n($n\geq{1}$)个性质$S_i$;(i=1,2,…,n)的物体r,r这一个物体在|N|中所占数量是$1=C_n^0$..由于r恰有n个性质，它为子集$A_1$,$A_2$,$A_3$,$A_n$中恰好n个的成。它对$|A_i|$提供的值为$n=C_n^1$。由于我们可以以￥$C_n^2$种方式选择r具有一对性质$S_i$$S_j$,而r恰好是形式为$A_i\bigcap{A_j}$那些集合中的$C_n^2$个成员，因此，r给$\Sigma{A_i\bigcap{A_j}}$那些集合提供$C_n^2$个成员，同理，r对给$\Sigma{A_i\bigcap{A_j}}\bigcap{A_k}$提供数值为$C_n^3$等等，于是r对公式(1)右边的净增为\

$$C_n^0-C_n^1 + C_n^2-... +(-1)^m*C_n^m$$
由于 $n\leq{m}$ ，上式等于 $C_n^0-C_n^1 + C_n^2-... +(-1)^m*C_n^m$= $(1-1)^m$ = 0.因此，如果r至少具有一个性质，那么它对公式(1)右边的净增数为0，定理得证。

图论中的应用

给定一个有限的无向图G = (V, E) ,这里V是顶点集, E是边集,且完全子图定义为:它的顶点是V的子集,在这些顶点中任两点都有E中的边相连接. 一个具有k个顶点的完全子图称为一个完全k-子图. 下面假定2≤k≤n,其中n是G的顶点数,顶点v∈V 的次数记为d(v) ,定义为以v作为一个端点的边数. 显然,若一个图G不包含完全k-子图,则存在关于它的顶点的次数和它的边数的某些限制，Zarankiewicz的证明采用了反证法,巧妙的应用了容斥原理的对偶形式得到一个与题设矛盾的结论。\
此外,应用容斥原理可以求出图顶点染色的色多项式.\
假设有4个顶点的圈，顶点和边数依次为$V={a,b,c,d},E={(a,b),(b,c),(c,d),(d,a)}={e_1,e_2,e_3,e_4},$计性质$A_1,A_2,A_3,A_4$分别为$a-b,b-c,c-d,d-a$染色相同，现有x种色彩，染色的要求是相邻的顶点不能是同一种颜色，正常染色的数目记为P(G,x)（称为色多项式）则$P(G,x)=N(A_1\bigcap{A_2}\bigcap{A_3}\bigcap{A_4})$=$x^{|V|}+\Sigma_{i=1}^{|E|}{N(A_i)}+\Sigma{N(A_i\bigcap{A_j})}-\Sigma{A_i\bigcap{A_j}}\bigcap{A_k}+N(A_1\bigcap{A_2}\bigcap{A_3}\bigcap{A_4})$\
用容斥原理可得

$$P(G,x)=x^4-4x^3+6x^2-4x+x=x^4-4x^3+6x^2-3x$$

广义容斥原理

首先定义集合N和性质$A_1,A_2,...A_n$令$\aleph(0) = |N|$
$\aleph(1) = \sigma|A_i|$
$\aleph(2) = \sigma|A_i\bigcap{A_j}|$
….
$\aleph(n) = |A_1\bigcap{A_2}...\bigcap{A_n}|$
则 $\alpha(m)$计数了具有m+k个性质的元素$C_m^{m+k}$次。
定理 广义容斥原理定义如下：给定集合N和性质$A_1,A_2,...A_n$，则$\beta{m}$定义为集合N中恰有m个性质的个数

$$\beta{m} = \aleph{m} - C_m^{m+1}\aleph{m+1}+C_m^{m+2}\aleph{m+2}....(-1)^{n-m}C_m^n\aleph{n}$$
考虑特殊情况，当m=0的时候，即可得到以下公式：
$$\beta{0} = \aleph{0}-\aleph{1}+\aleph{2}...(-1)^n*\aleph{n}$$
也就是上述讨论的没有相同元素的交集情形。