我相信有计算机的配合，我们是能够在很短时间内，可能一年，可能两年时间内利用计算机把这个问题解决的。”
四色问题原本应该在1976年，由数学家凯尼斯·阿佩尔和沃夫冈·哈肯借助电子计算机得到一个完全的证明。
他们借助的方法就是林燃所说的这个方法-放电法。
不过和林燃比起来，这两位的名声显然远远不如。
因此林燃提出后，大家都没质疑，听说过计算机的在思索要怎么利用计算机解决，没听说过的则在打听计算机是什么。
多说两句，阿佩尔和哈肯解决四色问题用到的计算机是IBM于1972年发布的370-168，共计耗时1200个小时。
但不代表当下的IBM7090就不能解决。
IBM7090的128KB内存不足以同时存储所有配置和中间结果，可以分批处理数据，并依赖磁带进行存储。
配置数据和验证结果会占用大量存储空间，可以使用磁带存储中间结果，确保数据在计算过程中的完整性。
“希望四年之后的数学家大会，能够听到四色问题已经被解决的好消息。”林燃最后总结道。
内容未完，下一页继续阅读