N+k Queens Reflections

Slides:



Advertisements
Similar presentations
COSC2007 Data Structures II
Advertisements

Composition of Solutions for the n+k Queens Separation Problem Biswas Sharma Jonathon Byrd Morehead State University Department of Mathematics, Computer.
Book Embeddings of Chessboard Graphs Casey J. Hufford Morehead State University.
Solving N+k Queens Using Dancing Links Matthew A. Wolff Morehead State University May 19, 2006.
8 Queens. Problem: Placing 8 queens on a chessboard such that they don’t attack each other Three different Prolog programs are suggessted as solutions.
PROLOG 8 QUEENS PROBLEM.
Mathematical Induction II Lecture 14: Nov
From Topological Methods to Combinatorial Proofs of Kneser Graphs Daphne Der-Fen Liu 劉 德 芬 Department of Mathematics California State University, Los Angeles.
CHESS FOR KIDS Lesson 1.
L.O. Today you will learn how to play chess. How to Play Chess.
Welcome to the basics of chess. This is a graphically designed program that will help you learn how to play chess. By Amir and Mike, 9B.
Solving N+k Queens Using Dancing Links Matthew Wolff CS 499c May 3, 2006.
LGI2P Research Center Coloration des graphes de reines LGI2P Ecole des Mines d’Alès.
New Toads and Frogs Results By Jeff Erickson Presented by Nate Swanson.
    agic quares by Patti Bodkin.
Contents Introduction Related problems Constructions –Welch construction –Lempel construction –Golomb construction Special properties –Periodicity –Nonattacking.
1 Shira Zucker Ben-Gurion University of the Negev Advisors: Prof. Daniel Berend Prof. Ephraim Korach Anticoloring for Toroidal Grids.
Alternating Sign Matrices and Symmetry (or) Generalized Q*bert Games: An Introduction (or) The Problem With Lewis Carroll By Nickolas Chura.
It is as easy as playing tic-tac-toe!. Make the vertical and horizontal lines of a tic- tac-toe game.
The Equivalence Number and Transit Graphs for Chessboard Graphs B. Nicholas Wahle Morehead State University.
Final Exam Chess Game.
Review of Geometric Shapes
Chapter 9 Congruence, Symmetry and Similarity Section 9.4 Symmetry.
Lecture 5.2: Special Graphs and Matrix Representation CS 250, Discrete Structures, Fall 2013 Nitesh Saxena Adopted from previous lectures by Zeph Grunschlag.
HISTORY The problem was originally proposed in 1848 by the chess player Max Bezzel, and over the years, many mathematicians, including Gauss have worked.
Two Dimensional Arrays
Data Structures Using C++ 2E1 Recursion and Backtracking: DFS Depth first search (a way to traverse a tree or graph) Backtracking can be regarded as a.
Copyright © 2007 Pearson Education, Inc. Publishing as Pearson Addison-Wesley. Ver Chapter 5: Recursion as a Problem-Solving Technique Data Abstraction.
Two Dimensional Arrays. Two-dimensional Arrays Declaration: int matrix[4][11]; 4 x 11 rows columns
Warm Up 1. Give the coordinates of triangle ABC with vertices (7, 2), (1, 2), (4, –5) reflected across the y-axis. 2. Give the coordinates of triangle.
CompSci 102 Discrete Math for Computer Science March 1, 2012 Prof. Rodger Slides modified from Rosen.
Lesson 1 History of Chess Why We Teach Chess Goal of Chess.
A game based off of the esteemed classic By: Tadziu Kosiara.
An image has Reflective Symmetry if there is at least one line which splits the image in half so that one side is the mirror image of the other.
Quadrilaterals. Rectangles Grade PreK and not-in-school definition: Right angles and 2 long and 2 shorter sides Grade 3 and up school definition: Quadrilateral.
WHICH IS WHICH? WHAT CAN WE DO TO REMEMBER? Look at reflection, translation and rotation.
Every chess master was once a beginner. Irving Chernev
EQ: How can I identify symmetry in figures? Do Now 1. Give the coordinates of triangle ABC with vertices (7, 2), (1, 2), (4, –5) reflected across the y-axis.
© 2006 Pearson Addison-Wesley. All rights reserved 6-1 Chapter 6 Recursion as a Problem- Solving Technique.
Mathematical Induction
Mathematics 2 Ms. Meek Symmetry. A figure is said to be symmetric if you can draw a line down the middle, and split the figure into two pieces that are.
EXPLORERS: GEOMETRY. Mystery Shape Geoboard  Uses only one rubber band  No crossovers with the rubber band  Must have area (space) within.
An Analysis of the n- Queens problem Saleem Karamali.
CHESS “The Ultimate GAME of Challenge and Strategy”
Some counting questions with the Rules of Chess. Chessboard and Chess pieces The game of chess is played on an 8-by-8 grid of alternately colored squares.
MULTIPLICATION 5 Multiplicand X 3 Multiplier 15 Product LET’S LEARN
Matrices Rules & Operations.
Lecture 5.2: Special Graphs and Matrix Representation
Intro to Computer Science II
Ab & Team Presents CHESS “It’s not just a game”.
How Many Ways Can 945 Be Written as the Difference of Squares?
Mathematical Induction II
How To Play Chess (And other Information)
Gray Code Can you find an ordering of all the n-bit strings in such a way that two consecutive n-bit strings differed by only one bit? This is called the.
Use Absolute Value Functions and Transformations
+ Definite, + semi definite, - definite & - semi definite functions
4.5 Determinants of Matrices
( ) ( ) ( ) ( ) Matrices Order of matrices
Magic Squares   10   X.
(chess)Board Domination by Sightseeing Monarchy
WARM-UP 8 in. Perimeter = _____ 7 in. Area = _____ 12 in. 4 cm
Create a design (image) on the graph paper on the last page, making sure at least 3 vertices land on whole number (integer) coordinates, in the upper left.
CS Software Studio Assignment 1
Using Graphic Design to Create Corporate Logos
Spatially Periodic Activation Patterns of Retrosplenial Cortex Encode Route Sub-spaces and Distance Traveled  Andrew S. Alexander, Douglas A. Nitz  Current.
G13 Reflection and symmetry
1.) Create a design (image) on the graph paper with 3 vertices land on whole number (integer) coordinates, in the upper left quadrant (Quadrant II). Label.
Foundations of Discrete Mathematics
The N-Queens Problem Search The N-Queens Problem Most slides from Milos Hauskrecht.
Transformations with Matrices
Presentation transcript:

N+k Queens Reflections Doug Chatham Morehead State University August 1, 2008 Doug Chatham, August 1, 2008

N+k Queens Reflections Acknowledgments This work is part of research partially supported by an NSF KY-EPSCoR Research Enhancement Grant. This is part of joint work with Blankenship, Doyle, Fricke, Hufford, Miller, Skaggs, Ward, Wahle, et. al. Doug Chatham, August 1, 2008

The Eight Queens Problem N+k Queens Reflections The Eight Queens Problem Place eight queens on a standard chessboard so that no two attack each other. First posed, 1848. Generalized to N queens on an N x N board, 1869. Mention applications: training example for many CS techniques such as backtracking. Also used as benchmarking problem. Also parallel memory storage Doug Chatham, August 1, 2008

Why stop at eight?

N+k Queens Reflections Theorem: For each k, for large enough N we can place k pawns and N+k queens and an N-by-N board so that no two queens attack each other. Doug Chatham, August 1, 2008

Symmetries of N-queens solutions Kraitchik (1954) classified solutions to the n-queens problem into 3 types: Ordinary Centrosymmetric Doubly centrosymmetric

Ordinary No symmetries Reflections and rotations produce distinct solutions Most solutions are ordinary

Centrosymmetric Half-turn symmetric Other rotations and reflections produce distinct solutions

Doubly centrosymmetric Quarter-turn symmetric Reflections produce distinct solutions

What about N+k queens solutions? Reflections always produce distinct solutions (except for the trivial solution: N=1). All (nontrivial) solutions are either ordinary, centrosymmetric, or doubly centrosymmetric.

Alternating Lemma (AL) N+k Queens Reflections Alternating Lemma (AL) Given a solution to the N+k queens problem: The first and last piece in each row and column is a queen Two pawns in the same row (column) have at least one queen between them Two queens in the same row, column, or diagonal have at least one pawn between them Mention ASM here Doug Chatham, August 1, 2008

Reflections across vertical line (by contradiction, N even) N+k Queens Reflections Reflections across vertical line (by contradiction, N even) Columns in center must have queens Those queens must be adjacent Doug Chatham, August 1, 2008

Reflections across vertical line (by contradiction, N odd) N+k Queens Reflections Reflections across vertical line (by contradiction, N odd) Lemma: No square in the central column is empty. 1st row: Q must be in central column Other row: Consider closest piece to central column. It has a duplicate on other side. AL gives contradiction. Note: For vertical flips we would use a similar argument. (Switch “columns” and “rows”) Doug Chatham, August 1, 2008

Reflections across vertical line (by contradiction, N odd) N+k Queens Reflections Reflections across vertical line (by contradiction, N odd) Every other square in central column has a queen. Those queens attack every square in the adjacent columns! Note: For vertical flips we would use a similar argument. (Switch “columns” and “rows”) Doug Chatham, August 1, 2008

Reflections across diagonal: There are no pawns N+k Queens Reflections Reflections across diagonal: There are no pawns S(c): no pawns in upper left c-by-c square corner S(1) true by AL Induction step So, no pawns Note: For the other kind of diagonal we would use a similar argument. Doug Chatham, August 1, 2008

Reflections across diagonal: Conclusion At most one queen on main diagonal At least one other queen Attack by symmetric duplicate

N+k Queens Reflections   N+k Queens Reflections N k=1 k=2 k=3 k=4 k=5 5 or less 6 7 4 8 9 20 16 10 11 72 124 32 36 12 52 20(4) 13 200 568 492 564 260 14 1,008 804 15 2,608 6,284 6,164   12,932 17 17,040 For a C solution, k odd  N odd. Number of centrosymmetric solutions to the N+k Queens problem   Doug Chatham, August 1, 2008

N+k Queens Reflections 5 or less 6 16 7 20 4 8 128 44 9 396 280 10 2,288 1,304 528 88 11 11,152 12,452 5,976 1,688 196 12 65,172 105,012 77,896 30,936 7,032 13 437,848 977,664 1,052,884 627,916 225,884 14 3,118,664 9,239,816 13,666,360 11,546,884   15 23,387,448 90,776,620 179,787,988 183,463,680 897,446,092 17 1,474,699,536   Number of solutions to the N+k Queens problem. Doug Chatham, August 1, 2008

Doubly centrosymmetric is rare No doubly centrosymmetric solutions with 1,2, or 3 pawns.

Doubly centrosymmetric example N+k Queens Reflections Doubly centrosymmetric example Smallest one with pawns Doug Chatham, August 1, 2008

Doubly centrosymmetric example N+k Queens Reflections Doubly centrosymmetric example Doug Chatham, August 1, 2008

References J. Bell, B. Stevens, A survey of known results and research areas for n-queens, Discrete Mathematics (2008), doi:10.1016/j.disc.2007.12.043. G. Kuperberg, Symmetry classes of alternating-sign matrices under one roof, Annals of Mathematics (2) 156 (2002), no. 3, 835–866. J.J. Watkins, Across the Board: The Mathematics of Chessboard Problems, Princeton University Press (2004). The N+k Queens Problem Page, http://npluskqueens.info.

N+k Queens Reflections Your move! Any questions? Doug Chatham, August 1, 2008