地图四色定理证明的回顾与展望

摘要

论文回顾了由地图设色引出的四色猜想在一个多世纪内终于被证明为真的历史过程.在介绍了相关的概念、定义和定理的基础上,综合介绍和评述了多种证明方法的思路和成败的经验教训.美国科学家Appel和Haken把传统的证明方法与计算机证明的方法相结合,最终证明了四色猜想为真,这一经验值得借鉴.图论在信息科学、网络技术,特别是空间信息科学中的应用十分广泛,加强图论的学习和研究有助于解决空间信息处理和分析中遇到的多种问题.