摘要
目前四色定理的证明还没有简短的数学推理方法,必须借助于计算机才能够完成.在没有借助计算机的情况下,基于极大平面图的性质,通过结点合并的方式,研究了四色定理的证明方法,为该定理的进一步证明提供了重要参考.
Now, the proof of the four color theorem must be completed with the aid of computer. There is no brief proof of the theorem. Based on the nature of maximal planar graph, the paper analyses the theorem through merging some nodes, and discusses proof method without the aid of computer. It provides an important reference for the further proof of the theorem.
出处
《山东理工大学学报（自然科学版）》
CAS
2013年第5期10-12,共3页
Journal of Shandong University of Technology:Natural Science Edition
基金
国家自然科学基金资助项目(61201430)
中国博士后基金
山东省博士后创新项目
关键词
四色定理
着色问题
极大平面图
对偶图
the four color theorem
coloring problem
maximal planar graph
dual graph
