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

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

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

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

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

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

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

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

至于说外卖系统？

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

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

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

嗯？

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

四色定理？

难道刘浩在研究这个？

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

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

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

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

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

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