而且計算機證明,雖然進行了上百億次判斷,但終究只是在龐大數量的優勢上取得的成功,這並不符合數學嚴密的邏輯證明體系,所以仍然有很多人不認為四色定理已經被解決了。
“最主要一個問題是我現在不能用算器,所以沒辦法用這種依靠大量計算力來解決問題的方法。”程理頭疼道。
按照算學碑規則,整個答題過程中是不得藉助外物。
如果程理現在已經是元嬰期了,那麼他倒是完全可以透過元嬰去控制金丹,讓金丹來輔助計算,這樣的話,只要能設計出那個“放電演算法”倒可以很輕鬆的解決這個問題。
然而,程理現在只是一個煉氣期小修士,很明顯也不能用這個方法。
“所以,也就是說,我得從頭想一個,如何能用簡潔的邏輯證明過程,來證明出四色定理?”程理有些頭大起來。
在他穿越前,地球上都還沒有人能透過邏輯證明,而不是靠計算機堆計算量,來證明出四色定理。
如果有人能做到這件事情,絕對能轟動全球。
程理等於是要做一件,地球上還沒有人能辦到的事情。
而之前2990層的問題,都是地球上已經被得以解決過的問題,程理就算不知道具體問題,但至少也會有一個方向概念,從而得到事半功倍的效果。
但現在,程理卻等於是要開創一個前人都未達到過的領域,其難度之大,可想而知。
“幸好,也不是要從完全空白的狀態下,摸黑去解決。”
“至少在這之前,已經有人證明出了五色定理,不過那個證明出五色定理的人,他採用的是反證法,透過尋找不可避免可約圖來試圖證明四色定理。
“但這個方式,不可避免的會產生巨大的計算量,所以這個方法,只能排除。”
“那麼還能使用什麼方法呢?”程理陷入沉思中。
隨著時間一分一秒度過,在10分鐘後,程理抬頭看了下時間,有些著急起來。
現在時間已經是6月14日早上7點30分了。
“青靈島的戰鬥應該已經開始一段時間了吧……也不知道情況怎麼樣了,戰鬥應該很激烈吧……估計已經死了很多人……算老、林喵、方小純他們也不知道現在怎麼樣了,是不是還安好?”
“不行,我不能這樣磨磨蹭蹭下去,必須趕快點。”
心裡這麼想之後,程理反而深吸了一口氣,努力讓自己冷靜下來。
他深知,越是著急的時候,就越需要冷靜。
他把大腦重新冷靜下來後,才再一次思考解題方法。
“要不試試拓撲學來證明?”程理最後想道。
“四色問題的本質是二維平面的固有屬性,是一種二維平面的客觀規律存在。即平面內不可能出現交叉而沒有公共點的兩條直線。”
“如果順著這個思路,將四色問題演變成拓撲學問題,就可以避免反證法逆推所需要的大量計算量,那麼剩下的就是拓撲學上的事情了。”