NSPACE

在計算複雜度理論內 ， NSPACE ( f ( n ) ) 這個複雜度類是一個決定性問題的集合 ， 裏面的問題可以以非確定型圖靈機使用O ( f ( n ) ) 這麼多空間 ， 不限制時間來解決 。 或者 ， 換句話說 ， 這是DSPACE的非確定型版本 。 有一些重要的複雜度類可以使用NSPACE來定義 。 這些複雜度類包括了 ： REG = DSPACE ( O ( 1 ) ) = NSPACE ( O ( 1 ) ) ， 這裏 REG是正則語言 ( regular language ) 的複雜度類 。 NL = NSPACE ( O ( log n ) ) CSL = NSPACE ( O ( n ) ) ， 這裏CSL是上下文有關語言 ( context - sensitive language ) 的複雜度類 。 PSPACE = NPSPACE = EXPSPACE = NEXPSPACE = 最後兩個結論是從薩維奇定理導出 ， 這定理指出對任何f ( n ) ≥ log ( n ) ， NSPACE ( f ( n ) ) ⊆ DSPACE ( f2 ( n ) ) 。 Immerman – Szelepcsényi定理則指出對任何 ， NSPACE ( s ( n ) ) 在補集運算下封閉 ( closed under complement ) 。 NSPACE可以與DTIME作連接如下 ： 對任何space constructible function s ( n ),