Sciweavers

ECCC
2007

Space Hierarchy Results for Randomized and Other Semantic Models

13 years 2 months ago
Space Hierarchy Results for Randomized and Other Semantic Models
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 function that is Ω(log n) and let s′ (n) be any function such that s′ (n) = ω(s(n + as(n))) for all constants a. There exists a language computable by two-sided error randomized machines using s′ (n) space and one bit of advice that is not computable by two-sided error randomized machines using s(n) space and min(s(n), n) bits of advice. There exists a language computable by zero-sided error randomized machines in space s′ (n) with one bit of advice that is not computable by one-sided error...
Jeff Kinne, Dieter van Melkebeek
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2007
Where ECCC
Authors Jeff Kinne, Dieter van Melkebeek
Comments (0)