空间内解决的问题。这种定义方式也是一种看出PSPACE formula_2 EXPTIME的方式，因为已知交替式图灵机至少跟确定型图灵机计算能力一样。EXPTIME是指数谱系（exponential hierarchy）内的其中一个复杂度类。2-EXPTIME这个复杂度类则使用类似EXPTIME的定义方式，但是使用双指数函数（Double exponential function）的时间限制formula_11。使用类似方式可以类推出更高的时间上限。
EXPTIME-完全.我们