ON THE PLANARITY AND HAMILTONICITY OF HANOI GRAPHS Katherine Rock Advisor: Dr. John Caughman Fariborz Maseeh Department of Mathematics and Statistics Portland State University MTH 501 Presentation June 2, 2016
The Tower of Hanoi Puzzles The original Tower of Hanoi puzzle รdouard Lucas 1883 1842-1891
The Tower of Hanoi Puzzles โข ๐ discs arranged on 3 + ๐ vertical pegs, with ๐, ๐ โ โค โฅ0 . โข Each disc is a different size. โข Regular state: If multiple discs are on the same peg, they are arranged in decreasing size from bottom to top. โข Perfect state: A regular state in which all discs are on the same peg.
The Tower of Hanoi Puzzles โข Object: To move from one perfect state to another by moving one disc at a time from the topmost position on one peg to the topmost position on another peg. โข Divine rule: No larger disc may be placed on top of any smaller disc.
Hanoi Graphs ๐ corresponds to the Tower of Hanoi โข The Hanoi graph ๐ผ ๐ puzzle with 3 + ๐ pegs and ๐ discs. โข Label the pegs 0,1, โฆ , 2 + ๐ and let ๐ฆ ๐ be the position of the disc with radius ๐ , for each ๐ = 1,2, โฆ , ๐ . โข Then each regular state in the puzzle is represented by vertex in the graph, labeled with an ๐ -tuple (๐ฆ 1 , ๐ฆ 2 , โฆ , ๐ฆ ๐ ) , where each ๐ฆ ๐ โ {0,1, โฆ , 2 + ๐} . ๐ are all the possible legal moves of the โข The edges of ๐ผ ๐ discs. Two vertices are adjacent if and only if their corresponding states can be achieved from one another through a legal move of exactly one disc.
5 Example: ๐ผ ๐ 5 , In the graph ๐ผ ๐ 1,1,1,1,1 ~(0,1,1,1,1) and 0,1,1,1,1 ~(0,2 + ๐, 1,1,1) , but 1,1,1,1,1 โ 0,2 + ๐, 1,1,1 .
Hanoi Graphs Definition Let ๐, ๐ โ โค, with ๐ > 0 and ๐ โฅ 0. ๐ is the graph with vertex set ๐(๐ผ ๐ ๐ ) The Hanoi graph ๐ผ ๐ given by ๐ ๐ ๐ผ ๐ = ๐ฆ 1 , ๐ฆ 2 , โฆ , ๐ฆ ๐ 0 โค ๐ฆ ๐ โค 2 + ๐, ๐ฆ ๐ โ โค} and where ๐ฆ 1 , ๐ฆ 2 , โฆ , ๐ฆ ๐ ~ ๐ง 1 , ๐ง 2 , โฆ , ๐ง ๐ if and only if there exists ๐ โ 1,2, โฆ , ๐ such that ๐ฆ ๐ โ ๐ง ๐ , i. ๐ฆ ๐ = ๐ง ๐ for all ๐ โ ๐ , and ii. ๐ฆ ๐ , ๐ง ๐ โฉ ๐ฆ 1 , โฆ , ๐ฆ ๐โ1 = โ . iii.
3 Example: ๐ผ 0
1 & ๐ผ 1 2 Example: ๐ผ 1
Outline โข Introduction (done) โข Hamiltonian graphs ๐ โข Hamiltonicity of ๐ผ ๐ โข Planar graphs โข Planarity of Hanoi graphs
Hamiltonian Graphs Definition A graph ๐ป is called hamiltonian if it contains a cycle that is a spanning subgraph of ๐ป . 3 Example: ๐ผ 0
๐ Hamiltonicity of ๐ผ ๐ Lemma 1 ๐ , with s 1 โ ๐ก 2 Let ๐ก 1 , ๐ก 2 , ๐ก 3 , and ๐ก 4 be perfect states in ๐ผ ๐ and ๐ก 3 โ ๐ก 4 . ๐ ) such that Then there exists an automorphism ๐ โ ๐ต๐ฃ๐ข(๐ผ ๐ ๐ ๐ก 1 = ๐ก 3 and ๐ ๐ก 2 = ๐ก 4 .
๐ Hamiltonicity of ๐ผ ๐ Theorem 1 Every Hanoi graph is hamiltonian. Proof: Fix any ๐ โ โค โฅ0 . The proof consists of two parts. โข Part I: We will show by induction on ๐ that there exists a ๐ beginning and ending with vertices hamiltonian path in ๐ผ ๐ that correspond to distinct perfect states. โข Part II: We will use the result of Part I to construct a ๐+1 . hamiltonian cycle in ๐ผ ๐
Theorem 1, Part I Base Case: Let ๐ = 1 . 1 is isomorphic to the complete graph The Hanoi graph ๐ผ ๐ on 3 + ๐ vertices, which is hamiltonian, and so contains a hamiltonian path. 1 Example: ๐ผ 2
Theorem 1, Part I Induction Hypothesis: ๐ has a hamiltonian path Fix any ๐ โฅ 1 and suppose ๐ผ ๐ beginning and ending with vertices that correspond to distinct perfect states. ๐+1 corresponds to the puzzle obtained by adding a disc ๐ผ ๐ with radius ๐ + 1 to the Tower of Hanoi puzzle that ๐ . correspond to ๐ผ ๐ ๐ ๐+1 ๐ผ ๐ ๐ผ ๐
Theorem 1, Part I Without loss of generality, suppose all discs begin on peg 0. By the induction hypothesis, there is a hamiltonian path ๐ . between distinct perfect states in ๐ผ ๐ By Lemma 1, perfect states are isomorphic, so there is a hamiltonian path between any two distinct perfect states. We can move disc ๐ + 1 stepwise through every peg from 0 to 2 + ๐ in the following way.
Theorem 1, Part I Before each step moving disc ๐ + 1 , we perform a hamiltonian path transferring the ๐ -tower of discs to a peg allowing disc ๐ + 1 to move. In general, before moving disc ๐ + 1 from peg ๐ to peg ๐ + 1 , we first move the ๐ -tower to peg ๐ + 2 (mod 3 + ๐ ).
Theorem 1, Part I After the last move of disc ๐ + 1 to peg 2 + ๐ , the ๐ - tower can be transferred to peg 2 + ๐ as well, again through a hamiltonian path ๐ . in ๐ผ ๐ During this process, every possible state of all ๐ + 1 discs is achieved exactly once, completing a ๐+1 . hamiltonian path in ๐ผ ๐
Theorem 1, Part II ๐+1 . We now construct a hamiltonian cycle in ๐ผ ๐ Without loss of generality, let the initial vertex in the cycle ๐+1 . be 1,1, โฆ , 1,0 โ ๐ ๐ผ ๐ By Part I, we can transfer the ๐ -tower of smaller discs from peg 1 to peg 2 through a hamiltonian path, followed by moving disc ๐ + 1 to peg 1. In this step, weโve gone through every vertex with a 0 in the last entry, ending on vertex (2,2, โฆ , 2,1 ).
Theorem 1, Part II Continuing in this way, we transfer the ๐ -tower through a hamiltonian path from peg ๐ + 1 to peg ๐ + 2 for each ๐ โ {0,1, โฆ , 2 + ๐} , following each by a single move of disc ๐ + 1 from peg ๐ to peg ๐ + 1 , where each step is modulo 3 + ๐ . In each step, we go through every vertex with an ๐ in the last entry.
Theorem 1, Part II The process terminates when we transfer the ๐ - tower back to peg 1, followed by moving disc ๐ + 1 to peg 0. We have completed a path ๐+1 that goes through in ๐ผ ๐ every vertex exactly once and ends on the initial ๐+1 contains vertex. Thus ๐ผ ๐ a hamiltonian cycle. โ
Planar Graphs Definition A graph ๐ป is called planar if it can be drawn in the plane without any crossings. Example: The complete graph The complete graph ๐ฟ 5 ๐ฟ 4 is planar. is not planar
๐ Planarity of ๐ผ ๐ Theorem 2 ๐ , ๐ผ 1 1 , and ๐ผ 1 2 . The only planar Hanoi graphs are ๐ผ 0 Proof: 1 and ๐ผ 1 2 are planar by โข Part I: We will show that ๐ผ 1 constructing planar embeddings of each. ๐ is planar for all โข Part II: We will show by induction that ๐ผ 0 ๐ โ โ . ๐ is non-planar for all ๐ โฅ 2 โข Part III: We will show that ๐ผ ๐ and ๐ โฅ 1 . ๐ is non-planar for all ๐ โฅ 3 . โข Part IV: We will show that ๐ผ 1
Theorem 2, Part I 1 and ๐ผ 1 2 are planar, as demonstrated by planar ๐ผ 1 embeddings. 2 is 3-connected (there is no pair of Note that, since ๐ผ 1 vertices whose deletion results in a disconnected graph), 2 is essentially unique. this planar embedding of ๐ผ 1
Theorem 2, Part I ๐, ๐ 1 2 3 4 5 โฆ 0 1 Y Y 2 3 4 5 โฎ
Theorem 2, Part II ๐ allows a planar We will show by induction on ๐ that ๐ผ 0 embedding, whose infinite face is the complement of an equilateral triangle with side length 2 ๐ โ 1 , and whose corners are the perfect states. Base Case: Let ๐ = 1 . 1 corresponds to the Tower of Hanoi puzzle The graph ๐ผ 0 with 1 disc on 3 pegs. The disc can move freely between 1 is isomorphic to the complete graph ๐ฟ 3 . the pegs, so ๐ผ 0 1 is planar and it can be drawn as an Thus ๐ผ 0 equilateral triangle with side length 1 = 2 1 โ 1.
Theorem 2, Part II Induction Hypothesis: ๐ can be drawn without Fix any ๐ โ โ and suppose ๐ผ 0 crossings such that its infinite face is the complement of an equilateral triangle with side length 2 ๐ โ 1 and the corners are the perfect states. ๐ by ( 0 ) , ( 1 ) , and Label the perfect states of ๐ผ 0 2 , where ( ๐ ) is the ๐ -tuple consisting of all ๐ โs.
Theorem 2, Part II ๐+1 in the following way. We construct ๐ผ 0 ๐ , one for each possible position of disc โข Take 3 copies of ๐ผ 0 ๐ + 1 (peg 0, 1, or 2). โข Relabel their vertices with (๐ + 1) -tuples ending in 0, 1, and 2, respectively. โข Add 3 edges to form the adjacencies 0 , 1 ~( 0 , 2) , 1 , 0 ~( 1 , 2) , and 2 , 0 ~ 2 , 1 . ๐ is an equilateral triangle, โข Since each of the 3 copies of ๐ผ 0 through flips we can arrange them so that each of the three edges added are the middle edges of a new equilateral triangle with side length 2 2 ๐ โ 1 + 1 = 2 ๐+1 โ 1 .
Theorem 2, Part II
Theorem 2, Part II We certainly have the adjacencies 0 , 1 ~( 0 , 2) , ๐+1 , since if the ๐ - 1 , 0 ~( 1 , 2) , and 2 , 0 ~ 2 , 1 in ๐ผ 0 tower of smaller discs are all on one peg, then disc ๐ + 1 is free to move between the other two pegs. To verify that exactly 3 edges are added to the 3 copies of ๐ ๐ to form ๐ผ 0 ๐+1 , we can use the edge count formula for ๐ผ ๐ ๐ผ 0 ๐ = (3 + ๐)(2 + ๐) 3 + ๐ ๐ โ 1 + ๐ ๐ ๐น ๐ 4 to show that ๐+1 = 3 ๐น 0 ๐ + 3. ๐น 0 ๐ is planar for all ๐ โ โ . Thus ๐ผ 0
Theorem 2, Part II ๐, ๐ 1 2 3 4 5 โฆ 0 โฆ Y Y Y Y Y 1 Y Y 2 3 4 5 โฎ
Recommend
More recommend