离散数学总结(精品·公开课件).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文档。上传文档
查看更多
谓词演算中常见的蕴含式 总结下就是任意可以改成存在,存在不能变成任意所以先做存在。 任意(推出)则先用德摩根律把推出给换了,在把量词放进去! 有限集合中元素的个数称为集合的基数(cardinality). 集合A的基数表示为|A|(或card(A)=n). card(P(A)=2n)幂集 设A, B为两个集合,A=B当且仅当A?B且B ? A. 即A=B?(A?B) ? (B ? A) 几种常见的运算 反对称(antisymmetric)性 设集合A={R|R为对称的关系}, B={R|R为反对称的关系},则A和B的关系如右图所示: 关系的幂 设R是集合A上的二元关系,n?N为任一自然数,则R的n次幂记为Rn,定义为: (1)R0为A上的恒等关系, R0={x, x|x?A}. (2)Rn+1= Rn? R. 构造闭包的方法 性质二:设R1是从X到Y的二元关系, R2是从Y到Z的二元关系, 则 划分的加细 最大相容类的求法 (1) R在A上自反,当且仅当 例3.6.5 设R为A上的二元关系,证明: (2) R在A上反自反,当且仅当 (3) R在A上传递,当且仅当 证明: IA ? R. R∩IA = ?. R ? R ? R. (1)必要性: 任取x,x? IA ,如果R在A上自反,必有 x,x? IA ? x? A ? x,x?R , 从而IA ? R. 充分性: 当IA ? R时, x?A ? x,x? IA ? x,x?R , 因此R在A上是自反的. 从关系矩阵角度看, R是自反的,则MR的主对角元全为1. 所以IA ? R . 任取x?A , 有 六、复合关系和逆关系 结论可直接用 利用关系矩阵求闭包:(设R是有限集X上的二元关系,card(X)=n,MR为R的关系矩阵) (1) Mr(R) = (2) Ms(R) = (3) Mt(R)= 其中“+” 均表示“逻辑加? ” MR + I MR + MRT (MRT是MR的转置) 单位矩阵 MR+ MR2+ … +MRn 七、二元关系的闭包运算 例3.7.1 设A={a,b,c}, R 是A上的二元关系,R={a, b, b, c, c, a},求 r (R),s (R) 和 t (R) 解一: ={a, b, b, c, c, a,a, a, b, b, c, c} = R∪{a,a,b,b,c,c} r(R) = R∪IA s(R) = ={a,b,b,c,c, a, b,a,c, b,a, c} = R∪{b,a,c, b,a, c} R∪Rc t(R) = R∪R2∪R3∪… 七、二元关系的闭包运算 而R2 = R ? R R3 = R4 = R3 ? R ={a, b, b, c, c, a} = {a, a,b, b,c, c} = {a, c, b, a,c, b} 故 t(R) = ={a, b, b, c, c, a , a, c, b, a, c, b, a, a,b, b,c, c} 例3.7.1设A={a,b,c}, R 是A上的二元关系,R={a, b, b, c, c, a},求 r (R),s (R) 和 t (R) R2 ? R = R 由R= R4可得: R=R4=…=R3n+1 R2=R5=…=R3n+2 R3 =R6=…=R3n+3(n为正整数) R∪R2∪R3 七、二元关系的闭包运算 (R1 ? R2)c= R2c ? R1c. Warshall 提出了求有限集上关系R的传递闭包t(R)=R+的一个有效算法: 对第i列中出现1的各行,分别被‘+’上第i行 性质一:设R是集合X上的二元关系,则 (2)证: (必要性) 设R是对称的, 则R满足对称闭包的定义: (1)R是对称的; (2)R? R; (3)对任何对称的二元关系R’,若R? R’, 若s(R) =R, (充分性) 由对称闭包定义知R是对称的. (1) R是自反的,当且仅当 r(R) =R. (2) R是对称的,当且仅当 s(R) =R. (3) R是传递的,当且仅当 t(R) =R. 七、二元关系的闭包运算 则R? R’ . 性质二:设R是集合X上的二元关系,则 (1) 若R是自反的,则s(R)和t(R) (2) 若R是对称的,则r(R)和t(R) (3) 若R是传递的, 也是自反的. 也是对称的. 则r(R)是传递的,s(R)不一定是传递的. 七、二元关系的闭包运算 闭包运算的性质 性质三:设R1, R2是集合X上的二元关系, 且R1?R2

文档评论(0)

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

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

1亿VIP精品文档

相关文档