大家好，我是小夏，我来为大家解答以上问题。四色定理 十色定理，四色定理很多人还不知道，现在让我们一起来看看吧！

1、四色地图的一个例子四色定理指出每个可以画出来的地图都可以至多用4种颜色来上色，而且没有两个相接的区域会是相同的颜色。

2、被称为相接的两个区域是指他们共有一段边界，而不是一个点。

3、

这一定理最初是由Francis Guthrie在1853年提出的猜想。

4、很明显，3种颜色不会满足条件，而且也不难证明5种颜色满足条件且绰绰有余。

5、但是，直到1977年四色猜想才最终由Kenneth Appel 和Wolfgang Haken证明。

6、他们得到了J. Koch在算法工作上的支持。

7、

证明方法将地图上的无限种可能情况减少为1,936种状态（稍后减少为1,476种），这些状态由计算机一个挨一个的进行检查。

8、这一工作由不同的程序和计算机独立的进行了复检。

9、在1996年，Neil Robertson、Daniel Sanders、Paul Seymour和Robin Thomas使用了一种类似的证明方法，检查了633种特殊的情况。

10、这一新证明也使用了计算机，如果由人工来检查的话是不切实际的。

11、

四色定理是第一个主要由计算机证明的理论，这一证明并不被所有的数学家接受，因为它不能由人工直接验证。

12、最终，人们必须对计算机编译的正确性以及运行这一程序的硬件设备充分信任。

13、参见实验数学。

本文到此讲解完毕了，希望对大家有帮助。