容斥原理
Inclusion-Exclusion Principle
并集等于各层交的带号和。两个集合要减去交,更多集合按交的重数变号。只加到某一层一般不再是等式。错排比例随规模增大靠近自然对数底的倒数,有限时并不等于它。
组合数学总览把并集收成一行带号求和,又把全错排写成 ,并说 随 增大逼近 。读快了,会变成三句它没有说的话。一句是,减去交只对两个集合有意义,三个以上就要另找公式。一句是,只加到某一层时出现的不等式,本身就是这条等式。一句是,错排比例的极限 已经是每一个有限 的精确值。三句都越界。
本页只保留有限并集的带号求和。证明停在指示函数:元素 在展开式里被计算的次数,等于它实际所属那些集合的带号和,结果是 当且仅当它至少属于一个集合。总览里筛法、覆盖和那些应用散文留在总览。这里不把它们再讲一遍,也不把极限写成等式。
并集按层变号
两个集合是整条公式的第一层,也是最容易被当成全部内容的一层。有限集合的并,等于两个基数相加,再减去交:
三个有限集合不能停在同一种减。单集相加会把恰好属于两个集合的元素多算一次,所以要减去三对两两交。只减到这里,属于全部三个集合的元素又被减多了,三重交必须加回来:
一般情形是同一句话。设 有限。并集的基数等于各单集之和,减去两两交,加回三重交,此后每一层继续变号。恰由 个集合作成的交,符号是 。 时符号为正, 时为负, 时又为正。写成一层一层的和,就是
跑到 时,最后一项只剩全体的交,符号 。少写任何一层,一般就不再是这个基数。集合必须有限,基数才是普通的非负整数。下面的指示函数不要求先把元素排成一张可以逐行打勾的表。
内层求和的下标写成严格递增,是为了每一组集合只出现一次。 个集合若按有序下标跑遍所有不同的取法,同一组交会进入 $k!$ 次。那时右边必须再除以 $k!$,才和现在这条基数相同。省略号省去的是更高的层,不是把同一层按不同次序再加几遍。
两个集合先算完
指示函数 在 属于 时取 ,否则取 。有限集合的基数,就是把这个函数在论域上加起来。两个集合时,展开式给 的次数是
四种归属都要写完。 不在 也不在 :三项都是 ,次数是 。只在 :第一项是 ,后两项是 ,次数是 。只在 :同样得到 。同时在 和 :交的指示函数也是 ,于是 $1+1-1=1$。次数等于 ,恰好在 属于并集的时候。不属于并集的时候,次数是 。所以这个带号和就是 ,不是一个近似。
两边对论域求和,左边加出 ,右边加出 。少减那一项,同时属于两边的元素会被数成 。把交再减一次,它又会被数成 。两种改法都不再等于并集的指示函数,求和以后也不再等于并集的基数。两个集合的公式到这里结束。它是整条原理在 时的全部,不是一条只许有两个集合的特殊窍门。
交并没有另一套指示函数。 属于 ,当且仅当它既属于 也属于 ,所以 就是两个指示函数的乘积。带号和因此可以写成 。把右边乘开,得到 减去两个单集、再加上乘积项。与前面那个 相减,剩下的仍是 。下一节只是把括号从一个增加到 。负号在两个集合时已经出现,不是等集合变多以后才临时规定的。
一般项的符号从哪里来
更多集合时,仍旧先看每个 被数了几次,而不是先去枚举并集里的元素。 不属于任何一个 ,当且仅当每个因子 都等于 ,这些因子的乘积等于 。只要 属于至少一个集合,对应的那个因子就是 ,乘积就是 。因此并集的指示函数可以写成
这是每个 上的数值恒等式。把乘积按子集展开。选定子集 ,属于 的每个集合贡献一个 ,不属于 的集合贡献 。这一项等于 乘上 中那些集合之交的指示函数。空集的项是 ,因为空的乘积按约定是 ,而且空交可以看成整个论域。前面的 与这项相减,空集消去。非空的 还要再承受这个减号,符号从 变成 。令 $k=|S|$,一般项的符号就是 。
符号不是在两个集合的公式后面临时添上的口诀。两个集合恰好是这个展开的短形式:单集对应 $|S|=1$,符号为正。两集合之交对应 $|S|=2$,符号为负。没有第三层,所以看不到加回来的那一项。三个集合时,三重交对应 $|S|=3$,符号是 ,于是加回来。层数增加,变号的理由不变。
把同一恒等式读成次数。 若不属于任何集合,每个非空交的指示函数都是 ,次数是 。 若恰好属于其中 个集合,而且 ,那么只有从这 个里取出来的交才会把它算进去。取出 个,有 种,每种的符号是 。次数等于
二项式定理用在 与 上:。 时左边是 。其中 的项是 ,所以从 起的那些项加起来等于 。每一项再变一次号,和就等于 。因此次数等于 ,当且仅当 至少属于一个集合。 时和就是 。 时是 $2-1=1$。 时是 $3-3+1=1$。这三行就是两个集合、以及三个集合那两条公式在一个元素上的样子。对论域求和,左边是并集的基数,右边是各层交的基数配上同样的符号。论域比并集大也没有关系,多出来的元素贡献 。
把基数换成概率,并不产生第二条原理。有限论域里若每个元素等可能,概率就是基数除以论域的大小。带号求和的两边除以同一个正整数,符号不变。元素并不等可能时,逐点恒等式仍然先成立。再对两边取同一个测度,等号还在,因为两边在每个样本点上已经相等。权重大小不改变这个逐点的 或 。因此并集的概率等于各层交的概率配上同样的符号。这一步不代替概率页上的极限定理,也不把错排比例的极限写成有限排列上的概率。
三十与十五
到 里能被 或 整除的数,就是两个集合的并。设 是其中 的倍数, 是 的倍数。 到 里 的倍数有 个。这里 ,而 、、 都整除 ,所以下取整与普通的商重合:
减掉的五个数是 、、、、。 同时属于 和 ,次数是 $1+1-1=1$,不是 。 只属于 ,次数是 。 只属于 ,次数是 。 两个集合都不属于,次数是 ,不进入这 。不把这二十个数逐个抄出来,因为带号和已经把重复的那五个只留了一次。$15+10=25$ 是只加单集、还没减去交的数,它不是并集的基数。这里的或是并集,五个交里的数都算。若把或听成恰好被其中一个整除,交要减两次,得到 $15+10-10=15$。那是只属于一个集合的个数。并集比它多出的,正是 、、、、。它们被减去一次以后仍然留在并里。
另一个计数是补集,仍然用的是两个集合。设 与 是不同的素数。 到 $pq$ 里与 $pq$ 互素,就是既不被 整除、也不被 整除。令 是这 $pq$ 个数, 是其中 的倍数, 是 的倍数。补集的基数是 。把已经证完的两个集合公式代进去,减号后面的交要变号,得到
整除 $pq$,所以 。同样 ,而 。、 时,,式子变成 $15-5-3+1=8$。这八个数是 、、、、、、、。 自己被 和 整除,不在里面。 与 的最大公因数是 ,要算进去。最后的加一,不是把 当成与自己互素。它在总数里出现一次,又作为 的倍数和 的倍数各被减一次。若不加回,它被减了两次,剩下 。加回以后,次数是 $1-1-1+1=0$,于是被排除。其余互素的数仍各算一次,一共是 。加号恢复的是被减多的那一次。
欧拉定理页已经写过 ,也写过两个不同素数时,互素剩余有 $(p-1)(q-1)$ 个。 与 给出 ,与这里的 是同一个数。本页这一步只是容斥在数数。那一页拥有的是互素幂次同余:底数与模互素时,底数的欧拉函数次幂在模下回到一。同余问的是一个已经互素的底数,乘够那么多次会不会回到一。计数问的是这样的剩余一共有几个。两句都碰到 和 ,不能互相代替。这里不把两个素数的这个计数推广成反演公式。
错排只推导一次
个不同元素的排列一共 $n!$ 个。令 是第 个位置仍然放着 的那些排列。,因为其余位置可以任意排。指定 个不同的位置都被固定时,剩下 个位置任意排,个数是 $(n-k)!$。哪 个位置被指定,有 种。这些交的大小只依赖 ,不依赖具体是哪些下标。
全错排是不落在任何一个 里的排列。它的个数 是排列总数减去并集的个数。并集用上面的带号求和:
于是错排个数等于排列总数减去上面这个并集,也就是 。组合数的定义把每一层收成 $n!/k!$。减去并集时,原来的符号再变一次,从 起的系数成为 。还要补上 的项。它等于 ,因为 $0!=1$。这一项就是还没有扣掉任何固定位置时的全部排列。合在一起,
时可以用两条算术互相核对,不必把 个排列逐个划掉。第一条走交的个数。,,,。并集是 $24-12+4-1=15$。错排是 $24-15=9$。第二条走上面的和。公分母取 :$1-1+1/2-1/6+1/24=(24-24+12-4+1)/24=9/24$。再乘 $4!=24$,仍得 。所以 。两条路用的是同一个带号求和,不是两个彼此独立的定义。
比 更小的 可以用来核对,这仍然不是另起一次推导。 时,,比例是 。两个元素的错排只有互相交换这一种。 时,,比例是 。三个元素按两个方向轮换,得到的两个排列都不固定任何位置。其余排列至少固定一处。、 和 都不是 。总览说的是 增大以后靠近,不是这几个有限的比已经等于那个常数。
总览已经写了 随 增大逼近 。本页只把界线画清楚:有限的 把和停在 ,后面的项还没有进入这个比,所以 不是 。 时这个比是 。总览用帽子把全错排说成每人都不拿回自己的那一顶,也就是任何一个 都不发生。图像留在总览,推导停在这一次。
截断一般不再是等式
只加到某一层,意思是 的和在某个 处停住,后面的交即使不是空的也不再写入。一个恰好属于 个集合的元素,次数变成 。 时,二项式和没有加完,次数不必是 。对所有元素加起来,得到的数就不必等于并集的基数。所以截断一般是不等式,不是本页这条等式。更高层的交若恰好全是空的,被丢掉的项本来就是 ,截断会碰巧仍等于并集。两个集合的公式减到两两交为止,那是最后一层,不是半路停下。
用 到 里能被 、 或 整除的数看一次。单集是 ,,,加起来是 。两两交是 ,,,和为 。三重交是 。三层都写上,是 $31-10+1=22$。只留单集,得到 ,不是 。单集再减去两两交,得到 ,也不是 。
同时属于三个集合。只加单集时它被数了三次。减去三对两两交以后,次数是 $3-3=0$。并集仍应把它数一次,所以还要加回三重交。少了这一步, 比 少的那一个,就是这个元素还没被加回来。恰好属于一个或两个集合的元素,在减完两两交时次数已经是 ,它们不是这个差额的来源。文献里把只保留前若干层时所得到的那一族不等式叫作 Bonferroni 不等式。这个名字指的是界,不是本页这条等式。本页不证明那族界的一般方向,也不给它编页码。这里只需要看见, 和 都不是 。等式要求每一层都在,或者被略去的层确实是空的。
名字与算术版本都停在界外
数论页把 Möbius 函数称作容斥的算术版本,并说反演公式是数论中的容斥。本页承认这句分工。正整数的因子上那种变号,和这里按集合交的重数变号,是同一类抵消的两种标签。反演公式本身不在这里重证,也不把 的一般乘积式从反演里推出来。两个互异素数上的那一次减法,已经是本页需要的全部算术例子。
带号求和在不同讲义里会被安到不同的人身上。de Moivre 与 Sylvester 都曾出现在这条公式旁边。本页不指定单一发现者,因此不设 mathematician,也不设 year,也不给这两个名字编页码。欧拉的名字会出现,是因为欧拉函数页已经把 写下来,本页的计数要与那个数对齐。对齐的是个数,不是把这条原理记成他一个人的发现。顶点减棱加面那种交错和,加的是三种几何计数,不是同一批集合按交的层数变号。它不是本页的公式。
跨域连接
- 组合数学:总览已经把并集写成带号求和,把错排写成 ,并写明 随 增大逼近 。那些句子是本页的起点。总览紧接着把筛法、错排、覆盖和若干数论恒等式收成同一类加减,又把鸽巢、二项式系数和 Ramsey 式的存在陈述放在别的小节。本页不把那段应用散文再写一遍,也不用并集的基数去代替「足够大就一定出现某种子结构」。留在这里的是指示函数:每个元素被数到的次数为何是 ,以及 、 和 这三处核对。总览里容斥对上 Möbius 的那一行只是口号。反演不在这里重证。截到半路得到的不等式也不是总览那一行等式。
- 概率论:概率页把概率定义成事件上的测度,并讨论大数定律和中心极限定理。那些不是本页。并集的概率和基数用同一套符号,是因为概率读的是指示函数:在有限而且等可能的样本空间里,只是把基数等式两边除以样本点的个数。样本点并不等可能时,仍是对同一个逐点恒等式取测度,不是另找一条加减口诀。错排比例只有在全体排列上取均匀测度时才是一个概率。 时这个概率是 ,不是 。逼近已经写在总览里。有限排列上的精确值仍是求和停在 的那一条,不是把后来才靠近的数提前写成每一个 的值。
- 数论:数论页把 Euler 函数和 Möbius 函数对列,写明后者是容斥的算术版本,反演公式是数论里的容斥。本页使用这句分工,但不把反演的两边再推一遍,也不把因子上的函数逐个改写成集合。两个互异素数上, 到乘积之中与乘积互素的个数,是补集的带号计数。$15-5-3+1=8$,与欧拉函数在 处的值一致。一般的乘积式留在那一页。本页的符号只对集合的交变号。把正整数的全部因子都配上符号,已经越出这条并集等式的证明。
- 欧拉定理:那一页的陈述是,底数与模互素时,底数的欧拉函数次幂在模下回到一。它也直接数过两个不同素数的乘积:被每个素数整除的个数减去同时被两个整除的个数,剩下的与乘积互素, 与 时得到 ,与 一致。本页把这个 写成 ,说明它是容斥在数数。那一页拥有的是互素幂次同余,不是这条计数。同余问一个互素底数乘够函数值那么多次会不会回到一。计数问这样的剩余一共有几个。两边都用到 和 。读幂次的时候离开本页,读交的符号的时候不必回到那条同余。
参考文献
- Stanley, Richard. Enumerative Combinatorics. 两卷,1997 与 2001。总览已列此书。本页用它作带号求和的课程来源,不编定理号。
- Van Lint & Wilson. A Course in Combinatorics. 第二版,2001。总览已列此书。本页同样不编页码。