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

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

最后，他的弟弟就就教了闻名的数学家哈密顿爵士，但直到哈密顿爵士归天，这个题目仍然没能被处理。

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

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

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

“问，如何证明任何一张舆图只用四种色彩就能使具有共同鸿沟的国度着上分歧的色彩。”

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

“但这个别例，不成制止的会产生庞大的计算劲，以是这个别例，只能解除。”

题目描述很简朴，但是如何证明这个结论是精确的，却非常的困难。

在“四色题目”的研讨过程中，很多新的数学实际随之产生，也生长了很多数学计算技能。如将舆图的着色题目化为图论题目，丰富了图论的内容，设想计算机的编码法度上都起到了鞭策感化。

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

但四种色彩到底够不敷，仍然是一个悬而未决的事情。

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

但除了肯普在19世纪末，证了然五色定理，证了然一张舆图的着色，只要用五种色彩就够了。

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

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

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

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

这个题目描述很简朴也很清楚，实际上就是说，在不引发混合的环境下，一张舆图只需求4种色彩标记就行了，如许一来便能够让肆意两个相邻国度，是分歧色彩。

他深知，越是焦急的时候，就越需求沉着。

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

这是典范的一种先发明征象，然后想用数学证明的过程。

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