清华离散数学(第2版)：4.4.pptVIP

4.4 等价关系与偏序关系 4.4.1 等价关系 4.4.2 等价类和商集 4.4.3 集合的划分 4.4.4 偏序关系 4.4.5 偏序集与哈斯图 等价关系的定义与实例 模3等价关系的关系图 等价类 等价类的性质 性质的证明 性质的证明（续） 商集 集合的划分 等价关系与划分的一一对应 例 4 实例 偏序关系 相关概念 偏序集与哈斯图 哈斯图实例 哈斯图实例（续） 偏序集的特定元素 偏序集的特定元素(续) 实例 偏序集的特殊子集 定义4.30 设A,?为偏序集, B?A. (1) 如果?x,y?B，x与y都是可比的，则称B是A中的一条 链，B中的元素个数称为链的长度； (2) 如果?x,y?B，x?y，x与y都是不可比的，则称B是A 中的一条反链，B中的元素个数称为反链的长度. 实例：在偏序集{1,2,…,9},|中，{1,2,4,8}是长为4的 链，{1,4}是长为2的链，{2,3}是长为2的反链. 对于单元 集{2}，它的长度是1，既是链也是反链. 分解为反链 算法4.2 偏序集反链分解算法 输入：偏序集A 输出：A中的反链B1, B2, … 1．i?1 2．Bi?A 的所有极大元的集合（显然Bi是一条反链） 3．令A?A?Bi 4．if A?? 5． i?i+1 6． 转2 拓扑排序 算法4.3 拓扑排序 输入：偏序集A 输出：A中元素的排序 1