Authors: Stanković, Radomir 
Title: Non-Abelian groups in optimization of decision diagrams representations of discrete functions
Journal: Formal Methods in System Design
Volume: 18
Issue: 3
First page: 209
Last page: 231
Issue Date: 1-May-2001
Rank: M22
ISSN: 0925-9856
DOI: 10.1023/A:1011265018200
This paper is devoted to the reduction of decision diagram (dd) representations of discrete functions by using the non-abelian groups and Fourier DDs on these groups. The number of levels in a DD can be reduced through decomposition of the domain group of the represented function into large subgroups. That approach however increases the number of nodes per levels which may decrease the global reduction possibilities in the DD. At the same time, the nodes with a considerable number of outgoing edges are required. In applications, the complexity, thus the price, of a node is proportional to the number of outgoing edges. From an inspection of optimization methods for DDs representations, it follows that a solution of this problem can hardly be found with DDs on Abelian groups. Therefore, we are proposing the use of Fourier DDs on finite non-abelian groups. In that way, the matrix-valued decision diagrams are introduced, since in Fourier DDs on non-abelian groups some of constant nodes are matrices. These Dds permit two-steps optimization. First we determine the optimal structure of the corresponding decision tree by the reduction of which a DD is derived. The optimization is done with respect to the combination of the number of nodes and levels we may require depending on the application intended. Then, we do the optimization of the representations of matrix-valued constant nodes by ordinary DDs of smaller size. In that way, the complex-valued and integer-valued Fourier DDs are derived depending on the chosen group representations for these applications where the matrix-valued Fourier DDs may not be allowed. With thus derived Fourier DDs, the reduction of both number of levels and non-terminal nodes may be achieved. Efficiency of representations with the Fourier DDs on non-abelian groups is illustrated by the example of DDs representations of n-bit multipliers.
Keywords: Decision diagrams | Discrete functions | Fourier transform | Non-Abelian groups
Publisher: Springer Link

Show full item record


checked on May 23, 2024

Page view(s)

checked on May 9, 2024

Google ScholarTM




Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.