“在回答服务区汽车消失的谜底前，我需要再问几个问题，接下去的每个问题，你只回答肯定、否定，或者不确定，好吗？”徐策问。
“行，当然没问题。”
“第一个问题，服务区四周一整圈，没有其他出口？”
“不错。”
“不不，请不要用‘不错’这样的含蓄的方式回答，只用肯定、否定，或者不确定。”
高栋无奈撇撇嘴，道：“肯定没有其他出口。”
“好的。第二个问题，不是吊车弄出去的吧？”
“今天已经调查过了，肯定不是。”
“第三个问题，肯定不是装上其他货车，运出去的吗？”
“肯定。”
“第四个问题，两个监控探头，肯定没有任何的盲点吗？”
“肯定。”
当高栋回答完这四个问题，那头的徐策笑了下，道：“我所有的判断依据的前提，均建立在你这四个问题肯定回答的基础上，也就是说，除非你手下对这四个问题的调查存在漏洞，否则，我的结论没有问题。”
“真是够自信的。”高栋咂咂嘴，笑道，“不过就算你猜错了也没关系，你不是我的人，我也没法扣你工资。”
“不，不是猜测，而是严谨的数学模型。”徐策的回答很认真。
高栋有点意外：“这东西也能建数学模型？”
徐策笑笑：“当然，现实中的一切都能建出相应的数学模型。许多人对数学模型的概念并不清晰，以为数学模型就是要量化地计算某样东西的结果，这是很狭义的数学定义。实际上，在这次的服务区汽车消失事件里，尽管没有任何的数字，但这也是个模型，一个动态的几何模型。”
高栋仔细地听着，道：“你接着说。”
“我昨天说过，车子在服务区消失，用枚举法的方式来思考，理论上有无限种可能，枚举法是不靠谱的思维方法。不过你知道枚举法的极限是什么吗？”
“是什么？”高栋好奇问，他对数学的理解与徐策比，自认为是个小学生。
“穷举法。穷举法就是列出了所有可能性，是严谨的、科学的思维方式。但不是所有问题都可以用穷举法解决的。适应穷举法的问题，必须有多项条件限制。比如说，平面上的三条直线，会有几个交点，这个答案是固定的，结果是零个、一个、两个或三个，不存在第四种可能。相对的，枚举法的条件限制不严格，答案也就有了无穷多个。比如说男人的身高是多少，答案有无数种可能。为什么前一个问题的答案是有限的？因为它有足够的限制条件，同一个平面、三条、直线。后一个问题如果增加限制条件也能采用穷举法，把问题改成某单位的男人身高是多少，答案就是有限的了。——嗯……真的很抱歉，我又啰嗦了，这几年教书的结果就是让我总有说不完的话。”
高栋很理解地笑道：“职业病，不奇怪，现在的你总比过去在投行说话很谨慎的你，更让人觉得亲切。”
徐策笑着道：“昨天的限制条件很有限，只有服务区这一项，所以我没办法给你肯定的回答。今天，当更多的调查结果出来了，把限制条件加上后，就能用穷举法解决问题了。我也能给你肯定的答案。我们先把服务区假设成一个空间。服务区四周一圈没有出口，这个空间的四个侧面都被限制了。服务区总不可能存在地道，让车子出去吧？所以空间的底面也被限制了。车子不是吊车吊出去的，当然，更没可能是直升飞机，车子也不会飞上天，所以空间的顶面也限制住了。”
徐策咳嗽一声，接着道：“现在服务区这个空间的四周和上下都被限制住了，我们就可以把整个服务区看成一个盖上的纸盒子，这个纸盒子有两个小孔，相当于出入口。我们把经过服务区的车辆模拟成蓝色的小球。现在，有很多蓝色小球从盒子外通过小孔，进入盒子里，同时盒子里的蓝色小球也不断地通过小孔滚到外面。两个小孔都会自动记录每一颗进出小球的颜色。我们再把工商所的那辆车想象成红色的小球。这时，一颗红色的小球跟着一群蓝色小球滚到进盒子里了。此时盒子里的情况是有很多蓝色小球，中间混着一颗红色的小球。过了些时间，我们打开盒子，此时发现盒子里没有红色小球了。这种情况下，只有两种可能。第一种，红色小球还在盒子里，被涂成了蓝色。第二种，红色小球已经滚出盒子外了。”
徐策接着说：“通过你们之前的调查，红色小球还在盒子里的可能性已经排除了，那么只剩下第二种解释，红色小球已经滚出盒子外。这时，我们通过两个小孔的颜色记录，发现滚出盒子的小球里，并没有红色的。现在就只剩一种可能了。小球在盒子里被涂成了蓝色，混在其他蓝色小球里滚出去了。”
高栋分析着他的话，过了半晌，迟疑道：“你的意思还是工商所的别克车是从监控眼皮底下直接开走的，只是我们的人员没注意到它？”
徐策非常肯定地回答：“没错！”
高栋犹豫道：“可是我们派了这么多人查监控，每段监控不同的人至少看了十多遍，怎么会没发现呢？如果我手下几个人能力不行，我信，如果说所有人都能力不行，我不信。”
徐策道：“无关能力的事，只不过红色小球被涂成了蓝色。这个结论的前提，就是你之前回答过的四个问题。要验证我的结论是否正确，很简单，查数量！”
“怎么查数量？”
徐策道：“先统计所有进入服务区的别克商务车，再统计所有开出服务区的别克商务车。如果这两个数字是同样的，那就证明涉案车辆光明正大从监控眼皮底下开走了，你的人没看出来。”
高栋顿时如同醍醐灌顶，这个办法科学！
现实里没有变形金刚，车子的形状是不会变的，别克车从头到尾始终是别克车，不可能变成桑塔纳。如果别克车要伪装，只能选择车身颜色、车身细节、车牌等方面。
但就算靠伪装骗过查监控的警方，进出监控的别克车总数是不会变的！
进去的如果有100辆别克商务车，出来的也是100辆，那么就表明其中一辆是伪装的。
如果数据差了一辆，那么说明别克车并没通过监控，而是被装上货车，或是其他现在根本没想到的可能。
经徐策这一提醒，高栋的思路瞬时被打开了，明天就安排人查！