第04讲-计数问题-容斥原理与鸽笼原理.pptVIP

24-* 离散数学课程组—国家级精品课程，国家双语教学示范课程 离散数学课程组—国家级精品课程，国家双语教学示范课程 离 散 数 学 电子科技大学 计算机科学与工程学院 信息与软件工程学院 * * 2.4? 容斥原理与鸽笼原理 容斥原理是研究若干有限集合交与并的计数问题 鸽笼原理则是研究某些特定对象的存在性问题。 * 2.4.1 容斥原理 ?定义2.4.1? 所谓容斥，是指我们计算某类物体的数目时，要排斥那些不应包含在这个计数中的数目，但同时要包容那些被错误地排斥了的数目，以此补偿。这种原理称为容斥原理(The Principle of Inclusion-exclusion)，又称为包含排斥原理。 * 定理2.4.1 ? 设A和B是任意有限集合，有 |A∪B| = |A|＋|B|－|A∩B|。 分析? 由图容易看出， A∪B = (A - B)∪(A∩B)∪(B - A)， A = ( A - B)∪(A∩B) B = (A∩B)∪(B - A) U A B A∩B A-B B-A |A| = |A-B|+|A∩B| |B| = |A∩B|+|B-A| |A∪B| = |A-B|+|A∩B|+|B-A| 推论2.4.2?设U为全集，A和B是任意有限集合，则 * 例2.4.1 对所给的集合验证定理2.4.1。 （1）A = {1,2,3,4}，B = {2,3,5