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