四色猜想四色猜想四色定理.docxVIP

四色猜想四色猜想四色定理 四色猜想四色猜想四色定理 PAGE / NUMPAGES 四色猜想四色猜想四色定理 四色猜想 -四色猜想 四色定理 地图四色定理 (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 个满足推论一条件的地区问题。 若是五着色地图存在且能成立成 功，那么必然存在成立这样五着色的四着色模型图，而要存在这样的四着色模型图必然存在成立该四着色的三着色模型图，同理要存在这样的三着色模型图必然要存在成立它的二着色模型图，那 么我们来成立一下五色图可否存在： 二着色地图是由一着色而来的一种简单的着色地图模型，我们很简单获取悉足二着色的地图仅有的两各种类的结构，一种是不闭合的链状结构，如图一；另一种是由第一种衍生出来的闭合的环状结构且环所联系的地区为偶数个，称为偶数环，如图二。