第三卷 第221章 四色定理（1 / 2）

刘浩走后，林城很快便批改完了剩下的几张卷子，闲极无聊，他在刘浩的办公室内转了起来。

自始至终，他的脸上都洋溢着喜悦的笑容。

能够和最好的朋友重逢，林城只感觉自己浑身的每一个细胞都充斥着喜悦。

要知道，在获得外卖系统之前，林城最大的愿望除了挣钱之外，就是早点碰到这位儿时的好兄弟。

现在多年的愿望终于时间，他的心情自然相当不错。

他现在甚至已经看在考虑刘浩在江城的这些日子里，他要带刘浩去什么地方玩。

反正陈锋打了招呼之后，林城现在上下班的时间已经相当随意，就算他一年不去送外卖，美团也绝对不会开除自己。

至于说外卖系统？

反正以后有的是机会触发系统任务，晚上十天半个月也不算什么。

在办公室转了一会儿，林城又重新坐在了椅子上。

他随手从桌子上拿了个本子看了起来。

嗯？

待看到本子上的内容后，林城脸上露出了一丝惊讶的表情。

四色定理？

难道刘浩在研究这个？

在这个本子上，林城只看到了一个题目，但是在下方却没有丝毫的证明过程。

四色定理的前身是四色猜想，是世界三大数学猜想之一，同时也是世界近代三大数学难题之一，其定理的内容是平面内不可出现交叉而没有公共点的两条直线。多人证明了二维平面内无法构造五个或五个以上两两相连区域，但却没有将其上升到逻辑关系和二维固有属性的层面，以致出现了很多伪反例。

林城手中的这个笔记本上写的问题，便是四色猜想逻辑证明的过程。

看到笔记本上的这个题目，林城心中暗道，看来自己的朋友的心不小呀，竟然想要攀登这个难题。

说起来四色猜想虽然已经被证明，但是那只用计算机做了百亿次的判断，并非给出证明技巧，只能说是只是在庞大的数量优势上取得成功。

也正是因为如此，在很多数学家眼中，四色定理并不是那么完美。

他们想要通过严密的数学逻辑体系证明四色猜想，可是时至今日，依旧没有人能够成功。

原本林城对数学并没有什么太大的兴趣，不过现在他拥有了数学大师的能力，也让他对这些世界级的难题产生了一丝兴趣。

看着手中的笔记本，林城沉默不言。

即便他现在拥有世界最顶尖数学家的能力，但是在面对四色定理的时候，他依旧感觉没有什么思路。

当然，他也可以按照常规的方式进行证明，但是林城不想这么做，因为这么多年，不知道多少数学家都已经这么做过了，但是他们都没有成功，换言之，想要用正常的方式解开这个问题，成功的可能性恐怕不大。

如果想要找到证明这个问题的方法，除非是另辟蹊径。

可是该怎么做呢？

林城盯着手中的笔记本，坐在那里一动不动。

如果不知道他在干什么的人，一定会认为林城正在发呆，但是实际上，他们却不知道，此刻，林城的大脑正在疯狂的运转，无数种可能，无数种证明思路，都在他的脑海中不断的闪现出来，又一一被他否定。

在尝试了无数种可能的组合后，林城还是摇了摇头。

在他看来，这个四色猜想简直就是长满了尖刺的仙人掌，让人根本无法下手。