二元关系偏序关系.pptVIP

第一页，共22页 第4章 二元关系 第二页，共22页 二元关系 4.1二元关系基本概念 (重点) 4.2 关系的运算 4.3 关系的性质 (重点) 4.4 关系的闭包 4.5 等价关系和偏序关系 (重点及难点) 4.6 函数的基本概念 第三页，共22页 偏序关系 偏序关系 Hasse图（重点） 重要元素（重点） 拓扑排序 第四页，共22页 偏序关系 定义 偏序关系： 设A上的二元关系R, 如果R是自反的, 反对称的，传递的，则称R为偏序关系，记为“?”, A, ? 称为偏序集。 若x，y∈R，称“x小于等于y”，记作x ? y。 第五页，共22页 偏序关系 例1 几个常见的偏序关系： (1)A上的小于等于关系，A={1,2,3,4,5,6}： Ｒ1 ={x，y｜ x≤y，x，y∈A} (2) A上的整除关系， A={1,2,3,4,5,6} ： Ｒ2＝{x，y｜ x|y，x，y∈A} (3)P(A)上的包含关系， A={1,2,3} ： Ｒ3＝{s1，s2｜s1?s2， s1，s2∈P(A)} (4)任务集S={T1,T2, .... , Tn} 上的关系 R4={Ti,Tj|Ti=Tj或Ti必须在Tj之前完成} ? ? ? ? 第六页，共22页 偏序关系 关于例1(4)的一个举例： 如完成室内闪光拍照的任务，任务集T包括任务： 1、打开镜头盖； 2、照相机调焦； 3、打开闪光灯； 4、按下快门按钮。 在T上定义关系R： i,j∈R?如果i=j或者任务i必须在任务j之前完成。 则R={1,1,2,2,3,3,4,4,1,2,1,4,2,4,3,4} 第七页，共22页 偏序关系 定义 设R 为非空集合A上的偏序关系, x, y∈A,则 x与y可比 ? x ? y∨y ? x 定义 设R 为非空集合A上的偏序关系, x, y∈A, 则 y盖住x ?x?y 且不存在 z∈A 使得 x?z?y 第八页，共22页 Hasse（哈斯）图 例2 设A={2,3,6,12,24,36}，“?”是A上的整除关系R，画出其关系图。 关系图 2 3 6 12 36 24 2 3 6 12 36 24 简化的关系图——Hasse图 第九页，共22页 Hasse图 简化的关系图——Hasse图（哈斯图） (1)自反性：每个顶点都有自回路，省去。 (2)反对称性：两个顶点间只可能有一个箭头，从小到 大(或从低到高)安置顶点，可省略箭头。 (3)传递性：由于有x，y，y，z∈R，则x，z∈R， 故只画x，y，y，z对应的边，省略边x，z。 第十页，共22页 Hasse图 Hasse图的画法——“层次”与“连线” (1)极小元放在第一层（最底层）。 (2)若第n层已放好，则第n+1层的元素满足至少能盖住第n层的一个元素。（层次） (3)若y盖住x ，则x，y之间连线。（连线） 注：哈斯图体现了偏序集中元素间的“大小”和“层次”关系。 第十一页，共22页 Hasse图 例3 画出例1中各关系的Hasse图： A＝{1,2,3,4,5,6,7,8,9}, B＝{a,b,c}, S ={1, 2, 3, 4} Ｒ1＝｛x，y｜ x ≤ y，x，y∈A｝ Ｒ2＝｛x，y｜ x | y，x，y∈A｝ Ｒ3＝｛s1，s2｜s1?s2， s1，s2∈P(B)｝ R 4={Ti,Tj|Ti=Tj或Ti必须在Tj之前完成且Ti,Tj ∈S} ={1,1,2,2,3,3,4,4,1,2,1,4,2,4,3,4} 第十二页，共22页 Hasse图 Ｒ1 Ｒ2 ——全序集 第十三页，共22页 Hasse图 1 2 4 3 Ｒ3 Ｒ4 第十四页，共22页 全序关系 定义 全序关系——任意两个元素都可比 设A, ?是一个偏序集，若对任意x, y∈A，总有x ? y或y ? x，二者必居其一，则称 “”为全序关系，或者线序关系。称A, ≤为全序集，或者线序集，或者链。 第十五页，共22页 偏序集中的重要元素 设偏序集A, ? , B ?A，b表示相应的特殊元素， B的极小元——B中没有比b 小的元素 b∈B 且 ??x(x ∈B? x ? b) B的最小元——B中所有的元素都比b大 b∈B 且 ?x(x∈B→b ? x) 极大元和最大元类似定义。 注：上述元素都在B中寻找。 第十六页，共22页 偏序集中的重要元素 设偏序集A, ? , B ?A，b表示相应的特殊元素， B的上界—B中所有的元素都比b小 b∈A 且 ?x(x∈B→x ? b)