unction）的时间限制formula_11。使用类似方式可以类推出更高的时间上限。
EXPTIME-完全.我们说一个问题是EXPTIME-完全，若这问题本身在EXPTIME内，且对任何EXPTIME内的问题，均存在一个多项式时间归约的方法可以归约成此问题。换句话说，存在一个多项式时间的演算法，将原来题目的输入对应到另一个问题的输入，并且能维持答案相同。EXPTIME-完全问题也可以想做是EXPTIME内最难的问题。这里应该注意到，我们并不知道NP是否等同P，但是我们确实知道EX