在计算复杂度理论内，NSPACE("f"("n"))这个复杂度类是一个决定性问题的集合，里面的问题可以以非确定型图灵机使用"O"("f"("n"))这么多空间，不限制时间来解决。或者，换句话说，这是DSPACE的非确定型版本。有一些重要的复杂度类可以使用NSPACE来定义。这些复杂度类包括了：最后两个结论是从萨维奇定理导出，这定理指出对任何"f"("n") ≥ log("n")，Immerman–Szelepcsényi定理则指出对任何，NSPACE("s"("n"))在补集运算下封闭(clo