建昌要路沟杀人案:为什么地图只需四色即可染完

地图只使用四种颜色，是因为四色定理的存在。

四色定理是一个著名的数学定理，通俗的说法是：每个平面地图都可以只用四种颜色来染色，而且没有两个邻接的区域颜色相同。四色定理的本质就是在平面或者球面无法构造五个或者五个以上两两相连的区域。这一定理最初是由Francis Guthrie在1853年提出的猜想。1976年借助电子计算机证明了四色问题，问题也终于成为定理，这是第一个借助计算机证明的定理。

电脑证明这个定理有了相当长时间，人脑当然还要慢很多。目前没有找出反证来推翻它。

四色定理 指出每个可以画出来的地图都可以至多用4种 颜色 来上色，而且没有两个相接的区域会是相同的颜色。被称为 相接 的两个区域是指他们共有一段边界，而不是一个点。

这一定理最初是由Francis Guthrie在1853年提出的猜想。很明显，3种颜色不会满足条件，而且也不难证明5种颜色满足条件且绰绰有余。但是，直到1977年四色猜想才最终由Kenneth Appel 和Wolfgang Haken证明。他们得到了J. Koch在算法工作上的支持。

证明方法将地图上的无限种可能情况减少为1 936种状态（稍后减少为1 476种），这些状态由计算机一个挨一个的进行检查。这一工作由不同的程序和计算机独立的进行了复检。在1996年，Neil Robertson、Daniel Sanders、Paul Seymour和Robin Thomas使用了一种类似的证明方法，检查了633种特殊的情况。这一新证明也使用了计算机，如果由人工来检查的话是不切实际的。

四色定理是第一个主要由计算机证明的理论，这一证明并不被所有的数学家接受，因为它不能由人工直接验证。最终，人们必须对计算机编译的正确性以及运行这一程序的硬件设备充分信任。

缺乏数学应有的规范成为了另一个方面；以至于有人这样评论“一个好的数学证明应当像一首诗——而这纯粹是一本电话簿！”

这个证明是用电脑把所有可能都计算之后证明成立的,人们暂时没有能用数学方法证明出来,但是结论正确.

简单明了..