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.
CITATION STYLE
Tani, S., Hamaguchi, K., & Yajima, S. (1993). The complexity of the optimal variable ordering problems of shared binary decision diagrams. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 762 LNCS, pp. 389–398). Springer Verlag. https://doi.org/10.1007/3-540-57568-5_270
Mendeley helps you to discover research relevant for your work.