|
Universität Bonn -> Institut für Informatik -> Abteilung V | ||
CS-Reports 1998 | Copyright 1998 Universität Bonn, Institut für Informatik, Abt. V | |
85200
|
A Note on Las Vegas OBBDs
Marek Karpinski, Rustam Mubarakzjanov [Download PostScript] [Download PDF] We prove that the {\it error-free} ({\it Las Vegas}) {\it randomized} OBDDs are {\it computationally equivalent} to the deterministic OBDDs. In contrast, it is known the same is not true for Las Vegas read-once branching programs. |
|
Last Change:
11/05/14 at 10:09:34
English |
Universität Bonn -> Institut für Informatik -> Abteilung V |