离散数学(大作业)与答案.pdfVIP

  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文档。上传文档
查看更多
2015-2016学年第二学期期末考试《离散数学》大作业 一、请给出一个集合A,并给出A上既具有对称性,又具有反对称性的关系。(10分) 解:A={1,2} R={ (1,1),(2,2)} 二、请给出一个集合A,并给出A上既不具有对称性,又不具有反对称性的关系。(10分) 三、设A={1,2},请给出A上的所有关系。(10分) 答: 四、设A={1,2,3},问A上一共有多少个不同的关系。(10分) 五、证明: 命题公式G是恒真的当且仅当在等价于它的合取范式中,每个子句均至少包含 一个原子及其否定。(10分) 证明:设公式G的合取范式为:G’=G1G2…Gn 若公式G恒真,则G’恒真,即子句Gi;i=1,2,…n恒真 为其充要条件。 Gi恒真则其必然有一个原子和它的否定同时出现在Gi 中,也就是说 无论一个解释I使这个原子为1或0 ,Gi都取1值。 若不然,假设Gi恒真,但每个原子和其否定都不同时出现在Gi 中。 则可以给定一个解释I,使带否定号的原子为1,不带否定号的原子 为0,那么Gi在解释I下的取值为0。这与Gi恒真矛盾。 因此,公式G 是恒真的当且仅当在等价于它的合取范式中,每个子 句均至少包含一个原子及其否定。 六、若G=(P,L)是有限图,设P(G),L(G)的元数分别为m,n。证明:n ,其中 表2 2 C C m m 示m 中取2的组合数。(10分) 2015-2016学年第二学期期末考试《离散数学》大作业 证明:如果 G=(P,L)为完全图,即对于任意的两点 u 、v (u ≠v ),都 有一条边uv,则此时对于元数为m 的P(G) ,L(G) 的元数取值最大为 C2 。因此,若G=(P,L)为一有限图,设P(G) 的元数为m,则有L(G) m C2 C2 的元数n  ,其中 表示m 中取2 的组合数。 m m 七、设G是有限图,P(G),L(G)的元数分别为m,n。,分别是G 中点的最小度和最大度。 证明:2n/m。(10分) d (v) 证明:因为 mvP(G) G m d (v) 同时由定理1 知vP(G) G =2n 则有 m2nm 由m0 有:2n/m 八、设G=(P,L)是有限图,P(G),L(G)的元数分别为m,n。证明:如果n ,则G 是 连通的。(10分) 证明:反证法,假设此时G 不是连通的,则将G 中的一个连通分支 作为一个子图记为 G1,剩余的部分记为 G2 。可设 P(G1) 的元数为 m1 ,P(G2) 的元数为m2 ,其中1≤m1 ,m2m,m1+m2=m 。则: n ≤C C2 2 = m1(m1-1)/2+ m2(m2-1)/2 m m 1 2 =1/2(m12+m22- m1- m2) =1/2(m12+(m-m1)2- m) =1/2(m2-m-2mm1+2m12) 2015-2016学年第二学期期末考试《离散数学》大作业 =1/2(m2-m-2m1(m-m1)) =1/2(m2-m-2m1m2) 由于(m1-1) (m2-1) ≥0 所以有: m1 m2- (m1+m2)+1 ≥0 即 m1 m2 ≥ m-1 则有:n ≤1/2(m2-m-2m1m2) ≤1/2(m2-m-2(m-1)) =1/2(m2-3m+2) =1/2(m-1)(m-2) = C2 m1 显然这与已知n C2 矛盾,命题得证。 m1 九、设G为图(

文档评论(0)

152****1430 + 关注
实名认证
文档贡献者

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

1亿VIP精品文档

相关文档