Zusammenfassung
Branchingprogramme sind eine graphische Beschreibungsform für Boolesche Funktionen, die zum einen in Anwendungen wie Hardware-Verifikation und Model Checking einsetzt wird, sich zum anderen aber auch als Standard-Berechnungsmodell in der theoretischen Informatik etabliert hat.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
F. Ablayev. Randomization and nondeterminism are incomparable for polynomial ordered binary decision diagrams. In Proc. of 24th ICALP, LNCS 1256, 195–202. Springer, 1997.
F. Ablayev und M. Karpinski. On the power of randomized branching programs. In Proc. of 23rd ICALP, LNCS 1099, 348–356. Springer, 1996.
A. E. Andreev, A. E. F. Clementi, J. D. P. Rolim und L. Trevisan. Weak random sources, hitting sets, and BPP simulations. SIAM J. Comp., 28(6):2103–2116, 1999.
A. Borodin, A. A. Razborov und R. Smolensky. On lower bounds for read-k-times branching programs. Computational Complexity, 3:1–18, 1993.
R. Impagliazzo und A. Wigderson. P = BPP if E requires exponential circuits: Derandomizing the XOR lemma. In Proc. of 29th STOC, 220–228, 1997.
S. Jukna, A. Razborov, P. Savický und I. Wegener. On P versus NP ∩ co-NP for decision trees and read-once branching programs. In Proc. of 22nd MFCS, LNCS 1295, 319–326. Springer, 1997. Erscheint in Computational Complexity.
K.-I. Ko. Some observations on the probabilistic algorithms and NP-hard problems. Information Processing Letters, 14(1):39–43, Mar. 1982.
M. Sauerhoff. Lower bounds for randomized read-k-times branching programs. In Proc. of 15th STACS, LNCS 1373, 105–115. Springer, 1998.
M. Sauerhoff. On the size of randomized OBDDs and read-once branching programs for k-stable functions. In Proc. of 16th STACS, LNCS 1563, 488–499. Springer, 1999.
I. Wegener. Branching Programs and Binary Decision Diagrams—Theory and Applications. Monographs on Discrete and Applied Mathematics. SIAM. Erscheint im Juli 2000.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 B. G. Teubner GmbH, Stuttgart/Leipzig/Wiesbaden
About this chapter
Cite this chapter
Sauerhoff, M. (2000). Komplexitätstheoretische Ergebnisse für Randomisierte Branchingprogramme. In: Fiedler, H., et al. Ausgezeichnete Informatikdissertationen 1999. GI-Dissertationspreis. Vieweg+Teubner Verlag. https://doi.org/10.1007/978-3-322-84823-9_19
Download citation
DOI: https://doi.org/10.1007/978-3-322-84823-9_19
Publisher Name: Vieweg+Teubner Verlag
Print ISBN: 978-3-519-02650-1
Online ISBN: 978-3-322-84823-9
eBook Packages: Springer Book Archive