一个多项式时间的演算法，将原来题目的输入对应到另一个问题的输入，并且能维持答案相同。EXPTIME-完全问题也可以想做是EXPTIME内最难的问题。这里应该注意到，我们并不知道NP是否等同P，但是我们确实知道EXPTIME-完全问题不包含在P内；根据时间谱系理论，我们已经证实这些问题不可能在多项式时间内解决。在可计算性理论内，一个基本的非决定性问题是一个决定型图灵机（DTM, deterministic turing machine）是否能结束运作（一般说的halting problem，停机问题）。有