Institut für Informatik
 
Abteilung V

 
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