Sciweavers

ISAAC
1993
Springer

The Complexity of the Optimal Variable Ordering Problems of Shared Binary Decision Diagrams

13 years 7 months ago
The Complexity of the Optimal Variable Ordering Problems of Shared Binary Decision Diagrams
A binary decision diagram (BDD) is a directed acyclic graph for representing a Boolean function. BDD’s are widely used in various areas which require Boolean function manipulation, since BDD’s can represent efficiently many of practical Boolean functions and have other desirable properties. However the complexity of constructing BDD’s has hardly been researched theoretically. In this paper, we prove that the optimal variable ordering problem of shared BDD’s is NP-complete, and touch on the hardness of this problem and related problems of BDD’s.
Seiichiro Tani, Kiyoharu Hamaguchi, Shuzo Yajima
Added 09 Aug 2010
Updated 09 Aug 2010
Type Conference
Year 1993
Where ISAAC
Authors Seiichiro Tani, Kiyoharu Hamaguchi, Shuzo Yajima
Comments (0)