林朝夕拿起笔，在纸上写了一个很长的公式：“用霍克斯过程，可以对电瓶车盗窃发生的时间和频率进行统计建模，然后用确切的数字和公式描述它们。”
“霍，霍什么过程？”陈建国听得茫然，女孩却突然看向车库外面。
小规模喧闹是从远处开始的。
一开始不知哪家人在找东西，随后夫妻间互相责怪的吵架声响起。不多时，整个小区都知道，7栋老王为了偷楼道电充电瓶，没把车放车库锁上，所以车被偷了。
陈竹站了起来，拿着本子和小手机往外走，林朝夕反而坐在电脑前，合上书，开始看屏幕。
陈建国赶紧跟着自己儿子跑出去。
陈竹到达现场，很有交警调查交通肇事案的架子，他开始询问失窃电瓶车的牌子和型号。
“破车子我们哪知道什么型号和牌子，老早之前买的。”女人这么说。
“那大概几几年？”陈竹又问，“有换过电瓶吗？”
陈建国看到女人向他儿子投去奇怪一瞥，不由得开口：“丢的车子长什么样，有照片吗？”
女人一边嘀咕破电瓶车有什么照片，一边又开始翻手机。
不多时，她找到一张带着儿子骑车的照片。
就在这时，7号楼隔壁的8号楼也响起一阵干嚎：“丧尽天良的贼啊啊！老子前天刚换的新电瓶！！！”
陈竹收起笔记，又往8号楼去。看起来小偷不光偷了老王家的电瓶车，还顺手牵了老张家的电瓶。
没了电瓶的电瓶车就一铁骨架，中间有个大窟窿，看上去很是渗人。
陈竹仔细看了看电瓶车型号，拍了两张照片，跑回车库，陈建国就跟着跑。
车库里，林朝夕已经打开了一个巨大的excel文档，里面有密密麻麻的电瓶车数据，车辆型号、行驶速度等等。
陈竹出示现场照片，两个孩子研究了一会，确定了几个数值。
接下来，他又看到他们调出准备好的路况图。上面有很多密密麻麻的信号灯和道路，被赋予不同数值，看上去杂乱无章。
林朝夕和陈竹又研究了一会儿，确定了几条线路，开始往程序里敲代码。
陈建国又感到疑惑：“但你们怎么确定小偷什么时候偷的车，这个也能算？”
“这个难算，所以我们给小区东南西北都装了监控摄像头。”
女生的声音轻描淡写，指了指陈竹的位置。陈建国跑过去，看到儿子正在拖放监控录像的时间轴，差点被自己口水呛到。
为抓小偷还特地装监控，这帮孩子也太出格了！
“还有路线，你们怎么确定的？”陈建国忍住惊讶，继续问。
“我们调查过很多新闻还有二手车回收市场，小偷偷了车以后有两种销赃手段。第一是直接卖掉，第二是改头换面再卖掉。”
陈竹很自信地说，“无论哪种销赃手段，从盗窃点道销赃窝点都需要一定时间，利用约束优化可以找到适合我们爱民小区被盗电瓶车的最佳销赃地点。”
“所以……这些都是你们做的？”陈建国震惊了。
“她做的。”陈竹指了指电脑前猛喝了一口茶的女生说。
林朝夕抬头，食指中指并拢点了下额头，向他笑着致意。
陈建国不知道约束优化指的是什么，他只看到显示器那个简陋的程序开始飞快计算，一行又一行代码倾泻而下，又再某一时间点上，突然停止。
一个弹窗出现。
那是他们这片区域的地图，上面有三个红圈，表示出三条结果。
红星路口6:41-6：44
四民路口6:45-6:47
和平街口6:51-6:55
电脑右下角的时间是6：45，红星路口和四民路基本来不及了，而他们这到和平街口口正常骑车少说也要七八分钟。
“麻烦叔叔了。”女生回过头，目光明亮而坚定。
陈建国二话不说，转头就跑。
他骑上摩托、戴起头盔、发动引擎，警用摩托轰地向前冲去。
烈风刮过耳畔，街景倒退，陈建国觉得自己一把年纪，很久没这么疯过了。
如果真能抓住，那可太了不起了。
陈建国激动地想到。
——
和平街口。
摩托车猛地一刹，发出刺耳声音。陈建国跳下摩托，看了眼手表，还来得及。
时间是6:52，他开始紧张地观察。
秋末初冬，六点多天还不亮。
和平街不是主干道，行人更加稀少，如果有骑电瓶车还带个电瓶的车子驶过，很容易被发现。
他屏息凝视，开始等待。
骑车的老汉，买菜的大婶，带着女朋友的小伙子……
——
五分钟过去。
十分钟过去。
天越来越亮，逐渐从靛青色变得透明，路口渐渐热闹，陈建国反而越来越。
终于，他的手机响了起来。
“陈叔叔。”电话那头，女孩声音平静，“没有看到小偷吗？”
“没看到啊。”陈建国顿了顿，望向四岔路口，“可能是叔叔没及时赶到地方。”
“不是叔叔的问题，还是程序计算得不够精确。”
陈建国举着手机，差不多已经能想象林朝夕沮丧的面容，他赶忙地道：“别气馁，叔叔觉得你们已经很厉害了。”
“叔叔在安慰我吗？”
“不是安慰，是鼓励……”
“那叔叔能不能带我去交警支队看看这个时间的监控，继续鼓励我呀？”
电话那头，女生这么问。
——
小女孩声音脆生生的，没半点低落，可偏偏就因为这样，陈建国就是拒绝不了。
他带着一儿一女进队里、调录像，被同事打趣儿女双全，找了个理由敷衍过去。
“老陈你要看哪个时间段啊？”
林朝夕没有说话，陈建国站在显示屏后面，报了他刚才记住的几个路口和时间。
他说完这些才忽然意识到，程序计算出的结果，都是避开监控经过小巷到路口的截点，真的非常厉害了。
时间轴拖动，监控上首先开始显示和平街口画面。
陈建国还在想，如果小偷真没从和平街走，就继续查剩下两个点的情况。
正当他还在做打算的时候，路口慢悠悠驶过一辆粉色电瓶车。
左边脚踏脱落，车身上有个老鼠团。
果然是老王家丢的车，监控显示时间是6:51:03秒，大概1分钟后，他骑着摩托的身影出现。
“哎呀，就差这么点！”陈建国喊道。