Preface |
|
ix | |
List of Figures |
|
xiii | |
List of Tables |
|
xvii | |
1 Signals |
|
1 | (6) |
|
1.1 Signals and Signal Processing |
|
|
1 | (5) |
|
|
6 | (1) |
2 Algebraic Structures for Signal Processing |
|
7 | (10) |
|
|
7 | (6) |
|
|
13 | (2) |
|
|
15 | (2) |
3 Spectral Techniques |
|
17 | (32) |
|
|
17 | (1) |
|
3.2 Fourier and Fourier-Like Transforms on Dyadic Groups |
|
|
18 | (2) |
|
3.3 Reed-Muller Transform |
|
|
20 | (5) |
|
|
25 | (3) |
|
|
28 | (2) |
|
|
30 | (2) |
|
3.7 Partial Kronecker Transforms |
|
|
32 | (5) |
|
3.8 Fixed Polarity Transforms |
|
|
37 | (4) |
|
3.9 Non-Kronecker Transforms |
|
|
41 | (4) |
|
3.10 Classification of Spectral Transforms |
|
|
45 | (1) |
|
|
46 | (3) |
4 Fourier Analysis on Groups |
|
49 | (22) |
|
|
49 | (1) |
|
|
50 | (3) |
|
|
53 | (1) |
|
|
54 | (2) |
|
|
56 | (1) |
|
|
57 | (6) |
|
4.7 Generalized Definition of Spectral Transforms |
|
|
63 | (3) |
|
4.8 Fixed Polarity Kronecker Transforms |
|
|
66 | (1) |
|
4.9 Non-Kronecker Transforms |
|
|
66 | (4) |
|
|
70 | (1) |
5 Spectral Interpretation of Decision Diagrams |
|
71 | (18) |
|
|
71 | (7) |
|
5.2 Spectral Interpretation of BDTs |
|
|
78 | (1) |
|
5.3 Spectral Interpretation of FDTs |
|
|
79 | (5) |
|
|
84 | (2) |
|
|
86 | (3) |
6 Advanced Topics in Decision Tees and Diagrams |
|
89 | (36) |
|
|
89 | (9) |
|
6.2 Basic Features of DTs |
|
|
98 | (3) |
|
|
101 | (11) |
|
6.4 Programming of Decision Diagrams |
|
|
112 | (11) |
|
|
123 | (2) |
7 Optimization of Decision Diagrams |
|
125 | (20) |
|
7.l Decision Diagrams and Order of Variables |
|
|
125 | (5) |
|
|
130 | (7) |
|
7.3 Spectral Interpretation of Optimization of DDs |
|
|
137 | (4) |
|
|
141 | (4) |
8 Word-Level Decision Diagrams |
|
145 | (22) |
|
|
145 | (1) |
|
8.2 Spectral Interpretation of Word-Level DDs |
|
|
146 | (3) |
|
8.3 Haar Transform and Related DDs |
|
|
149 | (1) |
|
8.4 Haar Spectral Diagrams |
|
|
150 | (6) |
|
8.5 Haar Spectral Transform DDs |
|
|
156 | (10) |
|
|
166 | (1) |
9 Spectral Interpretation of Edge-Valued Decision Diagrams |
|
167 | (14) |
|
9.1 Edge-Valued Decision Diagrams |
|
|
167 | (8) |
|
9.2 Relationships Between Edge-Valued DDs and Other DDs |
|
|
175 | (3) |
|
|
178 | (3) |
10 Spectral Interpretation of Ternary Decision Diagrams |
|
181 | (54) |
|
10.1 Ternary Decision Diagrams |
|
|
181 | (1) |
|
10.2 Spectral Transform for TDDs |
|
|
182 | (4) |
|
10.3 Extended Reed-Muller Transform |
|
|
186 | (1) |
|
10.4 ERM-Transform for EXOR-TDDs |
|
|
186 | (5) |
|
10.5 ERM-Transform for Other TDDs |
|
|
191 | (2) |
|
10.6 Calculation of TDD-Spectrum |
|
|
193 | (5) |
|
10.7 Calculation of the Weight Vector |
|
|
198 | (2) |
|
10.8 TDDs and Boolean Difference |
|
|
200 | (6) |
|
|
206 | (1) |
|
10.10 EXOR-TDDs and Kronecker Expressions |
|
|
206 | (6) |
|
10.11 EXOR-TDTs and Pseudo-KDTs |
|
|
212 | (2) |
|
10.12 EXOR-TDDs and Pseudo-Kronecker Expressions |
|
|
214 | (2) |
|
|
216 | (2) |
|
10.14 Arithmetic Transform TDDs |
|
|
218 | (2) |
|
10.15 EXOR-TDDs, Arith-TDDs, and AC-TDDs |
|
|
220 | (1) |
|
|
221 | (3) |
|
10.17 AC-TDDs for Multi-Output Functions |
|
|
224 | (1) |
|
10.18 Exact Minimization of FPAR-expressions |
|
|
225 | (2) |
|
10.19 Word-Level TDDs and Gibbs Derivatives |
|
|
227 | (4) |
|
|
231 | (1) |
|
|
232 | (3) |
11 Group Theoretic Approach to Optimization of Decision Diagrams |
|
235 | (20) |
|
|
237 | (2) |
|
11.2 DDs on Quaternion Groups |
|
|
239 | (9) |
|
11.3 Applications of FNADDs |
|
|
248 | (4) |
|
11.4 Features of DDs on Finite Groups |
|
|
252 | (1) |
|
|
253 | (2) |
12 Closing Remarks |
|
255 | (2) |
Answered Questions |
|
257 | (4) |
References |
|
261 | (18) |
List of Decision Diagrams |
|
279 | (4) |
Index |
|
283 | |