人们这才意识到，这个貌似简单的问题，却是可与费马猜想相提并论的巨大难题。

这100多年来，虽然四色问题一直没有被解决，但数学家们为研究四色问题付出的努力，却并没有白费。

为了解决四色问题，所引进的概念与方法刺激了拓扑学与图论的生长、发展。

在“四色问题”的研究过程中，不少新的数学理论随之产生，也发展了很多数学计算技巧。如将地图的着色问题化为图论问题，丰富了图论的内容，设计计算机的编码程序上都起到了推动作用。

最后，在1969年，在电子计算机技术开始高速发展之后，人们开始尝试借助计算机来解决这个难题。

德国数学家希斯，第一次提出了一种具体可行的寻找不可避免可约图的算法，他称之为“放电算法”。

最后，人们才通过优化放电算法，通过计算机进行超大量计算，最终才得以解决了这个问题。

他们在进行了百亿次计算，在当时的各种计算机上计算了1200小时，计算程序先后修改了500余次，才最终找到了一组“不可避免可约图”。

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

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

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

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

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

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

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

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

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