会提出了这个问题，于是四色猜想成了世界数学界关注的问题，世界上许多一流的数学家都纷纷参加了四色猜想的大会战bise◆cc1880年的时候，数学家利用归谬法来证明：大意是如果有一张正规的五色地图，就会存在一张国数最少的“极小正规五色地图”，如果极小正规五色地图中有一个国家的邻国数少于六个，就会存在一张国数较少的正规地图仍为五色的，这样一来就不会有极小五色地图的国数，也就不存在正规五色地图了bise◆cc这样肯普就认为他已经证明了“四色问题”，但是后来人们发现他错了bise◆cc
1922年费兰克林证明了每个有至多25个国家的地图都可以用四种颜色着色bise◆cc1926年雷诺德将这一结果推广到27个国家，然后在1938年费兰克林又创造了31个国家的纪录bise◆cc1940年温恩证明了35个国家的情形以后，这方面的研究有所停滞，直到1970年，奥尔和史坦普尔对所有至多包含40个国家的地图证明了四色定理bise◆cc在哈肯和阿佩尔最终证明四色定理而使所有这类结果都黯然失色以前，这个数字曾经达到了96bise◆cc
1950年德国数学家希许就曾估计，证明四色猜想大概要涉及一万个不同构形bise◆cc虽然后来证明他的估计是过分夸大了，但它却正确地指明了，四色问题也许只有借助于能处理巨量数据的强有力的计算装置才能获得解决bise◆cc
1972年哈肯与阿佩尔联手，经过整整四年的紧张工作，终于在1976年6月他们用三台计算机花费了1200个计算机小时，处理了两千多个构形，才算验证了四色问题成立bise◆cc可对于数学家来说肯定是不满意的bise◆cc
——————
吴哲先从着色判定问题入手：设已知一个图g在只准使用这m种颜色对g的结点着色的情况下，是否能使图中任何相邻的两个结点都具有不同的颜色呢
再从m-着色最优化问题则求可对图g着色的最小整数mbise◆cc这个整数称为图g的色数bise◆cc这是求图的最少着色问题，来求出m的值bise◆cc
a＾r/(a-b)(a-c)+b＾r/(b-c)(b-a)+c＾
当r=0，1时式子的值为0当r=2时值为1当r=3时值为
……
V+F-E=X§，V是多面体P的顶点个数，F是多面体P的面数，E是多面体P的棱的条数，X§是多面体P的欧拉示性数bise◆cc
如果P可以同胚于一个面（可以通俗地理解为能吹胀而绷在一个球面上），那么X§=2，
点击读下一页,继续阅读 半仙指路 作品《从科大少年班开始的重塑人生》第96章 四色猜想