Untitled CourseMaps

在四色问题上进展甚微，直到1976年沃尔夫冈·哈肯 （ Wolfgang Haken）和肯尼斯·阿佩尔 （ Kenneth Appel）使用计算机最终解决该问题时。他们将无数种可能的地图缩减为1936种特殊情况，每种情况都由一台计算机进行了总计超过1000个小时的检查。