以文本方式查看主题

-  中文XML论坛 - 专业的XML技术讨论区  (http://bbs.xml.org.cn/index.asp)
--  『 计算机考研交流 』   (http://bbs.xml.org.cn/list.asp?boardid=67)
----  [求助]5色定理证明问题  (http://bbs.xml.org.cn/dispbbs.asp?boardid=67&rootid=&id=54151)


--  作者:fgffggfg
--  发布时间:10/21/2007 10:04:00 PM

--  [求助]5色定理证明问题
北大离散教材p186页上5色定理的证明不太明白:
1、为什么和v相临的5个顶点各自所在的分支都是无回路的?
    (即为什么v1、v2、v3、v4、v5各自所在的连通分支都只用两种颜色着色?)
2、证明中说:若v1与v3在G1,3同一个连通分支中,则v2、v4必在G2,4不同的连通分支
     中。为什么啊?
p188页例12。6的n为奇数时证明中的:
       1/2(n-1)X`(Kn)>=1/2n(n-1)
      这个不等式是怎么来的啊?
谢谢啊!

--  作者:fgffggfg
--  发布时间:10/22/2007 6:01:00 PM

--  
咋类???老大泥??
高手泥??
--  作者:guokeno1
--  发布时间:10/22/2007 7:17:00 PM

--  
书上是有问题的,正确的应当是分别否定V2,V4与V1,V3圈相交和不交的情况(不交时考虑V1,V5和V2,V3)按照这个思路你自己证下
--  作者:fgffggfg
--  发布时间:10/22/2007 7:54:00 PM

--  
?啊,够深奥啊,试着去看看.谢谢
--  作者:栖憧
--  发布时间:10/23/2007 12:45:00 PM

--  
1、
        和v相临的5个顶点各自所在的分支都是可以有回路的。当有回路的时候,同样可以进行换色。不然你可以自己把它连起来看看
        (v1、v2、v3、v4各自所在的连通分支都只用两种颜色着色),是因为:
         我们规定了V1,3={v|在G1中着1,3的点},而G1,3是这些点导出的生成子图。并不是说v1,v3所在的连通分支只用了两种颜色,而是我们只需要其中的两种颜色来分析问题,所以其他颜色的点可以被屏蔽掉。

2、
       若v2、v4不在G2,4不同的连通分支,那么G就不是平面图了。
       假设c1是v2,v4所在同一连通分支的回路,则c1肯定和c相交


W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
46.875ms