非確定性圖靈機

我猜編劇應該是有一些可計算性和複雜性理論研究背景的，撇開演技不說，下面主要就故事情節做一些討論。

如果將我們所處的時間在一個圖靈機中展開，那麼Cris就是圖靈機的讀寫頭。現實世界中，在我們所處的唯一時空內，就發生過的歷史而言，這個圖靈機都是確定的，而就未來而言，是一個機率圖靈機。但這個電影最厲害的設定在於，Cris是一個非確定性圖靈機，也就是說，在某一段給定時間內，普通人只能夠尋找一種可能性，但Cris卻能夠窮舉所有可能性，這一點在輪船內搜尋Liz時得到最形象的刻畫。

第二個設定是做限制，限制了Cris的計算空間，只不過是用兩分鐘長度這種形式來限定，所以Cris可回溯的距離不能太長，這就使得在尋找全局最優時會碰到障礙，而針對性的設局可以把Cris誘入一個兩分鐘內無法逃脫的圈套以內。

第三個設定是關於空間，當我們考慮PSPACE類計算問題時，典型的例子是QSAT以及可尤其刻畫的交互式遊戲或者博弈論問題，這就使得劇情可以按照博弈的方式展開，對手分別是賭場安保，FBI和恐怖幫派，而使用的計算空間也是逐次遞增的，但由於這三伙人都是普通人，所以結局肯定是被耍。這裡所展示的，是非確定性圖靈機和確定性圖靈機之間巨大的計算能力區別。

第四個設定是Cris採用的策略，目前為止就是簡單的暴力搜索+回溯+剪枝法，當然這裡的暴力搜索嵌入了人的智能，所以是大大精簡過的有現實意義的可能路徑搜索。

第五個設定是一個麻煩的事情，就是Liz能夠將Cris的預見能力擴充，只是這裡沒有講到擴充的力度，如果是100年的話，那麼毫無疑問Cris能夠預見自己的死亡以及他和Liz最好的人生結局（假設死亡之前世界上尚未出現長生不老的生命技術）。這個設定就目前來看還沒設限，所以在Cris躺在床上醒來以後的戲都是一個有限深度的搜索分枝而已，只不過這個分枝的每一個葉子似乎都是爆炸，而且奇怪的是這個結局Cris在進入輪船時沒有預料到，或者說導演給我們展示的只是某一個搜索路徑。然後Cris迅速回溯到了這個分枝的根節點之上，根節點是Liz出去時展開，其父親節點就是床上醒來的時候，Cris通過打電話聯繫FBI改變了分枝途徑。

第六個設定是一個隱藏的設定，就是另外還有一個有預知能力的大BOSS，他已經預見了最後的結局中有Cris這麼一個關鍵人物，而且他也知道Cris有預見能力，並且針對Cris做了一些佈置。那麼某種程度上，整個電影只是這個BOSS的一條計算路徑，他在續集裡頭必須加強參與力度，而Cris則必須提高搜索深度。

最後還有一點，就是Cris的單兵預見能力設定為兩分鐘，但是這個設定其實有一些bug，比如他可以通過每兩分鐘不到就寫一個未來記錄來實現更長期的預知與回溯能力。