镶嵌图的繁衍──“四色定理”的数学证明之二

摘要

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