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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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