加德纳难四色图的一百个四着色解——兼议21世纪用计算机求解数学难题的一种可能方式
1975年马丁·加德纳公布了一张地图（图1），说它无法用少于5种颜色着色。1976年阿贝尔等宣布用计算机证明了四色定理后，人们仍广泛引用这个地图，说它是很难着四色的。23年来未见有人公布过该地图的四着色解。该文给出该图的100个四着色解，介绍了作者自己以电脑为工具对四色问题的观察实验研究，讨论了21世纪计算机作为数学研究观察实验工具的重要价值。
四色问题 四色算法 软件 实验研究
许寿椿 刘恒军 杨丽丽 朱英 许怀皓
民族大学计算机系
国内会议
大连
中文
187～190
1998-10-01（万方平台首次上网日期，不代表论文的发表时间）