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