Joint Improved Method of Implementing Optimal BDD Structure

LUO Hang,LIAO Jun-bi,WANG Hou-jun,HUANG Jian-guo,LONG Bing
DOI: https://doi.org/10.3969/j.issn.1001-0548.2012.01.010
2012-01-01
Abstract:In this paper,the computer implementation of optimal index-order of binary decision diagram(BDD) structure is researched based on analyzing the principle of optimal index-order presented by Friedman etc.In process of analyzing key techniques,the redundancy to store truth table of all indexes in original method is pointed out.At the same time,the defect that the original method could only obtain an optimal solution(when the object had several optimal solutions) was analyzed,and then the original method was improved,i.e.,the truth table used for storing index value is deleted and the algorithm is modified to get all optimal solutions.To realize optimal BDD structure in formality,the principle simplifying 'equivalent' nodes with 'deleting' operations is analyzed in detail.The theory of optimal index-order and method of simplifying 'equivalent' nodes are united to implement optimal BDD structure with theoretic and formal angle.Finally,the advantages of joint improved method used for achieving optimal BDD structure are validated with an example.
What problem does this paper attempt to address?