以文本方式查看主题

-  W3CHINA.ORG讨论区 - 语义网·描述逻辑·本体·RDF·OWL  (http://bbs.xml.org.cn/index.asp)
--  『 理论计算机科学 』  (http://bbs.xml.org.cn/list.asp?boardid=64)
----  归纳法证明四色问题  (http://bbs.xml.org.cn/dispbbs.asp?boardid=64&rootid=&id=52563)


--  作者:悟空
--  发布时间:9/12/2007 1:51:00 PM

--  归纳法证明四色问题

归纳法证明四色问题

以连线表示两条边相邻

(1)当点数(点代表国家)<=4时,显然能只用四种颜色解决着色问题.

下面证明:假设n个点能只用四种颜色着色而不会出现相邻点颜色相同的情况,则n+1个点也能只用四种颜色来解决着色问题.

(2)假设有n-1个点的平面图里的n-1个点能只用四种颜色着色而不会出现相邻点颜色相同,当n个点中去掉其中一个点v时,由假设知其能只用四种解决着色问题:

1.当v的度数<=4时,肯定能只用四色解决问题;

2.当v的度数=4时,而四个相邻点着的颜色数<4时,同样能只用四色解决问题;

3.当v的度数=4,而且四个相邻点涂了四种不同颜色,由于相邻的4个点肯定不能两两相邻,否则再与v相邻的话就构成K5图(非平面图);故这相邻v的四个点肯定 有两个点不相邻的.而且他们是不相连通的.因为如果相连通,则由二度相连的结果知其仍使K5的同构;设那两个点为A,B,A和B不连通和相邻,则可以将其中一个的颜色改为另一个相同,假设A--red,B---blue,则可以将A改为blue,然后将A连通分支的全部blue改为red,red改为blue.这样就不影响n-1个点的图的着色问题.

4.当v的度数>=5时,情况与3类似.

   当第5个点的颜色是3剩下来的其中一种的话,则不用改任何点的染色即可满足.

   当第5个点的颜色是3中的A的颜色时,他和A肯定不相邻,而且他和剩下的除V点的四个点中的其中一个点不相邻,设那点为C,于是第5点和C点的情况和3中的情况相同,用同样的方法解决即可

由此粗劣证明结束  望各位指点 呵呵



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