阅读提示：为防止内容获取不全，请勿使用浏览器阅读模式。
算机上面证明了吗？”黄明海在旁边说道。
“那只是把四色问题算到了100亿次没出错而已，一天没在数学逻辑上给出证明就还没完。”说完吴哲倒是来了兴趣，拿起笔和草稿纸开始证明起来。
——————
1852年，毕业于伦敦大学的格斯里，来到一家科研单位搞地图着色工作时，发现每幅地图都可以只用四种颜色着色。他就想着这个现象能不能从数学上加以证明呢？只能说是吃得太饱闲的，格斯里和他的弟弟还真就研究上了，最后还拉上了他弟弟的老师、著名数学家德·摩尔根，可到死几人也没研究出来。
直到1872年，英国当时最著名的数学家凯利正式向伦敦数学学会提出了这个问题，于是四色猜想成了世界数学界关注的问题，世界上许多一流的数学家都纷纷参加了四色猜想的大会战。1880年的时候，数学家利用归谬法来证明：大意是如果有一张正规地图，就会存在一张国数最少的“极小正地图”，如果极小正地图中有一个国家的邻国数少于六个，就会存在一张国数较少的正规地图仍的，这样一来就不会有极地图的国数，也就不存在正地图了。这样肯普就认为他已经证明了“四色问题”，但是后来人们发现他错了。
1922年费兰克林证明了每个有至多25个国家的地图都可以用四种颜色着色。1926年雷诺德将这一结果推广到27个国家，然后在1938年费兰克林又创造了31个国家的纪录。1940年温恩证明了35个国家的情形以后，这方面的研究有所停滞，直到1970年，奥尔和史坦普尔对所有至多包含40个国家的地图证明了四色定理。在哈肯和阿佩尔最终证明四色定理而使所有这类结果都黯然失色以前，这个数字曾经达到了96。
1950年德国数学家希许就曾估计，证明四色猜想大概要涉及一万个不同构形。虽然后来证明他的估计是过分夸大了，但它却正确地指明了，四色问题也许只有借助于能处理巨量数据的强有力的计算装置才能获得解决。
1972年哈肯与阿佩尔联手，经过整整四年的紧张工作，终于在1976年6月他们用三台计算机花费了1200个计算机小时，处理了两千多个构形，才算验证了四色问题成立。可对于数学家来说肯定是不满意的。
——————
吴哲先从着色判定问题入手：设已知一个图g在只准使用这颜色对g的结点着色的情况下，是否能使图中任何相邻的两个结点都具有不同的颜色呢?
再从着色最优化问题则求可对图g着色的最小整数这个整数称为图g的色数。这是求图的最少着色问题，来求出值。
for(i=1n;i++)
a＾r/(a-b)(a)+b＾r/(b)(b-a)＾r/-a)-b)
当r=0，1时式子的值为0当r=2时值为1当r=3时值为a+b
……
V+F-E=X§，V是多面体P的顶点个数，F是多面体P的面数，E是多面体P的棱的条数，X§是多面体P的欧拉示性数。
如果P可以同胚于一个面（可以通俗地理解为能吹胀而绷在一个球面上），那么X§=2，如果P同胚于一个接有h个环柄的面，那么X§=2-2h。
……e-ixsx-isinx，然后采用两式相加减的方法得到：sinx=(eix-e-ix)/(2i)sx=(eix+e-ix)/2.
eixsx+isinx中的x取作就得到：e^i+1=0.
~~~~~~