Space hierarchy theorem

In <a href="/facts/Computational_complexity_theory/etHuVF3U">computational complexity theory</a>, the space hierarchy theorems are separation results that show that both deterministic and nondeterministic machines can solve more problems in (asymptotically) more space, subject to certain conditions. For example, a <a href="/facts/Deterministic_Turing_machine/ojCtglYu">deterministic Turing machine</a> can solve more <a href="/facts/Decision_problem/cQNWjbdE">decision problems</a> in space n log n than in space n. The somewhat weaker analogous theorems for time are the <a href="/facts/Time_hierarchy_theorem/sm75DR1s">time hierarchy theorems</a>.
The foundation for the hierarchy theorems lies in the intuition that with either more time or more space comes the ability to compute more functions (or decide more languages). The hierarchy theorems are used to demonstrate that the time and space complexity classes form a hierarchy where classes with tighter bounds contain fewer languages than those with more relaxed bounds. Here we define and prove the space hierarchy theorem.
The space hierarchy theorems rely on the concept of <a href="/facts/Space-constructible_function/MteaLvnF">space-constructible functions</a>. The deterministic and nondeterministic space hierarchy theorems state that for all space-constructible functions 
 
 
 
 f
 (
 n
 )
 
 
 {\displaystyle f(n)}
 
 and all 
 
 
 
 g
 (
 n
 )
 ∈
 o
 (
 f
 (
 n
 )
 )
 
 
 {\displaystyle g(n)\in o(f(n))}
 
,

S
 P
 A
 C
 E
 
 
 (
 g
 (
 n
 )
 )
 ⊊
 
 
 S
 P
 A
 C
 E
 
 
 (
 f
 (
 n
 )
 )
 
 
 {\displaystyle {\mathsf {SPACE}}(g(n))\subsetneq {\mathsf {SPACE}}(f(n))}
 
,
where SPACE stands for either <a href="/facts/DSPACE/co9rzRQd">DSPACE</a> or <a href="/facts/NSPACE/ICDSmk4S">NSPACE</a>, and o refers to the <a href="/facts/Little_o/weFFjSWg">little o</a> notation.

Space hierarchy theorem open-in-new

Space hierarchy theorem