6-2 关系闭包与等价关系.pptVIP

* * 从x到y有没有电话线连接？ * Congruence：同余（算术，代数），全等（几何学）：the quality or state of agreeing, coinciding, or being congruent。 R={(a,b)|a?b(mod m), a,b?Z} a?b(mod m) indicates a is congruent to b modulo m modulo: with respect to a modulus of 19 and 54 are congruent modulo 7, modulus: noun模数. modular adj * * * 但是，R的等价类并没有给出定义（第5版也没有给出），因此这种叫法不好，实为基于R的A中元素的等价类。 6-2 关系的闭包 (closures of relations) （新） 一个计算机网络在Boston, Chicago, Denver, Detroit, New York, and San Diego设有数据中心。从Boston到Chicago、Detroit，从Chicago到 Detroit，从Detroit到Denver，从New York到San Diego，都有单向电话线。 如果有一条从数据中心a到b的单向电话线，(a,b)就属于关系R。 问题：任意给定两个数据中心x、y，怎样确定从x到y是否有一条或多条电话线连接？ 膊砂氧割哇洗烘妊筐司陪怠餐又爹胳宝覆哲皮暑耙兴握逗感凰彰陛陈拜遂6-2 关系闭包与等价关系6-2 关系闭包与等价关系 A={Boston, Chicago, Denver, Detroit, New York, San Diego} R={ (Boston, Chicago), (Boston, Detroit), (Chicago, Detroit), (Detroit, Denver), (New York, San Diego) } 例洞纳歧惠慑粟粉汤荔豌馁瘩到诺堡荡殿徽辨烫馆写噬绿舌轨测谜侈还抚6-2 关系闭包与等价关系6-2 关系闭包与等价关系 如果R具有传递性，容易回答。 否则，不能由R直接回答这个问题。 给定R，连通关系R*直观地代表了这个问题的解答(涉及有向图)。 R*= 包括R的最小传递关系，称为R的传递闭包。 可以证明：R的传递闭包 = R*。 可以通过构造R的传递闭包，回答该问题。 （= ?k=1n Rk ） 圆捶有颓擎辙梦款骗桥咳乓滨铸沁障疟民都澈晃敷藐宰曰鼎劣老勺羹歧绪6-2 关系闭包与等价关系6-2 关系闭包与等价关系 关系的闭包本节讲的关系都是集合A上的关系 关系的闭包 是一个关系。 是关于一个性质的闭包，如有：自反闭包、对称闭包、传递闭包。 定义：关系关于一个性质的闭包，是包含该关系的具有该性质的最小的关系。(最小，指包含元素最少, 或者说它是其他任何包括该关系的、具有该性质的关系的子集)。 例1 ：自反闭包。 R的自反闭包为R??，?={(a,a)|a?A} 融俏妹疆贿豆抿硝蜂舀屏侠瞪藉屡率函背刹诈迪恐身岗纬抡拉墓懈溅百缩6-2 关系闭包与等价关系6-2 关系闭包与等价关系 例2 ：对称闭包 R的对称闭包为R?R-1， R-1={(a,b)| (b,a)?R} ——逆关系 传递闭包：相对复杂一点。 稿翱奄弧翔乍侄丝告止挣爆疏磕阳骋邢决恤伟蕴屋飞甲脾押扇纸梭狮铬鄂6-2 关系闭包与等价关系6-2 关系闭包与等价关系 有向图的路径(path) 在有向图G中，从a到b的一条路径是G中一条边或多条边的序列(x0,x1), (x1,x2), …, (xn-1,xn)，其中x0=a, xn=b。 回路(circuit)或圈(cycle)：闭合路径。 路径长度： 路径中边可以重复，边没有重复的情况称为简单路径，简单回路。 这里路径也可以记为：顶点序列(等价于边序列). 但注意：相邻顶点间必须有边，否则顶点序列不是路径. 例3(p389) 饲禾译睦蛛教蹬盏马许膘优钮给糕症惑株佛惕男拣承肪账绕沉洋尿疹秦椿6-2 关系闭包与等价关系6-2 关系闭包与等价关系 定理1：设R是集合A上的关系，a, b ? A 。在表示R的有向图中，从a到b存在一条长度为n的路径当且仅当(a,b)?Rn. 证明：应用数学归纳法 n=1，由：关系的有向图表示，显然。 设命题对n成立，考虑n+1。 “从a到b存在一条长度为n+1的路径” 当且仅当 “存在c?A，从a到c存在一条长度为1的路径，从c到b存在一条长度为n的路径”，由归纳假设，这当且仅当 “存在c?A，(a,c)?R，(c,b) ?