Title:
The method and system which determine the optimal variable order of BDD using formation of a pair unit variable group
Document Type and Number:
Japanese Patent JP5987289
Kind Code:
B2
Abstract:
A method comprising accessing a binary decision diagram (BDD) representing a function having n variables, where n ¥ 2, wherein the BDD comprises n layers corresponding to the n variables, respectively; separates the n variables into n ! 2 n / 2 groups, wherein each group comprises n 2 ordered sets, and each set in each group comprises 1 or 2 variables; for each of the n ! 2 n / 2 groups, determines a locally optimum variable order that yields a smallest size among 2 [ n /2] different variable orders of the BDD obtained within the group; and selects from n ! 2 n / 2 locally optimum variable orders corresponding to the n ! 2 n / 2 groups an optimum variable order of the BDD that yields a smallest size among the n ! 2 n / 2 locally optimum variable orders.
More Like This:
Inventors:
Sterugiu Stelios
Jain Jawaha
Jain Jawaha
Application Number:
JP2011223805A
Publication Date:
September 07, 2016
Filing Date:
October 11, 2011
Export Citation:
Assignee:
富士通株式会社
International Classes:
G06F5/00; G06F7/60
Domestic Patent References:
| JP9006821A | ||||
| JP2010055608A | ||||
| JP2000067097A |
Foreign References:
| US20100042569 | ||||
| US20080282207 |
Attorney, Agent or Firm:
Tadashige Ito
Tadahiko Ito
Takao Kato
Tadahiko Ito
Takao Kato