三四中文

手机浏览器扫描二维码访问

第6章（第1页）

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

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

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

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

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

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

即四色定理成立！

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

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

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

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

布伦达还有些不太习惯。

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

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

“四色定理，那是一个多么没有意思的东西，”

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

布伦达喝了一口咖啡，“下午茶时间人数好像少了些，”

他享受着阳光照射在自己身上，“说实话，我也收到了两篇声称自己证明了四色定理的论文，你倒是提醒了我，等会我可以回去看看。”

“真是疯了，四色瘟疫难道还要流传到普林斯顿来。”

迈克尔-埃森曼嗤笑说道。

“这正是它的魅力，从一百多年前，学生们就对这个问题感兴趣，现在显然，它再一次成为了潮流。”

布伦达说。

“相比于从一百亿张照片里寻找真理，现在的人难道不是更喜欢在arxiv的争论当中现捷径吗？”

另一位教授说着说着，自己也笑了起来。

在1976年以后，阿佩尔和哈肯史用计算机列举了成千上万张图片来证明四色定理成立，在之后西谬尔也利用更加先进的计算机再次证明了四色定理。

现在的人争论的是四色定理的标准数学证明应该花落谁家。

布伦达无奈笑着，“经过你们这么一说，我更加有兴趣了，看来接下来的几天，我是无法参加下午茶了。”

他回到自己的办公室，吩咐好自己的助手，让别人不要打扰他之后，他开始了自己的工作。

关于四色问题，他也有相当多的了解，肯普链缠绕的问题，到了他们这个层次需要花点心思，但还是可以看得出来，但是证明可就不一定的。

格林戈那没有话，按照他那好强的性格，肯定也是想要一举证出四色问题，毕竟泰特的证明也确实有些新意，将四色问题的证明推进了不少。

但是现在也许晚了。

在研究了三天之后，布伦达只能表示对格林戈那的惋惜。

这位来自华夏某所大学的教授or学生摘下了四色问题的桂冠。

逻辑严谨，陈列紧凑，证明优美再加上天马行空的想象力，让布伦达再次感受到数学那种有序的美！

所以他回给编辑的话无一不是称赞