algebr aic speci Þcation c: lec 22 - columbia university

Chapter 15Algebraic Specification C: Lec 22

15.3 Permutation Voltages15.4 Symmetric Graphs and Parallel Architectures

1 c 2010 by Jonathan L. Gross

2 Chapter 15 Algebraic Specification C: Lec 22

15.3 PERMUTATION VOLTAGES

Permutation-Voltage Specifications

Figure 15.3.1

c 2010 by Jonathan L. Gross

Section 15.3 Permutation Voltages 3



Drawing Graphs Specified by Perm Voltages

Figure 15.3.2



Figure 15.3.3



Specifying the deBruijn Graphs

Fig 15.3.4



Figure 15.3.5



Wreath Product



15.4 SPECIFYING SYMMETRIC GRAPHS

Theoretical Criteria for Base Graphs


Section 15.4 Specifying Symmetric Graphs 13



Problems with Elementary Solutions



Figure 15.4.1



Fig 15.4.2



Figure 15.4.3



Fig 15.4.4



Problems with Complicated Solutions

Fig 15.4.5



Fig 15.4.6

Fig 15.4.7



Fig 15.4.8

Fig 15.4.9



15.6 SUPPLEMENTARY EXERCISES


algebr aic speci Þcation c: lec 22 - columbia university

Documents