没有合适的资源?快使用搜索试试~ 我知道了~
这是四色定理的证明,其中详细说明了四色定理的漏洞所在,或许不是很准确.
资源推荐
资源详情
资源评论
四色定理简洁证明及其漏洞
鲁晨光
http://survivor99.com/lcg
四色定理:任何一张正规地图(每一点最多和三个国家相连)只用四种
颜色就能使具有共同边界的国家着上不同的颜色。
证明如下:
假设存在一个数目 N, 国家数目达到 N 时, 就可以构造一个地图――它
必须用五种颜色着色(四色不够)。这也就是假设去掉其中任何一个国家,数
目成为 N-1 时, 它应当可以用四种颜色着色。
现在我们用反证法证明。
假设我们能够证明:如果 N-1 个国家的地图能用四色着色, 把去掉的一
个加上去也能, 那么我们就证明了不存在这样一个 N, 也就证明了四色定理。
根据欧拉定理, 任何一个地图, 必然存在一国(称之为 X 国), 其相邻
国家数目不大于 5。 或者说, 其邻国可能是 1 个, 2 个, 3 个, 4 个, 或 5 个。
这样,我们就从 N 国地图中拿掉 X 国,这时它应当可以用四色着色。现
在,如果我们能证明,把 X 国放回到着好四色的 N-1 国地图中, 通过系统颜色
变换,也能用四色着色, 这样就证明了四色定理。
假如 X 国邻国只有 1,2,3 国, 这是简单的,着第四种颜色就是。现在
考虑四邻国和 5 邻国。
前人已经通过 2 色通道的概念,证明四邻国可以为 X 国着色而不增加颜
色数目。参看图 1 (其中 R,G,B,Y 分别表示红,绿,蓝,黄四色)
图 1 四邻国问题
一个二色通道是由交替着上两种不同颜色的国家连成的。上面两个通道
BY 通道和 RG 通道总有一个是不通的。 假设 RG 通道不通, 则把和 R 国以及
与之相连的 RG 通道 1 上的国家的颜色 R 和 G 互换,再把 X 国着上 R 就行了.
着好色的地图如图二。
图 2. 四邻国问题解决
剩下的硬骨头是 5 邻国问题。我们假设最坏的情况――X 邻国已经有四
种颜色。现在我们可以画图三所示四个通道。
图 3 五邻国问题
1)BY 通道是通的, RG 通道必然不通, 这好解决――改变与 G 国相连
的 RG 通道颜色,再把 X 着色成 G 就行。
2)BG 通道是通的,RY 通道必然不通, 这也好解决――改变与 Y 国相
连的 RY 通道颜色, 再把 X 着色成 Y 就行。
3)BY 通道和 BG 通道都不通, 则 RG 通道和 RY 通道必然是通的。即
如果下面两个通道不通, 则上面两个通道必然是通的。这时,我们把和左 B 相
连的 BY 通道(a)颜色对调,和右 B 相连的 BG 通道(b)颜色对调,然后把 X 着成
B 就是。参看图 4。
图 4 五邻国问题解决
到此 5 邻国问题圆满解决, 四色定理证明大功告成。
这是我 20 年前的证明。当时我没看到 Kempe 的具体证明, 也不知道别
人提出的反例究竟如何。我把它投寄给一位再报上介绍四色定理的数学学者,
他也没发现漏洞。后来倒是我自己发现了漏洞――图 3 中如果上面两条通道交
叉,证明就会失败。参看图 5。
图 5 上两个通道交叉导致证明失败的反例
具体图例:
图 6 反例
我把这个看似简洁正确方法公布出来,或许可以让后来者少走弯路。
四色问题
来自 维客
四色问题 four-color problem
拓扑学的著名问题之一 。年 格思里提出对平面(或球面)上地图着色
, 用 种颜色就可使相邻(即有一段公共边界)的国家和区域的颜色不同 ,
而不能用少于 种颜色着色。此猜想称为四色问题。年 肯普和
希伍德证明了五色定理,即用五种颜色可使相邻国家和区域着不同颜色
。!年奥尔和斯坦帕尔证明了对不多于 个国家的任意地图可用四种颜
色正确着色。"! 年美国数学家 #$阿佩尔和 %哈肯及计算机专家考克 &
人合作用计算机大量计算证明了四色定理。但仍有人怀疑计算机计算的准确性
。探求四色问题的证明,推动了图论着色理论及代数拓扑图论的发展。
'编辑(
补充
四色问题又称四色猜想,是世界近代三大数学难题之一。
四色问题的内容是:“任何一张地图只用四种颜色就能使具有共同边界的国家着
上不同的颜色。”用数学语言 表示 ,即“将平面任意地细分为不相重迭的区域,
每一个区域总可以用 ,,&, 这四个数字之一来标记,而不会使相邻的两
个区域得到相同的数字。”(右图)
这里所指的相邻区域,是指有一整段边界是公共的。如果两个区域只相遇于一
点或有限多点,就不叫相邻的。因为用相同的颜色给它们着色不会引起混淆。
四色猜想的提出来自英国。 年,毕业于伦敦大学的弗南西斯)格思里来到
一家科研单位搞地图着色工作时,发现了一种有趣南窒螅骸翱蠢矗糠赝级伎梢
杂盟闹盅丈派沟糜泄餐呓绲墓叶急蛔派喜煌难丈!闭飧鱿窒竽懿荒艽
邮 霞右匝细裰っ髂兀克驮诖笱 * 潦榈牡艿芨窭锼咕鲂氖砸皇浴P值芏宋
っ髡庖晃侍舛褂玫母逯揭丫蚜艘淮蟮 墒茄芯抗ぷ髅挥薪埂+
年 月 & 日,他的弟弟就这个问题的证明请教了他的老师、著名数学
家德)摩尔根,摩尔根也没有能找到解决这个问题的途径,于是写信向自己的好
友、著名数学家汉密尔顿爵士请教。汉密尔顿接到摩尔根的信后,对四色问题
进行论证。但直到 ! 年汉密尔顿逝世为止,问题也没有能够解决。
" 年,英国当时最著名的数学家凯利正式向伦敦数学学会提出了这个问
题,于是四色猜想成了世界数学界关注的问题。世界上许多一流的数学家都纷
纷参加了四色猜想的大会战。"~ 年两年间,著名的律师兼数学家肯
普和泰勒两人分别提交了证明四色猜想的论文,宣布证明了四色定理,大家都
认为四色猜想从此也就解决了。
肯普的证明是这样的:首先指出如果没有一个国家包围其他国家,或没有三个
以上的国家相遇于一点,这种地图就说是“正规的”(左图)。如为正规地图,
否则为非正规地图(右图)。一张地图往往是由正规地图和非正规地图联系在
一起,但非正规地图所需颜色种数一般不超过正规地图所需的颜色,如果有一
张需要五种颜色的地图,那就是指它的正规地图是五色的,要证明四色猜想成
立,只要证明不存在一张正规五色地图就足够了。
肯普是用归谬法来证明的,大意是如果有一张正规的五色地图,就会存在一张
国数最少的“极小正规五色地图”,如果极小正规五色地图中有一个国家的邻国
数少于六个,就会存在一张国数较少的正规地图仍为五色的,这样一来就不会
有极小五色地图的国数,也就不存在正规五色地图了。这样肯普就认为他已经
证明了“四色问题”,但是后来人们发现他错了。
不过肯普的证明阐明了两个重要的概念,对以后问题的解决提供了途径。第一
个概念是“构形”。他证明了在每一张正规地图中至少有一国具有两个、三个、
四个或五个邻国,不存在每个国家都有六个或更多个邻国的正规地图,也就是
剩余27页未读,继续阅读
资源评论
hungry1526
- 粉丝: 0
- 资源: 14
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功