- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
[理学]06-关系的闭包
关系的闭包 离散数学 第6讲 上一讲内容的回顾 关系的几类重要性质 自反 对称 传递 性质满足的充分必要条件 性质与运算之间的关系 二元关系的闭包 闭包的定义 闭包的存在性及其计算公式 用矩阵实现关系的运算 计算机算法 计算关系R的传递闭包的Warshall算法 “闭”与“包” 自反闭包的定义 设 R的是集合A上的关系,其自反闭包r(R)也是A上的关系,且满足: 1. r(R)满足自反性; 2. R ? r(R); 3. 对A上的任意关系R’, 若R’也满足自反性,且也包含R,则r(R)?R’ 即:自反闭包中删除任何元素,它将不能满足条件1与2 例子:令A={1,2,3}, R={(1,1), (1,3), (2,3), (3,2)}。则r(R)={(1,1), (1,3), (2,3), (3,2), (2,2), (3,3)}。 关系的闭包:一般概念 设R是集合A上的关系,P是给定的某种性质(如:自反、对称、传递),满足下列所有条件的关系R1称为关系R的P闭包: R1 满足性质P R?R1 如果存在集合A上的关系R’,R’ 满足性质P 并包含R,则R1?R ’ 自反闭包r(R)、对称闭包s(R)、传递闭包t(R) 自反闭包的计算公式 r(R) = R?IA, IA是集合A上的恒等关系 (证明所给表达式满足自反闭包定义中的三条性质) 1. 对任意 x?A, (x,x)?IA, 因此, (x,x)?R?IA 2. R?R?IA 3. 设 R’ 集合A 上的自反关系,且R?R’, 则对 任意 (x,y)?R?IA, 有(x,y)?R, 或者 (x,y)?IA。 对两种情况,均有 (x,y)?R’, 因此, R?IA?R’ 对称闭包的计算公式 s(R) = R?R-1, 这里R-1是R的逆关系 对任意 x,y?A, 如果 (x,y) ?R?R-1, 则(x,y) ?R 或者(x,y) ?R-1, 根据R的对称性,(y,x) ?R-1, 或者 (y,x) ?R, ? (y,x) ?R?R-1 R?R?R-1 设R’是集合A上的对称关系, 并且R?R’, 则对任意(x,y) ?R?R-1, 有(x,y) ?R, 或者(x,y) ?R-1. 情况1: (x,y) ?R, 则 (x,y) ?R’ 情况2: (x,y) ?R-1, 则 (y,x) ?R, 于是 (y,x) ?R’。根据R’的对称性:(x,y) ?R’ 因此, R?R-1?R’ 连通关系 定义集合A上的“连通”关系R?如下: 对任意a,b?A, a R?b 当且仅当:存在t1,t2…tk ?A(k是任意非负整数),满足(a,t1) ?R; (t1,t2)?R;…; (tk,b)?R。(可以表述为:R中存在长度大于0的通路) 显然:对任意a,b?A, a R?b 当且仅当存在某个正整数k,使得aRkb。 于是:R? = R1?R2?R3?…Ri?… = 传递闭包 关系的闭包的存在性 定义并不能保证存在 存在性可以由计算公式的可行性保证 自反闭包、和对称闭包显然存在 传递闭包理论上存在 利用公式证明闭包相等 证明:r(s(R)) = s(r(R)) r(s(R)) = r(R?R-1) = (R?R-1)?IA = (R?IA)?(R-1?IA-1) (注意:IA=IA-1, 并用等幂率) = (R?IA)?(R?IA)-1 = s(R?IA) = s(r(R)) 注意:r(s(R))一般省略为rs(R) 用定义证明有关闭包的性质 关系复合运算与矩阵相乘 用布尔矩阵实现关系运算 给有限集合A,B,C。设R1?A?B, R2?B?C, M1,M2分别是R1,R2的关系矩阵,则M1?M2(这里?是矩阵乘法)是复合关系R1oR2的关系矩阵。 证明:需证明,对任意ai?A, ck?C, (ai,ck)?R1oR2 当且仅当 M1?M2[i,k]=1 ? 设(ai,ck)?R1oR2 , 则存在bj?B, 满足(ai,bj)?R1, (bj,ck)?R2, ?M1[i,j]=1, M2[j,k]=1, ? M1?M2[i,k]=1 ? 设M1?M2[j,k]=1,则对s?{1,2,…,|B|}, 至少有一个s,满足 M1[j,s]=M2[s,k]=1, ?有相应的bs?B, 满足:(aj,bs) ?R1, (bs,ck) ?R2 ? (aj,ck)?R1oR2 有限集合上的传递闭包 用矩阵乘法计算传递闭包 Warshall算法原理 Warshall算法过程 ALGORITHM WARSHALL 1.
文档评论(0)