文，别忙活了。我应该知道问题所在了。”吴哲开口道。

　　“什么问题？”沈知文问道。

　　“呵呵，汪潮的心太大，你看这四个指标。上涨—下跌—整理—震荡，再带入其它参数，对于其的渲染结果做出判断。这种判断你看像什么？

　　“四色猜想？”沈知文立马反应过来。“艹，汪潮他怎么想的。这机器不宕机就怪了。”

　　“估计他自己也没反应过来，认为逻辑自洽就行了。这不宕机就怪了。计算量太大，可能需要超算才能完成。”吴哲笑着说道。

　　“而且他不光搞了一个四色问题的世界性难题，涉及图论那块他还搞了个西塔潘猜想出来。我都不知道说他是天才还是蠢材了。两个没证明的猜想能拿来运用，而且逻辑还是自洽的。回来我要逼着他给证明了。”吴哲狠狠地说道。

　　“这没证明怎么就不能用了，1+1=2还没证明呢？不照样用。再说四色问题不是已经在计算机上面证明了吗？”黄明海在旁边说道。

　　“那只是把四色问题算到了100亿次没出错而已，一天没在数学逻辑上给出证明就还没完。”说完吴哲倒是来了兴趣，拿起笔和草稿纸开始证明起来。

　　——————

　　1852年，毕业于伦敦大学的格斯里，来到一家科研单位搞地图着色工作时，发现每幅地图都可以只用四种颜色着色。他就想着这个现象能不能从数学上加以证明呢？只能说是吃得太饱闲的，格斯里和他的弟弟还真就研究上了，最后还拉上了他弟弟的老师、著名数学家德·摩尔根，可到死几人也没研究出来。

　　直到1872年，英国当时最著名的数学家凯利正式向伦敦数学学会提出了这个问题，于是四色猜想成了世界数学界关注的问题，世界上许多一流的数学家都纷纷参加了四色猜想的大会战。1880年的时候，数学家利用归谬法来证明：大意是如果有一张正规的五色地图，就会存在一张国数最少的“极小正规五色地图”，如果极小正规五色地图中有一个国家的邻国数少于六个，就会存在一张国数较少的正规地图仍为五色的，这样一来就不会有极小五色地图的国数，也就不存在正规五色地图了。这样肯普就认为他已经证明了“四色问题”，但是后来人们发现他错了。

　　1922年费兰克林证明了每个有至多25个国家的地图都可以用四种颜色着色。1926年雷诺德将这一结果推广到27个国家，然后在1938年费兰克林又创造了31个国家的纪录。1940年温恩证明了35个国家的情形以后，这方面的研究有所停滞，直到1970年，奥尔和史坦普尔对所有至多包含40个国家的地图证明了四色定理。在哈肯和阿佩尔最终证明四色定理而使所有

　　请收藏：https://m.huaben8.com

（温馨提示：请关闭畅读或阅读模式，否则内容无法正常显示）