Some practical remarks about Binary Decision Diagram size reduction

[摘要] References(9)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.

[学科分类] 电子、光学、磁材料

[关键词] Boolean function;Binary Decision Diagram;Walsh transform