离散数学第章(9-11)(新教材).pptVIP

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  4. 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  5. 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  6. 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  7. 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
定理9.1. 设R是集合A上的一个二元关系,那么 (1)R是有自反性的关系的充要条件是R=r(R); (2)r(R)=R?IA. 我们只来证明(2),而把(1)的证明留给读者去完成. (2)的证明:显然关系R?IA有自反性且包含R,故由定义立即得到r(R)?R?IA.反过来,因为r(R)包含R,且r(R)有自反性,故也有IA?r(R),由此即得 R?IA ? r(R). 这就证明了(2). (注)利用0-1矩阵的Boole加法可以将定理1中的结论(2)表成下述形式: 推论. 设R是集合A上的一个二元关系,关系R的关系矩阵为MR,又设R的自反闭包r(R)的关系矩阵为Mr(R),那么就有 , 这里?表示Boole矩阵的Boole加法, 是集合A上的恒等关系IA所对应的关系矩阵. 定义9.2(对称闭包) 设R是A上的关系, 如果有另一个关系R?满足: a)R?R?; b)R?是对称的; c)对任意对称的关系R??, 如果有R?R??, 就有R??R??, 则称关系R?为R的对称闭包, 记作r(R) (symmetric). 定理9.2. 设R是集合A上的一个二元关系,那么 (1)R是有对称性的关系的充要条件是R=s(R); (2)s(R)=R?Rc. 这个定理的证明与定理1的证明类似,我们把它的证明留给读者去完成. (注)利用0-1矩阵的Boole加法可以将定理2中的结论(2)表成下述形式: 推论. 设R是集合A上的一个二元关系,关系R的关系矩阵为MR,又设R的对称闭包s(R)的关系矩阵为Ms(R),那么就有 , 这里?表示Boole矩阵的Boole加法, 是关系R的逆关系Rc所对应的关系矩阵. 定义9.3(传递闭包) 设R是A上的关系, 如果有另一个关系R?满足: a)R?R?; b)R?是可传递的; c)对任意可传递的关系R??, 如果有R?R??, 就有R??R??, 则称关系R?为R的传递闭包, 记作t(R) ( transitive). 定理3. 设R是集合A上的一个二元关系,那么是有传递性的关系的充要条件是R=t(R). 关于传递闭包的计算与判定,是远比自反闭包和对称闭包要复杂的问题.我们先给出一个有理论价值的结果,然后给出一个可以实际应用的结果,并介绍若干计算传递闭包的方法. 这个定理中的复合运算要计算无穷多次,因而只有理论的意义,而没有实际的使用价值.然而,实际上对于任意给定的一个有限集合上给定的任何一个二元关系而言,下面的定理告诉我们只需要作有限多次复合即可求出其传递闭包,而且所需计算的次数的上界是预先可以确定的.从而它给出一个可以实际操作的计算传递闭包的有效方法. 定理9.5. 设R是有限集合A上的一个二元关系,且|A|=n,则必存在一个正整数m≤n,使得有 t(R)=R(1)?R(2)???R(m) . 由此立即可以推出下面的推论: 定理9.5的推论1. 设R是有限集合A上的一个二元关系,且|A|=n, 则必有 t(R)=R(1)?R(2)???R(n) . 由此推论我们立即得到计算传递闭包的如下矩阵算法: 定理9.5的推论2. 设R是有限集合A上的一个二元关系,|A|=n,又记复合关系R(i)(i≥1)的关系矩阵为 ,设R的传递闭包t(R)的关系矩阵为 ,那么就有 , 这里?表示Boole矩阵的Boole加法. 例1. 设集合A={a,b,c,d},给定A上一个二元关系 R={a,c,b,d,c,a,d,c}, 试用上述矩阵算法计算它的传递闭包. 解:对于给定的关系R,我们依次算得有

文档评论(0)

dd545454 + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档