倒退一步1856年数学上倾斜的 兄弟注意到了这一点。他们不能证明它，所以他们把它带到了老师他们的有故事的 教授 奥古斯都·德·摩根.摩根不能够证明这猜想.单词的奇怪的问题缓慢地传播，直到呈现到伦敦数学学会在里面1878、和问题当时是出版ed.一个接一个，数学家 攻击解决了这个问题，只为了未达到要求.不是他们的努力是浪费;Kempe链条是第一个制定d尝试并解决这问题还有一个叫约翰·泰特 解决日期类似的问题基于三颜色。
1976年男人命名Kenneth Appel和Wolfgang Haken想出了一个解决方案。此解决方案涉及打破向上问题大约1500较小的 问题，然后计算机编程到直接证明 全部的这些案例中。换句话说，Appel和Haken做了一个计算机检查每一个案例他们可以认为第个，共个。花了1200个小时处理最后，他们胜利的第页出版ed他们的工作-解决问题那个有持续了100多年.
然而，这一点，长大的另一个问题.数学家只是不会信任当你说你已经解决了问题.不，他们必须检查工作.手动.但你怎么办检查 计算机的工作？如果计算机不得不做这项工作在中第一名，如何才能人类 去 通过和确保那个一切计算机所做的是正确的？几天后尝试，最多数学家只是认可的他们是也许是对的。这是唯一的证明在里面存在那些人相信是解决了的实际上没有任何人手工检查所有工作.
二维地理地图可以用四种颜色着色，这样相邻的两个区域就不会共享相同的颜色。
用外行的话来说就是这样。我应该注意，邻接不仅仅意味着一个点，因为很明显，可以有任意多个区域恰好在一个点上相邻，因此n色定理不可能适用于任何n。
这是由于图论，的一个分支数学/组合数学/计算机 科学这个定理最早是在1976年被证明的，尽管它早在90年前就被假定了。
我将把它留给其他人来发布图形理论定理。
这个证明 柔和的毕加索暗示涉及将问题彻底解决1000测试用例并通过计算机进行检查。因此，几乎没有理论的涉及数学，所以没有人真正知道为什么这是真的.
等价的6色定理可以用初等方法很容易地证明图论.五色定理的证明更难，但第一次还是可以理解的-学期图论专业学生。再一次，这里只是不四色定理的一个已知的令人满意的理论证明。
有趣的是定理任何地图都需要四种颜色才能上色平面和球形的地图。例如，在圆环体可能需要七颜色，但永远不会超过这一点；画在双圆环要求不超过8个。证明这些不同寻常拓扑案件实际上早在四色定理可以证明。
另请参见四色定理
看起来（一位点头者曾在上面声称）“只有少数情况”需要检查d来证明定理。这几乎是之后不可避免的反应涂鸦大约一个小时，试图想出一个反例.
的确，“只有几个案例“是几乎完全正确什么Appel（上诉）和哈肯在上运行伊利亚克四世在里面1976.尽管如此做似乎不多“地方的“案例是感兴趣的，问题是您可以用无限多种方式连接这些局部案例。这样想：你做的所有测试涂鸦在纸上(没有冒犯意思是）只是看了一些有限区域.但我们知道那个证明必须更加复杂，因为在其他方面二维的表面（如圆环体)四色定理是假! 显然，您还必须说明飞机（你在其中画出你的地图)限制你的“简单案例”联锁。“四色属性”是一个全球的平面的性质，使四色定理的证明成为检验全球的案例。所以我们只有有限的“有趣的”本地配置s、 可以连接到无限多全局配置。为了通过检验来证明这个定理，我们需要找到一个全局配置，它是“普遍的“在涵盖所有全球可能性的意义上。
结果是这个不可能的程序实际上可以执行。Appel和Haken使用铅笔和纸，然后是计算机只是为了证明这一点有限多需要考虑各种可能性。然后，他们构建了一张包含所有这些有限配置的地图，并进行了着色（也在计算机上）。
一些人仍在寻找“好”的证据。
所以如果我有时间的话，我会尝试为有色图找到一组构造操作符，这些操作符只添加或替换子图，保留颜色，以及可以生成每个平面图。
另请参见双色定理.
登录或登记在这里写点什么或联系作者。