预测老林车祸可能落点。
屏幕上的题目,和在另一个时空中,曾困扰了她整整半年多的那个问题,有很大程度的相似。
也就在这座城市的宿舍和旧车库里,在无数个炎热的日日夜夜间,在她一无所知的情况下。她一点点向前,不断试图解决对她来说高山一般的难题,并努力找到了突破口,最终获得回来的机会。
而现在,那个时空的问题忽然变换形式,出现在这个时空的她面前。她再度感到一种冥冥之中的因果。
不可说、不能说、却似乎又真实存在的因和果。
但现在的她和芝士世界的她已经完全不同。
她不再无知,也不再孤身一人。
她的身边,还坐着两个优秀的队友。
第161章 队友
林朝夕被人重重拍了记肩。
她猛一转头, 老王若有所思地看着她。
“徒儿,你是挂机还是系统延迟响应, 为师呼唤你许久啊。”
“也可能是死机。”阿光插嘴。
“不管怎样,答案已经昭然若揭了吧!”
阿光眼睛睁得老大, 眼中爆发出兴奋的神采。而老王则眯起眼, 一副胜券在握的样子。
林朝夕望着他们, 决定把刚才那段最后一句话擦掉。
她不由自主想起在挑选队员时,裴之说的那些话。
她问裴之, 挑选队友是否要找那些能相互体谅的朋友。
裴之说:找到目标一致的队友。
老王的目标是拿奖金, 阿光的目标是帮助老王拿奖金,她的目标是赢。综上考虑,该选哪道题确实已经昭然若揭。
“咳”老王清了清嗓子, “按照大会章程,为公平起见,以示民主, 我组将用不记名投票方式, 票选题目。”
老王说完,刺啦一声, 撕下笔记本上一页纸,随意扯成三瓣递给他们。
林朝夕看着面前的白纸,周围是同样参赛建模大赛同学们的讨论声。
“就选这个, 就选这个。”
“日哦,押题也太准了,我们赶紧开始吧, 时间紧任务重。”
四周是这样的声音,她从书包中拿出笔袋,老林写的那封信被压在下面。
她拉开笔袋拉链,握住铅笔,却迟迟没有写下她的选择。
老王和阿光已经早早写完,把纸团扔到桌子中间,就等她。
这完全是毫无意义的举动,但这样的仪式让他们这些以数字为生的人很有安全感。
林朝夕掌心微湿,她放下铅笔,看向老王和阿光,郑重地道:“我想选b。”
那时她已经打好腹稿,准备长篇大论说服两人。可老王很不满地“欸”了一声:“徒儿你这样太没意思了!”
林朝夕很愧疚,想开口解释,却听老王说:“要的就是摸奖那刻的激动心情,你这么泄底太无趣了!”
“还是太年轻了啊。”阿光摇头晃脑,跟着批评她。
两人很不开心地掀开自己的纸团。
b。
还是b。
像被阳光突然照进心底,林朝夕雀跃不已。
但她还是很认真地问他们:“师傅,你不是想要外星人,为什么不选一道把握更大的题目?”
老王抄起圆珠笔,砰地弹了下她的脑袋:“小点声,知道什么叫隔墙有耳吗?”
林朝夕赶忙压低声音,把问题问了一遍
“你是不是傻,大家都会选a题,我们选b,岂不是另辟蹊径,获奖概率更大?”老王的声音轻若蚊吟,做贼一样。
林朝夕点头。
“麻瓜肯定选简单的题目,但我们不一样啊,我们需要挑战!”阿光很兴奋地喊道。
林朝夕继续点头。
“那就这么决定了!”老王愉快地说道
——
电脑教室里开着几十台机器,还有几十位同学在热烈讨论。无论空调开得多低,都压不住这里热火朝天的气氛。
再一开始的兴奋和激动过后,林朝夕很快静下来。
虽然这道追击逃犯问题,和预测老林车祸问题非常相似,但他们仍有不同。
按照事先制定的策略,他们三个开始仔细审读题目,并发表各自看法。俗称头脑风暴。
老王又开始老干部模式主持会议:“大家各自说说自己的看法,这个题还是很有难度的。”
阿光打开附录中的文档,里面记载了密密麻麻的通话记录:“相当阴险啊,这些报警里,肯定有虚假警报和真实警报,需要把他们区分开。”
“如何区分?”老王问。
“贝叶斯网络。林朝夕说。
“嚯!”老王深吸一口气,“徒弟你年纪不大,口气不小!”
“我们可以对每个目击事件赋予一个概率,概率越大,它就越可能发生。”林朝夕说着,拿过草稿纸。她先在上面画上简易地图,又打上网格。
“把地图分成相同大小的网格,以n和e表示其经纬度,t为时间,p(n,e,t)为逃犯在某一时刻出现在某一位置的概率。”
老王和阿光敛眉深思。
老王:“然后按照时间顺序,不断更新?”
林朝夕点头。
“我觉得可以。”阿光说,“首先给每一方格赋予不同的先验概率,利用目击事件似然更新每个小方格的后验概率p(i,j)。”
“对,其实就是根据目击报告,结合交通状况、道路桥梁构架、历史数据,不断给每个方格赋予新的值。”
“比如这条和这条。”林朝夕用手指着报案记录中的两条报告,“一条显示逃犯在城东,另一条显示在城西,但如果前一个时刻报告也显示嫌犯在城东,那么城西的报告显然可信度偏低。”
“也正因为这样,在t+1时间内,城西这条道路附近目击事件的赋值更高。”老王接着说。
“嗯。”
“所以要用贝叶斯网络?”老王说,“重复多次使用贝叶斯定理,随着证据越来越多,不断更新后验概率,弥补主观判断赋值后造成的偏差?”
“是啊。”林朝夕说,“也就是说,我们可以同时考虑在每一个时间截点上,逃犯可能出现的所有位置,得到一张概率分布图,这张图上的数值是不断更新着的……”
“是你个头!”老王震悚,“你这思路也太清奇了吧?让我把你的脑子敲开看看!”
“我比较聪明?”林朝夕赶紧躲开。
阿光已经在纸上打了不少草稿,忽然抬头:“妈的,无法反驳,你确实聪明。”
他说。
——
林朝夕其实很惭愧,这是她深入研究车祸问题,花了很长时间才得到的思路。而老王和阿光看上去却是一点即通,接下来的讨论,就变成老王和阿光同学的主场。
一般来说,建模大赛的参赛团队必有分工。一人负责建模;一人作为论文主笔,而剩下最后一人,则负责程序编写数据生成校验。
按照他们事先制定的计划,老王负责建模,阿光负责编程,而她做更基础的文字工作,构建论文框架,撰写论文。
但……
“为什么你觉得python更好,matlab仍是科学计算的第一工具,在数学建模里最好用,工具箱也多,有数不清的成熟模块可以调用。”阿光说。
“但python里面的第三方模块也很多,其中numpy模块可以使python像吗matlab一样直接处理大型矩阵,scipy模块里封装了大量算法,matplotlib模块可以使python画出大量函数图。总而言之,python可以替代matlab中大部分功能,并且有matlab无法替代的一些优势。”
“python是很好,但我没深入学过,我用matlab顺手。”阿光想了想,继续说,“你说的这些我没有验证过,是否真的好用,还存疑。”
林朝夕:“请相信我。”
“但既然我负责编程,难道不应该你相信我?”阿光说。
林朝夕有点不知该如何反驳,想了想,她问:“如果我坚持呢?”
“那就你来负责编程。”
阿光心直口快,直接这么说,林朝夕却愣住。
按照事先安排,她做的一切准备都和撰写论文相关,编程方面的问题则很放心地交给了阿光。现在阿光这局“那就你来”,等于推翻她之前的所有准备。
但站在阿光的立场上,如果他负责编程,他们就应该相信他的判断,他其实也没错有。
可问题是,她只在这个领域上,比他们了解得更多一些,她更相信自己的判断。
在一番的热烈讨论后,教室里安静不少。很多小组也像他们一样,在经历最开始的兴奋,着手解题后,就遇到了许多不可避免的纷争。
各个小组内爆发小规模争吵,有的为选题,有的为思路。当然,也有小组和他们一样,因分工变动而开始新的辩论。
在互相说了一些负气话之后,连带整个教室的氛围都冷下来。
时间一晃而过,已经到了中午。
这时,解然又溜达过来,他扫了一眼机房里各组的情况,似乎对一切了然于胸。
他慢悠悠走上讲台,拍了拍手,笑道:“打断一下,你们不饿吗,要不要去吃点泡面?”
四周鸦雀无声,没有人说话。
“那去食堂吃点饭吧。”解然一副吃饱喝足的模样,“1食堂鸡腿不错。”
还是没人响应。
“都出去走走吧。”一道清澈平静的声音从教室最后角落响起。
一直坐在教室最后裴之不知何时站了起来,机房里终于有了除电脑运行外的小骚动。
“我们还在讨论。”
“时间这么紧,就不吃饭了吧。”
“学长……”
和解然好言相劝的态度不同,裴之显得出人意料的强势。他没有说话,只是站在那里,就令人必须考虑他的建议。
林朝夕深深吸了口气,明白裴之的用意。她率先站了起来,拍拍老王的肩,并对阿光说:“走吧,我们去吃饭。”
老王愣了下:“徒儿,女人都像你这么善变?”
林朝夕:“我现在是女人了?”
“对不起、对不起,我给忘了。”老王立刻道歉。
林朝夕一马当先,纯爷们地走出沉闷机房。
来到开阔室外,被拂面春风一吹,压力顿时消散不少。
一级级走下楼梯,林朝夕感到自己是真的肚子饿了。她踏下最后一级台阶,扶住栏杆,腿软。
老王和阿光走在前面,回头看她。
“你怎么了?”阿光问。
林朝夕捂住肚子:“饿。”
“这么突然,你们女人真的善变!”阿光道。
林朝夕看着不远处的男生,阳光下,他一脸纯真。
其实没什么好纠结的,摆在她面前的选择就很简单,编程这件事,要么阿光做要么她做。
她对阿光说:“我熟悉python,我可以来写程序,如果你们放心的话。”
阿光也很干脆:“那行,你也可以教我,我们一起研究看,matlab也未必不可以和python互补。”
“论……论文呢,谁来做?”老王震惊了。
“反正要查资料,我和林朝夕一起做吧,我们一起先写综述和框架。”
“你们什么时候这么团结了?”
林朝夕没回答老王的问题,而是对阿光说:“到写程序的时候,我可以先写,你再检查。论文的话你先写骨架,我在校修一些细节问题,字体格式什么的。”
“可以。”
“那我只用负责建立求解问题的数学模型?”忽然,老王像想明白了什么,表情纠结,他咂了咂嘴:“我……怎么有种被带躺的感觉?”
林朝夕笑了:“不不不,我们全靠王老师。”
第162章 简洁
从某种意义上, b题和a题处于不同难度级别。
半小时午饭后,就再没有空闲时间。
他们三个重新坐回电脑前, 开始紧张的工作。
建模大赛就是这样,同样题目, 不同的参赛小组会有不同解题思路。更别提过程中方法选择的差异, 落实到结果上, 更是千差万别。
而林朝夕也很清楚,他们选择的方法, 注定了他们的过程不会轻松。
下午时, 天气逐渐闷热,像要下雨,教室里开起了空调。大家手边都是一擂稿纸, 一擂参考书。敲键盘和鼠标点击声,此起彼伏,反而讨论声逐渐变小。
和其他小组相比, 他们的进度显得缓慢。
毕竟涉及实际交通问题的, 模型设计显然会更加复杂。并且组委会给出的城市真实存在,真实也就意味更多的变量。
在赋值过程中究竟考虑哪些而忽略哪些, 是需要认真衡量的问题。
林朝夕曾看过相关领域大量论文,但那是在7年前,7年中的新研究不知多少。幸好她回来以后也没有放弃, 大致重新梳理过。
在不让老王和阿光怀疑的情况下,她快速找到相关重点论文。分了下工,大家一起研究, 而这么一看,时间已经到了傍晚。
再抬头时,窗外的天都快黑了,林朝夕揉揉眉头,强迫自己停一停。
他们这伙人最大的优点是专注,但有时候太专注容易让人忽略时间。
“你们还没开始写吗”有同学经过她身后,看到空白的文档,小声的问了一句。
“时间还早,不急吧。”
阿公和老王都沉浸在论文里,没时间回话,林朝夕于是说道。
“哇你不看群的吗?老张他们组都快把论文粗稿写完了,你们居然还没动笔?”
“这么快啊。”林朝夕说。
“我的天哪,你们居然选了b。”那位同学又看了看老王的屏幕,震惊的道
“是啊。”林朝夕答。
“太艺高人胆大了吧,a难道更有把握?老张他们选的就是a,据说之前还用这道题做过模拟,所以论文出的特别快。”
“哦,那就难怪了。”
大概是她态度不咸不淡,那位同学自觉无趣,耸耸肩,直接走了。
老王回过神,皱了皱眉:“我们很慢吗?”
林朝夕点开了一张表格,上面是按项目管理制定的时间表,她指着资料阅读的截止时间说:“其实还好,反正,就是压缩点睡觉时间。”
“那就行,按我们自己的步调走。”王老师很潇洒的说。
林朝夕点了点头。而阿光自始至终都没有参与讨论,一直翻阅论文和资料,不停做着笔记和摘录。
72小时非常短暂,如果按照百分比,他们的任务完成情况可能不到百分之十五,但时间已经过去百分之十二、三。
就算这样,他们还是决定把大量精力放在前期准备上。准备越充分,方向越明确,后期需要调整修改的次数就越少,可以一鼓作气完成整篇论文,这就是他们的想法。
嘴上说要压缩睡眠时间,但到半夜12点,林朝夕还是让老王和阿光停下。
机房里少了三分之一的人,空调也关了,两边的窗都打开,夜风横贯教室,吹得一些桌上的书本和塑料袋猎猎作响。
经验贴里说,比赛第一、二天鲜有人熬夜,而第三天晚上大家肯定都不会睡。但他们因为选题问题注定比其他队要花更多,所以得用车轮法,轮换休息。
“你们回去睡一会儿吧,明天早上来替我。”林朝夕说。
老王:“女孩子不能熬夜。”
林朝夕:“我又不是女孩子。”
阿光打了个很大的哈欠,眼泪都出来了:“要去睡就一起,要干活也一起。”
阿光执拗起来,非常难办,林朝夕揉揉眉心。
“有什么问题吗?”
裴之的声音响起。
林朝夕抿了抿唇,只听阿光说:“林朝夕不肯跟我们一起去睡,想一个人熬夜。”
话虽然说的没错,但总之听上去怪怪的,林朝夕扶住额头,很虚弱地叹了口气。
裴之:“太团结不是好事,对比赛来说,取胜才是唯一目的,只有为获胜而采取的共进退和付出才有意义的。”
林朝夕也不知道裴之是怎么长的?为什么就对这些问题看得特别清晰,有时近乎冷酷,但他是对的。
她站了起来,对老王和阿光说:“现在应该轮到你们着手建模了我去睡一会儿,明天晚上写程序和论文的时候换我熬夜。”
她收拾了下东西,从书包里掏出之前就准备好的小盖毯,要下楼。
“你不是走读生,去哪睡?”老王问。
“不瞒你们说,我早就看好图书馆一楼的沙发。”
“你有多久没下楼了?”阿光也问。
“你忘了他夜宵还是我们给带的。”老王说。
林朝夕不明所以。
这时,裴之直接拿出手机,打开微信群的一张图。
那是图书馆沙发的实时照片,所有沙发都已经被参赛成员占领。
黑暗里,每个位置上都鼓着一个包,看上去竟然很喜剧效果
林朝夕又好气又好笑,干脆拿着被子往隔壁同楼层其他教室。
她找了个空教室,把几张椅子拼起来,躺在上面,凑合睡一夜。
其实经历了一整天强脑力活动,她不可能睡得着,只有闭目养神。
迷迷糊糊中,她总会想到了一些新思路,又会把手机拿出来,记下关键点。
睡睡醒醒,她就这么休息了六个小时整。
早上7点,闹铃响,林朝夕刚爬起来,还没来得及把盖毯和桌椅收好,就和走进教室的同学撞了个正着。
教室里的椅子并在一起,上面还有条毯子,男生怔在门口。
林朝夕赶紧把桌椅归为,折好毯子,用手整理了下头发,迅速逃出教室。
和男生擦身而过时,她听对方问:“你是参加建模比赛的?”
“是啊。”
“那挺不容易的,我明年也想参加,加油啊。”
“啊……谢谢你!”林朝夕说。
——
早上7点多,天已经很亮了。
老王和阿光还坚守在机房,但已基本处于弥留状态。
林朝夕很惊诧发现他们两个都把问题分析、模型假设都做完了,包括所有使用的公式和大致算法都列得清清楚楚。
林朝夕在他们身边坐下,直接从头到尾看了一遍两人通宵合作的结果。
她和他们沟通了几个问题,最后说:“我大概明白了,接下来交给我,你们先去睡吧,定一个12点的闹钟。”
“行。”
老光和老王也没有废话,站起来就走。
林朝夕又仔细看了遍老王和阿光做的东西。他们两个对模型和算法的造诣显然比她更深,据此,林朝夕开始写论文综述。
又是一个上午时间过去,而林朝夕之所以察觉到中午,是因为有同学端着泡面准备进机房吃,立刻被其他饥肠辘辘的同学集体哄了出去。
时间紧迫,每个人都知道这点。
思路被打断机会,林朝夕终于想起拿手机。她给阿光和老王发了条微信,请他们带三明治过来。
12点半,两人准时到达机房。林朝夕把写完的东西给他们一人发了一份,趁着他们看论文粗稿的机会,她拿起三明治,跑到教室外长廊里大口大口吃了起来。
校园笼罩在春末的雨幕中,放眼望去,整个校园被五彩斑斓的雨伞覆盖起来。
等她回来,他们也差不多看完。
word文档中,论文主题轮廓已成型,综述也写完了。而做到这一步,整个问题的解决方案已经有了清晰框架。而接下来,就到了从理论到具体的实践环节。
说起来也只是过了一天半时间,但72小时赛程其实已所剩不多。看教室里的情况,有些小组已经完成论文开始修改润色,他们却连程序都没开始写。
林朝夕和阿光聊了聊python的问题。光神倒是很干脆直接打开网上的教程,说了句“你先写,我先学”,就对照教程边自学起来。
差不多到傍晚时分,他关掉所有教程,说:“古人诚不欺我。”
“哪位古人?”林朝夕随口问道。
“周阿平说,任何软件只要你用心学,在一天时间内总能学会。而我比较聪明,所以半天搞定了。”
林朝夕:“周阿平是谁?”
“你强迫我们看的获奖经验里其中一篇文章的作者。”
林朝夕无语凝噎了一会儿,然后折过电脑屏幕,开始和阿光凑在一起研究编程。
因为问题复杂度的原因,之后的一个晚上时间,他和阿光都在写程序和调参数。
虽然准确来说,他们连第一问的答案还没完整做出。但林朝夕已经觉得效率惊人,毕竟同样的问题如果让她一个人来做,可能会花上一两周的时间,但有阿光和老王,这个过程显著加快。
而这两位大神的作用不止如此,他们在数学方面的造诣确实非常深。在经过他们的分析后,林朝夕甚至对老林的车祸问题有了更明确清晰的思路。
她也暗中记下了不少关键点,准备在比赛结束后完善她的车祸预测模型。
时间又在不知不觉中过去。
正式跑一遍程序后,林朝夕揉揉酸涩,肿胀的眼睛。阿光已经趴在桌上睡着,老王还处于弥留状态。
林朝夕推推他们,说:“你们去睡吧。”
两人像木乃伊一样呆滞地走出教室,留在教室里的人也越来越少,还有些同学直接趴在桌上睡,发出了响彻整个教室的呼噜声。
可林朝夕却不觉得吵,反而有种安宁感。
她开了罐红牛,喝了一口。现在还有功能性饮料喝,已经比她和包小萌在车库熬夜的时候好上太多。
但应该是冰凉饮料下肚,她感到胃里一阵抽疼,随后浓浓饥饿感袭来。她揉着肚子,明明也吃了晚饭,但怎么就又饿了呢。
和胃一样,机房里也很冷。白天下了雨,到晚上雨停了,气温却跟着下降。
她放下红牛,从包里拿出毛毯,老林写的那封信又跟着掉了出来。
林朝夕弯下腰,这封信简直像老林同志本人。总是压在书包底下装作讳莫如深,却又会突然蹦跶,像在关心着她,想对她有所帮助。
其实还是有帮助的。
在老王和阿光剖析和重构后,林朝夕才更加理解老林写在信里的这句话。
大千世界,纷繁复杂。
她之前最大的担忧是在预测车祸的过程中,她所考虑的影响因素是否够多,该如何处理诸多突发状况。
但老王和阿光的思路反而很简单,因为他们面对的是一道题目,而不是现实的生死攸关的问题。所以究竟应该考虑哪些忽视哪些,他们的选择会更加理性而简洁。
老林写——我们只是在试图了解世界,努力接近真相。这其实很像统计学家博克斯的那句名言“所有的模型都是错的,但有些却有用”。
她并不需要在车祸预测中考虑所有问题,最好的模型有时往往是最大程度的简洁。在数学甚至是几乎所有科学领域,似乎都是如此。