chapter 15cs4203/files/gt-lec20.pdf · chapter 15 algebr aic speci Þcation a: lec 20 15.1 cyc lic...

23
Chapter 15 Algebraic Specication A: Lec 20 15.1 Cyclic Voltages 1 c 2010 by Jonathan L. Gross

Upload: others

Post on 27-Apr-2020

5 views

Category:

Documents


0 download

TRANSCRIPT

Chapter 15Algebraic Specification A: Lec 20

15.1 Cyclic Voltages

1 c 2010 by Jonathan L. Gross

2 Chapter 15 Algebraic Specification A: Lec 20

15.1 CYCLIC VOLTAGES

Symmetry and Specification Reduction

Fig 15.1.1

c 2010 by Jonathan L. Gross

Section 15.1 Cyclic Voltages 3

Figure 15.1.2

c 2010 by Jonathan L. Gross

4 Chapter 15 Algebraic Specification A: Lec 20

Voltage Assignments and Their Meaning

c 2010 by Jonathan L. Gross

Section 15.1 Cyclic Voltages 5

Figure 15.1.3

c 2010 by Jonathan L. Gross

6 Chapter 15 Algebraic Specification A: Lec 20

c 2010 by Jonathan L. Gross

Section 15.1 Cyclic Voltages 7

Vertex Fibers and Edge Fibers

Figure 15.1.4

c 2010 by Jonathan L. Gross

8 Chapter 15 Algebraic Specification A: Lec 20

c 2010 by Jonathan L. Gross

Section 15.1 Cyclic Voltages 9

c 2010 by Jonathan L. Gross

10 Chapter 15 Algebraic Specification A: Lec 20

Artificiality of the Arc Directions

Figure 15.1.5

c 2010 by Jonathan L. Gross

Section 15.1 Cyclic Voltages 11

c 2010 by Jonathan L. Gross

12 Chapter 15 Algebraic Specification A: Lec 20

Voltage Graphs with Self-Loops

Figure 15.1.6

c 2010 by Jonathan L. Gross

Section 15.1 Cyclic Voltages 13

Figure 15.1.7

c 2010 by Jonathan L. Gross

14 Chapter 15 Algebraic Specification A: Lec 20

Figure 15.1.8

c 2010 by Jonathan L. Gross

Section 15.1 Cyclic Voltages 15

Figure 15.1.9

c 2010 by Jonathan L. Gross

16 Chapter 15 Algebraic Specification A: Lec 20

Circulant Graphs as Coverings

c 2010 by Jonathan L. Gross

Section 15.1 Cyclic Voltages 17

Figure 15.1.10

c 2010 by Jonathan L. Gross

18 Chapter 15 Algebraic Specification A: Lec 20

Fig 15.1.11

c 2010 by Jonathan L. Gross

Section 15.1 Cyclic Voltages 19

Designing Specifications of Given Graphs

Figure 15.1.12

c 2010 by Jonathan L. Gross

20 Chapter 15 Algebraic Specification A: Lec 20

c 2010 by Jonathan L. Gross

Section 15.1 Cyclic Voltages 21

c 2010 by Jonathan L. Gross

22 Chapter 15 Algebraic Specification A: Lec 20

c 2010 by Jonathan L. Gross

Section 15.6 Supplementary Exercises 23

15.6 SUPPLEMENTARY EXERCISES

c 2010 by Jonathan L. Gross