四色猜想在哪一年被计算机证明（四色猜想）
摘要 大家好，我是小典，我来为大家解答以上问题。四色猜想在哪一年被计算机证明，四色猜想很多人还不知道，现在让我们一起来看看吧！1、这是一...
大家好，我是小典，我来为大家解答以上问题。四色猜想在哪一年被计算机证明，四色猜想很多人还不知道，现在让我们一起来看看吧！
1、这是一个拓扑学问题，即找出给球面（或平面）地图着色时所需用的不同颜色的最小数目。
2、着色时要使得没有两个相邻（即有公共边界线段）的区域有相同的颜色。
3、1852年英国的格思里推测：四种颜色是充分必要的。
4、1878年英国数学家凯利在一次数学家会议上呼吁大家注意解决这个问题。
5、直到1976年，美国数学家阿佩哈尔、哈肯和考西利用高速电子计算机运算了1200个小时，才证明了格思里的推测。
6、四色问题的解决在数学研究方法上的突破，开辟了机器证明的美好前景。
本文到此讲解完毕了，希望对大家有帮助。
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时候联系我们修改或删除，多谢。