四色定理证明的探讨  

Discussion of proof method of the four color theorem

作　　者：陈明[1] 李刚[1] 

机构地区：[1]山东科技大学信息科学与工程学院,山东青岛266590

出　　处：《山东理工大学学报（自然科学版）》2013年第5期10-12,共3页Journal of Shandong University of Technology:Natural Science Edition

基　　金：国家自然科学基金资助项目(61201430);中国博士后基金;山东省博士后创新项目

摘　　要：目前四色定理的证明还没有简短的数学推理方法,必须借助于计算机才能够完成.在没有借助计算机的情况下,基于极大平面图的性质,通过结点合并的方式,研究了四色定理的证明方法,为该定理的进一步证明提供了重要参考.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.

关 键 词：四色定理 着色问题 极大平面图 对偶图 

分 类 号：O157.5[理学—数学]