Untitled CourseMaps

四色定理 是第一个使用计算机证明的著名数学定理，此后利用计算机证明定理变得越来越普遍，争议也越来越小。更快的计算机和更高效的算法意味着今天您可以在几个小时内在笔记本电脑上证明四种颜色定理。