Advertisement

Zero-Suppression and Computation Models

  • Hiroki MorizumiEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10979)

Abstract

Zero-suppressed binary decision diagrams (ZDDs) are a data structure representing Boolean functions, and one of the most successful variants of binary decision diagrams (BDDs). On the other hand, BDDs are also called branching programs in computational complexity theory, and have been studied as a computation model. In this paper, we consider ZDDs from the viewpoint of computational complexity theory. Firstly, we define zero-suppressed branching programs, which actually have the same definition to (unordered) ZDDs, and consider the computational power of zero-suppressed branching programs. Secondly, we attempt to generalize the concept of zero-suppression. We call the basic idea of ZDDs zero-suppression. We show that zero-suppression can be applied to other two classical computation models, decision trees and Boolean formulas.

References

  1. 1.
    Barrington, D.A.M.: Bounded-width polynomial-size branching programs recognize exactly those languages in NC\({^1}\). J. Comput. Syst. Sci. 38(1), 150–164 (1989)MathSciNetCrossRefGoogle Scholar
  2. 2.
    Buhrman, H., de Wolf, R.: Complexity measures and decision tree complexity: a survey. Theor. Comput. Sci. 288(1), 21–43 (2002)MathSciNetCrossRefGoogle Scholar
  3. 3.
    Cobham, A.: The recognition problem for the set of perfect squares. In: Proceedings of the 7th Annual Symposium on Switching and Automata Theory, pp. 78–87 (1966)Google Scholar
  4. 4.
    Knuth, D.E.: The Art of Computer Programming, Volume 4, Fascicle 1. Addison-Wesley, Boston (2009)Google Scholar
  5. 5.
    Meinel, C., Theobald, T.: Algorithms and Data Structures in VLSI Design: OBDD - Foundations and Applications. Springer, Heidelberg (1998).  https://doi.org/10.1007/978-3-642-58940-9CrossRefzbMATHGoogle Scholar
  6. 6.
    Minato, S.: Zero-suppressed BDDs for set manipulation in combinatorial problems. In: Proceedings of DAC, pp. 272–277 (1993)Google Scholar
  7. 7.
    Wegener, I.: Branching Programs and Binary Decision Diagrams. SIAM, Philadelphia (2000)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing AG, part of Springer Nature 2018

Authors and Affiliations

  1. 1.Interdisciplinary Graduate School of Science and EngineeringShimane UniversityMatsueJapan

Personalised recommendations