Fifteen puzzle. Sasha Patotski. Cornell University November 16, 2015

Similar documents
The Sign of a Permutation Matt Baker

LAMC Beginners Circle April 27, Oleg Gleizer. Warm-up

Permutations. = f 1 f = I A

Weighted Polya Theorem. Solitaire

Ma/CS 6a Class 16: Permutations

THE SIGN OF A PERMUTATION

Lecture 3 Presentations and more Great Groups

X = {1, 2,...,n} n 1f 2f 3f... nf

Permutation Groups. Every permutation can be written as a product of disjoint cycles. This factorization is unique up to the order of the factors.

MATH 433 Applied Algebra Lecture 12: Sign of a permutation (continued). Abstract groups.

Solitaire Games. MATH 171 Freshman Seminar for Mathematics Majors. J. Robert Buchanan. Department of Mathematics. Fall 2010

LECTURE 8: DETERMINANTS AND PERMUTATIONS

CRACKING THE 15 PUZZLE - PART 1: PERMUTATIONS

Solution Algorithm to the Sam Loyd (n 2 1) Puzzle

CRACKING THE 15 PUZZLE - PART 2: MORE ON PERMUTATIONS AND TAXICAB GEOMETRY

Know how to represent permutations in the two rowed notation, and how to multiply permutations using this notation.

Heuristic Search with Pre-Computed Databases

Lecture 2.3: Symmetric and alternating groups

Domino Tilings of Aztec Diamonds, Baxter Permutations, and Snow Leopard Permutations

Topspin: Oval-Track Puzzle, Taking Apart The Topspin One Tile At A Time

THE 15-PUZZLE (AND RUBIK S CUBE)

Crossings and patterns in signed permutations

Determinants, Part 1

Permutation Groups. Definition and Notation

ON SOME PROPERTIES OF PERMUTATION TABLEAUX

THE 15 PUZZLE AND TOPSPIN. Elizabeth Senac

Permutation group and determinants. (Dated: September 19, 2018)

The Place of Group Theory in Decision-Making in Organizational Management A case of 16- Puzzle

1111: Linear Algebra I

17. Symmetries. Thus, the example above corresponds to the matrix: We shall now look at how permutations relate to trees.

REU 2006 Discrete Math Lecture 3

Universal Cycles for Permutations Theory and Applications

arxiv: v1 [math.co] 11 Jul 2016

arxiv: v1 [math.co] 16 Aug 2018

ON SOME PROPERTIES OF PERMUTATION TABLEAUX

Factorization of permutation

BMT 2018 Combinatorics Test Solutions March 18, 2018

Automedians sets of permutation: extended abstract

Foundations of Multiplication and Division

EXPLAINING THE SHAPE OF RSK

Gray code for permutations with a fixed number of cycles

Chapter 6.1. Cycles in Permutations

THE REMOTENESS OF THE PERMUTATION CODE OF THE GROUP U 6n. Communicated by S. Alikhani

PERMUTATIONS - II JUNIOR CIRCLE 11/17/2013

5 Symmetric and alternating groups

The Row Matrix. Robert Morris. Background and examples

The Math Behind Futurama: The Prisoner of Benda

A NEW COMPUTATION OF THE CODIMENSION SEQUENCE OF THE GRASSMANN ALGEBRA

SUDOKU1 Challenge 2013 TWINS MADNESS

Dyck paths, standard Young tableaux, and pattern avoiding permutations

A combinatorial proof for the enumeration of alternating permutations with given peak set

arxiv: v3 [math.co] 11 Aug 2017

Tilings with T and Skew Tetrominoes

Combinatorics in the group of parity alternating permutations

A group-theoretic approach to inversion distance

PERMUTATIONS AS PRODUCT OF PARALLEL TRANSPOSITIONS *

A Real-Time Algorithm for the (n 2 1)-Puzzle

Working with Teens! CA Kindergarten Number Sense 1.2: Count, recognize, represent, name, and order a number of objects (up to 30).

MA 524 Midterm Solutions October 16, 2018

I.M.O. Winter Training Camp 2008: Invariants and Monovariants

PUTNAM PROBLEMS FINITE MATHEMATICS, COMBINATORICS

Quotients of the Malvenuto-Reutenauer algebra and permutation enumeration

Exploiting the disjoint cycle decomposition in genome rearrangements

On 3-Harness Weaving: Cataloging Designs Generated by Fundamental Blocks Having Distinct Rows and Columns

PERMUTATION ARRAYS WITH LARGE HAMMING DISTANCE. Luis Gerardo Mojica de la Vega

Easy Games and Hard Games

Combinatorial Proofs

Permutads. Jean-Louis Loday, María Ronco c,1

5CHAMPIONSHIP. Individual Round Puzzle Examples SUDOKU. th WORLD. from PHILADELPHIA. Lead Sponsor

RESTRICTED PERMUTATIONS AND POLYGONS. Ghassan Firro and Toufik Mansour Department of Mathematics, University of Haifa, Haifa, Israel

n r for the number. (n r)!r!

CSE 21: Midterm 1 Solution

Olympiad Combinatorics. Pranav A. Sriram

Solutions to Exercises Chapter 6: Latin squares and SDRs

Permutations. Example : let be defned by and let be defned by

Solving Megaminx puzzle With Group Theory 2018 S. Student Gerald Jiarong Xu Deerfield Academy 7 Boyden lane Deerfield MA Phone: (917) E

and problem sheet 7

CRACKING THE 15 PUZZLE - PART 4: TYING EVERYTHING TOGETHER BEGINNERS 02/21/2016

UCSD CSE 21, Spring 2014 [Section B00] Mathematics for Algorithm and System Analysis

Symmetric Permutations Avoiding Two Patterns

Rumour spreading. KOSTRYGIN Anatolii, NOGNENG Dorian. April 2, 2015 LIX

LECTURE 3: CONGRUENCES. 1. Basic properties of congruences We begin by introducing some definitions and elementary properties.

Port to Port / Triple Cross

Lecture 1. Permutations and combinations, Pascal s triangle, learning to count

Asymptotic behaviour of permutations avoiding generalized patterns

BIJECTIONS FOR PERMUTATION TABLEAUX

Cycle-up-down permutations

Some results on Su Doku

16 Alternating Groups

Popular Ranking. b Independent. Key words: Rank aggregation, Kemeny Rank Aggregation, Popular Ranking

Chained Permutations. Dylan Heuer. North Dakota State University. July 26, 2018

NUMBER, NUMBER SYSTEMS, AND NUMBER RELATIONSHIPS. Kindergarten:

Week 1. 1 What Is Combinatorics?

New Sliding Puzzle with Neighbors Swap Motion

Situations Involving Multiplication and Division with Products to 50

To Your Hearts Content

Sampling and learning distance-based probability models for permutation spaces

Situations Involving Multiplication and Division with Products to 100

Exercises to Chapter 2 solutions

Week 3-4: Permutations and Combinations

Transcription:

Fifteen puzzle. Sasha Patotski Cornell University ap744@cornell.edu November 16, 2015 Sasha Patotski (Cornell University) Fifteen puzzle. November 16, 2015 1 / 7

Last time The permutation group S n is the group of bijections of the set {1, 2,..., n}. It is convenient to denote permutations by ( ) 1 2 3... n σ = σ(1) σ(2) σ(3)... σ(n) For σ S n define inv(σ) to be the number of pairs (ij) such that i < j but σ(i) > σ(j). This number inv(σ) is called the number of inversions of σ. Define the sign of σ to be sgn(σ) = ( 1) inv(σ). Sasha Patotski (Cornell University) Fifteen puzzle. November 16, 2015 2 / 7

For σ S n define inv(σ) to be the number of pairs (ij) such that i < j but σ(i) > σ(j). This number inv(σ) is called the number of inversions of σ. Sasha Patotski (Cornell University) Fifteen puzzle. November 16, 2015 3 / 7

For σ S n define inv(σ) to be the number of pairs (ij) such that i < j but σ(i) > σ(j). This number inv(σ) is called the number of inversions of σ. What is the sign of σ = ( ) 1 2 3 4 5 6 7? 4 3 1 6 7 2 5 Sasha Patotski (Cornell University) Fifteen puzzle. November 16, 2015 3 / 7

For σ S n define inv(σ) to be the number of pairs (ij) such that i < j but σ(i) > σ(j). This number inv(σ) is called the number of inversions of σ. ( ) 1 2 3 4 5 6 7 What is the sign of σ =? 4 3 1 6 7 2 5 Prove that for any permutation σ, composing it with a transposition of neighbors (i, i + 1) either creates a new inversion, or removes one. Sasha Patotski (Cornell University) Fifteen puzzle. November 16, 2015 3 / 7

For σ S n define inv(σ) to be the number of pairs (ij) such that i < j but σ(i) > σ(j). This number inv(σ) is called the number of inversions of σ. ( ) 1 2 3 4 5 6 7 What is the sign of σ =? 4 3 1 6 7 2 5 Prove that for any permutation σ, composing it with a transposition of neighbors (i, i + 1) either creates a new inversion, or removes one. Thus composing any permutation σ with (i, i + 1) changes it s sign, i.e. sgn((i, i + 1) σ) = sgn(σ). Sasha Patotski (Cornell University) Fifteen puzzle. November 16, 2015 3 / 7

For σ S n define inv(σ) to be the number of pairs (ij) such that i < j but σ(i) > σ(j). This number inv(σ) is called the number of inversions of σ. ( ) 1 2 3 4 5 6 7 What is the sign of σ =? 4 3 1 6 7 2 5 Prove that for any permutation σ, composing it with a transposition of neighbors (i, i + 1) either creates a new inversion, or removes one. Thus composing any permutation σ with (i, i + 1) changes it s sign, i.e. sgn((i, i + 1) σ) = sgn(σ). Thus for any representation of σ as a composition of N transpositions of neighbors, the sign sgn(σ) is ( 1) N. (Need to be careful here.) Sasha Patotski (Cornell University) Fifteen puzzle. November 16, 2015 3 / 7

For σ S n define inv(σ) to be the number of pairs (ij) such that i < j but σ(i) > σ(j). This number inv(σ) is called the number of inversions of σ. ( ) 1 2 3 4 5 6 7 What is the sign of σ =? 4 3 1 6 7 2 5 Prove that for any permutation σ, composing it with a transposition of neighbors (i, i + 1) either creates a new inversion, or removes one. Thus composing any permutation σ with (i, i + 1) changes it s sign, i.e. sgn((i, i + 1) σ) = sgn(σ). Thus for any representation of σ as a composition of N transpositions of neighbors, the sign sgn(σ) is ( 1) N. (Need to be careful here.) Prove that for two permutations σ, τ we have sgn(σ τ) = sgn(σ)sgn(τ). Sasha Patotski (Cornell University) Fifteen puzzle. November 16, 2015 3 / 7

If sgn(σ) = 1, σ is called an even permutation, otherwise it s called odd. Sasha Patotski (Cornell University) Fifteen puzzle. November 16, 2015 4 / 7

If sgn(σ) = 1, σ is called an even permutation, otherwise it s called odd. Prove that any transposition is an odd permutation. Sasha Patotski (Cornell University) Fifteen puzzle. November 16, 2015 4 / 7

If sgn(σ) = 1, σ is called an even permutation, otherwise it s called odd. Prove that any transposition is an odd permutation. Prove that any cycle of an even length is an odd permutation, and vice versa. (Hint: decompose a cycle as a composition of transpositions.) Sasha Patotski (Cornell University) Fifteen puzzle. November 16, 2015 4 / 7

If sgn(σ) = 1, σ is called an even permutation, otherwise it s called odd. Prove that any transposition is an odd permutation. Prove that any cycle of an even length is an odd permutation, and vice versa. (Hint: decompose a cycle as a composition of transpositions.) Thus sgn(σ) = ( 1) r where r is the number of cycles of even lengths in the cycle decomposition of σ. Sasha Patotski (Cornell University) Fifteen puzzle. November 16, 2015 4 / 7

If sgn(σ) = 1, σ is called an even permutation, otherwise it s called odd. Prove that any transposition is an odd permutation. Prove that any cycle of an even length is an odd permutation, and vice versa. (Hint: decompose a cycle as a composition of transpositions.) Thus sgn(σ) = ( 1) r where r is the number of cycles of even lengths in the cycle decomposition of ( σ. ) 1 2 3 4 5 6 7 Check that it works for σ = 4 3 1 6 7 2 5 Sasha Patotski (Cornell University) Fifteen puzzle. November 16, 2015 4 / 7

If sgn(σ) = 1, σ is called an even permutation, otherwise it s called odd. Prove that any transposition is an odd permutation. Prove that any cycle of an even length is an odd permutation, and vice versa. (Hint: decompose a cycle as a composition of transpositions.) Thus sgn(σ) = ( 1) r where r is the number of cycles of even lengths in the cycle decomposition of ( σ. ) 1 2 3 4 5 6 7 Check that it works for σ = 4 3 1 6 7 2 5 Let A n S n be the subset consisting of even permutations. A n is called an alternating GROUP (check that it s a group!) Sasha Patotski (Cornell University) Fifteen puzzle. November 16, 2015 4 / 7

The Fifteen puzzle Sasha Patotski (Cornell University) Fifteen puzzle. November 16, 2015 5 / 7

Sam Loyd s puzzle Sasha Patotski (Cornell University) Fifteen puzzle. November 16, 2015 6 / 7

Solution to the Sam Loyd s puzzle Reading the puzzle left to right, top to bottom gives an element of S 15. Sasha Patotski (Cornell University) Fifteen puzzle. November 16, 2015 7 / 7

Solution to the Sam Loyd s puzzle Reading the puzzle left to right, top to bottom gives an element of S 15. Let s be the sign of the permutation you get, and let r be the number of the row containing the empty tile. Sasha Patotski (Cornell University) Fifteen puzzle. November 16, 2015 7 / 7

Solution to the Sam Loyd s puzzle Reading the puzzle left to right, top to bottom gives an element of S 15. Let s be the sign of the permutation you get, and let r be the number of the row containing the empty tile. Consider the number X = s + r mod 2. Sasha Patotski (Cornell University) Fifteen puzzle. November 16, 2015 7 / 7

Solution to the Sam Loyd s puzzle Reading the puzzle left to right, top to bottom gives an element of S 15. Let s be the sign of the permutation you get, and let r be the number of the row containing the empty tile. Consider the number X = s + r mod 2. Compute all these numbers for the position on the pictures before. Sasha Patotski (Cornell University) Fifteen puzzle. November 16, 2015 7 / 7

Solution to the Sam Loyd s puzzle Reading the puzzle left to right, top to bottom gives an element of S 15. Let s be the sign of the permutation you get, and let r be the number of the row containing the empty tile. Consider the number X = s + r mod 2. Compute all these numbers for the position on the pictures before. What happens to X if you move the empty tile horizontally? Sasha Patotski (Cornell University) Fifteen puzzle. November 16, 2015 7 / 7

Solution to the Sam Loyd s puzzle Reading the puzzle left to right, top to bottom gives an element of S 15. Let s be the sign of the permutation you get, and let r be the number of the row containing the empty tile. Consider the number X = s + r mod 2. Compute all these numbers for the position on the pictures before. What happens to X if you move the empty tile horizontally? Vertically? Sasha Patotski (Cornell University) Fifteen puzzle. November 16, 2015 7 / 7

Solution to the Sam Loyd s puzzle Reading the puzzle left to right, top to bottom gives an element of S 15. Let s be the sign of the permutation you get, and let r be the number of the row containing the empty tile. Consider the number X = s + r mod 2. Compute all these numbers for the position on the pictures before. What happens to X if you move the empty tile horizontally? Vertically? Prove that Sam Loyd s puzzle can t be solved. Sasha Patotski (Cornell University) Fifteen puzzle. November 16, 2015 7 / 7