离散数学课件 Chapt17 容斥原理.pptVIP

*第17章容斥原理*容斥原理又称包含-排斥原理．它是常用的计数工具之一，可以看作是加法法则的推广．容斥原理利用集合的运算，来计算满足一定条件的有限个元素的数目．*§17.1容斥原理定理17.1.1(容斥原理)设S是事物的有限集合．p1,p2,…,pm是S中的事物可能具有的m种性质．而A1,A2,…,Am分别表示具有性质p1,p2,…,pm的S的子集．于是(1)(逐步淘汰公式)S中不具有p1,p2,…,pm的任何性质的事物个数为：(17.1)其中各和式分别取遍(1,2,…,m)的所有1组合，2组合，…,m组合．*(2)(容斥公式)S中至少含有p1,p2,…,pm性质之一的事物个数为：*证明：(1)只需证明对任意一个X∈S,它对公式(17.1)的左右两端参加计数的值都相等即可．(i)若X不具有p1,p2,…,pm中任何性质，即显然它对左边的参加计数为1．而X∈S，所以它对右边的|S|项参加计数为1．又因为x不属于Ai，i=1,2,…,m，所以它对等和式的计数均为0，这样，1=1-0+0-…0±0此说明x对公式(17.1)的左右两边的计数相等。*(ii)若x恰