"四色猜想"研究

• 作者: 王绍文
• 来源期刊: 北京机械工业学院学报(综合版)
• 学科: 数学
• 关键词: 平面图 极大平面图 同构图 点色数
• 年，卷（期）: 1999,（4）
• 页码范围: 29-32
• 分类号: O157
• 语种: 中文
• DOI: 10.3969/j.issn.1674-6864.1999.04.006

摘要

"四色猜想"提出至今将近150年,百年来它吸引了众多数学家们.1976年美国数学家Appel和Haken宣布:他们用电子计算机花了1200多小时证明了"四色猜想"是成立的.但人们仍期待着一个简单的理论证明,况且据说后来有人指出了计算机证明的一些漏洞.总之,"四色猜想"至今尚未完全解决,故有继续研究之必要.通过极大平面图的结构研究,提出了构造极大平面图的3种方法,即"加点法"、"删点法"与"任意法".建立了一个理论系统,包括11个定义、12个命题及7个定理.采用" 平行归纳法"证明了极大平面图可四着色,从而证明对于极大平面图"四色猜想"是对的.