DOCSLIB.ORG

Mathematics of the Rubik's Cube

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Mathematics of the Rubik's Cube Mathematics of the Rubik’s cube Associate Professor W. D. Joyner Spring Semester, 1996-7 2 Abstract These notes cover enough group theory and graph theory to under- stand the mathematical description of the Rubik’s cube and several other related puzzles. They follow a course taught at the USNA during the Fall and Spring 1996-7 semesters. ”By and large it is uniformly true that in mathematics that there is a time lapse between a mathematical discovery and the moment it becomes useful; and that this lapse can be anything from 30 to 100 years, in some cases even more; and that the whole system seems to function without any direction, without any reference to usefulness, and without any desire to do things which are useful.” John von Neumann COLLECTED WORKS, VI, p489 For more mathematical quotes, see the first page of each chapter below, [M], [S] or the www page at http://math.furman.edu/~mwoodard/mquot.html 3 ”There are some things which cannot be learned quickly, and time, which is all we have, must be paid heavily for their acquir- ing. They are the very simplest things, and because it takes a man’s life to know them the little that each man gets from life is costly and the only heritage he has to leave.” Ernest Hemingway 4 Contents 0 Introduction 11 1 Logic and sets 13 1.1 Logic :::::::::::::::::::::::::::::::: 13 1.1.1 Expressing an everyday sentence symbolically ::::: 16 1.2 Sets :::::::::::::::::::::::::::::::: 17 2 Functions, matrices, relations and counting 19 2.1 Functions ::::::::::::::::::::::::::::: 19 2.2 Functions on vectors ::::::::::::::::::::::: 24 2.2.1 History ::::::::::::::::::::::::::: 24 2.2.2 3 £ 3 matrices ::::::::::::::::::::::: 26 2.2.3 Matrix multiplication, inverses :::::::::::::: 26 2.2.4 Muliplication and inverses :::::::::::::::: 27 2.3 Relations :::::::::::::::::::::::::::::: 27 2.4 Counting :::::::::::::::::::::::::::::: 31 3 Permutations 33 3.1 Inverses :::::::::::::::::::::::::::::: 36 3.2 Cycle notation ::::::::::::::::::::::::::: 41 3.3 An algorithm to list all the permutations :::::::::::: 46 4 Permutation Puzzles 51 4.1 15 puzzle :::::::::::::::::::::::::::::: 52 4.2 Devil’s circles (or Hungarian rings) ::::::::::::::: 55 4.3 Equator puzzle :::::::::::::::::::::::::: 57 4.4 Rainbow Masterball :::::::::::::::::::::::: 60 4.5 2 £ 2 Rubik’s cube :::::::::::::::::::::::: 65 5 6 CONTENTS 4.6 3 £ 3 Rubik’s cube :::::::::::::::::::::::: 69 4.6.1 The superflip game :::::::::::::::::::: 70 4.7 4 £ 4 Rubik’s cube :::::::::::::::::::::::: 71 4.8 Skewb ::::::::::::::::::::::::::::::: 74 4.9 n £ n Rubik’s cube :::::::::::::::::::::::: 77 4.10 Pyraminx ::::::::::::::::::::::::::::: 77 4.11 Megaminx ::::::::::::::::::::::::::::: 81 4.12 Other permutation puzzles :::::::::::::::::::: 86 5 Groups, I 89 5.1 The symmetric group ::::::::::::::::::::::: 90 5.2 General definitions :::::::::::::::::::::::: 91 5.2.1 The Gordon game ::::::::::::::::::::: 96 5.3 Subgroups ::::::::::::::::::::::::::::: 98 5.4 Example: The dihedral group :::::::::::::::::: 100 5.5 Example: The two squares group :::::::::::::::: 101 5.6 Commutators ::::::::::::::::::::::::::: 104 5.7 Conjugation :::::::::::::::::::::::::::: 106 5.8 Orbits and actions :::::::::::::::::::::::: 108 5.9 Cosets ::::::::::::::::::::::::::::::: 112 5.10 Dimino’s Algorithm :::::::::::::::::::::::: 114 5.11 Permutations and campanology ::::::::::::::::: 116 6 Graphs and ”God’s algorithm” 123 6.1 Cayley graphs ::::::::::::::::::::::::::: 125 6.2 God’s algorithm :::::::::::::::::::::::::: 128 6.2.1 History ::::::::::::::::::::::::::: 129 6.3 The graph of the 15 puzzle :::::::::::::::::::: 130 6.3.1 General definitions :::::::::::::::::::: 132 6.4 Remarks on applications, NP-completeness ::::::::::: 138 7 Symmetry groups of the Platonic solids 139 7.1 Descriptions :::::::::::::::::::::::::::: 139 7.2 Background on symmetries in 3-space :::::::::::::: 141 7.3 Symmetries of the tetrahedron :::::::::::::::::: 144 7.4 Symmetries of the cube :::::::::::::::::::::: 145 7.5 Symmetries of the dodecahedron ::::::::::::::::: 148 7.6 Appendix: Symmetries of the icosahedron and S6 ::::::: 151 CONTENTS 7 8 Groups, II 153 8.1 Homomorphisms ::::::::::::::::::::::::: 153 8.2 Homomorphisms arising from group actions :::::::::: 156 8.3 Examples of isomorphisms :::::::::::::::::::: 157 8.3.1 Conjugation in Sn ::::::::::::::::::::: 159 8.3.2 Aside: Automorphisms of Sn ::::::::::::::: 160 8.4 Kernels and normal subgroups :::::::::::::::::: 161 8.5 Quotient subgroups :::::::::::::::::::::::: 163 8.6 Direct products :::::::::::::::::::::::::: 165 8.6.1 First fundamental theorem of cube theory ::::::: 166 8.6.2 The twists and flips of the Rubik’s cube :::::::: 167 8.6.3 The slice group of the Rubik’s cube ::::::::::: 168 8.7 Semi-direct products ::::::::::::::::::::::: 173 8.8 Wreath products ::::::::::::::::::::::::: 176 8.8.1 Application to order of elements in Cm wr Sn :::::: 178 9 The Rubik’s cube and the word problem 181 9.1 Background on free groups :::::::::::::::::::: 181 9.1.1 Length ::::::::::::::::::::::::::: 182 9.1.2 Trees :::::::::::::::::::::::::::: 183 9.2 The word problem :::::::::::::::::::::::: 184 9.3 Generators and relations ::::::::::::::::::::: 185 9.4 Generators, relations for groups of order < 26 ::::::::: 187 9.5 The presentation problem :::::::::::::::::::: 192 n 9.6 A presentation for Cm >¢ Sn+1 ::::::::::::::::: 193 9.6.1 A proof :::::::::::::::::::::::::: 195 10 The 2 £ 2 and 3 £ 3 cube groups 197 10.1 Mathematical description of the 3 £ 3 cube moves ::::::: 197 10.1.1 Notation :::::::::::::::::::::::::: 197 10.1.2 Corner orientations :::::::::::::::::::: 200 10.1.3 Edge orientations ::::::::::::::::::::: 201 10.1.4 The semi-direct product ::::::::::::::::: 202 10.2 Second fundamental theorem of cube theory :::::::::: 203 10.2.1 Some consequences :::::::::::::::::::: 207 10.3 Rubika esoterica :::::::::::::::::::::::::: 208 10.3.1 Coxeter groups :::::::::::::::::::::: 210 10.3.2 The moves of order 2 ::::::::::::::::::: 211 8 CONTENTS 10.4 Mathematical description of the 2 £ 2 cube moves ::::::: 212 11 Other Rubik-like puzzle groups 215 11.1 On the group structure of the skewb :::::::::::::: 215 11.2 On the group structure of the pyraminx :::::::::::: 219 11.2.1 Orientations :::::::::::::::::::::::: 221 11.2.2 Center pieces ::::::::::::::::::::::: 223 11.2.3 The group structure ::::::::::::::::::: 224 11.3 A uniform approach :::::::::::::::::::::::: 225 11.3.1 General remarks ::::::::::::::::::::: 225 11.3.2 Parity conditions ::::::::::::::::::::: 226 11.4 The homology group of the square 1 puzzle ::::::::::: 227 11.4.1 The main result :::::::::::::::::::::: 228 11.4.2 Proof of the theorem ::::::::::::::::::: 231 12 Interesting subgroups of the cube group 233 12.1 The squares subgroup ::::::::::::::::::::::: 234 12.2 P GL(2; F5) and two faces of the cube :::::::::::::: 236 12.2.1 Finite fields :::::::::::::::::::::::: 236 12.2.2 M¨obiustransformations ::::::::::::::::: 240 12.2.3 The main isomorphism :::::::::::::::::: 243 12.2.4 The labeling :::::::::::::::::::::::: 244 12.2.5 Proof of the second theorem ::::::::::::::: 245 12.3 The cross groups ::::::::::::::::::::::::: 246 12.3.1 P SL(2; F7) and crossing the cube :::::::::::: 246 12.3.2 Klein’s 4-group and crossing the pyramnix ::::::: 249 13 Crossing the Rubicon 251 13.1 Doing the Mongean shuffle :::::::::::::::::::: 252 13.2 Background on P SL2 ::::::::::::::::::::::: 252 13.3 Galois’ last dream ::::::::::::::::::::::::: 254 13.4 The M12 generation :::::::::::::::::::::::: 255 13.5 Coding the Golay way :::::::::::::::::::::: 256 13.6 M12 is crossing the rubicon :::::::::::::::::::: 258 13.7 An aside: A pair of cute facts :::::::::::::::::: 259 13.7.1 Hadamard matrices :::::::::::::::::::: 259 13.7.2 5-transitivity ::::::::::::::::::::::: 261 CONTENTS 9 14 Appendix: Some solution strategies 263 14.1 The subgroup method :::::::::::::::::::::: 263 14.1.1 Example: the corner-edge method :::::::::::: 264 14.1.2 Example: Thistlethwaite’s method ::::::::::: 265 14.2 3 £ 3 Rubik’s cube :::::::::::::::::::::::: 266 14.2.1 Strategy for solving the cube ::::::::::::::: 266 14.2.2 Catalog of 3 £ 3 Rubik’s ”supercube” moves :::::: 267 14.3 4 £ 4 Rubik’s cube :::::::::::::::::::::::: 267 14.4 Rainbow masterball :::::::::::::::::::::::: 269 14.4.1 A catalog of rainbow moves ::::::::::::::: 270 14.5 Equator puzzle :::::::::::::::::::::::::: 271 14.6 The skewb ::::::::::::::::::::::::::::: 273 14.6.1 Strategy :::::::::::::::::::::::::: 273 14.6.2 A catalog of skewb moves :::::::::::::::: 273 14.7 The pyraminx ::::::::::::::::::::::::::: 274 14.8 The megaminx :::::::::::::::::::::::::: 275 14.8.1 Catalog of moves ::::::::::::::::::::: 276 10 CONTENTS Chapter 0 Introduction ”The advantage is that mathematics is a field in which one’s blunders tend to show very clearly and can be corrected or erased with a stroke of the pencil. It is a field which has often been compared with chess, but differs from the latter in that it is only one’s best moments that count and not one’s worst.” Norbert Wiener EX-PRODIGY: MY CHILDHOOD AND YOUTH Groups measure symmetry. No where is this more evident than in the study of symmetry in 2- and 3-dimensional geometric figures. Symmetry, and hence groups, play a key role in the study of crystallography, elementary particle physics, coding theory, and the Rubik’ s cube, to name just a few. This is a book biased towards group theory not the ”the cube”. To paraphrase the German mathematician David Hilbert, the art of doing group theory is to pick a good example to learn from. The Rubik’s cube will be our
Load more

Recommended publications
  • 002-Contents.Pdf
    CubeRoot Contents Contents Contents Purple denotes upcoming contents. 1 Preface 2 Signatures of Top Cubers in the World 3 Quotes 4 Photo Albums 5 Getting Started 5.1 Cube History 5.2 WCA Events 5.3 WCA Notation 5.4 WCA Competition Tutorial 5.5 Tips to Cubers 6 Rubik's Cube 6.1 Beginner 6.1.1 LBL Method (Layer-By-Layer) 6.1.2 Finger and Toe Tricks 6.1.3 Optimizing LBL Method 6.1.4 4LLL Algorithms 6.2 Intermediate 进阶 6.2.1 Triggers 6.2.2 How to Get Faster 6.2.3 Practice Tips 6.2.4 CN (Color Neutrality) 6.2.5 Lookahead 6.2.6 CFOP Algorithms 6.2.7 Solve Critiques 3x3 - 12.20 Ao5 6.2.8 Solve Critiques 3x3 - 13.99 Ao5 6.2.9 Cross Algorithms 6.2.10 Xcross Examples 6.2.11 F2L Algorithms 6.2.12 F2L Techniques 6.2.13 Multi-Angle F2L Algorithms 6.2.14 Non-Standard F2L Algorithms 6.2.15 OLL Algorithms, Finger Tricks and Recognition 6.2.16 PLL Algorithms and Finger Tricks 6.2.17 CP Look Ahead 6.2.18 Two-Sided PLL Recognition 6.2.19 Pre-AUF CubeRoot Contents Contents 7 Speedcubing Advice 7.1 How To Get Faster 7.2 Competition Performance 7.3 Cube Maintenance 8 Speedcubing Thoughts 8.1 Speedcubing Limit 8.2 2018 Plans, Goals and Predictions 8.3 2019 Plans, Goals and Predictions 8.4 Interviewing Feliks Zemdegs on 3.47 3x3 WR Single 9 Advanced - Last Slot and Last Layer 9.1 COLL Algorithms 9.2 CxLL Recognition 9.3 Useful OLLCP Algorithms 9.4 WV Algorithms 9.5 Easy VLS Algorithms 9.6 BLE Algorithms 9.7 Easy CLS Algorithms 9.8 Easy EOLS Algorithms 9.9 VHLS Algorithms 9.10 Easy OLS Algorithms 9.11 ZBLL Algorithms 9.12 ELL Algorithms 9.13 Useful 1LLL Algorithms
    [Show full text]
  • Mathematics of the Rubik's Cube
    Mathematics of the Rubik's cube Associate Professor W. D. Joyner Spring Semester, 1996{7 2 \By and large it is uniformly true that in mathematics that there is a time lapse between a mathematical discovery and the moment it becomes useful; and that this lapse can be anything from 30 to 100 years, in some cases even more; and that the whole system seems to function without any direction, without any reference to usefulness, and without any desire to do things which are useful." John von Neumann COLLECTED WORKS, VI, p. 489 For more mathematical quotes, see the first page of each chapter below, [M], [S] or the www page at http://math.furman.edu/~mwoodard/mquot. html 3 \There are some things which cannot be learned quickly, and time, which is all we have, must be paid heavily for their acquiring. They are the very simplest things, and because it takes a man's life to know them the little new that each man gets from life is very costly and the only heritage he has to leave." Ernest Hemingway (From A. E. Hotchner, PAPA HEMMINGWAY, Random House, NY, 1966) 4 Contents 0 Introduction 13 1 Logic and sets 15 1.1 Logic................................ 15 1.1.1 Expressing an everyday sentence symbolically..... 18 1.2 Sets................................ 19 2 Functions, matrices, relations and counting 23 2.1 Functions............................. 23 2.2 Functions on vectors....................... 28 2.2.1 History........................... 28 2.2.2 3 × 3 matrices....................... 29 2.2.3 Matrix multiplication, inverses.............. 30 2.2.4 Muliplication and inverses...............
    [Show full text]
  • Cube Lovers: Index by Date 3/18/17, 209 PM
    Cube Lovers: Index by Date 3/18/17, 209 PM Cube Lovers: Index by Date Index by Author Index by Subject Index for Keyword Articles sorted by Date: Jul 80 Alan Bawden: [no subject] Jef Poskanzer: Complaints about :CUBE program. Alan Bawden: [no subject] [unknown name]: [no subject] Alan Bawden: [no subject] Bernard S. Greenberg: Cube minima Ed Schwalenberg: Re: Singmeister who? Bernard S. Greenberg: Singmaster Allan C. Wechsler: Re: Cubespeak Richard Pavelle: [no subject] Lauren Weinstein: confusion Alan Bawden: confusion Jon David Callas: [no subject] Bernard S. Greenberg: Re: confusion Richard Pavelle: confusion but simplicity Allan C. Wechsler: Short Introductory Speech Richard Pavelle: the cross design Bernard S. Greenberg: Re: the cross design Alan Bawden: the cross design Yekta Gursel: Re: Checker board pattern... Bernard S. Greenberg: Re: Checker board pattern... Michael Urban: Confusion Bernard S. Greenberg: Re: the cross design Bernard S. Greenberg: Re: Checker board pattern... Bernard S. Greenberg: Re: Confusion Bernard S. Greenberg: The Higher Crosses Alan Bawden: The Higher Crosses Bernard S. Greenberg: Postscript to above Bernard S. Greenberg: Bug in above Ed Schwalenberg: Re: Patterns, designs &c. Alan Bawden: Patterns, designs &c. Alan Bawden: 1260 Richard Pavelle: [no subject] Allan C. Wechsler: Re: Where to get them in the Boston Area, Cube Language. Alan Bawden: 1260 vs. 2520 Alan Bawden: OOPS Bill McKeeman: Re: Where to get them in the Boston Area, Cube Language. Bernard S. Greenberg: General remarks Bernard S. Greenberg: :cube feature http://www.math.rwth-aachen.de/~Martin.Schoenert/Cube-Lovers/ Page 1 of 45 Cube Lovers: Index by Date 3/18/17, 209 PM Alan Bawden: [no subject] Bernard S.
    [Show full text]
  • Group Theory for Puzzles 07/08/2007 04:27 PM
    Group Theory for puzzles 07/08/2007 04:27 PM Group Theory for puzzles On this page I will give much more detail on what groups are, filling in many details that are skimmed over on the Useful Mathematics page. However, since there is a lot to deal with, I will go through it fairly quickly and not elaborate much, which makes the text rather dense. I will at the same time try to relate these concepts to permutation puzzles, and the Rubik's Cube in particular. 1. Sets and functions 2. Groups and homomorphisms 3. Actions and orbits 4. Cosets and coset spaces 5. Permutations and parity 6. Symmetry and Platonic solids 7. Conjugation and commutation 8. Normal groups and quotient groups 9. Bibliography and Further reading Algebra and Group Theory Application to puzzles 1. Sets and functions A set is a collection of things called elements, and each of these elements occurs at most once in a set. A (finite) set can be given explicitly as a list inside a pair of curly brackets, for example {2,4,6,8} is the set of even positive integers below 10. It has four elements. There are infinite sets - sets that have an infinite number of elements - such as the set of integers, but I On puzzles, we will often consider the set of puzzle will generally discuss only finite sets (and groups) here. positions. A function f:A B from set A to set B is a pairing that assigns to each element in A some element of B.
    [Show full text]
  • Rubik's Cube Solutions
    Rubik’s Cube Solutions Rubik’s Cube Solution – Useful Links http://www.geocities.com/jaapsch/puzzles/theory.htm http://www.ryanheise.com/cube/ http://peter.stillhq.com/jasmine/rubikscubesolution.html http://en.wikibooks.org/wiki/How_to_solve_the_Rubik's_Cube http://www.rubiks.com/World/~/media/Files/Solution_book_LOW_RES.ashx http://helm.lu/cube/MarshallPhilipp/index.htm Rubik’s Cube in a Scrambled State Rubik’s Cube in a Solved State – CubeTwister Front: Red, Right: Yellow, Up: Blue Back: Orange, Down: Green, Left: White Cube Colors: Red opposed to Orange, Yellow opposed to White, Blue opposed to Green Rubik’s Cube Solutions 06.12.2008 http://www.mementoslangues.fr/ Rubik’s Cube Commutators and Conjugates Introduction A Commutator is an algorithm of the form X Y X' Y', and a conjugate is an algorithm of the form X Y X', where X and Y denote arbitrary algorithms on a puzzle, and X', Y' denote their respective inverses. They are formal versions of the simple, intuitive idea of "do something to set up another task which does something useful, and undo the setup." Commutators can be used to generate algorithms that only modify specific portions of a cube, and are intuitively derivable. Many puzzle solutions are heavily or fully based on commutators. Commutator and Conjugate Notation [X, Y] is a commonly used notation to represent the sequence X Y X' Y'. [X: Y] is a well-accepted representation of the conjugate X Y X'. Since commutators and conjugates are often nested together, Lucas Garron has proposed the following system for compact notation: Brackets denote an entire algorithm, and within these, the comma delimits a commutator, and a colon or a semicolon a conjugate.
    [Show full text]
  • The Cubing Community Megasurvey 2021 Acknowledgements
    THE CUBING COMMUNITY MEGASURVEY 2021 ACKNOWLEDGEMENTS This work follows in the footsteps of the r/Cubers tradition of yearly Megasurveys, of which this is the fifth instalment. For the first time we've been able to integrate the responses and experience of our colleagues from China, whose communities do not always have access to the same online spaces. We're happy to present the results of this survey as a whole, reuniting these two big communities The following people contributed to this project: You guys were awesome, The r/Cubers mods: have been running the survey for the • welcoming and super supportive past 5 years, wrote and managed the bulk of it and proofread this during the whole analysis process! whole monster of a document. Thank you naliuj, gilzu, stewy, greencrossonleft, topppits, g253, pianocube93 and leinadium! It's been a blast discussing with you, Ruimin Yan / CubeRoot : provided great ideas for the • getting your ideas and seeing you recruit survey, helped coordinate between the east and the west, a thousand people in a matter of days! leveraged his online standing and following to gather all respondents across China and re-translated most this document • Justin Yang: translated the survey into mandarin and helped You have no excuse for speaking re-translate answers during the re-combination and cleanup flawless french (on top of all phase your other languages) at your ridiculously young age! About the author of this document: Basilio Noris is an older cuber, who has spent the past 15 years working on understanding and measuring human behaviour. He spends way too much time playing with data and looking for ways in which to present it.
    [Show full text]
  • How to Solve the 4X4 Rubik's Cube - Beginner's Method 12/17/17, 629 PM
    How to solve the 4x4 Rubik's Cube - Beginner's method 12/17/17, 629 PM Contribute Edit page (/edit-article/) New article (/new-article/) Home (/) Programs (/rubiks-cube-programs/) Puzzles (/twisty-puzzles/) Ruwix (/online-puzzle-simulators/) Rubik's Cube Wiki (/) (/the-rubiks-cube/how-to-solve-the-rubiks-cube-beginners-method/) Home page (/) (/online-rubiks-cube-solver-program/) (/shop/) Programs (/rubiks-cube-programs/) Rubik's Cube (/the-rubiks-cube/) (https://www.facebook.com/online.rubiks.cube.solver) Twisty Puzzles (/twisty-puzzles/) (https://twitter.com/#!/RuwixCube) Puzzles (https://ruwix.com/twisty- (https://plus.google.com/s/ruwix#112275853610877028537) puzzles/) Home (https://ruwix.com/) » Puzzles Designers (https://ruwix.com/twisty- puzzles/designers/) (https://ruwix.com/twisty-puzzles/) » 4x4x4 Puzzle Modding Rubik's Cube (https://ruwix.com/twisty-puzzles/twisty- puzzle-modding/) Siamese Twisty Puzzles (https://ruwix.com/twisty- puzzles/siamese-twisty-puzzles/) 4x4x4 Rubik's Electronic Cubes (https://ruwix.com/twisty- puzzles/electronic-rubiks-cube-puzzles- Cube - The touch-futuro-slide/) A scrambled Shape Mods (https://ruwix.com/twisty- Easiest Eastsheen puzzles/3x3x3-rubiks-cube-shape- 4x4x4 cube mods-variations/) Sticker Mods (https://ruwix.com/twisty- puzzles/rubiks-cube-sticker-mods-and- Solution picture-cubes-how-to-solve-orient- center-pieces-sudoku-shepherd-maze- The Rubik's Revenge is the 4x4 pochmann/) version of the Rubik's Cube Bandaged Cubes (https://ruwix.com/twisty- (/the-rubiks-cube/). This is also a puzzles/bandaged-cube-puzzles/)
    [Show full text]
  • General Information Project Details
    MATH 304 FINAL TERM PROJECT General Information There will be no written final exam in Math 304, instead each student will be responsible for researching and producing a final project. You are to work in groups consisting of a maximum of 5 students. Short presentations will be held during the final weeks of classes. The ultimate goal is for you to have a truly enjoyable time working on your course term project. I want you to produce something that you will be proud to show your friends and family about what you’ve learned by taking this course. The expectation is that every student will wholeheartedly participate in their chosen project, and come away with some specialized knowledge for the area chosen to investigate. I expect you to let your imagination flourish and to use your familiarity with contemporary technology and both high- and pop-culture to create a product that you will be proud of for years to come. Project Details Your project should have a story/application/context that is explainable to an audience of your classmates, and include a connection to content covered in this course. The mathematical part of your poster must include an interpretation of the mathematical symbols used within your story, and a statement of a theoretical or computational result. In short, be sure your project has (i) math, and (ii) is connected to the course in some way. Here are some examples of possible topics: 1. Analyze another twisty puzzle (not the 15-puzzle, Oval Track, Hungarian Rings, or Rubik’s cube). Come up with a solvability criteria (i.e.
    [Show full text]
  • Permutation Puzzles a Mathematical Perspective
    Permutation Puzzles A Mathematical Perspective Jamie Mulholland Copyright c 2021 Jamie Mulholland SELF PUBLISHED http://www.sfu.ca/~jtmulhol/permutationpuzzles Licensed under the Creative Commons Attribution-NonCommercial-ShareAlike 4.0 License (the “License”). You may not use this document except in compliance with the License. You may obtain a copy of the License at http://creativecommons.org/licenses/by-nc-sa/4.0/. Unless required by applicable law or agreed to in writing, software distributed under the License is dis- tributed on an “AS IS” BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing permissions and limitations under the License. First printing, May 2011 Contents I Part One: Foundations 1 Permutation Puzzles ........................................... 11 1.1 Introduction 11 1.2 A Collection of Puzzles 12 1.3 Which brings us to the Definition of a Permutation Puzzle 22 1.4 Exercises 22 2 A Bit of Set Theory ............................................ 25 2.1 Introduction 25 2.2 Sets and Subsets 25 2.3 Laws of Set Theory 26 2.4 Examples Using SageMath 28 2.5 Exercises 30 II Part Two: Permutations 3 Permutations ................................................. 33 3.1 Permutation: Preliminary Definition 33 3.2 Permutation: Mathematical Definition 35 3.3 Composing Permutations 38 3.4 Associativity of Permutation Composition 41 3.5 Inverses of Permutations 42 3.6 The Symmetric Group Sn 45 3.7 Rules for Exponents 46 3.8 Order of a Permutation 47 3.9 Exercises 48 4 Permutations: Cycle Notation ................................. 51 4.1 Permutations: Cycle Notation 51 4.2 Products of Permutations: Revisited 54 4.3 Properties of Cycle Form 55 4.4 Order of a Permutation: Revisited 55 4.5 Inverse of a Permutation: Revisited 57 4.6 Summary of Permutations 58 4.7 Working with Permutations in SageMath 59 4.8 Exercises 59 5 From Puzzles To Permutations .................................
    [Show full text]
  • Adventures in Group Theory: Rubik's Cube, Merlin's Machine, and Other
    Adventures in Group Theory: Rubik’s Cube, Merlin’s Machine, and Other Mathematical Toys David Joyner 5-15-2008 In mathematics you don’t understand things. You just get used to them. Johann von Neumann v Contents Preface ................................................... ................ix Acknowledgements ................................................... xiii Where to begin ................................................... .xvii Chapter 1: Elementary my dear Watson ................................1 Chapter 2: And you do addition? .......................................13 Chapter 3: Bell ringing and other permutations ......................37 Chapter 4: A procession of permutation puzzles ......................61 Chapter 5: What’s commutative and purple? .........................83 Chapter 6: Welcome to the machine ..................................123 Chapter 7: ‘God’s algorithm’ and graphs .............................143 Chapter 8: Symmetry and the Platonic solids .......................155 Chapter 9: The illegal cube group ....................................167 Chapter 10: Words which move .......................................199 Chapter 11: The (legal) Rubik’s Cube group ........................219 Chapter 12: Squares, two faces, and other subgroups ...............233 Chapter 13: Other Rubik-like puzzle groups .........................251 Chapter 14: Crossing the rubicon .....................................269 Chapter 15: Some solution strategies .................................285 Chapter 16: Coda: questions and other directions
    [Show full text]
  • Permutation Puzzles: a Mathematical Perspective Lecture Notes
    Permutation Puzzles: A Mathematical Perspective 15 Puzzle, Oval Track, Rubik’s Cube and Other Mathematical Toys Lecture Notes Jamie Mulholland Department of Mathematics Simon Fraser University c Draft date June 30, 2016 Contents Contents i Preface vii Greek Alphabet ix 1 Permutation Puzzles 1 1.1 Introduction . .1 1.2 A Collection of Puzzles . .2 1.3 Which brings us to the Definition of a Permutation Puzzle . 10 1.4 Exercises . 12 2 A Bit of Set Theory 15 2.1 Introduction . 15 2.2 Sets and Subsets . 15 2.3 Laws of Set Theory . 16 2.4 Examples Using SageMath . 18 2.5 Exercises . 19 3 Permutations 21 3.1 Permutation: Preliminary Definition . 21 3.2 Permutation: Mathematical Definition . 23 3.3 Composing Permutations . 26 3.4 Associativity of Permutation Composition . 28 3.5 Inverses of Permutations . 29 3.6 The Symmetric Group Sn ........................................ 33 3.7 Rules for Exponents . 33 3.8 Order of a Permutation . 35 3.9 Exercises . 36 i ii CONTENTS 4 Permutations: Cycle Notation 39 4.1 Permutations: Cycle Notation . 39 4.2 Products of Permutations: Revisited . 41 4.3 Properties of Cycle Form . 42 4.4 Order of a Permutation: Revisited . 43 4.5 Inverse of a Permutation: Revisited . 44 4.6 Summary of Permutations . 46 4.7 Working with Permutations in SageMath . 46 4.8 Exercises . 47 5 From Puzzles To Permutations 51 5.1 Introduction . 51 5.2 Swap ................................................... 52 5.3 15-Puzzle . 54 5.4 Oval Track Puzzle . 55 5.5 Hungarian Rings . 58 5.6 Rubik’s Cube .
    [Show full text]
  • A Variation on the Rubik's Cube
    A VARIATION ON THE RUBIK'S CUBE MATHIEU DUTOUR SIKIRIC´ Abstract. The Rubik's cube is a famous puzzle in which faces can be moved and the corresponding movement operations define a group. We consider here a generalization to any 3-valent map. We prove an upper bound on the size of the corresponding group which we conjecture to be tight. 1. Introduction The Rubik's cube is a 3-dimensional toy in which each face of the cube is movable. There has been extensive study of its mathematics (see [7]). On the play side the Rubik's Cube has led to the creation of many different variants (Megaminx, Pyraminx, Tuttminx, Skewb diamond, etc.) The common feature of those variants is that they are all physical and built as toys. Our idea is to extend the original rubik's cube to any 3-valent map M on any surface. To any face of the map we associate one transformation. The full group of such transformation is named Rubik(M) and we study its size and its natural normal subgroups. A well studied extension [5, 4, 3, 8] of the Rubik's cube is the n × n × n-cube where the 3-lanes of the cubes are extended to n. There has also been interest [10] in cryptographic applications of Rubik's Cube. Thus the large class of groups that we build could be of wide interest in computer science. In Section 2, we construct the Rubik's cube transformation of the map. In Section 3, we explain how to use existing computer algebra systems such as GAP in order to work with the Rubik's groups considered.
    [Show full text]