第189章 难题[第1页/共2页]
“问,如何证明任何一张舆图只用四种色彩就能使具有共同鸿沟的国度着上分歧的色彩。”
这100多年来,固然四色题目一向没有被处理,但数学家们为研讨四色题目支出的尽力,却并没有白搭。
最后,四色题目逐步成为了天下数学界都存眷的题目,天下是很多一流数学家都纷繁插手了四色猜想大会战。
如果有人能做到这件事情,绝对能颤动环球。
但现在,程理却等因而要初创一个前人都未达到过的范畴,其难度之大,可想而知。
“以是,也就是说,我得重新想一个,如何能用简练的逻辑证明过程,来证明出四色定理?”程理有些头大起来。
最后,在1969年,在电子计算机技术开端高速生长以后,人们开端尝试借助计算机来处理这个困难。
“青灵岛的战役应当已经开端一段时候了吧……也不晓得环境如何样了,战役应当很狠恶吧……估计已经死了很多人……算老、林喵、方小纯他们也不晓得现在如何样了,是不是还安好?”
他发明这个征象后,就在想说,能不能从数学上加以严格证明这类征象呢?
但是他在和本身的弟弟在尝试证明这个四色征象的时候,才发明这是一个超等难的题目。
最后,人们才通过优化放电算法,通过计算机停止超大量计算,终究才得以处理了这个题目。
为体味决四色题目,所引进的观点与体例刺激了拓扑学与图论的发展、生长。
这个题目描述很简朴也很清楚,实际上就是说,在不引发混合的环境下,一张舆图只需求4种色彩标记就行了,如许一来便能够让肆意两个相邻国度,是分歧色彩。
这是典范的一种先发明征象,然后想用数学证明的过程。
在他穿越前,地球上都还没有人能通过逻辑证明,而不是靠计算机堆计算劲,来证明出四色定理。
他深知,越是焦急的时候,就越需求沉着。
他们在停止了百亿次计算,在当时的各种计算机上计算了1200小时,计算法度前后点窜了500余次,才终究找到了一组“不成制止可约图”。
而之前2990层的题目,都是地球上已经被得以处理过的题目,程理就算不晓得详细题目,但起码也会有一个方向观点,从而获得事半功倍的结果。
“不可,我不能如许磨磨蹭蹭下去,必须从速点。”
他把大脑重新沉着下来后,才再一次思虑解题体例。
“要不尝尝拓扑学来证明?”程理最后想道。
“那么还能利用甚么体例呢?”程理堕入深思中。
并且计算机证明,固然停止了上百亿次判定,但毕竟只是在庞大数量的上风上获得的胜利,这并分歧适数学周到的逻辑证明体系,以是仍然有很多人不以为四色定理已经被处理了。
“起码在这之前,已经有人证明出了五色定理,不过阿谁证明出五色定理的人,他采取的是反证法,通过寻觅不成制止可约图来试图证明四色定理。
“如果顺着这个思路,将四色题目演变成拓扑学题目,便能够制止反证法逆推所需求的大量计算劲,那么剩下的就是拓扑学上的事情了。”
现在时候已经是6月14日早上7点30分了。
程理等因而要做一件,地球上还没有人能办到的事情。
第2991层的这个题目,就是四色题目。
四色题目,实际上是地球上近代三大数学困难之一,它最早是1852年一名叫做格斯里的英国大门生提出来的。
直到一个世纪畴昔了,这个题目仍然没有被处理。