想做是EXPTIME内最难的问题。这里应该注意到，我们并不知道NP是否等同P，但是我们确实知道EXPTIME-完全问题不包含在P内；根据时间谱系理论，我们已经证实这些问题不可能在多项式时间内解决。在可计算性理论内，一个基本的非决定性问题是一个决定型图灵机（DTM, deterministic turing machine）是否能结束运作（一般说的halting problem，停机问题）。有一个此问题的简易版，询问一个DTM是否能在k步里面结束运作，是EXPTIME-完全中一个基本问题。这问题是在EXP