容斥原理

1.定义

在计数时，必须注意有没有重复，没有遗漏。为了使重叠部分不被重复计算，人们研究出一种新的计数方法，这种方法的基本思想是：先不考虑重叠情况，把包含于某内容中的数目先计算出来，然后把计数时重复计算的数目排斥出去，使得计算结果既无遗漏又无重复，这种计数的方法称为容斥原理。百度百科

2. 定理

2.1 定理1

$|A\cup B|=|A|+|B|-|A\cap B|$
$|A\cup B\cup C|=|A|+|B|+|C|-|A\cap B|-|A\cap C|-|B\cap C|+|A\cap B\cap C|$
推出：
$$\bigcup _{i=1}^n{A}_i=\left|\sum _{i=1}^n{A}_i\right|-\left|\sum _{i<j}{A}_i\cap A_j\right|+\left|\sum _{i<j<k}{A}_i\cap A_j\cap A_k\right|-\cdots +(-1{)}^{n-1}\left|\bigcap _{i=1}^n{A}_i\right|$$

2.2 定理2

设$I_k$是 { 1 , 2 , … , n } \{1,2,\dots,n\} { 1,2,…,n}的所有$k$元素子集构成的集合，则
$$\left|\bigcup _{i=1}^n{A}_i\right|=\sum _{k=1}^n(-1{)}^{k-1}\sum _{I\in I_k}\left|\bigcap _{i\in I}{A}_i\right|$$

2.3 定理3

设$S$为有穷集，$P_1,P_2,\dots ,P_m$是$m$个性质。$S$中的任何元素或者具有性质$P^{}$