第七章 二元关系.ppt

* * 在解决实际问题时，常依据某个标准对事物进行比较，同时按这个标准对两个事物之间的先后进行排序。在计算机科学中，对数据进行排序是十分有意义的。 偏序关系是最基本、最常用的一种序关系，它本质上是两实数之间的“小于等于”关系的一种推广。 一、偏序关系 * 1. 定义(定义7.19) * 非空集合A上的自反、反对称和传递的关系，称为A上的偏序关系，记作?。设?为偏序关系，如果x, y∈?，则记作 x?y，读作 x“小于等于”y。 集合A上的恒等关系 IA 和空关系?是A上的偏序关系。 小于等于关系, 整除关系和包含关系也是相应集合上的偏序关系。 注意：这里的“小于等于”不是指数的大小，而是指在偏序关系中的顺序性。 * 2. x与 y 可比： 设R为非空集合A上的偏序关系,  ? x,y?A, x与y可比 ? x?y ∨ y?x. 结论：任取两个元素x和y, 可能有下述情况： ① x?y (或y?x), ② x＝y, ③ x与y不是可比的。 3. 全序关系(定义7.21)： * R为非空集合A上的偏序, 如果?x,y?A, x与 y 都是可比的，则称 R 为全序关系。 例：数集上的小于等于关系是全序关系； 整除关系不是正整数集合上的全序关系。 * 二、偏序集与哈斯图 * 集合A和A上的偏序关系?一起叫做偏序集, 记作 A,?。 例： 1. 整数集和整数的小于等于关系构成偏序 集Z,≤， 2. 集合A的幂集P(A)和包含关系R?构成偏 序集P(A),R?. 1. 偏序集 2. 覆盖 * 例：{ 1, 2, 4, 6 }集合上的整除关系, 2 覆盖 1, 4 和 6 覆盖 2， 4 不覆盖 1， 6 不覆盖 4。 设A,?为偏序集, ? x, y∈A, 如果 x ? y且不存在 z?A 使得 x ? z ? y, 则称 y 覆盖x。 * 3. 哈斯图 由于偏序关系本身具备的特性，在用关系图来描述偏序关系且不引起混乱时，可以将其中的一些显然的因素略去不管。 利用偏序自反、反对称、传递性简化的关系图。 注意：在哈斯图中，每个结点没有环；两个连通的结点之间的偏序关系通过结点位置的高低表示，位置低的元素的顺序在前，具有覆盖关系的两个结点之间连边。 * 例7.19 画出下列偏序关系的哈斯图。 { 1, 2, 3, 4, 5, 6, 7, 8, 9 }, R整除 P({a, b, c}), R? * A={a, b, c, d, e, f, g, h} R={b,d,b,e,b,f,c,d, c,e,c,f,d,f,e,f,g,h}∪IA 例7.20： 已知偏序集A,R 的哈斯图如右图所示, 试求出集合A和关系 R的表达式.? 三、偏序集的特殊元素 * 在A,?偏序集中，设?≠B?A，对于A中的偏序而言，B中处于某些特殊位置的元素是很重要的。 注意：建议在理解这些元素时，将偏序当作 “小于等于”。 * 定义7.24 设A,?为偏序集, B?A, y∈B.(1) 若?x(x∈B→y?x) 成立, 则称 y 为 B 的最小元。(2) 若?x(x∈B→x?y) 成立, 则称 y 为 B 的最大元。 (3) 若??x (x∈B∧x ? y) 成立, 则称 y 为B的极小元。(4) 若??x (x∈B∧y ? x) 成立, 则称 y 为B的极大元。  * 例：设偏序集A,?如下图所示，求 A 的极小元、最小元、极大元、最大元。 极小元：a, b, c, g； 极大元：a, f, h； 没有最小元与最大元。 * 注意： ① 有穷偏序集一定存在极小元和极大元，可 能存在多个； ② 不一定存在最小元和最大元，如果存在一 定惟一； ③ 最小元一定是极小元，最大元一定是极大 元； ④ 孤立结点既是极小元，也是极大元。 * 2. 定义7.25 设A, ?为偏序集, B?A, y?A. (1) 若?x(x∈B→x?y) 成立, 则称 y 为B的上界。  (2) 若?x(x∈B→y?x)