新书推介:《语义网技术体系》
作者:瞿裕忠,胡伟,程龚
   XML论坛     W3CHINA.ORG讨论区     计算机科学论坛     SOAChina论坛     Blog     开放翻译计划     新浪微博  
 
  • 首页
  • 登录
  • 注册
  • 软件下载
  • 资料下载
  • 核心成员
  • 帮助
  •   Add to Google

    >> 研友的交流园地,讨论关于计算机考研的方方面面。
    [返回] 计算机科学论坛计算机理论与工程『 计算机考研交流 』 → [求助]离散定理13.10证明问题~ 查看新帖用户列表

      发表一个新主题  发表一个新投票  回复主题  (订阅本版) 您是本帖的第 2203 个阅读者浏览上一篇主题  刷新本主题   树形显示贴子 浏览下一篇主题
     * 贴子主题: [求助]离散定理13.10证明问题~ 举报  打印  推荐  IE收藏夹 
       本主题类别:     
     fgffggfg 帅哥哟,离线,有人找我吗?
      
      
      等级:大四(每天看1小时莱昂氏)
      文章:225
      积分:1170
      门派:XML.ORG.CN
      注册:2007/5/25

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给fgffggfg发送一个短消息 把fgffggfg加入好友 查看fgffggfg的个人资料 搜索fgffggfg在『 计算机考研交流 』 的所有贴子 引用回复这个贴子 回复这个贴子 查看fgffggfg的博客楼主
    发贴心情 [求助]离散定理13.10证明问题~

    北大离散教材p196页
    定理13.10证明过程中证明G*-V`是不交完全图之并时这样写到:
    否则,设G*-V`有连同分支Gi不是完全图,则存在u,v,w属于V(Gi),使得(u,v),(v,w)属于E(G*),而(u,w)不属于E(G*).
    又因为v不属于V`,所以dG*(v)<=n-2,所以存在x属于V(G*-V`),使得(v,x)不属于E(G*).
    请问红色字的推导部分是怎么来的?
    谢谢

       收藏   分享  
    顶(0)
      




    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2007/10/25 13:43:00
     
     fgffggfg 帅哥哟,离线,有人找我吗?
      
      
      等级:大四(每天看1小时莱昂氏)
      文章:225
      积分:1170
      门派:XML.ORG.CN
      注册:2007/5/25

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给fgffggfg发送一个短消息 把fgffggfg加入好友 查看fgffggfg的个人资料 搜索fgffggfg在『 计算机考研交流 』 的所有贴子 引用回复这个贴子 回复这个贴子 查看fgffggfg的博客2
    发贴心情 
    都忙着复习么,怎么没人回答啊!?
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2007/10/25 20:06:00
     
     williamsg 帅哥哟,离线,有人找我吗?
      
      
      等级:大一(猛啃高等数学)
      文章:22
      积分:167
      门派:XML.ORG.CN
      注册:2006/12/20

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给williamsg发送一个短消息 把williamsg加入好友 查看williamsg的个人资料 搜索williamsg在『 计算机考研交流 』 的所有贴子 引用回复这个贴子 回复这个贴子 查看williamsg的博客3
    发贴心情 
    哦,是这样的,因为如果v不是<=n-2,那只能是n-1,也就是与所有的其他顶点相邻,而这样的顶点应该已经被作为V'的元素被扣除掉了,所以v肯定不能等于n-1,只能<=n-2。也就是说至少有一个其他顶点不与v相邻
    而V'中的所有顶点都是与v相邻的(因为度数都是n-1),所以必然有一个不属于V'的其他顶点与v不相邻,也就是V(G*-V')中的一个顶点
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2007/10/25 20:12:00
     
     GoogleAdSense
      
      
      等级:大一新生
      文章:1
      积分:50
      门派:无门无派
      院校:未填写
      注册:2007-01-01
    给Google AdSense发送一个短消息 把Google AdSense加入好友 查看Google AdSense的个人资料 搜索Google AdSense在『 计算机考研交流 』 的所有贴子 访问Google AdSense的主页 引用回复这个贴子 回复这个贴子 查看Google AdSense的博客广告
    2024/6/15 20:00:08

    本主题贴数3,分页: [1]

    管理选项修改tag | 锁定 | 解锁 | 提升 | 删除 | 移动 | 固顶 | 总固顶 | 奖励 | 惩罚 | 发布公告
    W3C Contributing Supporter! W 3 C h i n a ( since 2003 ) 旗 下 站 点
    苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
    62.500ms