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

  • 关注下方微信公众号，在线模考后查看

热门试题