Skip to main content Accessibility help
×
Home
Hostname: page-component-99c86f546-kpmwg Total loading time: 0.336 Render date: 2021-12-03T19:59:14.953Z Has data issue: true Feature Flags: { "shouldUseShareProductTool": true, "shouldUseHypothesis": true, "isUnsiloEnabled": true, "metricsAbstractViews": false, "figures": true, "newCiteModal": false, "newCitedByModal": true, "newEcommerce": true, "newUsageEvents": true }

On the Complexity of the Hidden Weighted Bit Function for Various BDD Models

Published online by Cambridge University Press:  15 August 2002

Beate Bollig
Affiliation:
FB Informatik, LS 2, Univ. Dortmund, 44221 Dortmund, Germany.
Martin Löbbing
Affiliation:
FB Informatik, LS 2, Univ. Dortmund, 44221 Dortmund, Germany.
Martin Sauerhoff
Affiliation:
FB Informatik, LS 2, Univ. Dortmund, 44221 Dortmund, Germany.
Ingo Wegener
Affiliation:
FB Informatik, LS 2, Univ. Dortmund, 44221 Dortmund, Germany.
Get access

Abstract

Ordered binary decision diagrams (OBDDs) and several more general BDD models have turned out to be representations of Boolean functions which are useful in applications like verification, timing analysis, test pattern generation or combinatorial optimization. The hidden weighted bit function (HWB) is of particular interest, since it seems to be the simplest function with exponential OBDD size. The complexity of this function with respect to different circuit models, formulas, and various BDD models is discussed.

Type
Research Article
Copyright
© EDP Sciences, 1999

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Ablayev, F., Randomization and nondeterminism are incomparable for ordered read-once branching programs, in Proc. of ICALP '97, LNCS 1256 (1997) 195-202.
Ablayev, F. and Karpinski, M., On the power of randomized branching programs, in Proc. of ICALP '96, LNCS 1099 (1996) 348-356.
M. Agrawal and T. Thierauf, The satisfiability problem for probabilistic ordered branching programs, in Proc. 13th IEEE Conf. on Computational Complexity (1998) 81-90.
Babai, L., Pudlák, P., Rödl, V. and Szemerédi, E., Lower bounds in complexity of symmetric Boolean functions. Theoret. Comput. Sci. 74 (1990) 313-323. CrossRef
Becker, B., Drechsler, R. and Werchner, R., On the relation between BDDs and FDDs. Inform. and Comput. 123 (1997) 185-197. CrossRef
B. Bollig and I. Wegener, Partitioned BDDs vs. other BDD models, in Proc. of the Int. Workshop on Logic Synthesis IWLS '97 (1997).
Bryant, R.E., Graph-based algorithms for Boolean function manipulation. IEEE Trans. Comput. 35 (1986) 677-691. CrossRef
Bryant, R.E., On the complexity of VLSI implementations and graph representations of Boolean functions with applications to integer multiplication. IEEE Trans. Comput. 40 (1991) 205-213. CrossRef
R.E. Bryant, Symbolic manipulation with ordered binary decision diagrams. ACM Computing Surveys 24 (1992) 293-318.
Gergov, J. and Meinel, C., Mod-2-OBDDs--a data structure that generalizes EXOR-sum-of-products and ordered binary decision diagrams. Formal Methods in System Design 8 (1996) 273-282. CrossRef
J. Håstad, Almost optimal lower bounds for small depth circuits, in Proc. of 18th STOC (1986) 6-20.
Hofmeister, T., Hohberg, W. and Köhling, S., Some notes on threshold circuits, and multiplication in depth 4. Inform. Process. Lett. 39 (1991) 219-225. CrossRef
J. Hromkovic, Communication Complexity and Parallel Computing. Springer-Verlag (1997).
Jain, J., Abraham, J.A., Bitner, J. and Fussell, D.S., Probabilistic verification of Boolean functions. Formal Methods in System Design 1 (1992) 61-115. CrossRef
I. Kremer, N. Nisan and D. Ron, On randomized one-round communication complexity, in Proc. of 27th STOC (1995) 596-605.
E. Kushilevitz and N. Nisan, Communication Complexity. Cambridge University Press (1997).
M. Löbbing, O. Schröer and I. Wegener, The theory of zero-suppressed BDDs and the number of knight's tours, in Proc. of IFIP Workshop on Applications of the Reed-Muller Expansion on Circuit Design (1995) 38-45.
A. Narayan, J. Jain, M. Fujita and A. Sangiovanni-Vincentelli, Partitioned ROBDDs--a compact, canonical and efficiently manipulable representation for Boolean functions, in Proc. of ACM/IEEE Int. Conf. on Computer Aided Design ICCAD '96 (1996) 547-554.
Sauerhoff, M., Lower bounds for randomized read-k-times branching programs, in Proc. of STACS '98, LNCS 1373 (1998) 105-115.
M. Sauerhoff. Complexity Theoretical Results for Randomized Branching Programs. PhD thesis, Univ. of Dortmund (1999).
Sauerhoff, M., On the size of randomized OBDDs and read-once branching programs for k-stable functions, in Proc. of STACS '99, LNCS 1563 (1999) 488-499.
Sieling, D. and Wegener, I., Graph driven BDDs--a new data structure for Boolean functions. Theoret. Comput. Sci. 141 (1995) 283-310. CrossRef
R. Smolensky, Algebraic methods in the theory of lower bounds for Boolean circuit complexity, in Proc. of 19th STOC (1987) 77-82.
Valiant, L.G., Short monotone formulae for the majority function. J. Algorithms 5 (1984) 363-366. CrossRef
Waack, S., On the descriptive and algorithmic power of parity ordered binary decision diagrams, in Proc. of STACS '97, LNCS 1200 (1997) 201-212.
I. Wegener, The Complexity of Boolean Functions. Wiley-Teubner (1987).

Send article to Kindle

To send this article to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle.

Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

On the Complexity of the Hidden Weighted Bit Function for Various BDD Models
Available formats
×

Send article to Dropbox

To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Dropbox.

On the Complexity of the Hidden Weighted Bit Function for Various BDD Models
Available formats
×

Send article to Google Drive

To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Google Drive.

On the Complexity of the Hidden Weighted Bit Function for Various BDD Models
Available formats
×
×

Reply to: Submit a response

Please enter your response.

Your details

Please enter a valid email address.

Conflicting interests

Do you have any conflicting interests? *