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

c 2010 by Jonathan L. Gross

4 Chapter 15 Algebraic Specification C: Lec 22

c 2010 by Jonathan L. Gross

Section 15.3 Permutation Voltages 5

c 2010 by Jonathan L. Gross

6 Chapter 15 Algebraic Specification C: Lec 22

Drawing Graphs Specified by Perm Voltages

Figure 15.3.2

c 2010 by Jonathan L. Gross

Section 15.3 Permutation Voltages 7

Figure 15.3.3

c 2010 by Jonathan L. Gross

8 Chapter 15 Algebraic Specification C: Lec 22

Specifying the deBruijn Graphs

Fig 15.3.4

c 2010 by Jonathan L. Gross

Section 15.3 Permutation Voltages 9

c 2010 by Jonathan L. Gross

10 Chapter 15 Algebraic Specification C: Lec 22

Figure 15.3.5

c 2010 by Jonathan L. Gross

Section 15.3 Permutation Voltages 11

Wreath Product

c 2010 by Jonathan L. Gross

12 Chapter 15 Algebraic Specification C: Lec 22

15.4 SPECIFYING SYMMETRIC GRAPHS

Theoretical Criteria for Base Graphs

c 2010 by Jonathan L. Gross

Section 15.4 Specifying Symmetric Graphs 13

c 2010 by Jonathan L. Gross

14 Chapter 15 Algebraic Specification C: Lec 22

c 2010 by Jonathan L. Gross

Section 15.4 Specifying Symmetric Graphs 15

Problems with Elementary Solutions

c 2010 by Jonathan L. Gross

16 Chapter 15 Algebraic Specification C: Lec 22

c 2010 by Jonathan L. Gross

Section 15.4 Specifying Symmetric Graphs 17

Figure 15.4.1

c 2010 by Jonathan L. Gross

18 Chapter 15 Algebraic Specification C: Lec 22

c 2010 by Jonathan L. Gross

Section 15.4 Specifying Symmetric Graphs 19

Fig 15.4.2

c 2010 by Jonathan L. Gross

20 Chapter 15 Algebraic Specification C: Lec 22

Figure 15.4.3

c 2010 by Jonathan L. Gross

Section 15.4 Specifying Symmetric Graphs 21

Fig 15.4.4

c 2010 by Jonathan L. Gross

22 Chapter 15 Algebraic Specification C: Lec 22

c 2010 by Jonathan L. Gross

Section 15.4 Specifying Symmetric Graphs 23

Problems with Complicated Solutions

Fig 15.4.5

c 2010 by Jonathan L. Gross

24 Chapter 15 Algebraic Specification C: Lec 22

c 2010 by Jonathan L. Gross

Section 15.4 Specifying Symmetric Graphs 25

Fig 15.4.6

Fig 15.4.7

c 2010 by Jonathan L. Gross

26 Chapter 15 Algebraic Specification C: Lec 22

c 2010 by Jonathan L. Gross

Section 15.4 Specifying Symmetric Graphs 27

Fig 15.4.8

Fig 15.4.9

c 2010 by Jonathan L. Gross

28 Chapter 15 Algebraic Specification C: Lec 22

15.6 SUPPLEMENTARY EXERCISES

c 2010 by Jonathan L. Gross