“如果顺着这个思路，将四色题目演变成拓扑学题目，便能够制止反证法逆推所需求的大量计算劲，那么剩下的就是拓扑学上的事情了。”
这是典范的一种先发明征象，然后想用数学证明的过程。
题目描述很简朴，但是如何证明这个结论是精确的，却非常的困难。
内心这么想以后，程理反而深吸了一口气，尽力让本身沉着下来。
他深知，越是焦急的时候，就越需求沉着。
这个题目描述很简朴也很清楚，实际上就是说，在不引发混合的环境下，一张舆图只需求4种色彩标记就行了，如许一来便能够让肆意两个相邻国度，是分歧色彩。
“但这个别例，不成制止的会产生庞大的计算劲，以是这个别例，只能解除。”
在他穿越前，地球上都还没有人能通过逻辑证明，而不是靠计算机堆计算劲，来证明出四色定理。
他把大脑重新沉着下来后，才再一次思虑解题体例。
他们在停止了百亿次计算，在当时的各种计算机上计算了1200小时，计算法度前后点窜了500余次，才终究找到了一组“不成制止可约图”。
但是，程理现在只是一个炼气期小修士，很较着也不能用这个别例。
“起码在这之前，已经有人证明出了五色定理，不过阿谁证明出五色定理的人，他采取的是反证法，通过寻觅不成制止可约图来试图证明四色定理。
跟着时候一分一秒度过，在10分钟后，程理昂首看了下时候，有些焦急起来。
最后，在1969年，在电子计算机技术开端高速生长以后，人们开端尝试借助计算机来处理这个困难。
在“四色题目”的研讨过程中，很多新的数学实际随之产生，也生长了很多数学计算技能。如将舆图的着色题目化为图论题目，丰富了图论的内容，设想计算机的编码法度上都起到了鞭策感化。
但是他在和本身的弟弟在尝试证明这个四色征象的时候，才发明这是一个超等难的题目。
遵循算学碑法则，全部答题过程中是不得借助外物。
但程理在这2000多道题里，还向来没有一道题目，让他感到如此的毒手。
直到一个世纪畴昔了，这个题目仍然没有被处理。
“不可，我不能如许磨磨蹭蹭下去，必须从速点。”
“幸亏，也不是要从完整空缺的状况下，摸黑去处理。”