hamiltonicity of hanoi
play

HAMILTONICITY OF HANOI GRAPHS Katherine Rock Advisor: Dr. John - PowerPoint PPT Presentation

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


  1. 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

  2. The Tower of Hanoi Puzzles The original Tower of Hanoi puzzle ร‰douard Lucas 1883 1842-1891

  3. 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.

  4. 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.

  5. 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.

  6. 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 .

  7. 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.

  8. 3 Example: ๐ผ 0

  9. 1 & ๐ผ 1 2 Example: ๐ผ 1

  10. Outline โ€ข Introduction (done) โ€ข Hamiltonian graphs ๐‘œ โ€ข Hamiltonicity of ๐ผ ๐‘› โ€ข Planar graphs โ€ข Planarity of Hanoi graphs

  11. Hamiltonian Graphs Definition A graph ๐ป is called hamiltonian if it contains a cycle that is a spanning subgraph of ๐ป . 3 Example: ๐ผ 0

  12. ๐‘œ 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 .

  13. ๐‘œ 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 ๐ผ ๐‘›

  14. 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

  15. 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 ๐ผ ๐‘› ๐ผ ๐‘›

  16. 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.

  17. 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 + ๐‘› ).

  18. 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 ๐ผ ๐‘›

  19. 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 ).

  20. 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.

  21. 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. โ– 

  22. 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

  23. ๐‘œ 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

  24. 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

  25. Theorem 2, Part I ๐’, ๐’ 1 2 3 4 5 โ€ฆ 0 1 Y Y 2 3 4 5 โ‹ฎ

  26. 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.

  27. 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.

  28. 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 .

  29. Theorem 2, Part II

  30. 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

  31. 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