加德纳难四色图的一百个四着色解——兼议21世纪用计算机求解数学难题的一种可能方式

• 作 者: 许寿椿 刘恒军 杨丽丽 朱英 许怀皓
• 机 构: 民族大学计算机系
• 出 处: 大连--香港国际计算机会议
• 发表日期: 1998年期
• 关键词: 加德纳 四着色 计算机 求解 数学研究 观察实验 地图 四色问题 四色定理 实验研究 工具 阿贝尔 证明 颜色 马丁 价值 电脑

1975年马丁·加德纳公布了一张地图（图1），说它无法用少于5种颜色着色。1976年阿贝尔等宣布用计算机证明了四色定理后，人们仍广泛引用这个地图，说它是很难着四色的。23年来未见有人公布过该地图的四着色解。该文给出该图的100个四着色解，介绍了作者自己以电脑为工具对四色问题的观察实验研究，讨论了21世纪计算机作为数学研究观察实验工具的重要价值。