6.4 二项式定理与容斥原理
本节汇集本章的主要思想:
我们先用这些思想展开幂,再计算重叠集合的并集。
含两个项的表达式称为,例如 x+y。考虑
(x+y)3=(x+y)(x+y)(x+y). 要生成展开式中的一项,需要从每个因子中选择 x 或 y。
三个因子各有 2 种选择,乘法原理给出
个原始选择。
例如:
| 选择 | 乘积 |
|---|
| xxx | x3 |
| xxy | x2y |
| xyx | x2y |
| yxx | x2y |
| xyy | xy2 |
| yxy | xy2 |
| yyx | xy2 |
| yyy | y3 |
三个不同选择都产生 x2y,因为可以选择三个因子中的哪一个提供 y:
(13)=3. 同理,三个选择产生 xy2:
(23)=3. 所以
(x+y)3=x3+3x2y+3xy2+y3. 在
中,假设恰好 k 个因子选择 y,其余 n−k 个选择 x,会产生
xn−kyk. 选择提供 y 的 k 个位置有
种方法。对所有可能 k 求和,得到:
(x+y)n=k=0∑n(kn)xn−kyk. 中国大陆教材常把同一个二项式系数写成 Cnk,而英文教材更常用 (kn)。两种记号对应完全相同的定理:
(x+y)n=k=0∑nCnkxn−kyk,Cnk=(kn). 展开写成
(x+y)n=(0n)xn+(1n)xn−1y+⋯+(nn)yn. 示例:展开 (a+b)4
系数为
(04),(14),(24),(34),(44)=1,4,6,4,1. 因此
(a+b)4=a4+4a3b+6a2b2+4ab3+b4. 检查每一项:
二项式系数满足
(kn)=(k−1n−1)+(kn−1). 证明时,从 n 人中选一个 k 人委员会,并关注一个指定人物 Ada。
每个委员会恰好属于一个互斥情况:
1. Ada 被选中。再从其他 n−1 人中选 k−1 人:
(k−1n−1). 2. Ada 没被选中。全部 k 人从其他 n−1 人中选择:
(kn−1). 两种情况相加,就证明恒等式。
把系数按行排列,得到:
111413126131411 每个内部元素等于上方两个元素之和。
在二项式定理中令 x=1,y=1:
(1+1)n=k=0∑n(kn). 因此
k=0∑n(kn)=2n. 这也可以按子集大小计算一个 n 元集合的全部子集。左边把每个可能大小 k 的子集数相加,右边是第 6.1 节的幂集计数。
从 (x+y)n 的各因子中做选择,观察原始选择字符串融合成同类项。系数锻造炉会用上方父项之和动态生长帕斯卡各行;选择任意格子还能看到委员会分类与对应单项式。
回到第 6.1 节的重叠问题。对有限集合 A,B,直接相加
会把 A∩B 中每个元素计算两次:一次作为 A 的成员,一次作为 B 的成员。
把交集减去一次:
∣A∪B∣=∣A∣+∣B∣−∣A∩B∣. 这就是。
示例:参加两个社团的学生
一组学生中:
人参加音乐社,
人参加戏剧社,并且
∣M∩D∣=7 人同时参加。
至少参加一个社团的人数为
∣M∪D∣=28+19−7=40. 只参加音乐社的人数为
∣M∣−∣M∩D∣=28−7=21, 只参加戏剧社的人数为
可以用互斥区域检查并集:
21+7+12=40. 假设全集 U 含 50 名学生。如果 40 人至少参加一个社团,那么两个都不参加的人数为
∣U∣−∣M∪D∣=50−40=10. 这里使用补集规则
∣Ac∣=∣U∣−∣A∣. 需要仔细翻译文字:
- “只属于 A”表示 A∖B;
对有限集合 A,B,C,先相加三个集合大小:
∣A∣+∣B∣+∣C∣. 两两交集中的元素被计算两次,所以减去三个两两交集:
−∣A∩B∣−∣A∩C∣−∣B∩C∣. 但 A∩B∩C 中的元素:
目前计数为 0。因此还要把三重交集加回一次:
∣A∪B∪C∣=∣A∣+∣B∣+∣C∣−∣A∩B∣−∣A∩C∣−∣B∩C∣+∣A∩B∩C∣. 交替正负号会修正重复计数。
对 100 人的调查中:
∣A∣=48,∣B∣=42,∣C∣=35, ∣A∩B∣=18,∣A∩C∣=15,∣B∩C∣=12, 并且
∣A∩B∩C∣=5. 于是
∣A∪B∪C∣=48+42+35−18−15−12+5=85. 因此
100−85=15 人不属于任何一个集合。
数量 ∣A∩B∣ 通常包含也属于 C 的元素。除非题目明确说明,否则它不是“只属于 A 和 B”的区域。
只属于 A∩B 的区域大小为
∣A∩B∣−∣A∩B∩C∣. 在示例中,这个值为
题目给出多个重叠数量时,应先填最深的交集,再向外计算。这样能避免前后不一致地减去三重交集。
通过涂写区域人数来建立三集合调查,而不只调节集合总数。扫描器会重建每个边际量与交集,可视化每一轮容斥怎样改变元素的计数次数,并在计算并集前标记不可能的数据。
两两交集数量通常包含三重交集。代入数字前,要区分“同时属于两者”与“恰好只属于这两者”。
第 6 章建立了计数工具箱:互斥情况相加、连续阶段相乘、用双射翻译、区分排列与组合、证明强制碰撞、展开二项式并修正重叠。
第 7 章将递归地定义对象并研究递推关系。计数会再次出现,因为许多递归结构由更小规模的选择构成,其数量会满足从一个规模连接到下一个规模的方程。