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