第189章 难题（2 / 2）

然而因为计算量太大，人力很难去验证计算机的计算过程到底对不对。

而且计算机证明，虽然进行了上百亿次判断，但终究只是在庞大数量的优势上取得的成功，这并不符合数学严密的逻辑证明体系，所以仍然有很多人不认为四色定理已经被解决了。

“最主要一个问题是我现在不能用算器，所以没办法用这种依靠大量计算力来解决问题的方法。”程理头疼道。

按照算学碑规则，整个答题过程中是不得借助外物。

如果程理现在已经是元婴期了，那么他倒是完全可以通过元婴去控制金丹，让金丹来辅助计算，这样的话，只要能设计出那个“放电算法”倒可以很轻松的解决这个问题。

然而，程理现在只是一个炼气期小修士，很明显也不能用这个方法。

“所以，也就是说，我得从头想一个，如何能用简洁的逻辑证明过程，来证明出四色定理？”程理有些头大起来。

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

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

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

而之前2990层的问题，都是地球上已经被得以解决过的问题，程理就算不知道具体问题，但至少也会有一个方向概念，从而得到事半功倍的效果。

但现在，程理却等于是要开创一个前人都未达到过的领域，其难度之大，可想而知。

“幸好，也不是要从完全空白的状态下，摸黑去解决。”

“至少在这之前，已经有人证明出了五色定理，不过那个证明出五色定理的人，他采用的是反证法，通过寻找不可避免可约图来试图证明四色定理。

“但这个方式，不可避免的会产生巨大的计算量，所以这个方法，只能排除。”

“那么还能使用什么方法呢？”程理陷入沉思中。

随着时间一分一秒度过，在10分钟后，程理抬头看了下时间，有些着急起来。

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

“青灵岛的战斗应该已经开始一段时间了吧……也不知道情况怎么样了，战斗应该很激烈吧……估计已经死了很多人……算老、林喵、方小纯他们也不知道现在怎么样了，是不是还安好？”

“不行，我不能这样磨磨蹭蹭下去，必须赶快点。”

心里这么想之后，程理反而深吸了一口气，努力让自己冷静下来。

他深知，越是着急的时候，就越需要冷静。

他把大脑重新冷静下来后，才再一次思考解题方法。

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

“四色问题的本质是二维平面的固有属性，是一种二维平面的客观规律存在。即平面内不可能出现交叉而没有公共点的两条直线。”

“如果顺着这个思路，将四色问题演变成拓扑学问题，就可以避免反证法逆推所需要的大量计算量，那么剩下的就是拓扑学上的事情了。”