Space Hierarchy Results for Randomized and other Semantic Models

@article{Kinne2007SpaceHR,
  title={Space Hierarchy Results for Randomized and other Semantic Models},
  author={Jeff Kinne and Dieter van Melkebeek},
  journal={computational complexity},
  year={2007},
  volume={19},
  pages={423-475}
}
We prove space hierarchy and separation results for randomized and other semantic models of computation with advice where a machine is only required to behave appropriately when given the correct advice sequence. Previous works on hierarchy and separation theorems for such models focused on time as the resource. We obtain tighter results with space as the resource. Our main theorems deal with space-bounded randomized machines that always halt. Let s(n) be any space-constructible monotone… CONTINUE READING
BETA

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…