Lecture 15:关系与计数
1. 关系(Relations)
定义: 一个关系
- 定义域
(任意集合) - 陪域
(任意集合) - 有序对的子集
记法:
关系可视为有向图:
函数与全函数
定义: 若每个
定义: 若每个
全函数 = 恰好每个
注意:
作为 的函数不是全函数( 无定义),但作为 的函数是全函数。定义域和陪域不同,性质也不同。
单射与满射
定义:
- 单射(Injective):每个
至多有一个 与之关联。(每个 至多一条入边。) - 满射(Surjective):每个
至少有一个 与之关联。(每个 至少一条入边。)
定理: 若
定理: 若
定义: 双射(Bijection) = 既单射又满射的全函数。
定理: 若
2. 单集合上的关系
当
常见例子:
有向图
强连通关系
2.1 等价关系
动机: 捕捉"相同"或"等价"的含义,如模运算中的同余、图中属于同一连通分量。
定义: 设
- 自反性(Reflexive):对所有
, 。 - 对称性(Symmetric):
。 - 传递性(Transitive):
且 。
若
定理: 等价关系将
2.2 弱偏序(Weak Partial Order,WPO)
动机: 捕捉"
保留自反性和传递性,将对称性替换为:
定义:
- 反对称性(Antisymmetric):若
且 ,则 。
若
定理: 有向图
定义: WPO 中,若
若每对元素都可比,则称 WPO 为线序(全序,Total Order)。
是全序; 和 不是(存在不可比的元素对)。
3. 计数
3.1 核心思路:用双射计数
牧羊人的寓言: 不会数数的牧羊人靠"放一只羊出去就放一颗石子进口袋,收回一只就取出一颗"来确认羊全回来了。这本质上是在羊和石子之间建立双射,从而保证数量相同。
核心原则: 通常通过建立双射来计数。
3.2 乘法法则(Product Rule)
例: 长度为
3.3 双射法则(Bijection Rule)
若存在双射
例:
构造双射:子集
3.4 加法法则(Sum Rule)
若
口诀: 若是"或"关系(从
例(密码计数): 密码长度为 6~8,首字母大写,其余字符为大小写字母或数字(共 62 种)。设
3.5 广义乘法法则(Generalized Product Rule)
设
- 第 1 个位置有
种选择, - 无论第 1 步如何选,第 2 个位置有
种选择, - ……无论前
步如何选,第 个位置有 种选择,
则
关键: 每步的选择数量不依赖之前的选择(具体内容可以变,但数量固定)。
例: 52 张牌的洗牌排列数 =
例: 8 位序列号中无重复数字的比例:无重复的数量为
反例(不能用广义乘法法则): 求三位递增序列