（简答题）

简述四色定理的证明过程。

正确答案

四色问题也称为四色猜想或四色定理：为了给任意一张地图着色，使有公共边界的任何区域颜色不同，至多需要四种颜色。
1852年，英国大学生古德里首先提出，1878年法国数学家凯莱的文章《论地图着色》掀起了一场四色问题热，1879年英国肯波引入“不可避免集”与“可约性”两个关键概念，1900年希伍德证明五色定理，1969年德国希斯找到解决问题的“放电算法”。
1976年6月，美国哈肯与阿佩尔借助计算机最终给与证明，计算机时间1200小时，计算机程序先后修改了500多次。

答案解析

略

相似试题

（简答题）
简述有限单群分类定理的证明过程。
答案解析
（简答题）
简述费马大定理的内容、发现过程以及证明的状况。
答案解析
（简答题）
简述费马大定理的内容、从提出猜想到解决的大致过程。
答案解析
（单选题）
“四色猜想”，最终在哪一年被人们用计算机得到证明（）
答案解析
（填空题）
霍金何时证明面积定理的（）。
答案解析
（单选题）
五色定理的证明者是（）
答案解析
（判断题）
正弦定理现代主要用向量的方法证明。
答案解析
（单选题）
素数定理何时证明出来的（）。
答案解析
（填空题）
与霍金一起证明奇点定理的人是（）。
答案解析