论，让我们回到最开始、最原始的快乐。”

    林燃走向黑板，他的话无疑让在座数学家们都燃起了兴趣。

    确实就像林燃所说的那样，不是每个人都能理解他讲的内容，更不是所有人都会对伦道夫纲领感兴趣。

    台下讲话声四起，大家都很好奇林燃要讲什么，同时也在讨论大家最开始最原始的快乐是什么。

    和西格尔坐在一起的多伊林问道：“教授，伦道夫要讲什么？”

    西格尔摇头：“不知道，不过你可以想想自己围绕数学最开始的快乐是什么。”

    多伊林有些迟疑，“是解决问题带来的快乐？”

    还没等台下的数学家们讨论出结果，林燃的声音已经响起：

    “最开始我们学习数学都是从解决现实世界的问题开始。

    比如一个苹果加一个苹果是多少个苹果，十个手指摆在一起，多几个少几个之后是多少。

    最开始的数学是为现实世界提出指导，不过慢慢的它越来越抽象，越来越抽象，我们无法再从现实世界中找到对应的现实问题。

    它成为纯粹的逻辑思维游戏。

    不管它有没有现实意义，我就是得找到答案。

    这很好，这当然很好，数学代表了人类智慧的极限。

    在座各位就是人类极限的探索者。

    但我现在还是想讲讲现实世界有关的问题，给大家引入一些新的概念。

    我今天的课题是四色问题。”

    林燃在身后画出一个不规则的圆，然后将它分成不规则的四块，用不同颜色的粉笔涂满四块。

    “四色问题是指是否任何平面地图都可以用不超过四种颜色着色，使得相邻区域颜色不同？”林燃说。

    “四色问题的理论框架基于图论和组合数学，这些属于初等数学的范畴，相信在座每个人都能听懂。

    接下来就让我们开始吧。

    我们将地图上的每个区域看作图中的一个顶点。

    如果两个区域有公共边界，则在图中用一条边连接这两个顶点。

    这样，地图着色问题就等价于给图的顶点着色，使得相邻顶点颜色不同，且总共不超过四种颜色。

    也就是说证明任何平面图中都必然包含某些特定子图结构，这些结构无法避免出现。

    那么对于每种不可避免的配置，证明如果一个大图包含这种配置，可以通过简化，例如移除或合并某些顶点或边，将其转化为更小的图，且不影响四色定理的成立。

    这样就把这个问题简化了。”

    林燃接着说：“当然四色问题不止这些。

    我们还需要引入一个叫放电法的图论技术。它是我基于肯佩教授的链方法和希伍德教授在证明五色地图定理过程中对图的顶点度、面度分析的方法后思考出来的一种新的方法。”

    林燃简单介绍了一下链方法和五色定理的证明后接着说：

本章未完，请点击下一页继续阅读