Advertisement

The complexity of the optimal variable ordering problems of shared binary decision diagrams

  • Seiichiro Tani
  • Kiyoharu Hamaguchi
  • Shuzo Yajima
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 762)

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    S.B.Akers: Binary Decision Diagrams, IEEE Trans. on Computers, C-27(1978), 509–516.Google Scholar
  2. 2.
    R.E.Bryant: Graph Based Algorithms for Boolean Function Manipulation, IEEE Trans. on Computers, C-35(1986), 677–691.Google Scholar
  3. 3.
    O.Coudert, C.Berthet, and J.C.Madre: Verification of Sequential Machines Based on Symbolic Execution, Proceedings of the Workshop on Automatic Verification Methods for Finite State Systems, Grenoble, France(1989).Google Scholar
  4. 4.
    M.Fujita, H.Fujisawa and N.Kawato: Evaluation and Improvements of Boolean Comparison Method Based on Binary Decision Diagrams, IEEE ICCAD-88(1988), 2–5.Google Scholar
  5. 5.
    S.J.Friedman and K.J.Supowit: Finding the Optimal Variable Ordering for Binary Decision Diagrams, IEEE Trans. on computers, C-39(1986), 710–713.Google Scholar
  6. 6.
    M.R.Garey, D.S.Johnson and L.Stockmeyer: Some Simplified NP-complete Graph Problems, Theoretical Computer Science 1(1976), 237–267.CrossRefGoogle Scholar
  7. 7.
    S.Minato, N.Ishiura and S.Yajima: Shared Binary Decision Diagram with Attributed Edges for Efficient Boolean Function Manipulation, Proc. 27th ACM/IEEE DAC(1990), 52–57.Google Scholar
  8. 8.
    M.R.Mercer, R.Kapur and D.E.Ross: Functional Approaches to Generating Ordering for Efficient Symbolic Representations, Proc. 29th ACM/IEEE DAC(1992), 624–629.Google Scholar
  9. 9.
    N.Ishiura, H.Sawada and S.Yajima: Minimization of Binary Decision Diagrams Based on Exchanges of Variables, IEEE ICCAD-91(1991), 472–475.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Seiichiro Tani
    • 1
  • Kiyoharu Hamaguchi
    • 2
  • Shuzo Yajima
    • 2
  1. 1.Department of Informaiton Science, Faculty of ScienceThe University of TokyoTokyoJapan
  2. 2.Department of Information Science, Faculty of EngineeringKyoto UniversityKyotoJapan

Personalised recommendations