组合数学-第九节：容斥原理.pdfVIP

3.2容斥原理

将3.1节讨论的原理进一步推广，总结成一般性规律，就得到定理3.2.1所描述的容斥原理。

定理3.2.1设S是有限集合，PPP是同集合S有关的m个性质，设A是S中具有性质P的元素构

1,2mii

im

成的集合1，APim

是S中不具有性质的元素构成的集合1，则S中不具有性质

ii

P,PP的元素个数为

12m

AAA

12m

m

SAAA

iij

i11,2,m的2合

（3.2.1）

AAA

ijik

1,2,m的2合



1mAAA

12m

证可以利用等式（3.1.1），通过对m作归纳进行证。下面通过其组合意义来证。

等式（3.2.1）的左端表示的是S中不具有性质P,PP的元素的个数。下面我们来证：对于S中每个

12m

元素x，若x不具有性质PPPPim

,，则对等式（3.2.1）的右端贡献1；否则，若x具有某个性质1，

12mi

则对等式（3.2.1）的右端贡献0，从而证（3.2.1）式。

任给xS，则

（1）若x不具有性质PPP，即xAxAxA，则x在集合S中，但不在（3.2.1）式右端

,,,

12m