Space hierarchy theorem revised

  • Authors:

  • Viliam Geffert

  • Affiliations:

  • Department of Computer Science, P.J. Safárik University, Jesenná 5, 04154 Kosice, Slovakia

  • Venue:
  • Theoretical Computer Science - Mathematical foundations of computer science
  • Year:
  • 2003

Quantified Score

Hi-index 0.00

Visualization

Abstract

We show that, for an arbitrary function h(n) and each recursive function l(n), that are separated by a nondeterministically fully space constructible g(n), such that h(n)∈Ω(g(n)) but l(n) ∈ Ω(g(n)), there exists a unary language L in NSPACE(h(n)) that is not contained in NSPACE(l(n)). The same holds for the deterministic case.The main contribution to the well-known Space Hierarchy Theorem is that (i) the language L separating the two space classes is unary (tally), (ii) the hierarchy is independent of whether h(n) or l(n) are in Ω(log n) or in o(log n), (iii) the functions h(n) or l(n) themselves need not be space constructible nor monotone increasing, (iv) the hierarchy is established both for strong and weak space complexity classes. This allows us to present unary languages in such complexity classes as, for example, NSPACE(log log n . log*n)\ NSPACE(log log n), using a plain diagonalization.