关于四色问题的P.J.Heawood反例

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