尽管很多人觉得拥有超能力是一件好事，但事实却偏偏和想象中相反。克里斯（尼古拉斯凯奇NicolasCage饰）天生具有预测未来的能力，但他从小就在痛苦中度过：各种机构、政府、医院都对他极感兴趣，以至他快乐的童年都在测试和研究中度过。成年后的克里斯隐形埋名混迹于赌城拉斯维加斯，不时去赌博一下赢点小钱。因为一个恐怖组织预谋要炸毁洛杉矶，特工凯莉（朱丽安摩尔JulianneMoore饰）找到了克里斯帮忙。然而，这预测未来的超能力现在令克里斯痛苦万分，因为他预测到无论多么努力，洛杉矶最终还是会被炸毁，而且他的爱人也会在此劫难中死去copy;豆瓣我猜编剧应该是有一些可计算性和复杂性理论研究背景的，撇开演技不说，下面主要就故事情节做一些讨论。如果将我们所处的时间在一个图灵机中展开，那么Cris就是图灵机的读写头。现实世界中，在我们所处的唯一时空内，就发生过的历史而言，这个图灵机都是确定的，而就未来而言，是一个概率图灵机。但这个电影最厉害的设定在于，Cris是一个非确定性图灵机，也就是说，在某一段给定时间内，普通人只能够寻找一种可能性，但Cris却能够穷举所有可能性，这一点在轮船内搜寻Liz时得到最形象的刻画。第二个设定是做限制，限制了Cris的计算空间，只不过是用两分钟长度这种形式来限定，所以Cris可回溯的距离不能太长，这就使得在寻找全局最优时会碰到障碍，而针对性的设局可以把Cris诱入一个两分钟内无法逃脱的圈套以内。第三个设定是关于空间，当我们考虑PSPACE类计算问题时，典型的例子是QSAT以及可尤其刻画的交互式游戏或者博弈论问题，这就使得剧情可以按照博弈的方式展开，对手分别是赌场安保，FBI和恐怖团伙，而使用的计算空间也是逐次递增的，但由于这三伙人都是普通人，所以结局肯定是被耍。这里所展示的，是非确定性图灵机和确定性图灵