四色定理论证的关键

• 作者: 屈姿朴 颜宪邦
• 来源期刊: 航空计算技术
• 关键词: 四色定理 不可避免构形集 可约性 平面图 点着色 换色法
• 年，卷（期）: 2004,（1）
• 所属期刊栏目: 计算方法
• 页码范围: 38-41，44
• 页数: 5页
• 分类号: O157
• 语种: 中文
• DOI: 10.3969/j.issn.1671-654X.2004.01.011

摘要

一百多年来对"四色问题"的研究长期不得其解的关键在于:肯泊(A.Kwmpe)当年提出的"不可避免构形集"中一个国家(地域)具有五个邻国(邻域)的所谓"可约性"问题得不到解决."<四色定理>论证"用数学归纳法,而"平面图的点着色方法"未用数学归纳法,两种方式论证"四色问题"都涉及到"一个(待着色)顶点有五个邻接顶点,已着有4种颜色,要将这4种颜色设法变成3种,把腾出来的1种颜色给该顶点着色."--这就是四色定理论证的关键.再根据换色原理,用巧妙而深层次地换色办法,对这个关键进行更深刻地论述,其换(着)色最多六步就可以完成,进而更充实和完善了前述两文.