“这是一个极其关键的问题。在证明中，我们使用了图的色数 χ(G) 作为归纳假设的一部分。具体来说，我们在每一步中都选择一个顶点，将其着色，并假设该顶点的颜色是 k。”
“通过使用归纳法，我们证明了 k 实际上是该图的色数。至于最大度数 Δ(G)，我们使用它来限制邻接顶点的颜色选择，以确保相邻的顶点不会具有相同的颜色。”
“这两个参数在整个证明过程中是精确地控制和调整的。”
“下面我将给出具体的推导过程，如果到那一步什么疑问？你可以直接打断我。”
说完，初阳开始在白板上写推导过程。
大卫拿出工作人员早就已经给他们准备好了纸笔，跟着初阳的思路开始思考。
刚进行到第十三步，大卫就恍然大悟，后面的整个思路直接打开了。
初阳把推导过程写完，扭头看向大卫。
大卫幽默的说道:“我觉得您如果担任大学教授学生们会非常喜欢。有兴趣来普林斯顿大学教书吗？”
初阳微笑道:“我的英语不太好。你的中文似乎不错，我也推荐你来夏国的大学教书，顺便还可以教学生们英语。”
大卫笑着回应道:“不错的建议，我会考虑一下的。”
大卫坐了下去，初阳接着问道:“还有什么问题吗？”
又有很多数学家举手，这一次初阳正好挑选到了哈里森。
哈里森戴着翻译眼镜，和翻译耳机站起来，用那蹩脚的中文，艰难的整理出了自己的意思。
“初阳先生，四色猜想证明的一难点，是怎么处理不可平面图这些复杂的画，保证证明的完美性呢？
初阳先喝了一口水，润了一下喉咙，在脑海中开始整理哈里森的语言，把那些汉字重新排列组合起来。
他花了一分钟时间才明白哈里森的意思，开始给哈里森解释。
“处理不可平面图是一个极其复杂的挑战。我们首先使用 Kuratowski 定理来判定一个图是否是不可平面的，以便将问题分为可平面和不可平面的情况。”
“对于可平面图，我们使用 Euler 公式来建立图的性质，然后证明它们是四色可着色的。对于不可平面图，我们利用 Wagner 定理将它们归约为特殊情况，并进行详细的讨论。”
初阳又开始在白板上写写画画，尽量细致的把过程写出来。
讲完之后，他照例问道:“明白了吗？”
哈里森点头道:“明白了。”
初阳在示意他坐下的同时补充了一句。
“这位先生可能需要学习一下中文了。我刚刚差一点没明白你的问题。”
哈里森坐到了椅子上，也幽默的回应道:“我也可以选择来夏国当教授，这样我给学生们教授数学，学生们可以教我中文。”
初阳笑道:“当然可以，这是个不错的选择。”
喜欢制造核聚变，被人误以为灵气复苏请大家收藏：(m.2yq.org)制造核聚变，被人误以为灵气复苏爱言情更新速度全网最快。