这个题目描述很简朴也很清楚，实际上就是说，在不引发混合的环境下，一张舆图只需求4种色彩标记就行了，如许一来便能够让肆意两个相邻国度，是分歧色彩。
“要不尝尝拓扑学来证明？”程理最后想道。
“幸亏，也不是要从完整空缺的状况下，摸黑去处理。”
现在时候已经是6月14日早上7点30分了。
如果程理现在已经是元婴期了，那么他倒是完整能够通过元婴去节制金丹，让金丹来帮助计算，如许的话，只要能设想出阿谁“放电算法”倒能够很轻松的处理这个题目。
德国数学家希斯，第一次提出了一种详细可行的寻觅不成制止可约图的算法，他称之为“放电算法”。
“以是，也就是说，我得重新想一个，如何能用简练的逻辑证明过程，来证明出四色定理？”程理有些头大起来。
“最首要一个题目是我现在不能用算器，以是没体例用这类依托大量计算力来处理题目的体例。”程理头疼道。
但四种色彩到底够不敷，仍然是一个悬而未决的事情。
他深知，越是焦急的时候，就越需求沉着。
最后，四色题目逐步成为了天下数学界都存眷的题目，天下是很多一流数学家都纷繁插手了四色猜想大会战。
这是典范的一种先发明征象，然后想用数学证明的过程。
“青灵岛的战役应当已经开端一段时候了吧……也不晓得环境如何样了，战役应当很狠恶吧……估计已经死了很多人……算老、林喵、方小纯他们也不晓得现在如何样了，是不是还安好？”
遵循算学碑法则，全部答题过程中是不得借助外物。
“但这个别例，不成制止的会产生庞大的计算劲，以是这个别例，只能解除。”
最后，在1969年，在电子计算机技术开端高速生长以后，人们开端尝试借助计算机来处理这个困难。
“不可，我不能如许磨磨蹭蹭下去，必须从速点。”
最后，他的弟弟就就教了闻名的数学家哈密顿爵士，但直到哈密顿爵士归天，这个题目仍然没能被处理。
四色题目，实际上是地球上近代三大数学困难之一，它最早是1852年一名叫做格斯里的英国大门生提出来的。
程理等因而要做一件，地球上还没有人能办到的事情。
而之前2990层的题目，都是地球上已经被得以处理过的题目，程理就算不晓得详细题目，但起码也会有一个方向观点，从而获得事半功倍的结果。
前面2990层的题目，固然有很多也是非常通俗的，也有一些是本身向来没见到过的，但程理最后都还是靠着脑中灵光一闪，终究得以处理题目。
在他穿越前，地球上都还没有人能通过逻辑证明，而不是靠计算机堆计算劲，来证明出四色定理。
“起码在这之前，已经有人证明出了五色定理，不过阿谁证明出五色定理的人，他采取的是反证法，通过寻觅不成制止可约图来试图证明四色定理。
但现在，程理却等因而要初创一个前人都未达到过的范畴，其难度之大，可想而知。
一开端，人们都觉得这只是一个简朴的题目。
但是他在和本身的弟弟在尝试证明这个四色征象的时候，才发明这是一个超等难的题目。
他发明这个征象后，就在想说，能不能从数学上加以严格证明这类征象呢？
为体味决四色题目，所引进的观点与体例刺激了拓扑学与图论的发展、生长。
他们在停止了百亿次计算，在当时的各种计算机上计算了1200小时，计算法度前后点窜了500余次，才终究找到了一组“不成制止可约图”。