The Community for Technology Leaders
24th Annual Symposium on Foundations of Computer Science (sfcs 1983) (1983)
Nov. 7, 1983 to Nov. 9, 1983
ISSN: 0272-5428
ISBN: 0-8186-0508-1
pp: 304-311
ABSTRACT
It is likely that reliable and fast space-bounded probabilistic acceptors are less powerful than nondeterministic ones. We consider a restricted model of space-bounded probabilistic computation, the random analog of a model studied in [CR]. We show that maze traversal (a complete problem for nondeterministic space log n) requires space Ω(log2n/loglogn) by random machines, even if 'fast' is relaxed to mean only 'subexponential'. In particular, the lower bound on space holds for the time complexity of Savitch's algorithm (which can be simulated in the model).
INDEX TERMS
CITATION

P. Berman and J. Simon, "Lower bounds on graph threading by probabilistic machines," 24th Annual Symposium on Foundations of Computer Science (sfcs 1983)(FOCS), vol. 00, no. , pp. 304-311, 1983.
doi:10.1109/SFCS.1983.31
97 ms
(Ver 3.3 (11022016))