四色猜想四色猜想四色定理
- 格式:doc
- 大小:101.01 KB
- 文档页数:6
四色猜想四色猜想四色定理
四色猜想 -四色猜想 四色定理
地图四色定理 (Four color theorem)
最初是由一位叫古德里 Francis Guthrie 的英国大学生提出来的。四色问题的内容是
“任何一张地图只用四种颜色就能使拥有共同界限的国家着上不一样的颜
色。 ”用数学语言表示即 “将平面任意地细分为不相重叠的地区每一个地区总能够用 1234 这四个数字之一来标志而不会使相邻的两个地区获得相同的数字。 ”这里所指的相邻地区是指有一整段界限是公共的。假如两个地区只相遇于一点或有限多点就不叫相邻的。由于用相同的颜色给它们着色不会惹起混杂。四色问题的内容是 “任何一张地图只用四种颜 四色猜想四色猜想四色定理
色就能使拥有共同界限的国家着上不一样的颜色。 ”也就是说在不惹起混杂的状况下一张地图只要四种颜色来标志就行
发展历史
可是状况也不是过分消极。数学家希奇早在 1936年就以为议论的状况是有限的可是特别之大大到可能有 10000种。关于巨大而有限的数,最好由谁去对
付?今日的人都理解:计算机。
从 1950年起希奇就与其学生丢莱研究如何用计算机去考证各样种类的图形。这时计算机才刚才发明。两人的思
想堪称十分超前。
1972 年起黑肯与阿佩尔开始对希奇的方法作重要改良。 到 1976 年他们以为问题已经压缩到能够用计算机证明的地步了。于是从 1 月份起他们就在伊利诺伊大学的 IBM360 机上分 1482 种状况检查历时 1200 个小时,作了 100 亿个判断最后证了然四色定理。在当地的信封上盖“Fourcolorssutfice 四色”,足够了的邮戳就是他们想到的一种流传这一惊人消 四色猜想四色猜想四色定理
息的新奇的方法。
人类破天荒运用计算机证明有名数学猜想应当说是十分惊动的。欣赏者有之,思疑者也许多,由于真实确性一时不可以一定。以后也确实有人指出其错误。
1989 年,黑肯与阿佩尔发布文章声称错误已被改正。 1998 年托马斯简化了黑肯与阿佩尔的计算程序但仍依靠于计算
机。不论如何四色问题的计算机解决给数学研究带来了很多重要的新思想。
问题影响
一个多世纪以来,数学家们为证明这条定理苦思冥想,所引进的观点与方法刺激了拓扑学与图论的生长、发展。在“四色问题 ”的研究过程中,许多新的数学理论随之产生,也发展了好多半学计算技巧。如将地图的着色问题化为图论问题,丰富了图论的内容。四色猜想不单这样, “四色问题 ”在有效地设计航空班机日程表,设计计算机的编码程序上都起到了推进作用。
实质应用 四色猜想四色猜想四色定理
固然任何平面地图能够只用四个颜色着色,可是这个定理的应用却相当有限,由于现实中的地图常会出现飞地,即两个不连通的地区属于同一个国家的状况,而制作地图时我们仍会要求这两个地区被涂上相同的颜色,在这类状况下,只用四种颜色将会造成诸多不便。
实质顶用四种颜色着色的地图是不常见的,并且这些地图常常最少只要要三种颜色来染色。别的,即使地图能够只用四种颜色染色,为了划分起见,也会采纳更多的颜色,以提示不一样地域的差异。
四色原理的一种逻辑证明
地图上任何一个地区势必存在邻域,且又经过邻域与其余非邻域发生间接联系,我们能够将任何一个地图以图论图形的表示出来。
假定存在一张起码需要 m 种着色的地图,那么决定该地图一定要用 m 种着色的条件有且只有一个,即该地图起码存在这样一个地区 Q,与该地区相邻的 四色猜想四色猜想四色定理
所有地区一定知足 m-1 着色。第一知足
这个条件后, Q 只好用第 m 种颜色,其
次假如这个推论一是错误的,关于 m 着
色地图不存在这样的地区,那么地图上
任何一个地区的邻域只好知足少于 m-1
的着色,那么整个地图必定不需要 m 中
颜色,这与假定相矛盾,因此这是一个
充足必需条件。
假定任意取一张任意构造的起码 m 着色的地图 M ,其上知足上述条件的地区有
n 个,那么将图论图形中的这 n 个地区及其与邻域的关系线我们能够所有去掉,这样我们就将建立一个起码 m 着色地图 M
的问题转变成了一个在起码需
要 m-1 着色地图上增添 n 个知足推论一条件的地区问题。
假如五着色地图存在且能建立成
功,那么必定存在建立这样五着色的四着色模型图,而要存在这样的四着色模型图必定存在建立该四着色的三着色模型图,同理要存在这样的三着色模型图必定要存在建立它的二着色模型图,那 四色猜想四色猜想四色定理
么我们来建立一下五色图能否存在:
二着色地图是由一着色而来的一种简单的着色地图模型,我们很简单获得知足二着色的地图仅有的两种种类的构造,一种是不闭合的链状构造,如图一;另一种是由第一种衍生出来的闭合的环状构造且环所联系的地区为偶数个,称为偶数环,如图二。