第132章 國際數學家大會

          然后放電規則允許電荷在面之間或者定點與面之間轉移。

          通過放電過程,我們能夠證明某些特定配置會導致負電荷出現。這些配置構成一個不可避免集,即任何平面圖中都至少包含其中一種配置。

          那么在四色定理的證明中,我們只需要通過放電法找出一個包含有限種配置的集合,然后再進一步驗證這些配置的可約性,最終就可以證明四色定理。”

          林燃講完后,大家聽懂倒是聽懂了,但和林燃一樣,覺得這個工作過于繁瑣。

          就屬于你能找到方法,但這個方法可能你一輩子也算不出來。

          “我知道大家會覺得我提的方法是無稽之談,因為計算量太過于龐大,人類數學家可能窮極一生也沒辦法做出結果。

          但我想要提醒各位,現在我們有了計算機這樣的工具。

          我相信有計算機的配合,我們是能夠在很短時間內,可能一年,可能兩年時間內利用計算機把這個問題解決的。”

          四色問題原本應該在1976年,由數學家凱尼斯·阿佩爾和沃夫岡·哈肯借助電子計算機得到一個完全的證明。

          他們借助的方法就是林燃所說的這個方法-放電法。

          不過和林燃比起來,這兩位的名聲顯然遠遠不如。

          因此林燃提出后,大家都沒質疑,聽說過計算機的在思索要怎么利用計算機解決,沒聽說過的則在打聽計算機是什么。

          多說兩句,阿佩爾和哈肯解決四色問題用到的計算機是ibm于1972年發布的370-168,共計耗時1200個小時。

          但不代表當下的ibm7090就不能解決。

          ibm7090的128kb內存不足以同時存儲所有配置和中間結果,可以分批處理數據,并依賴磁帶進行存儲。

          配置數據和驗證結果會占用大量存儲空間,可以使用磁帶存儲中間結果,確保數據在計算過程中的完整性。

          “希望四年之后的數學家大會,能夠聽到四色問題已經被解決的好消息。”林燃最后總結道。

          林燃的學術報告,對于了解計算機的數學家來說如聽仙樂耳暫明,就好像撥開迷霧直接能夠看到結果。

      主站蜘蛛池模板: 亚洲国产日韩欧美| 黄网在线观看视频| 美女大量吞精在线观看456| 性按摩xxxx| 国产思思99re99在线观看| 久久亚洲国产视频| 老司机午夜视频在线观看| 好男人在线社区www影视下载| 亚洲第一黄色网址| 欧美日韩一区二区不卡三区 | 久久久久亚洲AV成人无码网站| 精品理论片一区二区三区| 天堂资源在线www中文| 亚洲国产精品第一区二区| 黄色一级一毛片| 在线观看麻豆精品国产不卡| 亚洲av无码片在线观看| 草莓视频黄色在线观看| 好男人看视频免费2019中文| 久久精品亚洲综合| 综合网在线视频| 国内一级黄色片| 久久精品国产69国产精品亚洲| 激情小说第一页| 国产成人黄网在线免| 中文字幕专区高清在线观看| 特大巨黑吊aw在线播放| 国产成人精品视频一区二区不卡 | 欧美日韩电影在线观看| 国产午夜福利在线观看视频| 一本到在线观看视频| 污污的软件下载| 国产成人免费在线观看| 丁香狠狠色婷婷久久综合| 欧美精欧美乱码一二三四区| 国产内射在线激情一区| caoporn97在线视频| 最近中文字幕2019高清视频| 冲田杏梨在线精品二区| 伊人影视在线观看日韩区| 打臀缝打肿扒开夹姜|