說到現在最熱門的全民運動,可以說是非路跑莫屬。 不需要像自行車花大錢購買裝備,只需要一雙適合自己的跑鞋及透氣排汗的輕便服裝,就可以開始享受路跑的樂趣。 而現在常見的路跑比賽,大都會依照里程長短分成不同的組別,而其中最大的里程通常取42公里左右,也就是大家常聽到的馬拉松。 馬拉松之所以得名,其歷史要追朔到公元前 490 年的希臘。 當時正值波希戰爭,雅典軍在馬拉松平原擊退波斯軍後,便派遣傳令兵菲迪皮德斯(以下簡稱為 P 君)立即從馬拉松平原跑回雅典傳達捷報,而 P 君也很希望將捷報盡快送回雅典,因此全程約 42 公里的路程都沒有停歇。當 P 君奔回雅典傳達勝利的消息後,當即力竭而死。
以 John 有最大速度 96 公里/小時,並且不外調人員,總共只有 900 位警力負責封鎖的狀況下,要能及時圍住整個封鎖域的範圍是極具挑戰性的。因此,我們開始思考是否有什麼策 略,能提供警方一個在最短時間內,一定能圍住 John 的方法呢?
查詢了許多資料以後,我們找到了一篇提供我們策略構想的數學論文:The Angel Problem(引注資料[1]), 由John H. Conway (沒錯也是 John,但此 John 非比男主角的 John) 於 1996 年發表。這篇論文主要在研究天使問題,這是一個雙人遊戲,而遊戲規則是:
在一個無限大的棋盤上,有一個惡魔跟一個天使,棋盤一開始是空的。開始遊戲後,天使在 每一輪都可以移動最多 K 步(遊戲開始前先設定好的,稱之為天使的力量),在這 K 步中,橫 的直的斜的都算一步,而且天使可以飛越過惡魔設置的路障,但是最後必須停留在沒有路障 的格子內,而惡魔每一輪只可以選一個格子設置路障,但不能設在天使停留的那個格子。最 後,如果天使無法再移動時,就代表惡魔贏了,相反的,如果天使可以無限的移動的話,則 代表天使贏了。
我們運用了康威假設的其中一個情境的方法來發想,是否一樣能應用在警察和逃亡中的 John 這個情境中呢?
康威假設有個 Fool Angel,他只能不斷的往上飛,增加他的 y 座標,此時惡魔將會有必 勝的方法圍住天使。天使的起始點為 P,由於不浪費步數,因此他的飛行範圍介於通過 P點,兩條斜率為 ± 的邊界內。則惡魔的必勝策略為:圍住一條與起始點足夠大距離(H=1000×2N)的邊 AB,並在開始時每 M 格放一路障,在天使達到距 AB 邊 距離的點 Q 時,惡魔已經完成在 以 M 為間隔的路障擺設。當天使在點 Q 時,CD 邊正好是 AB 邊的 一半,而同樣的,惡魔也在 CD 邊上,每 M 格放一路障,當天使抵達了距離 AB 邊 距離的點 R 時,惡魔已完成 CD 線段。如此一來,當天使飛到了距離 AB 邊距離的 點時,惡魔已經在 AB 線段上的每一格放滿了路障。若 H 為 1000×2N,1000 為天使和惡魔 的速度比值,且 N>1000M,則在天使跨越距離AB 線段 1000 單位距離時,惡魔早已在這條 水平線和 AB 線段間的任何天使有可能到達的格子內,放滿了路障!
當 John 向連恩尼遜請教逃獄方法時,連恩尼遜最後問 John,在著手準備逃獄前,比所 有方法都還更重要的是,你真的覺得自己做得到嗎?
看似不可能圍住天使的惡魔,原來也能圍住比自己擁有還要強大許多力量的天使;看似不可能在短短時間內就將 10000 平方公里大的都會區圍得密不透風,經過我們的推理計算,原來也有絕佳的保證策略能夠達成目標;看似不可能做出瘋狂逃獄計畫的溫和大學教授,為了愛為了自由,甚至為了正義,在 John 的轉變中,我們看著他一步步,將不可能轉化為可能。
只要我們相信,我們做得到。
引注資料[1]: John H. Conway (1996). The Angel Problem.