第三卷 第221章 四色定理
作者:无言      更新:2022-03-24 00:16      字数:2384
  刘浩走后,林城很快便批改完了剩下的几张卷子,闲极无聊,他在刘浩的办公室内转了起来。

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

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

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

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

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

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

  至于说外卖系统?

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

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

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

  嗯?

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

  四色定理?

  难道刘浩在研究这个?

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

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

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

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

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

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

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

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

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

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

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

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

  可是该怎么做呢?

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

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

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

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

  可惜,自己得到的知识还是太少了。

  关于基础学科方面,自己现在唯一会的技能就只有数学大师和物理专家,黑客方面的知识勉强能够和这个沾点边。

  等等!

  黑客!

  陡然之间,他脑中猛地划过一道闪电,一种明悟的感觉陡然浮现在他的心头。

  他感觉自己或许可以用黑客的思维试着证明下这个四色猜想的逻辑关系。

  想做就做,他二话不说,直接拿起这个本子,开始在上面写起了自己证明过程。

  他写字的速度飞快,看他的样子,仿佛不需要思考一样,没过多久,一页纸便写的满满腾腾。

  此时,办公室显得格外的安静。

  除了笔尖和纸张摩擦发出的沙沙声和翻动纸张的声音,便再无其他。

  林城仿佛已经忘记了时间的变化。

  就在这时,拿着快递盒子的刘浩已经走进了办公室,他本来想和林城打声招呼,可是看到林城仿佛疯魔了一样的情况,顿时吓了她一跳。

  他连忙走到林城身边,想要看看林城在干什么。

  只是当他看到林城正在写的内容后,刘浩整个人如遭雷击一般,站在那里一动不动,脸上更是露出了震惊的表情。

  四色定理的证明是他老师给他的课题,用他老师的话来说,能够完成最好,完不成也无所谓,算是开阔眼界了。

  毕竟这个定理的难度摆在那里。

  自从得到这个课题后,他已经研究了快三个月的时间,各种证明方式他也用了不少,不过都没有成功了。

  不过即便如此,他对四色定理也绝对有深刻的理解。

  也正是因为如此,他一眼就看出了林城在写什么。

  只是这样更加让他感到震撼,眼前这个奋笔疾书的人还是自己的那个童年的好朋友吗?

  虽说有士别三日当刮目相待的说法,但是林城的变化未免也太大了吧?

  以他的眼光,自然能够看得出,林城根本就不是在瞎写,而是真的有了想法和思路。

  更加让他感到激动的是,林城的这种证明方式,根本不是他所知的任何一种常规的证明方式。

  莫非他找到了一种新的证明方式?

  想到这里,刘浩的脸上浮现出激动的表情。

  此时,刘浩已经不准备打断林城了,他看出来,现在的林城俨然已经进入到一种奇特的状体之中,一旦打断他,说不定连证明思路也会被打算、。

  刘浩渐渐的被林城的证明方式吸引了,可是随着时间的流逝,随着林城证明过程的不断深入,刘浩的眉头逐渐皱了起来,

  因为他发现自己有些看不懂林城的证明过程了,里面涉及到的各种逻辑关系太过复杂,也太过深邃。

  他感觉自己大脑的运算能力已经达到了极限,或许是用脑过度,他甚至感觉大脑一阵阵的眩晕。

  刘浩使劲晃了晃脑袋,想让自己变得清醒一些。

  当他再次看向林城的时候,那眼神就仿佛再看一个怪物。