论文部分内容阅读
英国数学家Ｋａｍｐｅ给出了四色定律的第一个证明，１０年后Ｈｅａｗｏｏｄ指出该证明有致命错误，Ｈｅａｗｏｏｄ还利用Ｋａｍｐｅ的方法证明了五色定理。本文分析了Ｋａｍｐｅ方法的漏洞，同时也分析了Ｋａｍｐｅ方法的潜在威力，为此，引入“Ｋａｍｐｅ链”的概念，并把它用到四色问题的几类特殊情况的证明。简化了Ｈｅａｗｏｏｄ反例，分析了反例的逻辑结构。