{"title":"THE PRINCIPLE OF INCLUSION AND EXCLUSION","authors":"James Joseph Sylvester","doi":"10.1142/9789814401920_0013","DOIUrl":null,"url":null,"abstract":"The Principle of Inclusion and Exclusion, hereafter called PIE, gives a formula for the size of the union of n finite sets. Usually the universe is finite too. It is a generalisation of the familiar formulas |A ∪ B| = |A| + |B| − |A ∩ B| and |A ∪ B ∪ C| = |A| + |B| + |C| − |A ∩ B| − |A ∩ C| − |B ∩ C| + |A ∩ B ∩ C|. That is, the cardinality of the union P 1 ∪ P 2 ∪. .. ∪ P k can be calculated by including (adding) the sizes of all of the sets together, then excluding (subtracting) the sizes of the intersections of all pairs of sets, then including the sizes of the intersections of all triples, excluding the sizes of the intersections of all quadruples, and so on until, finally, the size of the intersection of all of the sets has been included or excluded, as appropriate. If n is odd it is included, and if n is even it is excluded. The formula can be expressed more compactly as |P 1 ∪ P 2 ∪ · · · ∪ P n | = k i=1 (−1) k 1≤i 1 <i 2 <···<i k ≤n |P i 1 ∩ P i 2 ∩ · · · ∩ P i k |. It is important to remember that all sets involved must be finite. To prove PIE, both sides count only elements that belong to some positive number of the sets. Each of these is counted once on the LHS. To determine the number of times it is counted on the RHS, suppose it belongs to t ≥ 1 of the sets, and calculate the contribution it makes to each intersection. You'll end up making use of the Binomial Theorem expansion of (1 + (−1)) t. When to use PIE. Vaguely speaking, you should try PIE when you are trying to count something described by a bunch of conditions, any number of which might hold at the same time, and you can't see how to organise the counting by cases. Often PIE is used in conjunction with counting the complement. That is, you use it to count the number of objects in the universe that you don't want, and subtract this from the size of the universe (which needs to be finite!). In applying PIE, the …","PeriodicalId":193527,"journal":{"name":"Enumerative Combinatorics","volume":"21 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2018-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Enumerative Combinatorics","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1142/9789814401920_0013","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 2
Abstract
The Principle of Inclusion and Exclusion, hereafter called PIE, gives a formula for the size of the union of n finite sets. Usually the universe is finite too. It is a generalisation of the familiar formulas |A ∪ B| = |A| + |B| − |A ∩ B| and |A ∪ B ∪ C| = |A| + |B| + |C| − |A ∩ B| − |A ∩ C| − |B ∩ C| + |A ∩ B ∩ C|. That is, the cardinality of the union P 1 ∪ P 2 ∪. .. ∪ P k can be calculated by including (adding) the sizes of all of the sets together, then excluding (subtracting) the sizes of the intersections of all pairs of sets, then including the sizes of the intersections of all triples, excluding the sizes of the intersections of all quadruples, and so on until, finally, the size of the intersection of all of the sets has been included or excluded, as appropriate. If n is odd it is included, and if n is even it is excluded. The formula can be expressed more compactly as |P 1 ∪ P 2 ∪ · · · ∪ P n | = k i=1 (−1) k 1≤i 1