第四章 二元关系-4th.ppt

*/43 字母次序关系 如果要使 ，就必须满足下列条件之一： 如果上述条件中一个也没有得到满足，则应有 */43 字母次序关系 考察字母次序关系的一个特定情况。设X={a,b,c,…,x,y,z}，又设R是X中的全序关系，并用≤表示它，这里 且 。这就是说，字符串中有三个来自X中的字母，或少于三个字母而且是由所有这样的字符串组成集合P。 例如， me S met (由条件1) bet S met (由条件2) beg S bet (自条件3) get S go (自最后的规则) 因为比较的是单词go和get，故条件1，2和3都未得到满足。 在英文字典中，单词的排列次序就是字母次序关系的一例。在计算机上对字符数据进行分类时，经常使用字母次序关系。 */43 五、偏序集合与哈斯图 像表达相容关系时用简化关系图一样，通常使用较为简便的偏序集合图——哈斯(Hass)图来表达偏序关系。 定义：设 是一个偏序集，如果对任何 ，x≤y和x≠y，而且不存在任何其它元素 能使x≤z和z≤y，即 成立，则称元素y盖覆x。 */43 偏序集合与哈斯图 在哈斯图中，用小圈表示每个元素。如果有 ，且x≤y和x≠y ，则把表示x的小圈画在表示y的小圈之下。如果y盖覆x，则在x和y之间画上一条直线。如果x≤y和x≠y ，但是y不盖覆x，则不能把x和y直接用直线连结起来，而是要经过P的一个或多个元素把它们连结起来。这样，所有的边的方向都是自下朝上，故可略去边上的全部箭头表示。 */43 偏序集合与哈斯图 例如： 设P1={1,2,3,4}，≤是“小于或等于”关系，则 是个全序集合。设 ，≤是P2中的包含关系 ，则 是全序集合．试画出 和 的哈斯图． 注意：虽然两个全序关系的定义不同，但它们可能具有同样结构的哈斯图 解： */43 偏序集合与哈斯图 例： 设集合X={2,3,6,12,24,36}，≤是X中的偏序关系并定义成：如果x整除y，则x≤y。试画 的哈斯图。 偏序集合与哈斯图 例：设集合X={a,b}， 是它的幂集。 的元素间的偏序关系≤是包含关系 。试画出 的哈斯图。 注意：对于给定偏序集合来说，其哈斯图不是唯一的。由 的哈斯图，可以求得其对偶 的哈斯图．只需把它的哈斯图反转180?即可，使得原来是顶部的结点变成底部上各结点。 偏序集合与哈斯图 定义： 设 是一个偏序集合，并有 。 (a)如果对于每一个元素 有 ，则元素 称为Q的最小成员，通常记作0。 (b)如果对于每一个元素 有 ，则元素 称为Q的最大成员，通常记作1。 如果能画出哈斯图，就可以看出是否存在最大成员和最小成员。 偏序集合与哈斯图 定理：设X是一个偏序集合，且有 。如果x和y都是Q的最小(最大)成员,则x=y。 证： 假定x和y都是Q的最小成员。于是可有x≤y和y≤x。根据偏序关系的反对称性，可以得出x=y。当x和y都是Q的最大成员时，定理的证明类似于上述的证明。 偏序集合与哈斯图 定义： 设 是一个偏序集合，并有 。 极大成员和极小成员都不是唯一的。不同的极大成员(或不同的极小成员)是不可比的。 (a)如果 ，且不存在元素 能使q≠q和q≤q，则称q是Q的极小成员。 (b)如果 ，且不存在元素 能使q≠q和q≤q ，则称q是Q的极大成员。 */43 偏序集合与哈斯图 定义： 设 是一个偏序集合，并有 。 (a)如果对于每一个元素 有 ，则元素 称为Q的上界。 (b)如果对于每一个元素 有 ，则元素