34th International Symposium on Multiple-Valued Logic (ISMVL'04) On the Minimization of Average Path Lengths for Heterogeneous MDDs University of Toronto, Toronto, Canada May 19-May 22 ISBN: 0-7695-2130-4
In this paper, we propose an exact and a heuristic minimization algorithms for the average path length (APL) of heterogeneous multi-valued decision diagrams (MDDs). In a heterogeneous MDD, each variable can take on the different number of values. To represent a binary logic function using a heterogeneous MDD, we partition the binary variables into groups, and treat them as multi-valued variables. By considering partitions of binary variables, we can obtain heterogeneous MDDs that represent logic functions more compactly and have smaller APLs than reduced ordered binary decision diagrams (ROBDDs). Experimental results using 21 benchmark functions show that the APLs of the heterogeneous MDDs can be reduced by a half that of corresponding ROBDDs, on average, without increasing memory size.
Citation:
Shinobu Nagayama, Tsutomu Sasao, "On the Minimization of Average Path Lengths for Heterogeneous MDDs," ismvl, pp.216-222, 34th International Symposium on Multiple-Valued Logic (ISMVL'04), 2004 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||