空间阶层定理 在计算复杂性理论中空间阶层定理英語Space hierarchy theorem是一组结论它们表明在一定条件下确定型和不确定型图灵机在可用的渐进存储空间越多时能用于解答的问题也就越多例如一个确定型图灵机在使用 n log  n displaystyle nlog n 存储空间时可以求解比使用 n displaystyle n 存储空间时更多的决定性问题在时间复杂度分析中的类似结论是时间阶层定理 阶层定理的提出建立在这样的直觉之上能允许使用的时间或空间越多就应该能求解更多函数或决定更多语言阶层定理可以用来展现时间或空间复杂度类可以形成一个金字塔型结构约束越紧则能决定的语言就越少