必然是完整包含（没有相等可能），但是我们还不知道那一个是。多数人相信这一些复杂度类全部都不相等。另外我们已知如果，则，这里的NEXPTIME是在指数时间内可以使用非确定型图灵机解决的问题。更精确的说，EXPTIME ≠ NEXPTIME若且唯若存在一个稀疏语言，在NP里面且不在P内。EXPTIME也可以用空间的方式来定义，等同于"APSPACE"这个复杂度类。APSPACE的意思是包含了所有可以用交替式图灵机在多项式空间内解决的问题。这种定义方式也是一种看出PSPACE formula_2 EXPTIM