四色定理的形式证明
摘要：1852年弗朗西斯·古瑟首次提出四色定理以来，尚未找到正式的证明。为什么？我们认为这是一种错误的想法，让人们走上了一条艰难的道路。本文提出了与五色定理的正式证明类似的方法，提出了四色定理的正式证明，即每个平面图都可以用四种颜色进行着色。该提出的正式证明也可以看作是一种使用四种颜色为平面图上的顶点着色的算法，以确保相邻的两个顶点不会被赋予相同的颜色。
作者：Limin Xiang
论文ID：0905.3713
分类：Discrete Mathematics
分类简称：cs.DM
提交时间：2009-05-27