地图染色定理的证明.pdfVIP

前沿科学(季刊)20112·第5卷·总第18期l 圃墨圆圈衄 l 地图染色定理的证明 ◆郭巍 郭应焕 郭振华。J朱玉兰I (1犹他大学计算机系，美国犹他州盐湖城； 2中国科学院高能物理研究所，北京，100049； 3宝鸡文理学院物理与信息技术系，陕西，宝鸡，721007 4 中关村--JJ＼，北京，100080) I-- 摘 要 ：[目的】证 明155年前提 出的球面地 图染色的四色猜想。方【法】根据公理给 出证明四色猜想的分析证 明 方法。 结【果】给 出球面上一般地 图的染色定理 。证 明四色猜想严格成立。还证 明了最一般 的2维定向和非定 向闭曲面上地 图的染色定理 。[结论】对球面地 图给 出三色定理和二色定理 。确定 了一切真实地 图的必需染色 数。并给出球面上任意地图用最少色的染色程序 。 关键词 ：2维球 面；2维定向一无定向闭曲面 ；地 图；染色数 中图分类号：0157．5．0221 文献标识码 ：A 月 13日，Cayley教授在 London数学学会上以书 1引言 面方式提出了地图染色的 4“色猜想”。1879年他 1852年 10月 13日，G．Federich (后来成为 又在皇家几何图形学会会议录第一卷中再次提出 物理学家)对他的数学老师D．Morgan说 ，他的弟 这个猜想 1_【。这个猜想在一个半多世纪以来，曾积 弟G．Francis(后来成为数学家)问能不能证明只用 累大量文献而无结果。地图染色的 “四色猜想”曾 4种颜色给地图染色，使得相邻国家和地区的颜色 被称为数学中的陷阱。以便提醒数学工作者有被 不同。Morgan教授不能证 明，写信给大数学家W． 陷入而不能 自拔的危险。直到 1976年，K．Apple， R．Hamilton．Hamilton也不能证明。直到 1878年 6 W．Haken和 J．Koch宣称 ，他们用几台计算机运 收稿日期：2011—04—25 修订 日期：2011—06—15 作者简介：郭巍(1977．1一)，男，陕西岐山人 (北京出生)，美国犹他大学计算机系，应用数学硕士与计算机科学硕士(双硕 士)，研究方向：计算机应用与应用数学，数学、物理基础及应用。E—mail：weiguo．gr@gmailcom 郭应焕(1937．10一)，男，陕西岐山人，中国科学院高能物理研究所，北京，副研究员，研究方向：理论物理，核物理与应用，基 础数学及应用。E—mail：guoyh—mail@qq．com 郭振华，(19478一)，男，陕西岐山人，宝鸡文理学院物理与信息技术系，中国陕西，教授，研究方向：原子物理与科学史，基 础数学、基础物理及应用研究。E—mail：guozhh2670@163com 朱玉兰，(1946—2008)，女，河北涿州人，中关村一小高级教师。 ． ’ I前沿科学(季刊)20112·第5卷·总第18期 l圃衄圈圆圈 行 1200机时(超过百亿次运算)证明了四色猜想 公理二：由有公共顶点的各边互相相邻且区 的正确性。但他们认为四色猜想的推理证明是必 域数最多的充要条件是公共顶点价必须为 3。 要的。并预言可能会有一位 中学生来完成这个证 通常称这个公理为哈密尔顿砌墙规则。实际 明[2】。由于计算机证明存在着计算模型中不可约构 上这个特性在我 国商周 以前已用于建筑。墙缝交 形集是否完备，程序运行是否精确，逻辑运算是否 点价为3时墙最坚固。整墙砖块 问互相邻接最紧。 严密。这些问题使计算机证明并不完美 。 虽然