第765章 三大難題(三)
原神：我有一座圖書館 作者：手抓飯 投票推薦 加入書簽 留言反饋
有跡可循！
沒錯，有跡可循！
這就是每一個人見到四色問題時的第一感覺，就好像這道題是整張試卷裏麵最簡單的題目，可偏偏……你還是錯了。
四色問題就有這樣的感覺，因為縱觀它的整個發展下來就是給人這樣的感覺，應該說給整個學術界這樣的感覺。
從一開始的平平無奇到出人意料的異常困難，似乎前世學術界並沒有太多關注這個“非正規”出生的數學問題，直到它成為和“費馬猜想”、“哥德巴赫猜想”齊名的世界三大數學猜想之一。
然而，就是這樣一道看上去其貌不揚的題目帶給了提瓦特很多人自信。
因為有跡可循，這道題看上去也沒有什麽困難的嘛。
硬要說的話，可能就是花費的時間多一些，至少在一些人看來就是這樣的。
論壇。
賣唱的快樂小男孩（沉澱版）：喔，這題我感覺我可以，我聰明的大腦好像抓住了一些東西。
不是淘氣的淘：我也一樣，總覺得這道題好像沒有什麽難度。
正義的化身：哈哈哈，我已經通過神明的偉大力量推算出來了［圖片］
（上麵是歪歪扭扭的線條形狀，被塗滿了四種不同的顏色。）
深林的狐：這隻是一種情況，因為你無法確定，當這塊平麵足夠大時、形狀足夠複雜的時候是否也符合四種顏色。
一張送不出去的支票：沒錯，這才是問題的關鍵所在。
白堊：仔細讀題，將平麵任意地細分為不相重疊的區域，每一個區域總可以用1234這四個數字之一來標記而不會使相鄰的兩個區域得到相同的數字……這個平麵是指代，可以是任何平麵情況都符合這一規律，不是說一張地圖符合這個規律就代表這個規律成立了。
楓丹科學院官方賬號：沒錯，重點就是這個，一開始我們也覺得這個問題沒有什麽難度，可是真的讓我們毫無頭緒的時候才發現這個題目有點東西的。
做實驗呢：似乎有點頭緒了。
做實驗呢：如果有一張正規的五色地圖，就會存在一張國數最少的“極小正規五色地圖”，如果極小正規五色地圖中有一個國家的鄰國數少於六個，就會存在一張國數較少的正規地圖仍為五色的，這樣一來就不會有極小五色地圖的國數，也就不存在正規五色地圖了。
冰風組曲：感覺好有道理，似乎邏輯上暫時沒有什麽漏洞。
叫我前輩：咳咳，這不是我擅長的領域，但這麽看來似乎確實可行？
白堊：並不是……
正義的化身：啊？就這樣被解決了？我還以為蘇均這個題目有多難呢，我剛要認真想呢！
賣唱的快樂小男孩（沉澱版）：唔，原來是這樣解決的嗎？
玲瓏油豆腐：反推法？
阿忍：這在學術上，用專業的術語來講叫做“歸謬”。
一張送不出去的支票：@做實驗呢，還有點本事的嘛，雖然比不上蘇均。
須彌第一大：解沒解出來還另說呢。
吉祥：這好像並沒有涉及到根本問題。
不是淘氣的淘：問問蘇均不就知道了，@蘇均，洗地了！
璃月國立大學官方賬號：這……@蘇均。
而另一邊蘇均自然也看到了，他隻能說對也不對。
對是因為按照那位網友所說的他確實摸到了解決“四色猜想”的邊，或者說主要方向。
不對則是因為按照這個邏輯下去並不能解決四色問題，因為使用“歸謬法”證明四色問題在前世已經出現過了，很可惜，錯了。
想到這裏，看到如此之多的@，估計很多人都在期待這道題已經解決了吧，但是蘇均還是老老實實的打字迴答了眾人。
蘇均：其實你的大體思路是具有可取性的。可以說明在每一張正規地圖中至少有一國具有兩個、三個、四個或五個鄰國，不存在每個國家都有六個或更多個鄰國的正規地圖。
蘇均：也就是說，由兩個鄰國，三個鄰國、四個或五個鄰國組成的一組“構形”是不可避免的，每張地圖至少含有這四種構形中的一個。
做實驗呢：這樣嘛……倒是我受教了。
白堊：哈，問題的關鍵是在這裏嗎
不是淘氣的淘：啊？你們在說什麽啊？
最好的夥伴：那這到底是解出來了……還是沒解出來啊？
深林的狐：哈，蘇均的意思是，你的思路對了，但是最終答案錯了。
兔兔伯爵：還真讓人摸不著頭腦。
嘟嘟可：摸頭腦摸頭腦！
……
與此同時，看到這一幕的蘇均笑著搖搖頭 思路確實是這麽一個思路，即使在前世解決“四色猜想”也是在“構形”和“可約”兩大思路下然後用智能計算機強行解答的。
沒錯，就是用計算機算出來的解。
可以說，單純依靠人力自己而言，還沒有能直接證明“四色猜想”的辦法，就是借助了計算機超級強大的計算能力最後得出了這個答案。
所以……在提瓦特很有可能“四色猜想”就真的成為世紀難題了？
也不一定，且說提瓦特日後會不會發展出類似於計算機之類的智能產物，但也別忘了還有“世界樹”這個bug級別的智能服務器呢。
真的大不了，蘇均就用“世界樹”來強行解答“四色猜想”，嗯，一力降十會，很有搞頭。
隻是就目前而言，“四色猜想”依舊是難倒了一大片的人，更別說還有一道題目呢。
論壇。
賣唱的快樂小男孩（沉澱版）：沒戲了沒戲了，看來我今天是當不了這個教授了嗎？
鍾離：你不已經是教授了嗎？
賣唱的快樂小男孩（沉澱版）：那不一樣，詩歌教授說起來別人都沒聽過呢，都不如你的曆史學教授，我要是數學教授是不是就強多了？
代理團長：唔……閣下是不是忘了些什麽事情？
迪盧克：你早該習慣的。
騎兵隊長：哦？習慣什麽？難道還有什麽我們不知道事情？
浪花：為什麽總感覺是一聽到就是天都要塌的消息？
就在眾人閑聊的時候，不出意外的，第三道題也被呈了上來。
不是淘氣的淘：這道題你們不用看了，我已經證明完了。［驕傲］［驕傲］
內容：《幾何原本》第二百五十六頁題目：證明1＋1
（任一大於5的整數都可寫成三個質數之和，其中任一大於2的偶數都可寫成兩個質數之和、任一大於7的奇數都能被表示成三個奇質數的和）
沒錯，有跡可循！
這就是每一個人見到四色問題時的第一感覺，就好像這道題是整張試卷裏麵最簡單的題目，可偏偏……你還是錯了。
四色問題就有這樣的感覺，因為縱觀它的整個發展下來就是給人這樣的感覺，應該說給整個學術界這樣的感覺。
從一開始的平平無奇到出人意料的異常困難，似乎前世學術界並沒有太多關注這個“非正規”出生的數學問題，直到它成為和“費馬猜想”、“哥德巴赫猜想”齊名的世界三大數學猜想之一。
然而，就是這樣一道看上去其貌不揚的題目帶給了提瓦特很多人自信。
因為有跡可循，這道題看上去也沒有什麽困難的嘛。
硬要說的話，可能就是花費的時間多一些，至少在一些人看來就是這樣的。
論壇。
賣唱的快樂小男孩（沉澱版）：喔，這題我感覺我可以，我聰明的大腦好像抓住了一些東西。
不是淘氣的淘：我也一樣，總覺得這道題好像沒有什麽難度。
正義的化身：哈哈哈，我已經通過神明的偉大力量推算出來了［圖片］
（上麵是歪歪扭扭的線條形狀，被塗滿了四種不同的顏色。）
深林的狐：這隻是一種情況，因為你無法確定，當這塊平麵足夠大時、形狀足夠複雜的時候是否也符合四種顏色。
一張送不出去的支票：沒錯，這才是問題的關鍵所在。
白堊：仔細讀題，將平麵任意地細分為不相重疊的區域，每一個區域總可以用1234這四個數字之一來標記而不會使相鄰的兩個區域得到相同的數字……這個平麵是指代，可以是任何平麵情況都符合這一規律，不是說一張地圖符合這個規律就代表這個規律成立了。
楓丹科學院官方賬號：沒錯，重點就是這個，一開始我們也覺得這個問題沒有什麽難度，可是真的讓我們毫無頭緒的時候才發現這個題目有點東西的。
做實驗呢：似乎有點頭緒了。
做實驗呢：如果有一張正規的五色地圖，就會存在一張國數最少的“極小正規五色地圖”，如果極小正規五色地圖中有一個國家的鄰國數少於六個，就會存在一張國數較少的正規地圖仍為五色的，這樣一來就不會有極小五色地圖的國數，也就不存在正規五色地圖了。
冰風組曲：感覺好有道理，似乎邏輯上暫時沒有什麽漏洞。
叫我前輩：咳咳，這不是我擅長的領域，但這麽看來似乎確實可行？
白堊：並不是……
正義的化身：啊？就這樣被解決了？我還以為蘇均這個題目有多難呢，我剛要認真想呢！
賣唱的快樂小男孩（沉澱版）：唔，原來是這樣解決的嗎？
玲瓏油豆腐：反推法？
阿忍：這在學術上，用專業的術語來講叫做“歸謬”。
一張送不出去的支票：@做實驗呢，還有點本事的嘛，雖然比不上蘇均。
須彌第一大：解沒解出來還另說呢。
吉祥：這好像並沒有涉及到根本問題。
不是淘氣的淘：問問蘇均不就知道了，@蘇均，洗地了！
璃月國立大學官方賬號：這……@蘇均。
而另一邊蘇均自然也看到了，他隻能說對也不對。
對是因為按照那位網友所說的他確實摸到了解決“四色猜想”的邊，或者說主要方向。
不對則是因為按照這個邏輯下去並不能解決四色問題，因為使用“歸謬法”證明四色問題在前世已經出現過了，很可惜，錯了。
想到這裏，看到如此之多的@，估計很多人都在期待這道題已經解決了吧，但是蘇均還是老老實實的打字迴答了眾人。
蘇均：其實你的大體思路是具有可取性的。可以說明在每一張正規地圖中至少有一國具有兩個、三個、四個或五個鄰國，不存在每個國家都有六個或更多個鄰國的正規地圖。
蘇均：也就是說，由兩個鄰國，三個鄰國、四個或五個鄰國組成的一組“構形”是不可避免的，每張地圖至少含有這四種構形中的一個。
做實驗呢：這樣嘛……倒是我受教了。
白堊：哈，問題的關鍵是在這裏嗎
不是淘氣的淘：啊？你們在說什麽啊？
最好的夥伴：那這到底是解出來了……還是沒解出來啊？
深林的狐：哈，蘇均的意思是，你的思路對了，但是最終答案錯了。
兔兔伯爵：還真讓人摸不著頭腦。
嘟嘟可：摸頭腦摸頭腦！
……
與此同時，看到這一幕的蘇均笑著搖搖頭 思路確實是這麽一個思路，即使在前世解決“四色猜想”也是在“構形”和“可約”兩大思路下然後用智能計算機強行解答的。
沒錯，就是用計算機算出來的解。
可以說，單純依靠人力自己而言，還沒有能直接證明“四色猜想”的辦法，就是借助了計算機超級強大的計算能力最後得出了這個答案。
所以……在提瓦特很有可能“四色猜想”就真的成為世紀難題了？
也不一定，且說提瓦特日後會不會發展出類似於計算機之類的智能產物，但也別忘了還有“世界樹”這個bug級別的智能服務器呢。
真的大不了，蘇均就用“世界樹”來強行解答“四色猜想”，嗯，一力降十會，很有搞頭。
隻是就目前而言，“四色猜想”依舊是難倒了一大片的人，更別說還有一道題目呢。
論壇。
賣唱的快樂小男孩（沉澱版）：沒戲了沒戲了，看來我今天是當不了這個教授了嗎？
鍾離：你不已經是教授了嗎？
賣唱的快樂小男孩（沉澱版）：那不一樣，詩歌教授說起來別人都沒聽過呢，都不如你的曆史學教授，我要是數學教授是不是就強多了？
代理團長：唔……閣下是不是忘了些什麽事情？
迪盧克：你早該習慣的。
騎兵隊長：哦？習慣什麽？難道還有什麽我們不知道事情？
浪花：為什麽總感覺是一聽到就是天都要塌的消息？
就在眾人閑聊的時候，不出意外的，第三道題也被呈了上來。
不是淘氣的淘：這道題你們不用看了，我已經證明完了。［驕傲］［驕傲］
內容：《幾何原本》第二百五十六頁題目：證明1＋1
（任一大於5的整數都可寫成三個質數之和，其中任一大於2的偶數都可寫成兩個質數之和、任一大於7的奇數都能被表示成三個奇質數的和）