Abstract
An ordered binary decision diagram (OBDD) is a graph representation of a Boolean function, and it is considered as a restricted branching program. According to its good properties, an OBDD is widely used in computer aided logic design. In this paper, the size of ordered binary decision diagrams representing threshold functions is discussed. First, we prove an Ω(n2cn1-ε) lower bound on the OBDD size necessary to represent any threshold function when the variable ordering can be chosen adaptively to minimize the OBDD size. Next, we show that it is not possible to find a good variable ordering only from the total order of weights, that is, for any variable ordering of this kind, there exists a threshold function that requires an exponential size OBDD, but is represented in polynomial size by the optimal variable ordering.
Preview
Unable to display preview. Download preview PDF.
References
S. B. Akers, Binary Decision Diagrams, IEEE Trans. Comput., C-27(6) (1978) 509–516.
B. Bollig and 1. Wegener, Improving the Variable Ordering of OBDDs is NP-complete, Technical Report, Univ. Dortmund (1994).
R. E. Bryant, Graph-based Algorithms for Boolean Function Manipulation, IEEE Trans. Comput., C-35(8) (1986) 677–691.
R. E. Bryant, On the Complexity of VLSI Implementations and Graph Representations of Boolean Functions with Application to Integer Multiplication, IEEE Trans. Comput., C-40(2) (1991) 205–213.
K. Hosaka, Y. Takenaga and S. Yajima, On the Size of Ordered Binary Decision Diagrams Representing Threshold Functions, 5th Annual International Symposium on Algorithms and Computation (LNCS 834) (1994) 584–592.
Y. Takenaga, T. Kaneda and S. Yajima, Variable Ordering and the Size of Ordered Binary Decision Diagrams Representing Threshold Functions, Technical Report of IEICE, COMP95-17 (1995) 47–55.
N. Ishiura and S. Yajima, A Class of Logic Functions Expressible by a Polynomial-Size Binary Decision Diagram, in: Proc. Synthesis and Simulation Meeting and International Interchange '90 (1990) 48–54.
N. Ishiura, Synthesis of Multi-level Logic Circuits from Binary Decision Diagrams, in: Proc. Synthesis and Simulation Meeting and International Interchange '92 (1992) 74–83.
S. Muroga, Threshold Logic and its Applications, (John Wiley & Sons, New York, 1971).
H. Sawada, Y. Takenaga and S. Yajima, On the Computational Power of Binary Decision Diagrams, IEICE Trans. Info. & Syst., E77-D(6) (1994) 611–618.
S. Tani, K. Hamaguchi and S. Yajima, The Complexity of the Optimal Variable Ordering Problems of Shared Binary Decision Diagrams, in: Proc. 4th Int. Symposium on Algorithm and Computation, Lecture Note in Computer Science 762 (Springer, Berlin, 1993) 389–398.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Takenaga, Y., Nouzoe, M., Yajima, S. (1997). Size and variable ordering of OBDDs representing threshold functions. In: Jiang, T., Lee, D.T. (eds) Computing and Combinatorics. COCOON 1997. Lecture Notes in Computer Science, vol 1276. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0045076
Download citation
DOI: https://doi.org/10.1007/BFb0045076
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63357-0
Online ISBN: 978-3-540-69522-6
eBook Packages: Springer Book Archive