离散数学系列课件（吴楠）.pptVIP

集合A = {1,2,3,5,6,7,10,20,30,60,70}，R为A上整除关系。 （1）画出偏序集(A,R)的哈斯图； （2）写出A的最大元，最小元，极大元，极小元，如不存在,请说明理由； （3）求A的子集B = {2,5}的上界，最小上界，如不存在,请说明理由； （4）求A的子集C = {6,10,20}的下界，最大下界，如不存在,请说明理由； （5）请验证该偏序集(A,R)是否为格，并说明原因。 * * 本次课后作业 教材内容：[Rosen] 8.6 节 课后习题： pp. 444 - 446（英文教材 pp. 579-581）: 29, 31, 43, 45, 51, 60(参考8.6.6节) * 课后作业和程序设计 * 卡氏积：一般不满足交换律，满足对交和并的分配率 二元关系是有序对的集合 * 关系作为特殊的集合，其核心是“序”：而作为关系之元素的有序对无法反映关系整体序的性质，因此引入偏序关系。 小于关系因不满足自反因而不是偏序关系。 * * Partially ordered set. * * * * * Hasse图中的连线表示覆盖而非关系成立。Hasse图重点突出“序” * 极限元素：讨论的是poset A 中某一个子集B中的特殊元素 * 界元素， 上界 下界 上确界 下确界 * 界元素 上界 下界 上确界 下确界 * * 界元素 上界 下界 上确界 下确界 * 界元素 上界 下界 上确界 下确界 * 界元素 上界 下界 上确界 下确界 * 界元素 上界 下界 上确界 下确界 * * * 自反 反对称 传递 * 1是，交并-幂集格 2是，max{x,y},min{x,y} 3皆不是：ab无最大下界，bd无最小上界，bc无最小上界，ag无最大下界 * * * * Medical School of Nanjing University Medical School of Nanjing University 2015 年 10 月 第十讲：偏序与偏序格 离 散 数 学 Discrete Mathematics 南京大学计算机科学与技术系 回顾 * 关系的闭包 闭包的定义 闭包的计算公式 传递闭包的Warshall算法 等价关系 等价类 划分 提要 * 本讲主要内容 偏序关系 偏序集与哈斯图 偏序集中的特殊元素 特殊元素的性质 偏序格 偏序关系(Partially Ordered) 偏序关系 * 偏序关系（续） 偏序关系 * ： ： ： 偏序集(poset)与哈斯图 偏序集与哈斯图 * ： ( ) ( ) ( ) 偏序集 偏序集 * 偏序集（续） 偏序集 * 偏序集（续） 偏序集 * 哈斯图（Hasse Diagrams） 将偏序关系简化为哈斯图： 省略所有顶点上的环 省略所有因传递关系而引出的边 根据箭头的方向自下而上重排列所有顶点，而后将所有的有向边替换为无向边 哈斯图 * 哈斯图 ( ) ( ) 哈斯图（续） * 哈斯图 哈斯图（续） * 哈斯图 哈斯图（续） * 哈斯图 哈斯图（续） * 哈斯图 ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) 偏序集中的特殊元素及其性质 * 偏序集中的特殊元素及其性质 ： ( ) Least, greatest, maximal, minimal element 偏序集中的特殊元素及其性质（续） * 偏序集中的特殊元素及其性质 ( ) ： 从哈斯图看特殊元素 * 偏序集中的特殊元素及其性质 B2 B1 a b d c e f g h a b d c e f g h Upper bounds LUB Lower bounds Upper bounds GLB 从哈斯图看特殊元素（续） 偏序集中的特殊元素及其性质 * 偏序集中的特殊元素及其性质（续） 偏序集中的特殊元素及其性质 ( ) * 偏序集中的特殊元素及其性质（续） 偏序集中的特殊元素及其性质 ( ) ( ) ( ) ( ) ( ) ( ) * 偏序集中的特殊元素及其性质（续） 偏序集中的特殊元素及其性质 ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) * 偏序集中的特殊元素及其性质（续） 偏序集中的特殊元素及其性质 ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) 偏序集与格 偏序关系与格 * 格（lattice）作为一个代数系统（见第十六讲）可以通过两种方式进行定义： ⑴ 通过偏序集与偏序关系定义 ⑵ 通过普通集合与特殊运算定义 本讲我们仅从偏序的角度去定义格，并研究其中的若干基本运算 偏序关系与