四色定理论证

• 作者: 屈姿朴 颜宪邦
• 来源期刊: 航空计算技术
• 关键词: 图论 平面图 数学归纳法 换色法 4-可着色
• 年，卷（期）: 2003,（2）
• 所属期刊栏目: 计算方法
• 页码范围: 55-60
• 页数: 6页
• 分类号: O157
• 语种: 中文
• DOI: 10.3969/j.issn.1671-654X.2003.02.016

摘要

用离散数学之图论证明"四色猜想",巧妙而深层次地应用数学归纳法和换色法,解决了肯泊(A.Kempe)百多年前提出"不可避免构形集"中的一个地域有五个邻域的情况的所谓"可约性"问题,同时指出了1890年希伍德(P.Heawood)举出的25阶反例(当时,他以此说明"四色猜想"不成立,而"五色定理"成立)与本文中的一种可换色(即"可约性")的典型实例类同,进而简捷而理想地证明了"四色猜想"是成立的,使"四色定理"得到科学的论证.