高棟應了聲，道：「明天我拿朱夢羽比對一下。」

「好吧，關於這段視頻，我們聊了這麼久，接下來我再把對於高速汽車消失的想法跟高總隊彙報下，希對你的工作有幫助。」

第二十七章

「在回答服務區汽車消失的謎底前，我需要再問幾個問題，接下去的每個問題，你只回答肯定、否定，或者不確定，好嗎？」徐策問。

「行，當然沒問題。」

「第一個問題，服務區四周一整圈，沒有其他出口？」

「不錯。」

「不不，請不要用『不錯』這樣的含蓄的方式回答，只用肯定、否定，或者不確定。」

高棟無奈撇撇，道：「肯定沒有其他出口。」

「好的。第二個問題，不是吊車弄出去的吧？」

「今天已經調查過了，肯定不是。」

「第三個問題，肯定不是裝上其他貨車，運出去的嗎？」

「肯定。」

「第四個問題，兩個監控探頭，肯定沒有任何的盲點嗎？」

「肯定。」

當高棟回答完這四個問題，那頭的徐策笑了下，道：「我所有的判斷依據的前提，均建立在你這四個問題肯定回答的基礎上，也就是說，除非你手下對這四個問題的調查存在，否則，我的結論沒有問題。」

「真是夠自信的。」高棟咂咂，笑道，「不過就算你猜錯了也沒關係，你不是我的人，我也沒法扣你工資。」

「不，不是猜測，而是嚴謹的數學模型。」徐策的回答很認真。

高棟有點意外：「這東西也能建數學模型？」

徐策笑笑：「當然，現實中的一切都能建出相應的數學模型。許多人對數學模型的概念並不清晰，以為數學模型就是要量化地計算某樣東西的結果，這是很狹義的數學定義。實際上，在這次的服務區汽車消失事件里，儘管沒有任何的數字，但這也是個模型，一個態的幾何模型。」

高棟仔細地聽著，道：「你接著說。」

「我昨天說過，車子在服務區消失，用枚舉法的方式來思考，理論上有無限種可能，枚舉法是不靠譜的思維方法。不過你知道枚舉法的極限是什麼嗎？」

「是什麼？」高棟好奇問，他對數學的理解與徐策比，自認為是個小學生。

「窮舉法。窮舉法就是列出了所有可能，是嚴謹的、科學的思維方式。但不是所有問題都可以用窮舉法解決的。適應窮舉法的問題，必須有多項條件限制。比如說，平面上的三條直線，會有幾個點，這個答案是固定的，結果是零個、一個、兩個或三個，不存在第四種可能。相對的，枚舉法的條件限制不嚴格，答案也就有了無窮多個。比如說男人的高是多，答案有無數種可能。為什麼前一個問題的答案是有限的？因為它有足夠的限制條件，同一個平面、三條、直線。后一個問題如果增加限制條件也能採用窮舉法，把問題改某單位的男人高是多，答案就是有限的了。——嗯……真的很抱歉，我又啰嗦了，這幾年教書的結果就是讓我總有說不完的話。」

高棟很理解地笑道：「職業病，不奇怪，現在的你總比過去在投行說話很謹慎的你，更讓人覺得親切。」

徐策笑著道：「昨天的限制條件很有限，只有服務區這一項，所以我沒辦法給你肯定的回答。今天，當更多的調查結果出來了，把限制條件加上后，就能用窮舉法解決問題了。我也能給你肯定的答案。我們先把服務區假設一個空間。服務區四周一圈沒有出口，這個空間的四個側面都被限制了。服務區總不可能存在地道，讓車子出去吧？所以空間的底面也被限制了。車子不是吊車吊出去的，當然，更沒可能是直升飛機，車子也不會飛上天，所以空間的頂面也限制住了。」

徐策咳嗽一聲，接著道：「現在服務區這個空間的四周和上下都被限制住了，我們就可以把整個服務區看一個蓋上的紙盒子，這個紙盒子有兩個小孔，相當於出口。我們把經過服務區的車輛模擬藍的小球。現在，有很多藍小球從盒子外通過小孔，進盒子里，同時盒子里的藍小球也不斷地通過小孔滾到外面。兩個小孔都會自記錄每一顆進出小球的。我們再把工商所的那輛車想象紅的小球。這時，一顆紅的小球跟著一群藍小球滾到進盒子里了。此時盒子里的況是有很多藍小球，中間混著一顆紅的小球。過了些時間，我們打開盒子，此時發現盒子里沒有紅小球了。這種況下，只有兩種可能。第一種，紅小球還在盒子里，被塗了藍。第二種，紅小球已經滾出盒子外了。」

徐策接著說：「通過你們之前的調查，紅小球還在盒子里的可能已經排除了，那麼只剩下第二種解釋，紅小球已經滾出盒子外。這時，我們通過兩個小孔的記錄，發現滾出盒子的小球里，並沒有紅的。現在就只剩一種可能了。小球在盒子里被塗了藍，混在其他藍小球里滾出去了。」

高棟分析著他的話，過了半晌，遲疑道：「你的意思還是工商所的別克車是從監控眼皮底下直接開走的，只是我們的人員沒注意到它？」

徐策非常肯定地回答：「沒錯！」

高棟猶豫道：「可是我們派了這麼多人查監控，每段監控不同的人至看了十多遍，怎麼會沒發現呢？如果我手下幾個人能力不行，我信，如果說所有人都能力不行，我不信。」

徐策道：「無關能力的事，只不過紅小球被塗了藍。這個結論的前提，就是你之前回答過的四個問題。要驗證我的結論是否正確，很簡單，查數量！」

「怎麼查數量？」

徐策道：「先統計所有進服務區的別克商務車，再統計所有開出服務區的別克商務車。如果這兩個數字是同樣的，那就證明涉案車輛明正大從監控眼皮底下開走了，你的人沒看出來。」

高棟頓時如同醍醐灌頂，這個辦法科學！

現實里沒有變形金剛，車子的形狀是不會變的，別克車從頭到尾始終是別克車，不可能變桑塔納。如果別克車要偽裝，只能選擇車、車細節、車牌等方面。

但就算靠偽裝騙過查監控的警方，進出監控的別克車總數是不會變的！

進去的如果有100輛別克商務車，出來的也是100輛，那麼就表明其中一輛是偽裝的。

如果數據差了一輛，那麼說明別克車並沒通過監控，而是被裝上貨車，或是其他現在本沒想到的可能。

經徐策這一提醒，高棟的思路瞬時被打開了，明天就安排人查！