刘浩走后,林城很快便批改完了剩下的几张卷子,闲极无聊,他在刘浩的办公室内转了起来。
自始至终,他的脸上都洋溢着喜悦的笑容。
能够和最好的朋友重逢,林城只感觉自己浑身的每一个细胞都充斥着喜悦。
要知道,在获得外卖系统之前,林城最大的愿望除了挣钱之外,就是早点碰到这位儿时的好兄弟。
现在多年的愿望终于时间,他的心情自然相当不错。
他现在甚至已经看在考虑刘浩在江城的这些日子里,他要带刘浩去什么地方玩。
反正陈锋打了招呼之后,林城现在上下班的时间已经相当随意,就算他一年不去送外卖,美团也绝对不会开除自己。
至于说外卖系统
反正以后有的是机会触发系统任务,晚上十天半个月也不算什么。
在办公室转了一会儿,林城又重新坐在了椅子上。
他随手从桌子上拿了个本子看了起来。
嗯
待看到本子上的内容后,林城脸上露出了一丝惊讶的表情。
四色定理
难道刘浩在研究这个
在这个本子上,林城只看到了一个题目,但是在下方却没有丝毫的证明过程。
四色定理的前身是四色猜想,是世界三大数学猜想之一,同时也是世界近代三大数学难题之一,其定理的内容是平面内不可出现交叉而没有公共点的两条直线。多人证明了二维平面内无法构造五个或五个以上两两相连区域,但却没有将其上升到逻辑关系和二维固有属性的层面,以致出现了很多伪反例。
林城手中的这个笔记本上写的问题,便是四色猜想逻辑证明的过程。
看到笔记本上的这个题目,林城心中暗道,看来自己的朋友的心不小呀,竟然想要攀登这个难题。
说起来四色猜想虽然已经被证明,但是那只用计算机做了百亿次的判断,并非给出证明技巧,只能说是只是在庞大的数量优势上取得成功。
也正是因为如此,在很多数学家眼中,四色定理并不是那么完美。
他们想要通过严密的数学逻辑体系证明四色猜想,可是时至今日,依旧没有人能够成功。
原本林城对数学并没有什么太大的兴趣,不过现在他拥有了数学大师的能力,也让他对这些世界级的难题产生了一丝兴趣。
看着手中的笔记本,林城沉默不言。
即便他现在拥有世界最顶尖数学家的能力,但是在面对四色定理的时候,他依旧感觉没有什么思路。
当然,他也可以按照常规的方式进行证明,但是林城不想这么做,因为这么多年,不知道多少数学家都已经这么做过了,但是他们都没有成功,换言之,想要用正常的方式解开这个问题,成功的可能性恐怕不大。
如果想要找到证明这个问题的方法,除非是另辟蹊径。
可是该怎么做呢
林城盯着手中的笔记本,坐在那里一动不动。
如果不知道他在干什么的人,一定会认为林城正在发呆,但是实际上,他们却不知道,此刻,林城的大脑正在疯狂的运转,无数种可能,无数种证明思路,都在他的脑海中不断的闪现出来,又一一被他否定。
在尝试了无数种可能的组合后,林城还是摇了摇头。
在他看来,这个四色猜想简直就是长满了尖刺的仙人掌,让人根本无法下手。
可惜,自己得到的知识还是太少了。