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

最后，人们才通过优化放电算法，通过计算机停止超大量计算，终究才得以处理了这个题目。

程理等因而要做一件，地球上还没有人能办到的事情。

一开端，人们都觉得这只是一个简朴的题目。

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

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

“如果顺着这个思路，将四色题目演变成拓扑学题目，便能够制止反证法逆推所需求的大量计算劲，那么剩下的就是拓扑学上的事情了。”

四色题目，实际上是地球上近代三大数学困难之一，它最早是1852年一名叫做格斯里的英国大门生提出来的。

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

他把大脑重新沉着下来后，才再一次思虑解题体例。

“幸亏，也不是要从完整空缺的状况下，摸黑去处理。”

在他穿越前，地球上都还没有人能通过逻辑证明，而不是靠计算机堆计算劲，来证明出四色定理。

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

内心这么想以后，程理反而深吸了一口气，尽力让本身沉着下来。

“那么还能利用甚么体例呢？”程理堕入深思中。

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

德国数学家希斯，第一次提出了一种详细可行的寻觅不成制止可约图的算法，他称之为“放电算法”。

这100多年来，固然四色题目一向没有被处理，但数学家们为研讨四色题目支出的尽力，却并没有白搭。

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

而之前2990层的题目，都是地球上已经被得以处理过的题目，程理就算不晓得详细题目，但起码也会有一个方向观点，从而获得事半功倍的结果。

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

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