第13章 难搞的四色猜想

四色猜想与哥德巴赫猜想加上已经被证明的费马大定理并称近代数学三大难题。

四色猜想听上去很简单，也是民科研究的重点之一。

数学语言表达为，如果将平面任意地细分为不相重叠的区域，每一个区域总可以用1，2，3，4这四个数字之一来标记，那不会使相邻的两个区域得到相同的数字。

简单来说他就是一个染色问题，将一张地图分割成无数块，能否只用四种颜色就能使具有共同边界的国家着上不同的颜色。

大道至简，这是染色问题的一种终极形态。而染色问题之所以能在数学界一席之地也是因为它的存在。

严格意义上来说，四色猜想已经被人们用计算机证明了。

1976年，数学家凯尼斯·阿佩尔和沃夫冈·哈肯借助计算机暴力破解了这个问题。

虽然计算机最后的结果是正确的，但由于证明过程太过于复杂，仅凭人类的计算能力根本无法对它进行验算。

所以直至今日，数学界只是被迫接受了这个结果，但有很多追求完美的学者无法接受用这样一种丑陋的方式去解决一个数学问题。

他们认为如果无法用算式表达出来，就永远不算解决了这个问题。

简单来说就是解决方式非主流，不具备数学美感！

张尧之所以选择这个问题，也是对染色问题非常感兴趣，再加上之前解决的也是染色问题，所有他想挑战一下染色问题的终极问题有多难，也顺道检测一下他现在到底属于什么水平！

说起来这个系统从他上大学到现在连吱都没吱一声，要不是“清醒梦”和“实验室”功能还能用他都以为这已经是一个废统了。

系统:“吱！”

“.....”

张尧:“我靠！你诈尸啊！”

系统:宿主有何事？

张尧翻了个白眼道，“没什么事，看你死机了没，好久没听到你的声音了，怪想念的。”

系统:“.....”

系统:宿主如果没事的话，本系统就告辞了。

张尧挠了挠脑袋，他就感觉离谱，仔细算来，他进去大学做的事已经不少了，但现在好像没有一件能入系统的眼的，连个反应都没。

而且都两年了，任务一个都没，这破系统，吃枣要丸！

算了，张尧觉得好不容易唤醒一次系统不能什么都不干，于是就好奇查了查自己现在的数据。

:打开面板！

系统:

宿主：张尧

身高：181㎝

体重：71kg

记忆力：天才(成长中）

想象力：天才(成长中）

专注：强

图书馆功能:清新梦(第一层)，梦中讲堂(第一层)，梦中实验室(第二层)，清新梦二倍速(第二层)，图书馆(第三层)灵感之梯，梦中实验室(强化版)。

张尧看了看数据，好像也没发现哪里出了问题。

不对，前几天和沈教授几人一起聚餐吃多了，胖了六斤，该减肥了。

不过这都是细节，没必要在意。

张尧仔细看着系统的功能，他就觉得灵感之梯就是个假的！说摸到东西会触发灵感之，结果都过了一年多了，他一次都没碰到过，他要投诉！

系统:那是你脸黑，小黑脸！明明中奖率高达百分之0.1。你一年都没遇上，是你自己的问题。

张尧咆哮道:你才黑！你全家都黑！爷这是小麦色！最健康不过的肤色了！

系统:反正和我没关系，还有，你现在研究的四色猜想不错。

张尧:不错？

系统:也算的上一个真正的问题了，现在有个任务，你接不接！

张尧:敢情我之前做的都是假的？

系统:注定会被淘汰的东西，只能用来过渡罢了。连被记录的资格都没有。

张尧:什么意思？张尧感觉他好像又听见什么了不得话了。

系统:就问你接不接吧！

张尧:接！

系统:现在触发主线任务数学系列—解决一个举世闻名的数学猜想，时间: 2年之内，任务奖励:一段视频资料。失败惩罚:第三层功能随机关闭一个！

张尧叹了口气，他现在想放弃四色猜想都不行了。一旦失败了，灵感之梯倒是无所谓(认命了)，但梦中实验室(强化版)在他未来计划里是很重要的一环。

确定好目标后，张尧全身心投入到这个问题，他疯狂的查找着四色猜想证明的相关资料，幻想着能从前人的方法里获取些经验。

然而现实却很残酷，可能由于这个问题人们已经从计算机里得到了正确答案，所以网上的资料大多都是废纸，通篇都是数学历史，干货一点都没。

唯一能让张尧提起点兴趣的还是上个世纪俄国数学家马尔可夫的一篇关于另一道染色问题的论文。

他在解决这个染色问题时用到一种比较新颖的方法引起了张尧的兴趣，这种名为马式—回朔法可以很轻