第132章 国际数学家大会

面之间转移。

通过放电过程，我们能够证明某些特定配置会导致负电荷出现。这些配置构成一个不可避免集，即任何平面图中都至少包含其中一种配置。

那麽在四色定理的证明中，我们只需要通过放电法找出一个包含有限种配置的集合，然后再进一步验证这些配置的可约性，最终就可以证明四色定理。」

林燃讲完后，大家听懂倒是听懂了，但和林燃一样，觉得这个工作过于繁琐。

就属于你能找到方法，但这个方法可能你一辈子也算不出来。

「我知道大家会觉得我提的方法是无稽之谈，因为计算量太过于庞大，人类数学家可能穷极一生也没办法做出结果。

但我想要提醒各位，现在我们有了计算机这样的工具。

我相信有计算机的配合，我们是能够在很短时间内，可能一年，可能两年时间内利用计算机把这个问题解决的。」

四色问题原本应该在1976年，由数学家凯尼斯·阿佩尔和沃夫冈·哈肯藉助电子计算机得到一个完全的证明。

他们藉助的方法就是林燃所说的这个方法-放电法。

不过和林燃比起来，这两位的名声显然远远不如。

因此林燃提出后，大家都没质疑，听说过计算机的在思索要怎麽利用计算机解决，没听说过的则在打听计算机是什麽。

多说两句，阿佩尔和哈肯解决四色问题用到的计算机是IBM于1972年发布的370-168，共计耗时1200个小时。

但不代表当下的IBM 7090就不能解决。

IBM 7090的128KB内存不足以同时存储所有配置和中间结果，可以分批处理数据，并依赖磁带进行存储。

配置数据和验证结果会占用大量存储空间，可以使用磁带存储中间结果，确保数据在计算过程中的完整性。

「希望四年之后的数学家大会，能够听到四色问题已经被解决的好消息。」林燃最后总结道。

林燃的学术报告，对于了解计算机的数学家来说如听仙乐耳暂明，就好像拨开迷雾直接能够看到结果。

越了解计算机，越想赶快回研究所或者学校开始证明四色问题。

方法都不用自己想，林燃已经写的很清楚了。

甚至后续的数学家大会都不想再参加了。

谁先做出结果，谁就证明了困扰数学家一百多年的四色问题啊。

这

本章未完，请点击下一页继续阅读！ 第4页 / 共7页