第132章 國際數學家大會
然后放電規則允許電荷在面之間或者定點與面之間轉移。
通過放電過程,我們能夠證明某些特定配置會導致負電荷出現。這些配置構成一個不可避免集,即任何平面圖中都至少包含其中一種配置。
那么在四色定理的證明中,我們只需要通過放電法找出一個包含有限種配置的集合,然后再進一步驗證這些配置的可約性,最終就可以證明四色定理。”
林燃講完后,大家聽懂倒是聽懂了,但和林燃一樣,覺得這個工作過于繁瑣。
就屬于你能找到方法,但這個方法可能你一輩子也算不出來。
“我知道大家會覺得我提的方法是無稽之談,因為計算量太過于龐大,人類數學家可能窮極一生也沒辦法做出結果。
但我想要提醒各位,現在我們有了計算機這樣的工具。
我相信有計算機的配合,我們是能夠在很短時間內,可能一年,可能兩年時間內利用計算機把這個問題解決的。”
四色問題原本應該在1976年,由數學家凱尼斯·阿佩爾和沃夫岡·哈肯借助電子計算機得到一個完全的證明。
他們借助的方法就是林燃所說的這個方法-放電法。
不過和林燃比起來,這兩位的名聲顯然遠遠不如。
因此林燃提出后,大家都沒質疑,聽說過計算機的在思索要怎么利用計算機解決,沒聽說過的則在打聽計算機是什么。
多說兩句,阿佩爾和哈肯解決四色問題用到的計算機是ibm于1972年發布的370-168,共計耗時1200個小時。
但不代表當下的ibm7090就不能解決。
ibm7090的128kb內存不足以同時存儲所有配置和中間結果,可以分批處理數據,并依賴磁帶進行存儲。
配置數據和驗證結果會占用大量存儲空間,可以使用磁帶存儲中間結果,確保數據在計算過程中的完整性。
“希望四年之后的數學家大會,能夠聽到四色問題已經被解決的好消息。”林燃最后總結道。
林燃的學術報告,對于了解計算機的數學家來說如聽仙樂耳暫明,就好像撥開迷霧直接能夠看到結果。