第189章 难题[第2页/共2页]

跟着时候一分一秒度过，在10分钟后，程理昂首看了下时候，有些焦急起来。

第2991层的这个题目，就是四色题目。

“四色题目的本质是二维平面的固有属性，是一种二维平面的客观规律存在。即平面内不成能呈现交叉而没有大众点的两条直线。”

当时他在一家科研单位停止舆图着色事情的时候，发明每幅舆图都只需求4种色彩着色。

“起码在这之前，已经有人证明出了五色定理，不过阿谁证明出五色定理的人，他采取的是反证法，通过寻觅不成制止可约图来试图证明四色定理。

前面2990层的题目，固然有很多也是非常通俗的，也有一些是本身向来没见到过的，但程理最后都还是靠着脑中灵光一闪，终究得以处理题目。

为体味决四色题目，所引进的观点与体例刺激了拓扑学与图论的发展、生长。

“不可，我不能如许磨磨蹭蹭下去，必须从速点。”

人们这才认识到，这个貌似简朴的题目，倒是可与费马猜想相提并论的庞大困难。

他发明这个征象后，就在想说，能不能从数学上加以严格证明这类征象呢？

“以是，也就是说，我得重新想一个，如何能用简练的逻辑证明过程，来证明出四色定理？”程理有些头大起来。

如果有人能做到这件事情，绝对能颤动环球。

遵循算学碑法则，全部答题过程中是不得借助外物。

现在时候已经是6月14日早上7点30分了。

最后，四色题目逐步成为了天下数学界都存眷的题目，天下是很多一流数学家都纷繁插手了四色猜想大会战。

并且计算机证明，固然停止了上百亿次判定，但毕竟只是在庞大数量的上风上获得的胜利，这并分歧适数学周到的逻辑证明体系，以是仍然有很多人不以为四色定理已经被处理了。

他们在停止了百亿次计算，在当时的各种计算机上计算了1200小时，计算法度前后点窜了500余次，才终究找到了一组“不成制止可约图”。

“青灵岛的战役应当已经开端一段时候了吧……也不晓得环境如何样了，战役应当很狠恶吧……估计已经死了很多人……算老、林喵、方小纯他们也不晓得现在如何样了，是不是还安好？”

但是因为计算劲太大，人力很难去考证计算机的计算过程到底对不对。

“最首要一个题目是我现在不能用算器，以是没体例用这类依托大量计算力来处理题目的体例。”程理头疼道。

“要不尝尝拓扑学来证明？”程理最后想道。

但程理在这2000多道题里，还向来没有一道题目，让他感到如此的毒手。