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