可以在O(2)空间内解决的决定性问题的集合，这里的"p(n)"是某个n的多项式。（有些作者认为"p"("n"）应该限制为线性函数，但是多数的人把这这样的复杂度类称作ESPACE。)如果我们使用非决定性图灵机，我们会得到复杂度类NEXPSPACE。根据萨维奇定理，这个复杂度类等同EXPSPACE。以DSPACE和NSPACE表示：我们说一个问题是EXPSPACE-完全，如果这问题本身在EXPSPACE内，而且存在多项式多对一归约，令所有在EXPSPACE内的题目都可以归约成这个题目。换句话说，存在一个