世界地图用几种颜色来区分不同国家？
世界的颜色 是四种 具体的你可以看下面的详细介绍
在19世纪中期，一位欧洲学生在给地图着色时，发现了一个十分奇怪而有趣的现象，那就是无论多么复杂的地图，只用四种颜色就能使得两个相邻地区的颜色不同。他把这种发现告诉了英国当时著名的数学家摩尔根，摩尔根对此很感兴趣，想用数学的方法给出证明，可是无论如何也证不出来，于是这个问题后来便成为世界数学史上的名题和难题，许多数学家都争着去证明它，但证明了一百多年还是没有结果，四色问题还是困绕着世界数学界。
至到本世纪70年代，美国数学家阿沛尔和哈肯，用电子计算机，对“四色问题”进行了数学归纳法的证明。他们假设：若一个图不能够嵌入一个不可能四着色的图里面，那么这个图一定是可以四着色的。于是他们两人从十万多张不同的地图中挑选出近两千多张输入电子计算机，对每一张地图都使用了二十万种可能的着色方法，作出了两百亿个逻辑判定，经过一千二百多个小时，终于在1976年证明出来，从此困绕数学界多年的“四色问题”得到最终解决。
“四色问题”的圆满解决，为人类解决各种各样的问题提供了方法论，极大地丰富了数学理论和数学方法，开拓了人类运用电子计算机的新领域，这些成果广泛地应用到人类的生产和生活的方方面面，极大地推动了数学这门学科在生产和实践上的广泛应用。
如果世界各国都是隔离的。那么世界地图只需要一种颜色就能隔离所有国家。
如果各个国家最多只有两个是相邻的，那么需要两种颜色就OK了。
如果是三个国家相邻呢？
[3-1]如果三个中有两个是不接触的（1跟2接触，2跟3接触，1跟3不接触），
那么需要两种颜色就OK了（第3号国家可以与第1号一个颜色）。
[3-2]如果三个国家是互相都接触着的
（像是一块月饼平分成三个，中心角度为120度的扇形那样。123都是接触的。），
那么，需要三种颜色就OK了。
而三个国家相邻的时候，只能分成以上两种情况。
四个国家相邻的时候，等于是三个国家在加上第四个国家。
在[3-1]上加一个国家，得到5种情况：
[4-1]4跟1接触，或4跟3接触。只需要两种颜色。
[4-2]4跟2接触。需要两种颜色。
[4-3]4跟12接触，或4跟23接触。需要三种颜色。
[4-4]4跟13接触。需要三种颜色。
[4-5]4跟123都接触。需要四种颜色。
在[3-2]上加一个国家，得到4种情况：
[4-6]4只跟123中的一个接触，结果回到[4-3]
[4-7]4跟123中的两个接触，结果回到[4-4]
[4-8]4跟123都接触，且4被123包围。跟[4-5]不一样，但也需要四种颜色。
[4-9]4跟123都接触，但4不被123包围。这时候有点问题。
4已经跟123中的两个接触，但还要跟剩下的一个也接触，
会导致123中的一个被另外两个加上4，这三个包围。
这样还是回到[4-8]，4个里有一个被其他三个包围的情况。
这样总结起来，只有[4-5][4-8][4-9]是用到4种颜色的。
但是，[4-8][4-9]都有一个特点：“有一个被包围了”。
被包围，说明不能在跟第五个国家接触，就等于少了一个，
就等于对第五个以后（包括第五个）的国家来说不负存在。
这样，这4个国家就回到了3个国家的情况了。
要想用到第五个颜色，突破口只有一个：[4-5]123三个串联，4跟123并联。
然后第五个国家接触1234。（当然，这会导致1234中有一个被其他3个加上5，这四个国家包围）
这样才能得到“使用五中颜色”的情况。
剩下的，就只是地理知识了。
当今世界国，家分界的结果，没有任何5个国家能满足以上条件：
“三个国家串联，且这三个跟第四个并联。然后这四个国家被第五个国家包围或半包围。”
但是，如果世界重新划分，出现了以上情况，那么
到时候世界地图就是“五中颜色”的了！
地图四色定理
地图四色定理最先是由一位叫古德里（Francis Guthrie）的英国大学生提出来的。德·摩尔根（A，DeMorgan，1806～1871）1852年10月23日致哈密顿的一封信提供了有关四色定理来源的最原始的记载。他在信中简述了自己证明四色定理的设想与感受。一个多世纪以来，数学家们为证明这条定理绞尽脑汁，所引进的概念与方法刺激了拓扑学与图论的生长、发展。1976年美国数学家阿佩尔（K.Appel）与哈肯（W.Haken）宣告借助电子计算机获得了四色定理的证明，又为用计算机证明数学定理开拓了前景。以下摘录德·摩尔根致哈密顿信的主要部分，译自J． Fauve1 and J.Gray（eds.），The History of Mathematics ：A Reader，pp． 597～598。
德·摩尔根致哈密顿的信（1852年10月23日）
我的一位学生今天请我解释一个我过去不知道，现在仍不甚了了的事实。他说如果任意划分一个图形并给各部分着上颜色，使任何具有公共边界的部分颜色不同，那么需要且仅需要四种颜色就够了。现在的问题是是否会出现需要五种或更多种颜色的情形。就我目前的理解，若四个不订分割的区域两两具有公共边界线，则其中三个必包围第四个而使其不与任何第五个区域相毗邻。这事实若能成立，那么用四种颜色即可为任何可能的地图着色，使除了在公共点外同种颜色不会
现画出三个两两具有公共边界的区域ABC，那么似乎不可能再画第四个区域与其他三个区域的每一个都有公共边界，除非它包围了其中一个区域（图2）。但要证明这一点却很棘手，我也不能确定问题复杂的程度一对此您的意见如何呢？并且此事如果当真，难道从未有人注意过吗？我的学生说这是在给一幅英国地图着色时提出的猜测。我越想越觉得这是显然的事情。如果您能举出一个简单的反例来，说明我像一头蠢驴，那我只好重蹈史芬克斯①的复辙了……。
四色问题又称四色猜想，是世界近代三大数学难题之一。
四色问题的内容是：“任何一张地图只用四种颜色就能使具有共同边界的国家着上不同的颜色。”用数学语言表示，即“将平面任意地细分为不相重迭的区域，每一个区域总可以用1，2，3，4这四个数字之一来标记，而不会使相邻的两个区域得到相同的数字。”
这里所指的相邻区域，是指有一整段边界是公共的。如果两个区域只相遇于一点或有限多点，就不叫相邻的。因为用相同的颜色给它们着色不会引起混淆。
四色猜想的提出来自英国。1852年，毕业于伦敦大学的弗南西斯·格思里来到一家科研单位搞地图着色工作时，发现了一种有趣的现象：“看来，每幅地图都可以用四种颜色着色，使得有共同边界的国家都被着上不同的颜色。”这个现象能不能从数学上加以严格证明呢？他和在大学读书的弟弟格里斯决心试一试。兄弟二人为证明这一问题而使用的稿纸已经堆了一大叠，可是研究工作没有进展。
1852年10月23日，他的弟弟就这个问题的证明请教了他的老师、著名数学家德·摩尔根，摩尔根也没有能找到解决这个问题的途径，于是写信向自己的好友、著名数学家汉密尔顿爵士请教。汉密尔顿接到摩尔根的信后，对四色问题进行论证。但直到1865年汉密尔顿逝世为止，问题也没有能够解决。
1872年，英国当时最著名的数学家凯利正式向伦敦数学学会提出了这个问题，于是四色猜想成了世界数学界关注的问题。世界上许多一流的数学家都纷纷参加了四色猜想的大会战。1878～1880年两年间，著名的律师兼数学家肯普和泰勒两人分别提交了证明四色猜想的论文，宣布证明了四色定理，大家都认为四色猜想从此也就解决了。
肯普的证明是这样的：首先指出如果没有一个国家包围其他国家，或没有三个以上的国家相遇于一点，这种地图就说是“正规的”。如为正规地图，否则为非正规地图（右图）。一张地图往往是由正规地图和非正规地图联系在一起，但非正规地图所需颜色种数一般不超过正规地图所需的颜色，如果有一张需要五种颜色的地图，那就是指它的正规地图是五色的，要证明四色猜想成立，只要证明不存在一张正规五色地图就足够了。
肯普是用归谬法来证明的，大意是如果有一张正规的五色地图，就会存在一张国数最少的“极小正规五色地图”，如果极小正规五色地图中有一个国家的邻国数少于六个，就会存在一张国数较少的正规地图仍为五色的，这样一来就不会有极小五色地图的国数，也就不存在正规五色地图了。这样肯普就认为他已经证明了“四色问题”，但是后来人们发现他错了。
不过肯普的证明阐明了两个重要的概念，对以后问题的解决提供了途径。第一个概念是“构形”。他证明了在每一张正规地图中至少有一国具有两个、三个、四个或五个邻国，不存在每个国家都有六个或更多个邻国的正规地图，也就是说，由两个邻国，三个邻国、四个或五个邻国组成的一组“构形”是不可避免的，每张地图至少含有这四种构形中的一个。
肯普提出的另一个概念是“可约”性。“可约”这个词的使用是来自肯普的论证。他证明了只要五色地图中有一国具有四个邻国，就会有国数减少的五色地图。自从引入“构形”，“可约”概念后，逐步发展了检查构形以决定是否可约的一些标准方法，能够寻求可约构形的不可避免组，是证明“四色问题”的重要依据。但要证明大的构形可约，需要检查大量的细节，这是相当复杂的。
11年后，即1890年，在牛津大学就读的年仅29岁的赫伍德以自己的精确计算指出了肯普在证明上的漏洞。他指出肯普说没有极小五色地图能有一国具有五个邻国的理由有破绽。不久，泰勒的证明也被人们否定了。人们发现他们实际上证明了一个较弱的命题——五色定理。就是说对地图着色，用五种颜色就够了。后来，越来越多的数学家虽然对此绞尽脑汁，但一无所获。于是，人们开始认识到，这个貌似容易的题目，其实是一个可与费马猜想相媲美的难题。
进入20世纪以来，科学家们对四色猜想的证明基本上是按照肯普的想法在进行。1913年，美国著名数学家、哈佛大学的伯克霍夫利用肯普的想法，结合自己新的设想；证明了某些大的构形可约。后来美国数学家富兰克林于1939年证明了22国以下的地图都可以用四色着色。1950年，有人从22国推进到35国。1960年，有人又证明了39国以下的地图可以只用四种颜色着色；随后又推进到了50国。看来这种推进仍然十分缓慢。
高速数字计算机的发明，促使更多数学家对“四色问题”的研究。从1936年就开始研究四色猜想的海克，公开宣称四色猜想可用寻找可约图形的不可避免组来证明。他的学生丢雷写了一个计算程序，海克不仅能用这程序产生的数据来证明构形可约，而且描绘可约构形的方法是从改造地图成为数学上称为“对偶”形着手。
他把每个国家的首都标出来，然后把相邻国家的首都用一条越过边界的铁路连接起来，除首都(称为顶点)及铁路(称为弧或边)外，擦掉其他所有的线，剩下的称为原图的对偶图。到了六十年代后期，海克引进一个类似于在电网络中移动电荷的方法来求构形的不可避免组。在海克的研究中第一次以颇不成熟的形式出现的“放电法”，这对以后关于不可避免组的研究是个关键，也是证明四色定理的中心要素。
电子计算机问世以后，由于演算速度迅速提高，加之人机对话的出现，大大加快了对四色猜想证明的进程。美国伊利诺大学哈肯在1970年着手改进“放电过程”，后与阿佩尔合作编制一个很好的程序。就在1976年6月，他们在美国伊利诺斯大学的两台不同的电子计算机上，用了1200个小时，作了100亿判断，终于完成了四色定理的证明，轰动了世界。
这是一百多年来吸引许多数学家与数学爱好者的大事，当两位数学家将他们的研究成果发表的时候，当地的邮局在当天发出的所有邮件上都加盖了“四色足够”的特制邮戳，以庆祝这一难题获得解决。
“四色问题”的被证明仅解决了一个历时100多年的难题，而且成为数学史上一系列新思维的起点。在“四色问题”的研究过程中，不少新的数学理论随之产生，也发展了很多数学计算技巧。如将地图的着色问题化为图论问题，丰富了图论的内容。不仅如此，“四色问题”在有效地设计航空班机日程表，设计计算机的编码程序上都起到了推动作用。
不过不少数学家并不满足于计算机取得的成就，他们认为应该有一种简捷明快的书面证明方法。直到现在，仍由不少数学家和数学爱好者在寻找更简洁的证明方法。
德·摩尔根：地图四色定理
地图四色定理最先是由一位叫古德里（Francis Guthrie）的英国大学生提出来的。德·摩尔根（A，DeMorgan，1806～1871）1852年10月23日致哈密顿的一封信提供了有关四色定理来源的最原始的记载。他在信中简述了自己证明四色定理的设想与感受。一个多世纪以来，数学家们为证明这条定理绞尽脑汁，所引进的概念与方法刺激了拓扑学与图论的生长、发展。1976年美国数学家阿佩尔（K.Appel）与哈肯（W.Haken）宣告借助电子计算机获得了四色定理的证明，又为用计算机证明数学定理开拓了前景。以下摘录德·摩尔根致哈密顿信的主要部分，译自J． Fauve1 and J.Gray（eds.），The History of Mathematics ：A Reader，pp． 597～598。
德·摩尔根致哈密顿的信（1852年10月23日）
我的一位学生今天请我解释一个我过去不知道，现在仍不甚了了的事实。他说如果任意划分一个图形并给各部分着上颜色，使任何具有公共边界的部分颜色不同，那么需要且仅需要四种颜色就够了。下图是需要四种颜色的例子（图1）。现在的问题是是否会出现需要五种或更多种颜色的情形。就我目前的理解，若四个不订分割的区域两两具有公共边界线，则其中三个必包围第四个而使其不与任何第五个区域相毗邻。这事实若能成立，那么用四种颜色即可为任何可能的地图着色，使除了在公共点外同种颜色不会
现画出三个两两具有公共边界的区域ABC，那么似乎不可能再画第四个区域与其他三个区域的每一个都有公共边界，除非它包围了其中一个区域。但要证明这一点却很棘手，我也不能确定问题复杂的程度一对此您的意见如何呢？并且此事如果当真，难道从未有人注意过吗？我的学生说这是在给一幅英国地图着色时提出的猜测。我越想越觉得这是显然的事情。如果您能举出一个简单的反例来，说明我像一头蠢驴，那我只好重蹈史芬克斯①的复辙了……。
肯普的证明是这样的：首先指出如果没有一个国家包围其他国家，或没有三个以上的国家相遇于一点，这种地图就说是“正规的”。如为正规地图，否则为非正规地图。一张地图往往是由正规地图和非正规地图联系在一起，但非正规地图所需颜色种数一般不超过正规地图所需的颜色，如果有一张需要五种颜色的地图，那就是指它的正规地图是五色的，要证明四色猜想成立，只要证明不存在一张正规五色地图就足够了。
肯普是用归谬法来证明的，大意是如果有一张正规的五色地图，就会存在一张国数最少的“极小正规五色地图”，如果极小正规五色地图中有一个国家的邻国数少于六个，就会存在一张国数较少的正规地图仍为五色的，这样一来就不会有极小五色地图的国数，也就不存在正规五色地图了。这样肯普就认为他已经证明了“四色问题”，但是后来人们发现他错了。
不过肯普的证明阐明了两个重要的概念，对以后问题的解决提供了途径。第一个概念是“构形”。他证明了在每一张正规地图中至少有一国具有两个、三个、四个或五个邻国，不存在每个国家都有六个或更多个邻国的正规地图，也就是说，由两个邻国，三个邻国、四个或五个邻国组成的一组“构形”是不可避免的，每张地图至少含有这四种构形中的一个。
肯普提出的另一个概念是“可约”性。“可约”这个词的使用是来自肯普的论证。他证明了只要五色地图中有一国具有四个邻国，就会有国数减少的五色地图。自从引入“构形”，“可约”概念后，逐步发展了检查构形以决定是否可约的一些标准方法，能够寻求可约构形的不可避免组，是证明“四色问题”的重要依据。但要证明大的构形可约，需要检查大量的细节，这是相当复杂的。
11年后，即1890年，在牛津大学就读的年仅29岁的赫伍德以自己的精确计算指出了肯普在证明上的漏洞。他指出肯普说没有极小五色地图能有一国具有五个邻国的理由有破绽。不久，泰勒的证明也被人们否定了。人们发现他们实际上证明了一个较弱的命题——五色定理。就是说对地图着色，用五种颜色就够了。后来，越来越多的数学家虽然对此绞尽脑汁，但一无所获。于是，人们开始认识到，这个貌似容易的题目，其实是一个可与费马猜想相媲美的难题。
进入20世纪以来，科学家们对四色猜想的证明基本上是按照肯普的想法在进行。1913年，美国著名数学家、哈佛大学的伯克霍夫利用肯普的想法，结合自己新的设想；证明了某些大的构形可约。后来美国数学家富兰克林于1939年证明了22国以下的地图都可以用四色着色。1950年，有人从22国推进到35国。1960年，有人又证明了39国以下的地图可以只用四种颜色着色；随后又推进到了50国。看来这种推进仍然十分缓慢。
高速数字计算机的发明，促使更多数学家对“四色问题”的研究。从1936年就开始研究四色猜想的海克，公开宣称四色猜想可用寻找可约图形的不可避免组来证明。他的学生丢雷写了一个计算程序，海克不仅能用这程序产生的数据来证明构形可约，而且描绘可约构形的方法是从改造地图成为数学上称为“对偶”形着手。
他把每个国家的首都标出来，然后把相邻国家的首都用一条越过边界的铁路连接起来，除首都(称为顶点)及铁路(称为弧或边)外，擦掉其他所有的线，剩下的称为原图的对偶图。到了六十年代后期，海克引进一个类似于在电网络中移动电荷的方法来求构形的不可避免组。在海克的研究中第一次以颇不成熟的形式出现的“放电法”，这对以后关于不可避免组的研究是个关键，也是证明四色定理的中心要素。
电子计算机问世以后，由于演算速度迅速提高，加之人机对话的出现，大大加快了对四色猜想证明的进程。美国伊利诺大学哈肯在1970年着手改进“放电过程”，后与阿佩尔合作编制一个很好的程序。就在1976年6月，他们在美国伊利诺斯大学的两台不同的电子计算机上，用了1200个小时，作了100亿判断，终于完成了四色定理的证明，轰动了世界。
这是一百多年来吸引许多数学家与数学爱好者的大事，当两位数学家将他们的研究成果发表的时候，当地的邮局在当天发出的所有邮件上都加盖了“四色足够”的特制邮戳，以庆祝这一难题获得解决。
“四色问题”的被证明仅解决了一个历时100多年的难题，而且成为数学史上一系列新思维的起点。在“四色问题”的研究过程中，不少新的数学理论随之产生，也发展了很多数学计算技巧。如将地图的着色问题化为图论问题，丰富了图论的内容。不仅如此，“四色问题”在有效地设计航空班机日程表，设计计算机的编码程序上都起到了推动作用。
不过不少数学家并不满足于计算机取得的成就，他们认为应该有一种简捷明快的书面证明方法。直到现在，仍由不少数学家和数学爱好者在寻找更简洁的证明方法。
德·摩尔根：地图四色定理
地图四色定理最先是由一位叫古德里（Francis Guthrie）的英国大学生提出来的。德·摩尔根（A，DeMorgan，1806～1871）1852年10月23日致哈密顿的一封信提供了有关四色定理来源的最原始的记载。他在信中简述了自己证明四色定理的设想与感受。一个多世纪以来，数学家们为证明这条定理绞尽脑汁，所引进的概念与方法刺激了拓扑学与图论的生长、发展。
我的一位学生今天请我解释一个我过去不知道，现在仍不甚了了的事实。他说如果任意划分一个图形并给各部分着上颜色，使任何具有公共边界的部分颜色不同，那么需要且仅需要四种颜色就够了。下图是需要四种颜色的例子（图1）。现在的问题是是否会出现需要五种或更多种颜色的情形。就我目前的理解，若四个不订分割的区域两两具有公共边界线，则其中三个必包围第四个而使其不与任何第五个区域相毗邻。这事实若能成立，那么用四种颜色即可为任何可能的地图着色，使除了在公共点外同种颜色不会
现画出三个两两具有公共边界的区域ABC，那么似乎不可能再画第四个区域与其他三个区域的每一个都有公共边界，除非它包围了其中一个区域。但要证明这一点却很棘手，我也不能确定问题复杂的程度一对此您的意见如何呢？并且此事如果当真，难道从未有人注意过吗？我的学生说这是在给一幅英国地图着色时提出的猜测。我越想越觉得这是显然的事情。如果您能举出一个简单的反例来，说明我像一头蠢驴，那我只好重蹈史芬克斯①的复辙了……。
四色问题又称四色猜想，是世界近代三大数学难题之一。
四色问题的内容是：“任何一张地图只用四种颜色就能使具有共同边界的国家着上不同的颜色。”用数学语言表示，即“将平面任意地细分为不相重迭的区域，每一个区域总可以用1，2，3，4这四个数字之一来标记，而不会使相邻的两个区域得到相同的数字。”
这里所指的相邻区域，是指有一整段边界是公共的。如果两个区域只相遇于一点或有限多点，就不叫相邻的。因为用相同的颜色给它们着色不会引起混淆。
四色猜想的提出来自英国。1852年，毕业于伦敦大学的弗南西斯·格思里来到一家科研单位搞地图着色工作时，发现了一种有趣的现象：“看来，每幅地图都可以用四种颜色着色，使得有共同边界的国家都被着上不同的颜色。”这个现象能不能从数学上加以严格证明呢？他和在大学读书的弟弟格里斯决心试一试。兄弟二人为证明这一问题而使用的稿纸已经堆了一大叠，可是研究工作没有进展。
1852年10月23日，他的弟弟就这个问题的证明请教了他的老师、著名数学家德·摩尔根，摩尔根也没有能找到解决这个问题的途径，于是写信向自己的好友、著名数学家汉密尔顿爵士请教。汉密尔顿接到摩尔根的信后，对四色问题进行论证。但直到1865年汉密尔顿逝世为止，问题也没有能够解决。
1872年，英国当时最著名的数学家凯利正式向伦敦数学学会提出了这个问题，于是四色猜想成了世界数学界关注的问题。世界上许多一流的数学家都纷纷参加了四色猜想的大会战。1878～1880年两年间，著名的律师兼数学家肯普和泰勒两人分别提交了证明四色猜想的论文，宣布证明了四色定理，大家都认为四色猜想从此也就解决了。
肯普的证明是这样的：首先指出如果没有一个国家包围其他国家，或没有三个以上的国家相遇于一点，这种地图就说是“正规的”。如为正规地图，否则为非正规地图。一张地图往往是由正规地图和非正规地图联系在一起，但非正规地图所需颜色种数一般不超过正规地图所需的颜色，如果有一张需要五种颜色的地图，那就是指它的正规地图是五色的，要证明四色猜想成立，只要证明不存在一张正规五色地图就足够了。
肯普是用归谬法来证明的，大意是如果有一张正规的五色地图，就会存在一张国数最少的“极小正规五色地图”，如果极小正规五色地图中有一个国家的邻国数少于六个，就会存在一张国数较少的正规地图仍为五色的，这样一来就不会有极小五色地图的国数，也就不存在正规五色地图了。这样肯普就认为他已经证明了“四色问题”，但是后来人们发现他错了。
不过肯普的证明阐明了两个重要的概念，对以后问题的解决提供了途径。第一个概念是“构形”。他证明了在每一张正规地图中至少有一国具有两个、三个、四个或五个邻国，不存在每个国家都有六个或更多个邻国的正规地图，也就是说，由两个邻国，三个邻国、四个或五个邻国组成的一组“构形”是不可避免的，每张地图至少含有这四种构形中的一个。
肯普提出的另一个概念是“可约”性。“可约”这个词的使用是来自肯普的论证。他证明了只要五色地图中有一国具有四个邻国，就会有国数减少的五色地图。自从引入“构形”，“可约”概念后，逐步发展了检查构形以决定是否可约的一些标准方法，能够寻求可约构形的不可避免组，是证明“四色问题”的重要依据。但要证明大的构形可约，需要检查大量的细节，这是相当复杂的。
11年后，即1890年，在牛津大学就读的年仅29岁的赫伍德以自己的精确计算指出了肯普在证明上的漏洞。他指出肯普说没有极小五色地图能有一国具有五个邻国的理由有破绽。不久，泰勒的证明也被人们否定了。人们发现他们实际上证明了一个较弱的命题——五色定理。就是说对地图着色，用五种颜色就够了。后来，越来越多的数学家虽然对此绞尽脑汁，但一无所获。于是，人们开始认识到，这个貌似容易的题目，其实是一个可与费马猜想相媲美的难题。
进入20世纪以来，科学家们对四色猜想的证明基本上是按照肯普的想法在进行。1913年，美国著名数学家、哈佛大学的伯克霍夫利用肯普的想法，结合自己新的设想；证明了某些大的构形可约。后来美国数学家富兰克林于1939年证明了22国以下的地图都可以用四色着色。1950年，有人从22国推进到35国。1960年，有人又证明了39国以下的地图可以只用四种颜色着色；随后又推进到了50国。看来这种推进仍然十分缓慢。
高速数字计算机的发明，促使更多数学家对“四色问题”的研究。从1936年就开始研究四色猜想的海克，公开宣称四色猜想可用寻找可约图形的不可避免组来证明。他的学生丢雷写了一个计算程序，海克不仅能用这程序产生的数据来证明构形可约，而且描绘可约构形的方法是从改造地图成为数学上称为“对偶”形着手。
他把每个国家的首都标出来，然后把相邻国家的首都用一条越过边界的铁路连接起来，除首都(称为顶点)及铁路(称为弧或边)外，擦掉其他所有的线，剩下的称为原图的对偶图。到了六十年代后期，海克引进一个类似于在电网络中移动电荷的方法来求构形的不可避免组。在海克的研究中第一次以颇不成熟的形式出现的“放电法”，这对以后关于不可避免组的研究是个关键，也是证明四色定理的中心要素。
电子计算机问世以后，由于演算速度迅速提高，加之人机对话的出现，大大加快了对四色猜想证明的进程。美国伊利诺大学哈肯在1970年着手改进“放电过程”，后与阿佩尔合作编制一个很好的程序。就在1976年6月，他们在美国伊利诺斯大学的两台不同的电子计算机上，用了1200个小时，作了100亿判断，终于完成了四色定理的证明，轰动了世界。
这是一百多年来吸引许多数学家与数学爱好者的大事，当两位数学家将他们的研究成果发表的时候，当地的邮局在当天发出的所有邮件上都加盖了“四色足够”的特制邮戳，以庆祝这一难题获得解决。
“四色问题”的被证明仅解决了一个历时100多年的难题，而且成为数学史上一系列新思维的起点。在“四色问题”的研究过程中，不少新的数学理论随之产生，也发展了很多数学计算技巧。如将地图的着色问题化为图论问题，丰富了图论的内容。不仅如此，“四色问题”在有效地设计航空班机日程表，设计计算机的编码程序上都起到了推动作用。
不过不少数学家并不满足于计算机取得的成就，他们认为应该有一种简捷明快的书面证明方法。直到现在，仍由不少数学家和数学爱好者在寻找更简洁的证明方法。
四色定理。
6种吧，不记得
彩虹的颜色是哪七种
答：这是世界上广泛使用的一种。彩虹最里面的颜色是紫色，而最外面的颜色是红色。而在我国，我们更喜欢用红、橙、黄、绿、青、蓝、紫来记住彩虹的颜色。其实彩虹有无数种颜色，但为了简单的理解，一般只用七种颜色来区分。彩虹形成的原因彩虹的形成是因为太阳光在空气中的水滴中的散射和反射。不同颜色的...
色盲能看见几种颜色
答：色盲是一种影响视力的状况，不同类型的色盲会影响个体看到的颜色范围。例如，红绿色盲是最常见的色盲类型，这类人群在区分红色和绿色方面可能存在困难，但通常能够看到其他颜色。对于红色色盲来说，他们可能无法准确识别红色，而绿色色盲则难以区分绿色。总的来说，不同类型的色盲决定了个体能够看到的颜色种类...
为什么清朝八旗要用这几个颜色区分?
答：”人们很着急，都要求把他们分开。你传我的谕旨，命令八条小龙来完成。 这八条小龙知道命令后，都想立头功，个个争先恐后，这个来，那个去，搬月亮，挪日头，不管费多大的劲儿，怎么也弄不动，大家急得抓耳挠腮，一点好办法也想不出来了。 正在无计可施时，龙王威风凛凛地来到他们面前，责问：“...
退休证的颜色有什么区别
答：退休证的颜色在不同地区可能存在一些差异，但一般来说，退休证的颜色主要有以下几种区别：1. 蓝色：在中国大部分地区，退休证的颜色通常是蓝色。蓝色被视为一种庄重、稳重的颜色，代表着退休人员的尊贵身份和丰富经验。2. 红色：有些地区的退休证采用红色。红色在中国文化中象征着吉祥和喜庆，可能是为了...
台风的等级有几种?是什么颜色的?
答：超强台风、强台风、台风、强热带风暴、热带风暴、热带低压六个等级。（一）台风蓝色预警信号 24小时内可能或者已经受热带气旋影响,沿海或者陆地平均风力达6级以上，或者阵风8级以上并可能持续。（二）台风黄色预警信号 24小时内可能或者已经受热带气旋影响,沿海或者陆地平均风力达8级以上，或者阵风10级以上并...
新残疾证的颜色有什么区别?
答：区别：盲人使用红色残疾证，其他都使用绿色残疾证。第二代《残疾人证》的核定残疾种类，由六类变为视力残疾、听力残疾、言语残疾、智力残疾、肢体残疾、精神残疾和多重残疾七类，新标准将听力语言残疾分为听力残疾与言语残疾两大类，严重的口吃并且影响到正常的语言表达，将被评为言语残疾。
安全帽的颜色怎么区分级别
答：安全帽的颜色区分级别主要依据不同行业和地区的规定。一般来说，安全帽的颜色确实可以用来区分不同的级别或者不同的工作性质。这种区分有助于现场管理和识别不同职责的人员。但具体的颜色与级别的对应关系并不是统一的，而是根据不同行业和企业的实际情况来决定的。以下是一些常见的颜色和级别的关系解释：...
中国茶到底分几种?
答：红绿茶区别：外形不同：绿茶茸毫披露，显芽锋，汤色明亮，香气清高，滋味醇爽，成绿茶色调。而红茶芽毫显露，色泽乌润，汤色红艳明亮，叶底鲜红明亮，香气芬芳，馥郁持久。2.茶汤颜色不同：冲泡的前几分钟，红茶的是淡褐色；绿茶的汤汁是清绿色。冲泡超过半小时后，红茶已是褐色，好的绿茶仍是绿色，绿茶...
有多少种颜色
答：颜色的数量: 人眼一共约能区分一千万种颜色,不过这只是一个估计,因为每个人眼的构造不同,每个人看到的颜色也少许不同,因此对颜色的区分是相当主观的。假如一个人的一种或多种锥状细胞不能正常对入射的光反映,那么这个人能够区别的颜色就比较少,这样的人被称为色弱。有 时这也被称为色盲,但实际上这个称呼并...
颜色总共多少种?
答：Red）、绿（Green）、 蓝（Blue）三原色光。这三种光以相同的比例混合、且达到一定的强度， 就呈现白色（白光）；若三种光的强度均为零， 就是黑色（黑暗）。而三种光按不同强度组合，就产生各种其他颜色，由于三种光的强度是一个连续谱，可以说世界上的颜色有无数种，但是人眼并不能完全分辨。
