第189章 難題[第1頁/共2頁]

一開端，人們都覺得這隻是一個簡樸的題目。

最後，人們才通過優化放電演算法，通過計算機停止超大量計算，終究才得以處理了這個題目。

“以是，也就是說，我得重新想一個，如何能用簡練的邏輯證明過程，來證明出四色定理？”程理有些頭大起來。

程理等因而要做一件，地球上還冇有人能辦到的事情。

“不可，我不能如許磨磨蹭蹭下去，必須從速點。”

他發明這個征象後，就在想說，能不能從數學上加以嚴格證明這類征象呢？

他把大腦重新沉著下來後，纔再一次思慮解題體例。

“起碼在這之前，已經有人證明出了五色定理，不過阿誰證明出五色定理的人，他采取的是反證法，通過尋覓不成製止可約圖來試圖證明四色定理。

人們這才認識到，這個貌似簡樸的題目，倒是可與費馬猜想相提並論的龐大困難。

“但這個彆例，不成製止的會產生龐大的計算勁，以是這個彆例，隻能解除。”

但四種色彩到底夠不敷，仍然是一個懸而未決的事情。

跟著時候一分一秒度過，在10分鐘後，程理昂首看了下時候，有些焦急起來。

第2991層的這個題目，就是四色題目。

這100多年來，固然四色題目一向冇有被處理，但數學家們為研討四色題目支出的儘力，卻並冇有白搭。

他們在停止了百億次計算，在當時的各種計算機上計算了1200小時，計演算法度前後點竄了500餘次，才終究找到了一組“不成製止可約圖”。

內心這麼想以後，程理反而深吸了一口氣，儘力讓本身沉著下來。

但是，程理現在隻是一個煉氣期小修士，很較著也不能用這個彆例。

而之前2990層的題目，都是地球上已經被得以處理過的題目，程理就算不曉得詳細題目，但起碼也會有一個方向觀點，從而獲得事半功倍的結果。

在他穿越前，地球上都還冇有人能通過邏輯證明，而不是靠計算機堆計算勁，來證明出四色定理。

“那麼還能利用甚麼體例呢？”程理墮入深思中。

“四色題目的本質是二維平麵的固有屬性，是一種二維平麵的客觀規律存在。即平麵內不成能呈現交叉而冇有大眾點的兩條直線。”

現在時候已經是6月14日早上7點30分了。

最後，在1969年，在電子計算機技術開端高速生長以後，人們開端嘗試藉助計算機來處理這個困難。

遵循算學碑法則，全部答題過程中是不得藉助外物。

為體味決四色題目，所引進的觀點與體例刺激了拓撲學與圖論的發展、生長。

他深知，越是焦急的時候，就越需求沉著。

“如果順著這個思路，將四色題目演變成拓撲學題目，便能夠製止反證法逆推所需求的大量計算勁，那麼剩下的就是拓撲學上的事情了。”

但程理在這2000多道題裡，還向來冇有一道題目，讓他感到如此的毒手。

“幸虧，也不是要從完整空缺的狀況下，摸黑去處理。”