原理
加法原理
若完成一件事的方法有 n n n 类,其中第 i i i 类方法包括 m i m_i mi种不同的方
法,且这种方法互不重合,则完成这件事有: N = ∑ i = 1 n m i N=\sum^{n}_{i=1}m_i N=∑i=1nmi (分
类完成)
乘法原理(分步计数原理)
若完成一件事需要 n n n 个步骤,其中第 i i i 个步骤有 m i m_i mi 种
不同的完成方法,且这种步骤互不干扰,则完成这种事
共有: N = ∏ i = 1 n m i N=∏^{n}_{i=1}m_i N=∏i=1nmi (分步完成)
抽屉原理(鸽巢原理)
把多于 n n n 个的物体放到 n n n 个抽屉里,则至少有一个抽屉里的东西不
少于两件。
推广
- 将 n n n 个物体,划分为 k k k 组,那么至少存在一个分组,含有大于或等于 ⌈ n k ⌉ ⌈\frac{n}{k}⌉ ⌈kn⌉ 个物品。
- 把多于 m n + 1 ( n ≠ 0 ) mn+1(n≠0) mn+1(n=0) 个的物体放到 n n n 个抽屉里,则至少有一个抽屉里有不少于 m + 1 m+1 m+1 的物体。
题目
容斥定理
设 U U U 中元素有 n n n 种不同的属性,而第 i i i 种属性称为 P i P_i Pi,拥有属性 P i P_i Pi 的元素构成集合 S i S_i Si,那么 ∣ ∪ i = 1 n S i ∣ = ∑ m = 1 n ( − 1 ) m − 1 ∑ a i < a i + 1 ∣ ∩ i = 1 m S a i ∣ |∪^{n}_{i=1}S_i|=∑^n_{m=1}(-1)^{m-1}∑_{a_i<a_{i+1}}|∩^m_{i=1}S_{a_i}| ∣∪i=1nSi∣=m=1∑n(−1)m−1ai<ai+1∑∣∩i=1m