规划用地图中的橙色是什么用地

可以画出来的地图都可以至多用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种特殊的情况这┅新证明也使用了计算机,如果由人工来检查的话是不切实际的

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

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

我要回帖

 

随机推荐