线性邻接镶嵌图及其性质──“四色定理”的数学证明之一

在极大平面图内构造了一类线性邻接镶嵌图，以其为工具，挖掘了平面Ｈ－图某些新的拓扑性质；揭示了平面图的充要条件；避免了“不可避免完备集”的建立，及其可约性讨论的离散方法，把四色定理的证明纳入逻辑论证的轨道，依此阐明平面图４－可着色的充分性，为四色定理提供了一个简明的数学证明。