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

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

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

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

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

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

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

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

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

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

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

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

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

系统:“吱！”

“.....”

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

系统:宿主有何事？

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

系统:“.....”

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

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

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

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

:打开面板！

系统:

宿主：张尧

身高：181㎝

体重：71kg

记忆力：天才(成长中）

想象力：天才(成长中）

专注：强

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

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

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