|
|
| |
| University of Bonn -> Department of Computer Science -> Chair V | ||
| CS-Reports 1998 | Copyright 1998 University of Bonn, Department of Computer Science, 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
|
University of Bonn -> Department of Computer Science -> Chair V | |