四色定理的形式化证明
离散数学
2009-05-27 v2
摘要
自1852年Francis Guthrie首次提出四色定理猜想以来，尚未找到其形式化证明。为什么？我们认为，一个错误的想法将人们引向了崎岖之路。本文采用与五色定理形式化证明类似的方法，提出了四色定理的一个形式化证明，即每个平面图都是四着色的。所提出的形式化证明也可以视为一种使用四种颜色对平面图进行着色的算法，使得没有两个相邻顶点获得相同颜色。
引用
@article{arxiv.0905.3713,
title = {A formal proof of the four color theorem},
author = {Limin Xiang},
journal= {arXiv preprint arXiv:0905.3713},
year = {2009}
}
备注
9 pages, 2 Figures