棋笔趣

第6章 需要小修（第1页）

「Minor revision」意味着需要小修，只需要简单的修改一些地方，基本上没有什么大的问题。

当时保罗为他找到的审稿人是哈密尔顿-阿伦德尔、杜森-奥布里、布伦达-加德纳。

这三位数学家在「N-P」、图论方面上有着卓越的成果。

本质上四色问题属于一个「n-p hard」问题，即可用一定数量的运算去解决多项式时间内可解决的问题。（1）

简单来说，就是用四种不相同的颜色可以使同一张地图上相邻的国家着色，是一个常识，大家很容易用列举来说明这是正确的。

但是要用一种具体的具有逻辑的数学语言来说明这个问题非常的困难。

目前倾向于「n-p hard」问题不存在精确算法。

而泰特正是运用了近似算法证明四色问题，他结合了前人的经验，推陈出新，宋问声却看出了其中的致命漏洞，那就是依旧无法解决肯普链缠结的问题，这会使得为了解决问题设计的图形完全扭曲崩溃。

而宋问声的证明过程就是在泰特的基础上，不局限在平面问题，运用匹配思想，从子问题追根溯源，证明母问题，然后反过来推导最极端的情况。（2）

即四色定理成立！

在接到两篇需要他审的稿件的时候，布伦达自己的课题陷入了停滞状态。

用尽了他目前所能想到的办法都没有用，一般这种情况，他是不会把自己关在房子里拼命思考，而是选择换换脑子。

听听音乐，要不然参加一下舞会，或者教授们的下午茶时间，或许也会偶有所得。

下午茶时间，格林戈那并不在。

布伦达还有些不太习惯。

格林戈那向来是个喜欢热闹的家伙，只要他在，无论是那个场合，格林戈那都是最活跃的那个，哪怕是开场稍显沉闷的下午茶也会妙趣横生。

现在格林戈那不在，他还有些奇怪。

“四色定理，那是一个多么没有意思的东西，”迈克尔-埃森曼这么说道，他脸上的胡子并不是定期打理，因此显得有着粗狂，这和他牛仔一样的脾气和性格相似，“要我说，这些古板的，追寻一个刻意见解的东西，时间不应该浪费在这上面。”