南京大学《离散数学》课件-第10章偏序与偏序格.docxVIP

囲出京様 NANJING UNIVERSITY 离散数学 Discrete Mathematics 第十章：偏序与偏序格 南京大学计算机科学与技术系 2018年10月 2 2 2 2 液鬟參 ■??.? 回顾 -关系的闭包 ,闭包的定义 ,闭包的计算公式 ?传递闭包的Warshall算法 ,等价关系 ,等价类 ,划分 提要 ■偏序关系 -偏序集与哈斯图 ■偏序集中的特殊元素 ■特殊元素的性质 ■偏序格 本讲主要内容 国 偏序关系（Partially Ordered） J ■定义（偏序关系）：非空集合A上的自反、 反对称和传递的关系称为A上的偏序关系, 记为：＜ ■设W为偏序关系，若（QM） €＜则记为aw炽 读作亳小于或等于矿 实例 集合力上的恒等关系厶是刀上的偏序关系. 小于或等于关系，整除关系和包含关系也是相应集合上的 偏序关系. 偏序关系 偏序关系（续） 定义： 设邳为非空集合」上的偏序关系. x,y ^A,x 与 y 可比 = xy\! yx. 任取两个元素x和卜可能有下述几种情况发生: 工勺（或vYy）, x=y,工与y不是可比的. 定义：R为非空集合」上的偏序关系. ^A,x与v都是可比的，则称R为全序（或线序） 实例：数集上的小于或等于关系是全序关系 整除关系不是正整数集合上的全序关系 定义：V］弋」.如果且不存在注」使得f.则称丁覆盖v 例如｛124,6｝集合上的整除关系,2覆盖1, 4和6覆盖2?但4不 偏序关系 偏序集与哈斯图 偏序集与哈斯图 PAGE # 偏序集与哈斯图 偏序集与哈斯图 PAGE # 偏序集（poset）与哈斯图 偏序集 定义： 集合」和」上的偏序关系w一起叫做偏序集.记作（.4=） 实例： 整数集合/和数的小于或等于关系W构成偏序集（乙它） 集合刀的幕集具。和包含关系足构成偏序集（P⑷心 哈斯图 利用偏序关系的自反、反对称、传递性进行简化的关系图 特点： ,每个结点没有环 ?两个连通的结点之间的序关系通过结点位置的高低表示，位置 低的元素的顺序在前 ? 具有覆盖关系的两个结点之间连边 偏序集 偏序集 PAGE # 偏序集 偏序集 PAGE # 偏序集 证明(P0)工)为全序当且仅当Ml 1 证明：(1) “缶”： Case 1:|A| = 0. P(A) = {0}. G)为全序 Case 2:\A\ = 1.设A = {a}. P(A) = (0, {a}}, g)为全序 W :只需证|4| - 2时，(P(A). g)非全序 ?/ A 2 二可取Q. b G A. a 尹 b ?.啡{?)□{} .?.(—■), g)非全序 B偏序集(续) ■例：字典序(lexicographic order)与偏序集 ■给定两个偏序集(4WQ与(SWb)，在B 上定义新关系: (a, b) (af, bf) 在厶 中有Q《厶且在3中有b Wb b， 易证，(t4 x B, )是偏序集 ■字典序即为该模型的一个应用 B偏序集(续) ■例：在字典中“part和“park两个单词 的顺序如何？ ■定义全序集(英文字母表)S = {a,b,c,-,z}. 兀素满足线序关系a W b, b W c,…,y W z,令 S4=SxSxSxS5 易见,(p, a, r, t) G S4, (p, a, r, k) e S4；根据字典序,park W part 哈斯图(Hasse Diagrams) 将偏序关系简化为哈斯图： ?省略所有顶点上的环 ?省略所有因传递关系而引出的边 ?才艮据箭头的方向自下而上重排 列所有顶点，而后将所有的有 向边替换为无向边 哈斯图 哈斯图 哈斯图 哈斯图 PAGE # 哈斯图 哈斯图 哈斯图 哈斯图 PAGE # 偏序集与哈斯图 偏序集与哈斯图 PAGE # 哈斯图（续） ￡001￡10113 ￡001 ￡101 13 {b.c.d.e.f} (a.c.d.e.f} (a.b.dje.f} {a.b.c.e.f} {a.b.c.d,f} {a.b.c.d.e} 哈斯图（续） (a .b.c.d.e.f} {c.d.e.f} (b.d.e.f} (b.c.e.f} (b.c.d.f} {b.c.d.e} {a.d.e.f} {a.c.e.f} {a.c.d.f} {a.c.d.e} (a.b.e.f} (a.b.d.f} (a.b.dje} (a.b.c.f} (a.b.c.e} (a.b.c.d} {d.e.f} {c.e.f} (c.d.f} (c.d.e {b.e.f} {b.d.f} {b.d.e} {b.c.f} {b.c.e {b.c.d} {a.e.f} {a.d.f} (a.d.e} {a.c.e} {a.c.f} {