跳到正文
组合计数 · 第 4 章

容斥原理

数出属于 A 或 B(或 C,或更多集合)的元素,又不把任何东西数两次:先加各集合,再减重叠部分,再加回来,并和补集计数配合使用。

这一章讲什么?
你需要先会
在 YouTube 上打开
4.00%

容斥原理

在本节中,你将能够 数出至少属于若干集合之一的元素个数:先加各集合,再减重叠部分,再加回来,正负号一直交替下去。

从 1 到 100 中,能被 2 或 7 整除的数有多少个?偶数有 50 个,7 的倍数有 14 个。但 64 太多了:14、28 和 42 在两张名单上都出现了!

把两个集合的元素个数直接相加,重叠部分会被数两次。所以要把重叠部分减去一次。这就是容斥原理 (英文缩写 PIE)。

有三个集合时,同时属于三个集合的元素被加了 3 次,又被减了 3 次。剩下 0 次,所以要再加回来一次。 集合更多时,正负号一直交替下去。

注意:容斥原理和补集计数是好搭档。不合要求的情况很少时,用容斥原理数出它们,再从总数里减掉。

动手探索先玩,再学公式

|×2 ∪ ×7| = 50 + 14 − 7 = 57;圈外:100 − 57 = 43

×2×7圈外:434377
逐项求和 →
重复计数表:每个区域被数了几次
  • 只在 ×2 中还没数
  • 只在 ×7 中还没数
  • 同时在 ×2 和 ×7 中还没数
|×2|50
|×7|14
|×2 ∩ ×7|7
全部100

目前的和:0。0 个区域被多数了,3 个区域还没数到。

认识概念

定义 4.0.1 · 容斥原理

容斥原理(PIE)是一种计数方法:它求出至少满足若干性质之一的元素个数,同时保证满足不止一个性质的元素不会被数两次。

定义 4.0.2 · 并集符号

∣A∪B∣|A \cup B| 表示 AA 与 BB 的并集的元素个数:所有属于 AA 或属于 BB(或同时属于两者)的元素。重复的元素只写一次。

定义 4.0.3 · 交集符号

∣A∩B∣|A \cap B| 表示 AA 与 BB 的交集的元素个数:只包括同时属于两个集合的元素。

定理 4.0.4 · 两个集合的容斥原理

对两个集合 A1A_1 和 A2A_2,

∣A1∪A2∣=∣A1∣+∣A2∣−∣A1∩A2∣.|A_1 \cup A_2| = |A_1| + |A_2| - |A_1 \cap A_2|.

简单地说,先数出 2 类“东西”各有多少种可能,再减去重复的部分。

注 4.0.5

当不满足要求的情况比满足要求的情况少得多时,把补集计数和容斥原理一起用往往很有帮助:先用容斥原理数出不合要求的情况,再从总数里减掉。

全部 1024({1, …, 10} 的所有子集)− 152(含全部 5 个偶数或全部 3 个 3 的倍数)= 872(至多 4 个偶数且至多 2 个 3 的倍数)

题目要数的是:
全部:1,024 ({1, …, 10} 的所有子集)
{}{1}{2}{1,2}{3}{1,3}{2,3}{1,2,3}{4}{1,4}{2,4}{1,2,4}{3,4}{1,3,4}{2,3,4}{1,2,3,4}{5}{1,5}{2,5}{1,2,5}{3,5}{1,3,5}{2,3,5}{1,2,3,5}{4,5}{1,4,5}{2,4,5}{1,2,4,5}{3,4,5}{1,3,4,5}{2,3,4,5}{1,2,3,4,5}{6}{1,6}{2,6}{1,2,6}{3,6}{1,3,6}{2,3,6}{1,2,3,6}{4,6}{1,4,6}{2,4,6}{1,2,4,6}{3,4,6}{1,3,4,6}{2,3,4,6}{1,2,3,4,6}{5,6}{1,5,6}{2,5,6}{1,2,5,6}{3,5,6}{1,3,5,6}{2,3,5,6}{1,2,3,5,6}{4,5,6}{1,4,5,6}{2,4,5,6}{1,2,4,5,6}{3,4,5,6}{1,3,4,5,6}{2,3,4,5,6}{1,2,3,4,5,6}{7}{1,7}{2,7}{1,2,7}{3,7}{1,3,7}{2,3,7}{1,2,3,7}{4,7}{1,4,7}{2,4,7}{1,2,4,7}{3,4,7}{1,3,4,7}{2,3,4,7}{1,2,3,4,7}{5,7}{1,5,7}{2,5,7}{1,2,5,7}{3,5,7}{1,3,5,7}{2,3,5,7}{1,2,3,5,7}{4,5,7}{1,4,5,7}{2,4,5,7}{1,2,4,5,7}{3,4,5,7}{1,3,4,5,7}{2,3,4,5,7}{1,2,3,4,5,7}{6,7}{1,6,7}{2,6,7}{1,2,6,7}{3,6,7}{1,3,6,7}{2,3,6,7}{1,2,3,6,7}{4,6,7}{1,4,6,7}{2,4,6,7}{1,2,4,6,7}{3,4,6,7}{1,3,4,6,7}{2,3,4,6,7}{1,2,3,4,6,7}{5,6,7}{1,5,6,7}{2,5,6,7}{1,2,5,6,7}{3,5,6,7}{1,3,5,6,7}{2,3,5,6,7}{1,2,3,5,6,7}{4,5,6,7}{1,4,5,6,7}{2,4,5,6,7}{1,2,4,5,6,7}{3,4,5,6,7}{1,3,4,5,6,7}{2,3,4,5,6,7}{1,2,3,4,5,6,7}{8}{1,8}{2,8}{1,2,8}{3,8}{1,3,8}{2,3,8}{1,2,3,8}{4,8}{1,4,8}{2,4,8}{1,2,4,8}{3,4,8}{1,3,4,8}{2,3,4,8}{1,2,3,4,8}{5,8}{1,5,8}{2,5,8}{1,2,5,8}{3,5,8}{1,3,5,8}{2,3,5,8}{1,2,3,5,8}{4,5,8}{1,4,5,8}{2,4,5,8}{1,2,4,5,8}{3,4,5,8}{1,3,4,5,8}{2,3,4,5,8}{1,2,3,4,5,8}{6,8}{1,6,8}{2,6,8}{1,2,6,8}{3,6,8}{1,3,6,8}{2,3,6,8}{1,2,3,6,8}{4,6,8}{1,4,6,8}{2,4,6,8}{1,2,4,6,8}{3,4,6,8}{1,3,4,6,8}{2,3,4,6,8}{1,2,3,4,6,8}{5,6,8}{1,5,6,8}{2,5,6,8}{1,2,5,6,8}{3,5,6,8}{1,3,5,6,8}{2,3,5,6,8}{1,2,3,5,6,8}{4,5,6,8}{1,4,5,6,8}{2,4,5,6,8}{1,2,4,5,6,8}{3,4,5,6,8}{1,3,4,5,6,8}{2,3,4,5,6,8}{1,2,3,4,5,6,8}{7,8}{1,7,8}{2,7,8}{1,2,7,8}{3,7,8}{1,3,7,8}{2,3,7,8}{1,2,3,7,8}{4,7,8}{1,4,7,8}{2,4,7,8}{1,2,4,7,8}{3,4,7,8}{1,3,4,7,8}{2,3,4,7,8}{1,2,3,4,7,8}{5,7,8}{1,5,7,8}{2,5,7,8}{1,2,5,7,8}{3,5,7,8}{1,3,5,7,8}{2,3,5,7,8}{1,2,3,5,7,8}{4,5,7,8}{1,4,5,7,8}{2,4,5,7,8}{1,2,4,5,7,8}{3,4,5,7,8}{1,3,4,5,7,8}{2,3,4,5,7,8}{1,2,3,4,5,7,8}{6,7,8}{1,6,7,8}{2,6,7,8}{1,2,6,7,8}{3,6,7,8}{1,3,6,7,8}{2,3,6,7,8}{1,2,3,6,7,8}{4,6,7,8}{1,4,6,7,8}{2,4,6,7,8}{1,2,4,6,7,8}{3,4,6,7,8}{1,3,4,6,7,8}{2,3,4,6,7,8}{1,2,3,4,6,7,8}{5,6,7,8}{1,5,6,7,8}{2,5,6,7,8}{1,2,5,6,7,8}{3,5,6,7,8}{1,3,5,6,7,8}{2,3,5,6,7,8}{1,2,3,5,6,7,8}{4,5,6,7,8}{1,4,5,6,7,8}{2,4,5,6,7,8}{1,2,4,5,6,7,8}{3,4,5,6,7,8}{1,3,4,5,6,7,8}{2,3,4,5,6,7,8}{1,2,3,4,5,6,7,8}{9}{1,9}{2,9}{1,2,9}{3,9}{1,3,9}{2,3,9}{1,2,3,9}{4,9}{1,4,9}{2,4,9}{1,2,4,9}{3,4,9}{1,3,4,9}{2,3,4,9}{1,2,3,4,9}{5,9}{1,5,9}{2,5,9}{1,2,5,9}{3,5,9}{1,3,5,9}{2,3,5,9}{1,2,3,5,9}{4,5,9}{1,4,5,9}{2,4,5,9}{1,2,4,5,9}{3,4,5,9}{1,3,4,5,9}{2,3,4,5,9}{1,2,3,4,5,9}{6,9}{1,6,9}{2,6,9}{1,2,6,9}{4,6,9}{1,4,6,9}{2,4,6,9}{1,2,4,6,9}{5,6,9}{1,5,6,9}{2,5,6,9}{1,2,5,6,9}{4,5,6,9}{1,4,5,6,9}{2,4,5,6,9}{1,2,4,5,6,9}{7,9}{1,7,9}{2,7,9}{1,2,7,9}{3,7,9}{1,3,7,9}{2,3,7,9}{1,2,3,7,9}{4,7,9}{1,4,7,9}{2,4,7,9}{1,2,4,7,9}{3,4,7,9}{1,3,4,7,9}{2,3,4,7,9}{1,2,3,4,7,9}{5,7,9}{1,5,7,9}{2,5,7,9}{1,2,5,7,9}{3,5,7,9}{1,3,5,7,9}{2,3,5,7,9}{1,2,3,5,7,9}{4,5,7,9}{1,4,5,7,9}{2,4,5,7,9}{1,2,4,5,7,9}{3,4,5,7,9}{1,3,4,5,7,9}{2,3,4,5,7,9}{1,2,3,4,5,7,9}{6,7,9}{1,6,7,9}{2,6,7,9}{1,2,6,7,9}{4,6,7,9}{1,4,6,7,9}{2,4,6,7,9}{1,2,4,6,7,9}{5,6,7,9}{1,5,6,7,9}{2,5,6,7,9}{1,2,5,6,7,9}{4,5,6,7,9}{1,4,5,6,7,9}{2,4,5,6,7,9}{1,2,4,5,6,7,9}{8,9}{1,8,9}{2,8,9}{1,2,8,9}{3,8,9}{1,3,8,9}{2,3,8,9}{1,2,3,8,9}{4,8,9}{1,4,8,9}{2,4,8,9}{1,2,4,8,9}{3,4,8,9}{1,3,4,8,9}{2,3,4,8,9}{1,2,3,4,8,9}{5,8,9}{1,5,8,9}{2,5,8,9}{1,2,5,8,9}{3,5,8,9}{1,3,5,8,9}{2,3,5,8,9}{1,2,3,5,8,9}{4,5,8,9}{1,4,5,8,9}{2,4,5,8,9}{1,2,4,5,8,9}{3,4,5,8,9}{1,3,4,5,8,9}{2,3,4,5,8,9}{1,2,3,4,5,8,9}{6,8,9}{1,6,8,9}{2,6,8,9}{1,2,6,8,9}{4,6,8,9}{1,4,6,8,9}{2,4,6,8,9}{1,2,4,6,8,9}{5,6,8,9}{1,5,6,8,9}{2,5,6,8,9}{1,2,5,6,8,9}{4,5,6,8,9}{1,4,5,6,8,9}{2,4,5,6,8,9}{1,2,4,5,6,8,9}{7,8,9}{1,7,8,9}{2,7,8,9}{1,2,7,8,9}{3,7,8,9}{1,3,7,8,9}{2,3,7,8,9}{1,2,3,7,8,9}{4,7,8,9}{1,4,7,8,9}{2,4,7,8,9}{1,2,4,7,8,9}{3,4,7,8,9}{1,3,4,7,8,9}{2,3,4,7,8,9}{1,2,3,4,7,8,9}{5,7,8,9}{1,5,7,8,9}{2,5,7,8,9}{1,2,5,7,8,9}{3,5,7,8,9}{1,3,5,7,8,9}{2,3,5,7,8,9}{1,2,3,5,7,8,9}{4,5,7,8,9}{1,4,5,7,8,9}{2,4,5,7,8,9}{1,2,4,5,7,8,9}{3,4,5,7,8,9}{1,3,4,5,7,8,9}{2,3,4,5,7,8,9}{1,2,3,4,5,7,8,9}{6,7,8,9}{1,6,7,8,9}{2,6,7,8,9}{1,2,6,7,8,9}{4,6,7,8,9}{1,4,6,7,8,9}{2,4,6,7,8,9}{1,2,4,6,7,8,9}{5,6,7,8,9}{1,5,6,7,8,9}{2,5,6,7,8,9}{1,2,5,6,7,8,9}{4,5,6,7,8,9}{1,4,5,6,7,8,9}{2,4,5,6,7,8,9}{1,2,4,5,6,7,8,9}{10}{1,10}{2,10}{1,2,10}{3,10}{1,3,10}{2,3,10}{1,2,3,10}{4,10}{1,4,10}{2,4,10}{1,2,4,10}{3,4,10}{1,3,4,10}{2,3,4,10}{1,2,3,4,10}{5,10}{1,5,10}{2,5,10}{1,2,5,10}{3,5,10}{1,3,5,10}{2,3,5,10}{1,2,3,5,10}{4,5,10}{1,4,5,10}{2,4,5,10}{1,2,4,5,10}{3,4,5,10}{1,3,4,5,10}{2,3,4,5,10}{1,2,3,4,5,10}{6,10}{1,6,10}{2,6,10}{1,2,6,10}{3,6,10}{1,3,6,10}{2,3,6,10}{1,2,3,6,10}{4,6,10}{1,4,6,10}{2,4,6,10}{1,2,4,6,10}{3,4,6,10}{1,3,4,6,10}{2,3,4,6,10}{1,2,3,4,6,10}{5,6,10}{1,5,6,10}{2,5,6,10}{1,2,5,6,10}{3,5,6,10}{1,3,5,6,10}{2,3,5,6,10}{1,2,3,5,6,10}{4,5,6,10}{1,4,5,6,10}{2,4,5,6,10}{1,2,4,5,6,10}{3,4,5,6,10}{1,3,4,5,6,10}{2,3,4,5,6,10}{1,2,3,4,5,6,10}{7,10}{1,7,10}{2,7,10}{1,2,7,10}{3,7,10}{1,3,7,10}{2,3,7,10}{1,2,3,7,10}{4,7,10}{1,4,7,10}{2,4,7,10}{1,2,4,7,10}{3,4,7,10}{1,3,4,7,10}{2,3,4,7,10}{1,2,3,4,7,10}{5,7,10}{1,5,7,10}{2,5,7,10}{1,2,5,7,10}{3,5,7,10}{1,3,5,7,10}{2,3,5,7,10}{1,2,3,5,7,10}{4,5,7,10}{1,4,5,7,10}{2,4,5,7,10}{1,2,4,5,7,10}{3,4,5,7,10}{1,3,4,5,7,10}{2,3,4,5,7,10}{1,2,3,4,5,7,10}{6,7,10}{1,6,7,10}{2,6,7,10}{1,2,6,7,10}{3,6,7,10}{1,3,6,7,10}{2,3,6,7,10}{1,2,3,6,7,10}{4,6,7,10}{1,4,6,7,10}{2,4,6,7,10}{1,2,4,6,7,10}{3,4,6,7,10}{1,3,4,6,7,10}{2,3,4,6,7,10}{1,2,3,4,6,7,10}{5,6,7,10}{1,5,6,7,10}{2,5,6,7,10}{1,2,5,6,7,10}{3,5,6,7,10}{1,3,5,6,7,10}{2,3,5,6,7,10}{1,2,3,5,6,7,10}{4,5,6,7,10}{1,4,5,6,7,10}{2,4,5,6,7,10}{1,2,4,5,6,7,10}{3,4,5,6,7,10}{1,3,4,5,6,7,10}{2,3,4,5,6,7,10}{1,2,3,4,5,6,7,10}{8,10}{1,8,10}{2,8,10}{1,2,8,10}{3,8,10}{1,3,8,10}{2,3,8,10}{1,2,3,8,10}{4,8,10}{1,4,8,10}{2,4,8,10}{1,2,4,8,10}{3,4,8,10}{1,3,4,8,10}{2,3,4,8,10}{1,2,3,4,8,10}{5,8,10}{1,5,8,10}{2,5,8,10}{1,2,5,8,10}{3,5,8,10}{1,3,5,8,10}{2,3,5,8,10}{1,2,3,5,8,10}{4,5,8,10}{1,4,5,8,10}{2,4,5,8,10}{1,2,4,5,8,10}{3,4,5,8,10}{1,3,4,5,8,10}{2,3,4,5,8,10}{1,2,3,4,5,8,10}{6,8,10}{1,6,8,10}{2,6,8,10}{1,2,6,8,10}{3,6,8,10}{1,3,6,8,10}{2,3,6,8,10}{1,2,3,6,8,10}{4,6,8,10}{1,4,6,8,10}{3,4,6,8,10}{1,3,4,6,8,10}{5,6,8,10}{1,5,6,8,10}{2,5,6,8,10}{1,2,5,6,8,10}{3,5,6,8,10}{1,3,5,6,8,10}{2,3,5,6,8,10}{1,2,3,5,6,8,10}{4,5,6,8,10}{1,4,5,6,8,10}{3,4,5,6,8,10}{1,3,4,5,6,8,10}{7,8,10}{1,7,8,10}{2,7,8,10}{1,2,7,8,10}{3,7,8,10}{1,3,7,8,10}{2,3,7,8,10}{1,2,3,7,8,10}{4,7,8,10}{1,4,7,8,10}{2,4,7,8,10}{1,2,4,7,8,10}{3,4,7,8,10}{1,3,4,7,8,10}{2,3,4,7,8,10}{1,2,3,4,7,8,10}{5,7,8,10}{1,5,7,8,10}{2,5,7,8,10}{1,2,5,7,8,10}{3,5,7,8,10}{1,3,5,7,8,10}{2,3,5,7,8,10}{1,2,3,5,7,8,10}{4,5,7,8,10}{1,4,5,7,8,10}{2,4,5,7,8,10}{1,2,4,5,7,8,10}{3,4,5,7,8,10}{1,3,4,5,7,8,10}{2,3,4,5,7,8,10}{1,2,3,4,5,7,8,10}{6,7,8,10}{1,6,7,8,10}{2,6,7,8,10}{1,2,6,7,8,10}{3,6,7,8,10}{1,3,6,7,8,10}{2,3,6,7,8,10}{1,2,3,6,7,8,10}{4,6,7,8,10}{1,4,6,7,8,10}{3,4,6,7,8,10}{1,3,4,6,7,8,10}{5,6,7,8,10}{1,5,6,7,8,10}{2,5,6,7,8,10}{1,2,5,6,7,8,10}{3,5,6,7,8,10}{1,3,5,6,7,8,10}{2,3,5,6,7,8,10}{1,2,3,5,6,7,8,10}{4,5,6,7,8,10}{1,4,5,6,7,8,10}{3,4,5,6,7,8,10}{1,3,4,5,6,7,8,10}{9,10}{1,9,10}{2,9,10}{1,2,9,10}{3,9,10}{1,3,9,10}{2,3,9,10}{1,2,3,9,10}{4,9,10}{1,4,9,10}{2,4,9,10}{1,2,4,9,10}{3,4,9,10}{1,3,4,9,10}{2,3,4,9,10}{1,2,3,4,9,10}{5,9,10}{1,5,9,10}{2,5,9,10}{1,2,5,9,10}{3,5,9,10}{1,3,5,9,10}{2,3,5,9,10}{1,2,3,5,9,10}{4,5,9,10}{1,4,5,9,10}{2,4,5,9,10}{1,2,4,5,9,10}{3,4,5,9,10}{1,3,4,5,9,10}{2,3,4,5,9,10}{1,2,3,4,5,9,10}{6,9,10}{1,6,9,10}{2,6,9,10}{1,2,6,9,10}{4,6,9,10}{1,4,6,9,10}{2,4,6,9,10}{1,2,4,6,9,10}{5,6,9,10}{1,5,6,9,10}{2,5,6,9,10}{1,2,5,6,9,10}{4,5,6,9,10}{1,4,5,6,9,10}{2,4,5,6,9,10}{1,2,4,5,6,9,10}{7,9,10}{1,7,9,10}{2,7,9,10}{1,2,7,9,10}{3,7,9,10}{1,3,7,9,10}{2,3,7,9,10}{1,2,3,7,9,10}{4,7,9,10}{1,4,7,9,10}{2,4,7,9,10}{1,2,4,7,9,10}{3,4,7,9,10}{1,3,4,7,9,10}{2,3,4,7,9,10}{1,2,3,4,7,9,10}{5,7,9,10}{1,5,7,9,10}{2,5,7,9,10}{1,2,5,7,9,10}{3,5,7,9,10}{1,3,5,7,9,10}{2,3,5,7,9,10}{1,2,3,5,7,9,10}{4,5,7,9,10}{1,4,5,7,9,10}{2,4,5,7,9,10}{1,2,4,5,7,9,10}{3,4,5,7,9,10}{1,3,4,5,7,9,10}{2,3,4,5,7,9,10}{1,2,3,4,5,7,9,10}{6,7,9,10}{1,6,7,9,10}{2,6,7,9,10}{1,2,6,7,9,10}{4,6,7,9,10}{1,4,6,7,9,10}{2,4,6,7,9,10}{1,2,4,6,7,9,10}{5,6,7,9,10}{1,5,6,7,9,10}{2,5,6,7,9,10}{1,2,5,6,7,9,10}{4,5,6,7,9,10}{1,4,5,6,7,9,10}{2,4,5,6,7,9,10}{1,2,4,5,6,7,9,10}{8,9,10}{1,8,9,10}{2,8,9,10}{1,2,8,9,10}{3,8,9,10}{1,3,8,9,10}{2,3,8,9,10}{1,2,3,8,9,10}{4,8,9,10}{1,4,8,9,10}{2,4,8,9,10}{1,2,4,8,9,10}{3,4,8,9,10}{1,3,4,8,9,10}{2,3,4,8,9,10}{1,2,3,4,8,9,10}{5,8,9,10}{1,5,8,9,10}{2,5,8,9,10}{1,2,5,8,9,10}{3,5,8,9,10}{1,3,5,8,9,10}{2,3,5,8,9,10}{1,2,3,5,8,9,10}{4,5,8,9,10}{1,4,5,8,9,10}{2,4,5,8,9,10}{1,2,4,5,8,9,10}{3,4,5,8,9,10}{1,3,4,5,8,9,10}{2,3,4,5,8,9,10}{1,2,3,4,5,8,9,10}{6,8,9,10}{1,6,8,9,10}{2,6,8,9,10}{1,2,6,8,9,10}{4,6,8,9,10}{1,4,6,8,9,10}{5,6,8,9,10}{1,5,6,8,9,10}{2,5,6,8,9,10}{1,2,5,6,8,9,10}{4,5,6,8,9,10}{1,4,5,6,8,9,10}{7,8,9,10}{1,7,8,9,10}{2,7,8,9,10}{1,2,7,8,9,10}{3,7,8,9,10}{1,3,7,8,9,10}{2,3,7,8,9,10}{1,2,3,7,8,9,10}{4,7,8,9,10}{1,4,7,8,9,10}{2,4,7,8,9,10}{1,2,4,7,8,9,10}{3,4,7,8,9,10}{1,3,4,7,8,9,10}{2,3,4,7,8,9,10}{1,2,3,4,7,8,9,10}{5,7,8,9,10}{1,5,7,8,9,10}{2,5,7,8,9,10}{1,2,5,7,8,9,10}{3,5,7,8,9,10}{1,3,5,7,8,9,10}{2,3,5,7,8,9,10}{1,2,3,5,7,8,9,10}{4,5,7,8,9,10}{1,4,5,7,8,9,10}{2,4,5,7,8,9,10}{1,2,4,5,7,8,9,10}{3,4,5,7,8,9,10}{1,3,4,5,7,8,9,10}{2,3,4,5,7,8,9,10}{1,2,3,4,5,7,8,9,10}{6,7,8,9,10}{1,6,7,8,9,10}{2,6,7,8,9,10}{1,2,6,7,8,9,10}{4,6,7,8,9,10}{1,4,6,7,8,9,10}{5,6,7,8,9,10}{1,5,6,7,8,9,10}{2,5,6,7,8,9,10}{1,2,5,6,7,8,9,10}{4,5,6,7,8,9,10}{1,4,5,6,7,8,9,10}{3,6,9}{1,3,6,9}{2,3,6,9}{1,2,3,6,9}{3,4,6,9}{1,3,4,6,9}{2,3,4,6,9}{1,2,3,4,6,9}{3,5,6,9}{1,3,5,6,9}{2,3,5,6,9}{1,2,3,5,6,9}{3,4,5,6,9}{1,3,4,5,6,9}{2,3,4,5,6,9}{1,2,3,4,5,6,9}{3,6,7,9}{1,3,6,7,9}{2,3,6,7,9}{1,2,3,6,7,9}{3,4,6,7,9}{1,3,4,6,7,9}{2,3,4,6,7,9}{1,2,3,4,6,7,9}{3,5,6,7,9}{1,3,5,6,7,9}{2,3,5,6,7,9}{1,2,3,5,6,7,9}{3,4,5,6,7,9}{1,3,4,5,6,7,9}{2,3,4,5,6,7,9}{1,2,3,4,5,6,7,9}{3,6,8,9}{1,3,6,8,9}{2,3,6,8,9}{1,2,3,6,8,9}{3,4,6,8,9}{1,3,4,6,8,9}{2,3,4,6,8,9}{1,2,3,4,6,8,9}{3,5,6,8,9}{1,3,5,6,8,9}{2,3,5,6,8,9}{1,2,3,5,6,8,9}{3,4,5,6,8,9}{1,3,4,5,6,8,9}{2,3,4,5,6,8,9}{1,2,3,4,5,6,8,9}{3,6,7,8,9}{1,3,6,7,8,9}{2,3,6,7,8,9}{1,2,3,6,7,8,9}{3,4,6,7,8,9}{1,3,4,6,7,8,9}{2,3,4,6,7,8,9}{1,2,3,4,6,7,8,9}{3,5,6,7,8,9}{1,3,5,6,7,8,9}{2,3,5,6,7,8,9}{1,2,3,5,6,7,8,9}{3,4,5,6,7,8,9}{1,3,4,5,6,7,8,9}{2,3,4,5,6,7,8,9}{1,2,3,4,5,6,7,8,9}{2,4,6,8,10}{1,2,4,6,8,10}{2,3,4,6,8,10}{1,2,3,4,6,8,10}{2,4,5,6,8,10}{1,2,4,5,6,8,10}{2,3,4,5,6,8,10}{1,2,3,4,5,6,8,10}{2,4,6,7,8,10}{1,2,4,6,7,8,10}{2,3,4,6,7,8,10}{1,2,3,4,6,7,8,10}{2,4,5,6,7,8,10}{1,2,4,5,6,7,8,10}{2,3,4,5,6,7,8,10}{1,2,3,4,5,6,7,8,10}{3,6,9,10}{1,3,6,9,10}{2,3,6,9,10}{1,2,3,6,9,10}{3,4,6,9,10}{1,3,4,6,9,10}{2,3,4,6,9,10}{1,2,3,4,6,9,10}{3,5,6,9,10}{1,3,5,6,9,10}{2,3,5,6,9,10}{1,2,3,5,6,9,10}{3,4,5,6,9,10}{1,3,4,5,6,9,10}{2,3,4,5,6,9,10}{1,2,3,4,5,6,9,10}{3,6,7,9,10}{1,3,6,7,9,10}{2,3,6,7,9,10}{1,2,3,6,7,9,10}{3,4,6,7,9,10}{1,3,4,6,7,9,10}{2,3,4,6,7,9,10}{1,2,3,4,6,7,9,10}{3,5,6,7,9,10}{1,3,5,6,7,9,10}{2,3,5,6,7,9,10}{1,2,3,5,6,7,9,10}{3,4,5,6,7,9,10}{1,3,4,5,6,7,9,10}{2,3,4,5,6,7,9,10}{1,2,3,4,5,6,7,9,10}{3,6,8,9,10}{1,3,6,8,9,10}{2,3,6,8,9,10}{1,2,3,6,8,9,10}{2,4,6,8,9,10}{1,2,4,6,8,9,10}{3,4,6,8,9,10}{1,3,4,6,8,9,10}{2,3,4,6,8,9,10}{1,2,3,4,6,8,9,10}{3,5,6,8,9,10}{1,3,5,6,8,9,10}{2,3,5,6,8,9,10}{1,2,3,5,6,8,9,10}{2,4,5,6,8,9,10}{1,2,4,5,6,8,9,10}{3,4,5,6,8,9,10}{1,3,4,5,6,8,9,10}{2,3,4,5,6,8,9,10}{1,2,3,4,5,6,8,9,10}{3,6,7,8,9,10}{1,3,6,7,8,9,10}{2,3,6,7,8,9,10}{1,2,3,6,7,8,9,10}{2,4,6,7,8,9,10}{1,2,4,6,7,8,9,10}{3,4,6,7,8,9,10}{1,3,4,6,7,8,9,10}{2,3,4,6,7,8,9,10}{1,2,3,4,6,7,8,9,10}{3,5,6,7,8,9,10}{1,3,5,6,7,8,9,10}{2,3,5,6,7,8,9,10}{1,2,3,5,6,7,8,9,10}{2,4,5,6,7,8,9,10}{1,2,4,5,6,7,8,9,10}{3,4,5,6,7,8,9,10}{1,3,4,5,6,7,8,9,10}{2,3,4,5,6,7,8,9,10}{1,2,3,4,5,6,7,8,9,10}
全部:1,024
我们要数:至多 4 个偶数且至多 2 个 3 的倍数
用容斥数对立面
  • 32 含全部 5 个偶数
  • + 128 含全部 3 个 3 的倍数
  • − 8 两类都取全

全部:1,024({1, …, 10} 的所有子集)

{1, …, 10} 的子集:不合要求的子集包含全部偶数,或包含全部 3 的倍数。

定理 4.0.6 · 三个集合的容斥原理

对三个集合 A1A_1、A2A_2、A3A_3,

∣A1∪A2∪A3∣=∣A1∣+∣A2∣+∣A3∣−∣A1∩A2∣−∣A1∩A3∣−∣A2∩A3∣+∣A1∩A2∩A3∣.\begin{aligned}|A_1 \cup A_2 \cup A_3| ={}& |A_1| + |A_2| + |A_3| \\ &- |A_1 \cap A_2| - |A_1 \cap A_3| - |A_2 \cap A_3| \\ &+ |A_1 \cap A_2 \cap A_3|.\end{aligned}

先数出 3 类“东西”各有多少种可能,再减去 3 对集合中各自重复的部分,最后把同时属于 3 个集合的元素加回来。

|美术 ∪ 乐队 ∪ 象棋| = 10 + 9 + 8 − 4 − 3 − 3 + 1 = 18;圈外:25 − 18 = 7

美术乐队象棋圈外:74333221
逐项求和 →
重复计数表:每个区域被数了几次
  • 只在 美术 中还没数
  • 只在 乐队 中还没数
  • 只在 象棋 中还没数
  • 只在 美术 和 乐队 中还没数
  • 只在 美术 和 象棋 中还没数
  • 只在 乐队 和 象棋 中还没数
  • 三个圈都在还没数
|美术|10
|乐队|9
|象棋|8
|美术 ∩ 乐队|4
|美术 ∩ 象棋|3
|乐队 ∩ 象棋|3
|美术 ∩ 乐队 ∩ 象棋|1
全部25

目前的和:0。0 个区域被多数了,7 个区域还没数到。

定理 4.0.7 · 一般形式的容斥原理

若 A1,A2,…,AnA_1, A_2, \ldots, A_n 是有限集合,则

∣⋃i=1nAi∣=∑i=1n∣Ai∣−∑i<j∣Ai∩Aj∣+∑i<j<k∣Ai∩Aj∩Ak∣−⋯+(−1)n−1∣A1∩⋯∩An∣.\left|\bigcup_{i=1}^{n} A_i\right| = \sum_{i=1}^{n} |A_i| - \sum_{i<j} |A_i \cap A_j| + \sum_{i<j<k} |A_i \cap A_j \cap A_k| - \cdots + (-1)^{n-1} |A_1 \cap \cdots \cap A_n|.

加上单个集合,减去每两个的交集,加上每三个的交集,正负号一直交替下去。

4 个集合,共 15 项;属于 3 个集合的元素被数了 3 − 3 + 1 − 0 = 1 次

集合数4
★ 所在集合数3
4 个集合的容斥轮次
轮次符号项数含 ★ 的项★ 计数
单个集合+4··
每两个的交集−6··
每三个的交集+4··
每四个的交集−1··
★ 被数了 0 次

4 个集合一共有 15 项。改变“★ 所在集合数”:最后一轮之后,计数总是恰好为 1。

4 个集合。属于其中 3 个集合的元素还没有被数过。

看例题先预测,再揭晓

例 4.1

从 1 到 100(含两端)的数中,能被 2 或 7 整除的有多少个?

倍数重叠 (总数在例题最后一步揭晓)

数到100
×281624324048566472808896×714284256708498
这几条数轴第一次在哪里相遇?

2 和 7 的倍数,到 100 为止。

  1. 1

    从 1 到 100 中,能被 2 整除的数有多少个?

    先预测一下:

例 4.2

AIME

许多州的标准车牌格式是三个字母后接三个数字。假设每一种“三个字母、三个数字”的排列都是等可能的,这样的车牌至少含有一个回文(即从左往右读和从右往左读都一样的三字母排列或三数字排列)的概率是 mn\dfrac{m}{n},其中 mm 和 nn 是互质的正整数。求 m+nm + n。

  1. 1

    三个字母组成回文的概率是多少?

    先预测一下:
在 YouTube 上打开

例 4.3

Omega Learn

集合 {1,2,3,4,5,6,7,8,9,10}\{1, 2, 3, 4, 5, 6, 7, 8, 9, 10\} 有多少个子集至多含 4 个偶数,并且至多含 2 个 3 的倍数?

两集合维恩图 (总数在例题最后一步揭晓)

ET????
逐项求和 →
重复计数表:每个区域被数了几次
  • 只在 E 中还没数
  • 只在 T 中还没数
  • 同时在 E 和 T 中还没数

目前的和:0。0 个区域被多数了,3 个区域还没数到。

  1. 1

    这里怎样用容斥原理?应该数合要求的子集,还是不合要求的子集?

    先预测一下:
    点击一个选项,或输入它的字母(A–E)。

例 4.4

Omega Learn

把单词 LOLLIPOP 中的字母重新排列,要求每个 L 都与一个 O 相邻,有多少种不同的排法?

  1. 1

    有 3 个 L,但只有 2 个 O。每个 O 至多有 2 个邻居。这迫使出现什么情况?

在 YouTube 上打开

例 4.5

AIME

设 SS 是一个有六个元素的集合。设 P\mathcal{P} 是 SS 的所有子集组成的集合。从 P\mathcal{P} 中独立且随机地选取 SS 的子集 AA 和 BB(不一定互不相同)。BB 包含于 AA 或 S−AS - A 之一的概率是 mnr\dfrac{m}{n^r},其中 mm、nn、rr 是正整数,nn 是质数,且 mm 与 nn 互质。求 m+n+rm + n + r。(集合 S−AS - A 是由 SS 中所有不属于 AA 的元素组成的集合。)

子集开关 (总数在例题最后一步揭晓)

元素个数6

点一个元素,把它移到下一个区域。可选区域:只在 A、A、B 都在、都不在。

A
{1, 2, 4, 6}
B
{1, 4}
A ∪ B
{1, 2, 4, 6}
A ∩ B
{1, 4}

先自己算出个数;分步讲解会揭晓答案。

A = {1, 2, 4, 6},B = {1, 4}。

  1. 1

    选取 AA 和 BB 使得 BB 完全包含在 AA 中,有多少种方法?

    先预测一下:

例 4.6

小于或等于 193 的数中,是 2、3 或 5 的倍数的有多少个?

三集合维恩图 (总数在例题最后一步揭晓)

×2×3×5????????
逐项求和 →
重复计数表:每个区域被数了几次
  • 只在 ×2 中还没数
  • 只在 ×3 中还没数
  • 只在 ×5 中还没数
  • 只在 ×2 和 ×3 中还没数
  • 只在 ×2 和 ×5 中还没数
  • 只在 ×3 和 ×5 中还没数
  • 三个圈都在还没数

目前的和:0。0 个区域被多数了,7 个区域还没数到。

  1. 1

    不超过 193 的数中,能被 2 整除的有多少个?

    先预测一下:

例 4.7

AMC 8

要把五个不同的奖项发给三名学生。每名学生至少得到一个奖项。共有多少种不同的发奖方法?

三集合维恩图 (总数在例题最后一步揭晓)

S1S2S3????????
逐项求和 →
重复计数表:每个区域被数了几次
  • 只在 S1 中还没数
  • 只在 S2 中还没数
  • 只在 S3 中还没数
  • 只在 S1 和 S2 中还没数
  • 只在 S1 和 S3 中还没数
  • 只在 S2 和 S3 中还没数
  • 三个圈都在还没数

目前的和:0。0 个区域被多数了,6 个区域还没数到。

  1. 1

    先不管规则。把 5 个不同的奖项发给 3 名学生,有多少种方法?

    先预测一下:
在 YouTube 上打开

例 4.8

Modified AIME

如果不存在 a,b,c∈Sa, b, c \in S(不一定互不相同)使得 ab=cab = c,就称集合 SS 是无积集。例如,空集和集合 {16,20}\{16, 20\} 是无积集,而集合 {4,16}\{4, 16\} 和 {2,8,16}\{2, 8, 16\} 不是无积集。求集合 {1,2,3,4,…,7,8,9}\{1, 2, 3, 4, \ldots, 7, 8, 9\} 的无积子集的个数。

  1. 1

    1 能在无积集里吗?

    先预测一下:
    点击一个选项,或输入它的字母(A–E)。
在 YouTube 上打开

例 4.9

AIME

一个 3×3 的单位正方形方格中,每个单位正方形都要涂成蓝色或红色。每个正方形涂哪种颜色是等可能的。得到的方格中不含红色 2×22 \times 2 正方形的概率是 mn\dfrac{m}{n},其中 mm 和 nn 是互质的正整数。求 m+nm + n。

n 个集合的容斥 (总数在例题最后一步揭晓)

?????????
9 个自由格 → 29 = 512
4 个集合的容斥轮次
轮次选法涂法数累计
+ 单个集合4··
− 每两个的交集6··
+ 每三个的交集4··
− 每四个的交集1··

方块 无 涂红:0 格固定,9 格自由,2^9 = 512 种涂法。

  1. 1

    应该直接数不含红色 2×22 \times 2 正方形的方格吗?

    先预测一下:
    点击一个选项,或输入它的字母(A–E)。

竞赛角真实竞赛题

习题 4.1.1

AIME

这道题在书中还以 4.2 的编号出现。

许多州的标准车牌格式是三个字母后接三个数字。假设每一种“三个字母、三个数字”的排列都是等可能的,这样的车牌至少含有一个回文(即从左往右读和从右往左读都一样的三字母排列或三数字排列)的概率是 mn\dfrac{m}{n},其中 mm 和 nn 是互质的正整数。求 m+nm + n。

习题 4.1.2

AMC 10

要把七块互不相同的糖果分到三个袋子里。红袋子和蓝袋子都必须至少得到一块糖果;白袋子可以是空的。共有多少种分法?

习题 4.1.3

AMC 10

把数列 1,2,3,4,51, 2, 3, 4, 5 重新排列,使得没有连续三项递增,也没有连续三项递减,有多少种方法?

习题 4.1.4

AMC 10

Ang、Ben 和 Jasmin 每人都有 5 块积木,颜色分别是红、蓝、黄、白、绿;另有 5 个空盒子。每个人都随机地、且与另外两人相互独立地,往每个盒子里放入自己的一块积木。至少有一个盒子收到 3 块同色积木的概率是 mn\dfrac{m}{n},其中 mm 和 nn 是互质的正整数。m+nm + n 是多少?

过关检测(第 4.0 节)

3 题中答对 2 题即可掌握本节。每题只有一次机会,没有提示。
1

从 1 到 60 的数中,能被 3 或 4 整除的有多少个?

2

一个班有 30 名学生,其中 18 人踢足球,15 人打篮球,8 人两项都参加。有多少人两项都不参加?

3

从 1 到 30 的数中,能被 2、3 或 5 整除的有多少个?

4.1

练习题

在本节中,你将能够 在竞赛题中运用容斥原理,从 AMC 10 热身题到 AIME 挑战题。

该做难一点的题了。每道题里都藏着一个需要数的并集,或者它的补集。先找出这些集合,再让容斥原理来干活。

最后三道是 AIME 挑战题。卡住时,每道题都有三条提示。

想在一页里看到本章的所有题目?打开习题集。

竞赛角真实竞赛题

习题 4.1.5

AMC 10

这道题在书中还以 4.1.3 的编号出现。

把数列 1,2,3,4,51, 2, 3, 4, 5 重新排列,使得没有连续三项递增,也没有连续三项递减,有多少种方法?

习题 4.1.6(补充题)

AIME

求至少是 101010^{10}、15715^7、181118^{11} 中一个数的因数的正整数的个数。

习题 4.1.7(补充题)

AIME

在一场五支球队参加的比赛中,每支球队都与其他每支球队各赛一场。每支球队赢得它所参加的任何一场比赛的概率都是 50%50\%。(没有平局。)设比赛结果中既没有全胜的球队、也没有全败的球队的概率为 mn\dfrac{m}{n},其中 mm 和 nn 是互质的整数。求 m+nm + n。

习题 4.1.8(补充题)

AIME挑战

如果不存在 a,b,c∈Sa, b, c \in S(不一定互不相同)使得 ab=cab = c,就称集合 SS 是无积集。例如,空集和集合 {16,20}\{16, 20\} 是无积集,而集合 {4,16}\{4, 16\} 和 {2,8,16}\{2, 8, 16\} 不是无积集。求集合 {1,2,3,4,…,7,8,9,10}\{1, 2, 3, 4, \ldots, 7, 8, 9, 10\} 的无积子集的个数。

习题 4.1.9(补充题)

AIME挑战

定义正 nn 角星为 nn 条线段 P1P2,P2P3,…,PnP1P_1P_2, P_2P_3, \ldots, P_nP_1 的并集,满足

  1. 点 P1,P2,…,PnP_1, P_2, \ldots, P_n 共面,且其中任意三点不共线,
  2. 这 nn 条线段中的每一条都与其他线段中的至少一条在端点以外的某点相交,P1,P2,…,PnP_1, P_2, \ldots, P_n 处的所有角都相等,
  3. 所有 nn 条线段 P1P2,P2P3,…,PnP1P_1P_2, P_2P_3, \ldots, P_nP_1 都相等,并且路径 P1P2,P2P3,…,PnP1P_1P_2, P_2P_3, \ldots, P_nP_1 在每个顶点处都按逆时针方向转一个小于 180 度的角。

不存在正 3 角星、正 4 角星或正 6 角星。所有正 5 角星都相似,但有两种互不相似的正 7 角星。互不相似的正 1000 角星有多少种?

习题 4.1.10(补充题)

AIME挑战

看节目时,Ayako、Billy、Carlos、Dahlia、Ehuang 和 Frank 按这个顺序坐在一排六把椅子上。中场休息时,他们去厨房拿零食。回来后,他们重新坐在这六把椅子上,并且如果两人在休息前相邻而坐,那么休息后他们就不相邻。求他们休息后可能的座次有多少种。