IEICE Electronics Express
Online ISSN : 1349-2543
ISSN-L : 1349-2543
LETTER
Some practical remarks about Binary Decision Diagram size reduction
Piotr PorwikKrzysztof WrobelPiotr Zaczkowski
Author information
JOURNAL FREE ACCESS

2006 Volume 3 Issue 3 Pages 51-57

Details
Abstract

In this paper the new spectral method of the variable ordering in the Binary Decision Diagram (BDD) is introduced. The problem to find the best order is defined as NP-hard, and optimal solution can not be finding because optimizing algorithm is running in O(n!2n) time, and calculations can not be done for the large n. Such complexity was obviously improved in many algorithms but as will be demonstrated in this paper size of the BDD can be additionally reduced. Performed results with another representative methods have been compared.

Content from these authors
© 2006 by The Institute of Electronics, Information and Communication Engineers
Previous article Next article
feedback
Top