Abstract
Nondeterministic branching programs introduced in /Me86,1/ spelt out to be an interesting computational tool for describing higher complexity classes /Me86,2/. The investigation of the power of nondeterminism in the case of bounded-width nondeterministic branching programs yields: while polynomial-size bounded-width 1-time-only-nondeterministic branching programs are not more powerful than polynomial-size (usual) bounded-width branching programs, polynomial-size, bounded-width k-times-only-nondeterministic branching programs, k>1, are as powerful as polynomialsize, unbounded-width, nondeterministic branching programs. I.e.
.
Preview
Unable to display preview. Download preview PDF.
References
D.A.Barrington, ‘Bounded width polynomial-size branching programs recognizing exactly those languages in NC1, Proc. 18-th STOC, 1986, 1–5
R.M.Karp, R.J.Lipton, 'sone connections between nonuniform and uniform complexity classes', Proc. 12-th STOC, 1980, 302–309
Ch.Meinel, ‘p-projection reducibility and the complexity classes L(nonuniform) and NL(nonuniform)', Proc. 12-th MFCS, Bratislava, 1p86, 527–53
Ch.Meinel, ‘Rudiments of a branching program based complexity theory', to appear in Information and Control
W. Savitch, ‘Relations between nondeterministic and deterministic tape complexities', J.Comp. and Sys. Sc. 4, 1970, 177–192
I.Wegener, ‘Complexity of Boolean Functions', Teubner Studienbuecher Informatik, 1987
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Meinel, C. (1987). The power of nondeterminism in polynomial-size bounded-width branching programs. In: Budach, L., Bukharajev, R.G., Lupanov, O.B. (eds) Fundamentals of Computation Theory. FCT 1987. Lecture Notes in Computer Science, vol 278. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-18740-5_65
Download citation
DOI: https://doi.org/10.1007/3-540-18740-5_65
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18740-0
Online ISBN: 978-3-540-48138-6
eBook Packages: Springer Book Archive