Lecture 17:更多计数
1. 容斥原理(Inclusion-Exclusion,PIE)
问题起点: 加法法则要求集合两两不相交。若集合有交叉,该如何计算并集的大小?
两个集合:
三个集合:
一般形式(
规律:加单集合,减两两交,加三重交,……交替进行直到
定理(PIE 的等价形式)
设
其中约定
证明: 对任意
应用:与 互质的数的个数
设
设
由容斥原理:
化简后,互质的数的个数为:
2. 鸽巢原理(Pigeonhole Principle)
定理: 若
形象地说:鸽子(
特点:非构造性。 只能证明碰撞存在,无法直接找出具体的碰撞对象。
例: 房间里超过 26 人,则必有两人姓名首字母相同。
例(配对袜子):
例(波士顿居民): 波士顿约 65 万人,头发数量至多约 20 万根。人数 > 可能的发量种数,故必有两位非秃头的波士顿居民发量完全相同。
例(无损压缩的不可能性): 长度为
广义鸽巢原理: 若
棋盘例题: 在
构造: 将棋盘 64 个格子用数字 1~8 标记(见课件中的"斜条纹"分组,每组恰好 8 个格子,每行每列各含一个)。将 33 个车的标记视为鸽子,8 个标记值视为鸽巢。由广义鸽巢原理(
3. 组合恒等式与双重计数
核心思路: 对同一个集合用两种不同方式计数,令结果相等,得到恒等式。
恒等式一
证明: 设
- 一方面,
(每个元素独立选入或不选入)。 - 另一方面,按子集大小分类,大小为
的子集有 个,由加法法则 。 两式相等即得。
二项式定理(Binomial Theorem)
证明: 展开
多项式定理(Multinomial Theorem)
其中多项式系数为:
Pascal 恒等式
组合证明: 设
- 包含
的子集:还需从 中选 个,共 种。 - 不包含
的子集:从 中选 个,共 种。 两类不相交且覆盖所有子集,由加法法则得证。
该恒等式说明帕斯卡三角(Pascal's Triangle)中每个数等于其正上方两数之和。帕斯卡三角第
附录:常用求和/求积记号
边界约定: