论文部分内容阅读
<正>0引言四色图问题[1],是指任意一张地图,都可以用四种不同颜色标注,使每两个相邻地区颜色不同。它是世界近代三大数学难题之一,直到1976年美国的数学家阿贝尔和哈肯[2-3]用了1200小时,证明了该案例,他们公布的计算机程序有400多页。虽然这一难题已经被证明,但是近年来涌现出了许多围绕它的不同计算方法,这些研究成果不仅丰富