A Logical Proof of the Four Color Problem

• 作者: Yu Wang
• 来源期刊: 应用数学与应用物理(英文)
• 学科: 数学
• 关键词: GRAPH Theory PLANAR GRAPH GRAPH COLORING Four COLOR THEOREM LOGIC
• 年，卷（期）: 2020,（5）
• 页码范围: 831-837
• 页数: 7页
• 分类号: O15

摘要

The Four Color Conjecture is a well-known coloring problem of graphs. Since its advent, there are a lot of solvers. One of the early pioneers was Percy John Heawood, who has proved the Five Color Theorem. In addition, Kempe first demonstrated an important conclusion about planar graph: in any map, there must be a country with five or fewer neighbors. Kempe’s proof proposed two important concepts—“configuration” and “reducibility”, which laid the foundation for further solving the Four Color Problem. The Four Color Problem had previously been proved by use of computer. Based on Kempe’s concepts of “configuration” and “reducibility”, this paper attempts to provide a non-computer proof of the Four Color Problem through rigorous logical analysis.