189.
前麵2990層的問題，雖然有很多也是十分艱深的，也有一些是自己從來沒見到過的，但程理最後都還是靠著腦中靈光一閃，最終得以解決問題。
但程理在這2000多道題裏，還從來沒有一道題目，讓他感到如此的棘手。
第2991層的這個問題，就是四色問題。
“問，如何證明任何一張地圖隻用四種顏色就能使具有共同邊界的國家著上不同的顏色。”
這個問題描述很簡單也很清晰，實際上就是說，在不引起混淆的情況下，一張地圖隻需要4種顏色標記就行了，這樣一來就可以讓任意兩個相鄰國家，是不同顏色。
問題描述很簡單，但是如何證明這個結論是正確的，卻十分的困難。
四色問題，實際上是地球上近代三大數學難題之一，它最早是1852年一名叫做格斯裏的英國大學生提出來的。
當時他在一家科研單位進行地圖著色工作的時候，發現每幅地圖都隻需要4種顏色著色。
他發現這個現象後，就在想說，能不能從數學上加以嚴格證明這種現象呢？
這是典型的一種先發現現象，然後想用數學證明的過程。
然而他在和自己的弟弟在嚐試證明這個四色現象的時候，才發現這是一個超級難的問題。
最後，他的弟弟就請教了著名的數學家哈密頓爵士，但直到哈密頓爵士去世，這個問題仍然沒能被解決。
最後，四色問題逐漸成為了世界數學界都關注的問題，世界是許多一流數學家都紛紛參加了四色猜想大會戰。
一開始，人們都以為這隻是一個簡單的問題。
但除了肯普在19世紀末，證明了五色定理，證明了一張地圖的著色，隻要用五種顏色就夠了。
但四種顏色到底夠不夠，依然是一個懸而未決的事情。
直到一個世紀過去了，這個問題仍然沒有被解決。
人們這才意識到，這個貌似簡單的問題，卻是可與費馬猜想相提並論的巨大難題。
這100多年來，雖然四色問題一直沒有被解決，但數學家們為研究四色問題付出的努力，卻並沒有白費。
為了解決四色問題，所引進的概念與方法刺激了拓撲學與圖論的生長、發展。
在“四色問題”的研究過程中，不少新的數學理論隨之產生，也發展了很多數學計算技巧。如將地圖的著色問題化為圖論問題，豐富了圖論的內容，設計計算機的編碼程序上都起到了推動作用。
最後，在1969年，在電子計算機技術開始高速發展之後，人們開始嚐試借助計算機來解決這個難題。
德國數學家希斯，第一次提出了一種具體可行的尋找不可避免可約圖的算法，他稱之為“放電算法”。
最後，人們才通過優化放電算法，通過計算機進行超大量計算，最終才得以解決了這個問題。
他們在進行了百億次計算，在當時的各種計算機上計算了1200小時，計算程序先後修改了500餘次，才最終找到了一組“不可避免可約圖”。
然而因為計算量太大，人力很難去驗證計算機的計算過程到底對不對。
而且計算機證明，雖然進行了上百億次判斷，但終究隻是在龐大數量的優勢上取得的成功，這並不符合數學嚴密的邏輯證明體係，所以仍然有很多人不認為四色定理已經被解決了。
“最主要一個問題是我現在不能用算器，所以沒辦法用這種依靠大量計算力來解決問題的方法。”程理頭疼道。
按照算學碑規則，整個答題過程中是不得借助外物。
如果程理現在已經是元嬰期了，那麽他倒是完全可以通過元嬰去控製金丹，讓金丹來輔助計算，這樣的話，隻要能設計出那個“放電算法”倒可以很輕鬆的解決這個問題。
然而，程理現在隻是一個煉氣期小修士，很明顯也不能用這個方法。
“所以，也就是說，我得從頭想一個，如何能用簡潔的邏輯證明過程，來證明出四色定理？”程理有些頭大起來。
在他穿越前，地球上都還沒有人能通過邏輯證明，而不是靠計算機堆計算量，來證明出四色定理。
如果有人能做到這件事情，絕對能轟動全球。
程理等於是要做一件，地球上還沒有人能辦到的事情。
而之前2990層的問題，都是地球上已經被得以解決過的問題，程理就算不知道具體問題，但至少也會有一個方向概念，從而得到事半功倍的效果。
但現在，程理卻等於是要開創一個前人都未達到過的領域，其難度之大，可想而知。
“幸好，也不是要從完全空白的狀態下，摸黑去解決。”
“至少在這之前，已經有人證明出了五色定理，不過那個證明出五色定理的人，他采用的是反證法，通過尋找不可避免可約圖來試圖證明四色定理。
“但這個方式，不可避免的會產生巨大的計算量，所以這個方法，隻能排除。”
“那麽還能使用什麽方法呢？”程理陷入沉思中。
隨著時間一分一秒度過，在10分鍾後，程理抬頭看了下時間，有些著急起來。
現在時間已經是6月14日早上7點30分了。
“青靈島的戰鬥應該已經開始一段時間了吧……也不知道情況怎麽樣了，戰鬥應該很激烈吧……估計已經死了很多人……算老、林喵、方小純他們也不知道現在怎麽樣了，是不是還安好？”
“不行，我不能這樣磨磨蹭蹭下去，必須趕快點。”
心裏這麽想之後，程理反而深吸了一口氣，努力讓自己冷靜下來。
他深知，越是著急的時候，就越需要冷靜。
他把大腦重新冷靜下來後，才再一次思考解題方法。
“要不試試拓撲學來證明？”程理最後想道。
“四色問題的本質是二維平麵的固有屬性，是一種二維平麵的客觀規律存在。即平麵內不可能出現交叉而沒有公共點的兩條直線。”
“如果順著這個思路，將四色問題演變成拓撲學問題，就可以避免反證法逆推所需要的大量計算量，那麽剩下的就是拓撲學上的事情了。”
前麵2990層的問題，雖然有很多也是十分艱深的，也有一些是自己從來沒見到過的，但程理最後都還是靠著腦中靈光一閃，最終得以解決問題。
但程理在這2000多道題裏，還從來沒有一道題目，讓他感到如此的棘手。
第2991層的這個問題，就是四色問題。
“問，如何證明任何一張地圖隻用四種顏色就能使具有共同邊界的國家著上不同的顏色。”
這個問題描述很簡單也很清晰，實際上就是說，在不引起混淆的情況下，一張地圖隻需要4種顏色標記就行了，這樣一來就可以讓任意兩個相鄰國家，是不同顏色。
問題描述很簡單，但是如何證明這個結論是正確的，卻十分的困難。
四色問題，實際上是地球上近代三大數學難題之一，它最早是1852年一名叫做格斯裏的英國大學生提出來的。
當時他在一家科研單位進行地圖著色工作的時候，發現每幅地圖都隻需要4種顏色著色。
他發現這個現象後，就在想說，能不能從數學上加以嚴格證明這種現象呢？
這是典型的一種先發現現象，然後想用數學證明的過程。
然而他在和自己的弟弟在嚐試證明這個四色現象的時候，才發現這是一個超級難的問題。
最後，他的弟弟就請教了著名的數學家哈密頓爵士，但直到哈密頓爵士去世，這個問題仍然沒能被解決。
最後，四色問題逐漸成為了世界數學界都關注的問題，世界是許多一流數學家都紛紛參加了四色猜想大會戰。
一開始，人們都以為這隻是一個簡單的問題。
但除了肯普在19世紀末，證明了五色定理，證明了一張地圖的著色，隻要用五種顏色就夠了。
但四種顏色到底夠不夠，依然是一個懸而未決的事情。
直到一個世紀過去了，這個問題仍然沒有被解決。
人們這才意識到，這個貌似簡單的問題，卻是可與費馬猜想相提並論的巨大難題。
這100多年來，雖然四色問題一直沒有被解決，但數學家們為研究四色問題付出的努力，卻並沒有白費。
為了解決四色問題，所引進的概念與方法刺激了拓撲學與圖論的生長、發展。
在“四色問題”的研究過程中，不少新的數學理論隨之產生，也發展了很多數學計算技巧。如將地圖的著色問題化為圖論問題，豐富了圖論的內容，設計計算機的編碼程序上都起到了推動作用。
最後，在1969年，在電子計算機技術開始高速發展之後，人們開始嚐試借助計算機來解決這個難題。
德國數學家希斯，第一次提出了一種具體可行的尋找不可避免可約圖的算法，他稱之為“放電算法”。
最後，人們才通過優化放電算法，通過計算機進行超大量計算，最終才得以解決了這個問題。
他們在進行了百億次計算，在當時的各種計算機上計算了1200小時，計算程序先後修改了500餘次，才最終找到了一組“不可避免可約圖”。
然而因為計算量太大，人力很難去驗證計算機的計算過程到底對不對。
而且計算機證明，雖然進行了上百億次判斷，但終究隻是在龐大數量的優勢上取得的成功，這並不符合數學嚴密的邏輯證明體係，所以仍然有很多人不認為四色定理已經被解決了。
“最主要一個問題是我現在不能用算器，所以沒辦法用這種依靠大量計算力來解決問題的方法。”程理頭疼道。
按照算學碑規則，整個答題過程中是不得借助外物。
如果程理現在已經是元嬰期了，那麽他倒是完全可以通過元嬰去控製金丹，讓金丹來輔助計算，這樣的話，隻要能設計出那個“放電算法”倒可以很輕鬆的解決這個問題。
然而，程理現在隻是一個煉氣期小修士，很明顯也不能用這個方法。
“所以，也就是說，我得從頭想一個，如何能用簡潔的邏輯證明過程，來證明出四色定理？”程理有些頭大起來。
在他穿越前，地球上都還沒有人能通過邏輯證明，而不是靠計算機堆計算量，來證明出四色定理。
如果有人能做到這件事情，絕對能轟動全球。
程理等於是要做一件，地球上還沒有人能辦到的事情。
而之前2990層的問題，都是地球上已經被得以解決過的問題，程理就算不知道具體問題，但至少也會有一個方向概念，從而得到事半功倍的效果。
但現在，程理卻等於是要開創一個前人都未達到過的領域，其難度之大，可想而知。
“幸好，也不是要從完全空白的狀態下，摸黑去解決。”
“至少在這之前，已經有人證明出了五色定理，不過那個證明出五色定理的人，他采用的是反證法，通過尋找不可避免可約圖來試圖證明四色定理。
“但這個方式，不可避免的會產生巨大的計算量，所以這個方法，隻能排除。”
“那麽還能使用什麽方法呢？”程理陷入沉思中。
隨著時間一分一秒度過，在10分鍾後，程理抬頭看了下時間，有些著急起來。
現在時間已經是6月14日早上7點30分了。
“青靈島的戰鬥應該已經開始一段時間了吧……也不知道情況怎麽樣了，戰鬥應該很激烈吧……估計已經死了很多人……算老、林喵、方小純他們也不知道現在怎麽樣了，是不是還安好？”
“不行，我不能這樣磨磨蹭蹭下去，必須趕快點。”
心裏這麽想之後，程理反而深吸了一口氣，努力讓自己冷靜下來。
他深知，越是著急的時候，就越需要冷靜。
他把大腦重新冷靜下來後，才再一次思考解題方法。
“要不試試拓撲學來證明？”程理最後想道。
“四色問題的本質是二維平麵的固有屬性，是一種二維平麵的客觀規律存在。即平麵內不可能出現交叉而沒有公共點的兩條直線。”
“如果順著這個思路，將四色問題演變成拓撲學問題，就可以避免反證法逆推所需要的大量計算量，那麽剩下的就是拓撲學上的事情了。”