所以我們可以給每一個面f分配初始電荷為def(f)-6，def(f)是面的度數。
然后放電規則允許電荷在面之間或者定點與面之間轉移。
通過放電過程，我們能夠證明某些特定配置會導致負電荷出現。這些配置構成一個不可避免集，即任何平面圖中都至少包含其中一種配置。
那么在四色定理的證明中，我們只需要通過放電法找出一個包含有限種配置的集合，然后再進一步驗證這些配置的可約性，最終就可以證明四色定理。”
林燃講完后，大家聽懂倒是聽懂了，但和林燃一樣，覺得這個工作過于繁瑣。
就屬于你能找到方法，但這個方法可能你一輩子也算不出來。
“我知道大家會覺得我提的方法是無稽之談，因為計算量太過于龐大，人類數學家可能窮極一生也沒辦法做出結果。
但我想要提醒各位，現在我們有了計算機這樣的工具。
我相信有計算機的配合，我們是能夠在很短時間內，可能一年，可能兩年時間內利用計算機把這個問題解決的。”
四色問題原本應該在1976年，由數學家凱尼斯·阿佩爾和沃夫岡·哈肯借助電子計算機得到一個完全的證明。
他們借助的方法就是林燃所說的這個方法-放電法。
不過和林燃比起來，這兩位的名聲顯然遠遠不如。
因此林燃提出后，大家都沒質疑，聽說過計算機的在思索要怎么利用計算機解決，沒聽說過的則在打聽計算機是什么。
多說兩句，阿佩爾和哈肯解決四色問題用到的計算機是ibm于1972年發布的370-168，共計耗時1200個小時。
但不代表當下的ibm7090就不能解決。
ibm7090的128kb內存不足以同時存儲所有配置和中間結果，可以分批處理數據，并依賴磁帶進行存儲。
配置數據和驗證結果會占用大量存儲空間，可以使用磁帶存儲中間結果，確保數據在計算過程中的完整性。
“希望四年之后的數學家大會，能夠聽到四色問題已經被解決的好消息。”林燃最后總結道。
林燃的學術報告，對于了解計算機的數學家來說如聽仙樂耳暫明，就好像撥開迷霧直接能夠看到結果。
越了解計算機，越想趕快回研究所或者學校開始證明四色問題。
方法都不用自己想，林燃已經寫的很清楚了。
甚至后續的數學家大會都不想再參加了。
誰先做出結果，誰就證明了困擾數學家一百多年的四色問題啊。
這是林燃在發福利呢。
對于不了解四色問題的數學家而言，你這說的哪里基礎了，一點都不基礎。
多伊林能聽懂林燃在說什么，他已經目瞪口呆了，在林燃還沒有回到座位上之前，他轉身對西格爾說：“教授，你不提醒倫道夫，說自己做完發表的工作，數學家大會不一定要說自己的思路嗎？
而且就算說自己的思路，不應該說自己思考沒那么縝密，有可能有問題，一些有意思還需要完善的思路，讓大家一起幫忙想想，看看能不能完善。
而不是自己已經想到了解決方法，把解決方法貢獻出來，給別人直接把這個問題給做了嗎？
這可是四色問題啊！”
四色問題是一個非常容易理解，外行都能聽懂的問題，這種既有話題度又有含金量的問題可太少了。
解決一個就少一個。
而且四色問題還有時間的沉淀，離現在一百來年。
這種問題，成熟的解決思路，居然不自己用，就算自己不用也能留給學生，或者提供給本校的其他合作者，結果就這樣被林燃公之于眾。
什么叫大師風范，這就是大師風范，在場的年輕數學家們心想。