An Exploration of the Minimum Clue Sudoku Problem

Similar documents
You ve seen them played in coffee shops, on planes, and

Taking Sudoku Seriously

arxiv: v2 [math.ho] 23 Aug 2018

A Group-theoretic Approach to Human Solving Strategies in Sudoku

T H E M A T H O F S U D O K U

Some results on Su Doku

A GRAPH THEORETICAL APPROACH TO SOLVING SCRAMBLE SQUARES PUZZLES. 1. Introduction

The most difficult Sudoku puzzles are quickly solved by a straightforward depth-first search algorithm

A year ago I investigated a mathematical problem relating to Latin squares. Most people, whether knowing it or not, have actually seen a Latin square

An improved strategy for solving Sudoku by sparse optimization methods

Yet Another Organized Move towards Solving Sudoku Puzzle

Slicing a Puzzle and Finding the Hidden Pieces

Techniques for Generating Sudoku Instances

15/03/23: BACA by John Bulten Theme: Beach Booty

The mathematics of Septoku

Zsombor Sárosdi THE MATHEMATICS OF SUDOKU

EXPLORING TIC-TAC-TOE VARIANTS

Part III F F J M. Name

The Mathematics Behind Sudoku Laura Olliverrie Based off research by Bertram Felgenhauer, Ed Russel and Frazer Jarvis. Abstract

Investigation of Algorithmic Solutions of Sudoku Puzzles

UN DOS TREZ Sudoku Competition. Puzzle Booklet for Preliminary Round. 19-Feb :45PM 75 minutes

Which Rectangular Chessboards Have a Bishop s Tour?

Lecture 6: Latin Squares and the n-queens Problem

The remarkably popular puzzle demonstrates man versus machine, backtraking and recursion, and the mathematics of symmetry.

1 Introduction. 2 An Easy Start. KenKen. Charlotte Teachers Institute, 2015

MATHEMATICS ON THE CHESSBOARD

WPF SUDOKU/PUZZLE GRAND PRIX 2014 WPF SUDOKU GP 2014 COMPETITION BOOKLET ROUND 4. Puzzle authors: Russia Andrey Bogdanov, Olga Leontieva.

Recovery and Characterization of Non-Planar Resistor Networks

12th Bay Area Mathematical Olympiad

Easy Games and Hard Games

arxiv: v1 [math.gt] 21 Mar 2018

Lower Bounds for the Number of Bends in Three-Dimensional Orthogonal Graph Drawings

Sudoku Squares as Experimental Designs

12. 6 jokes are minimal.

The puzzle Sudoku has become the passion

Tile Number and Space-Efficient Knot Mosaics

ISudoku. Jonathon Makepeace Matthew Harris Jamie Sparrow Julian Hillebrand

arxiv: v1 [cs.cc] 21 Jun 2017

Welcome to the Sudoku and Kakuro Help File.

The Complexity of Generalized Pipe Link Puzzles

arxiv: v2 [math.gt] 21 Mar 2018

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

Pattern Avoidance in Unimodal and V-unimodal Permutations

SUDOKU1 Challenge 2013 TWINS MADNESS

LESSON 2: THE INCLUSION-EXCLUSION PRINCIPLE

Pennies vs Paperclips

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

CS 32 Puzzles, Games & Algorithms Fall 2013

Topics to be covered

Serbian round at Logic Masters India

INSTRUCTION BOOKLET SUDOKU MASTERS 2008 NATIONAL SUDOKU CHAMPIONSHIP FINALS Q&A SESSION 10:30 10:50 PART 1 CLASSICS 11:00 11:35

Round minutes. Best results:

MAGIC SQUARES KATIE HAYMAKER

Graphs of Tilings. Patrick Callahan, University of California Office of the President, Oakland, CA

Odd king tours on even chessboards

Chameleon Coins arxiv: v1 [math.ho] 23 Dec 2015

Physical Zero-Knowledge Proof: From Sudoku to Nonogram

Preview Puzzle Instructions U.S. Sudoku Team Qualifying Test September 6, 2015

Some forbidden rectangular chessboards with an (a, b)-knight s move

The Four Numbers Game

Tilings with T and Skew Tetrominoes

Nurikabe puzzle. Zhen Zuo

Mathematics Competition Practice Session 6. Hagerstown Community College: STEM Club November 20, :00 pm - 1:00 pm STC-170

Automatically Generating Puzzle Problems with Varying Complexity

THE PIGEONHOLE PRINCIPLE. MARK FLANAGAN School of Electrical and Electronic Engineering University College Dublin

Once you get a solution draw it below, showing which three pennies you moved and where you moved them to. My Solution:

SUDOKU Colorings of the Hexagonal Bipyramid Fractal

Grade 6 Math Circles February 15, 2012 Math Puzzles

How Many Mates Can a Latin Square Have?

TILLING A DEFICIENT RECTANGLE WITH T-TETROMINOES. 1. Introduction

GET OVERLAPPED! Author: Huang Yi. Forum thread:

Logic Masters India Presents. April 14 16, 2012 April 2012 Monthly Sudoku Test INSTRUCTION BOOKLET

arxiv: v2 [cs.cg] 8 Dec 2015

STRATEGY AND COMPLEXITY OF THE GAME OF SQUARES

The number of mates of latin squares of sizes 7 and 8

isudoku Computing Solutions to Sudoku Puzzles w/ 3 Algorithms by: Gavin Hillebrand Jamie Sparrow Jonathon Makepeace Matthew Harris

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

Cracking the Sudoku: A Deterministic Approach

On the Combination of Constraint Programming and Stochastic Search: The Sudoku Case

Rosen, Discrete Mathematics and Its Applications, 6th edition Extra Examples

Sudoku: Is it Mathematics?

The Tilings of Deficient Squares by Ribbon L-Tetrominoes Are Diagonally Cracked

SOLITAIRE CLOBBER AS AN OPTIMIZATION PROBLEM ON WORDS

Permutation Groups. Definition and Notation

Rotational Puzzles on Graphs

Counting. Chapter 6. With Question/Answer Animations

Using KenKen to Build Reasoning Skills 1

PRIMES STEP Plays Games

Knots in a Cubic Lattice

Standard Sudoku point. 1 point. P a g e 1

Solutions of problems for grade R5

Jamie Mulholland, Simon Fraser University

Grade 7 & 8 Math Circles February 2-3, 2016 Logic Puzzles

The Classification of Quadratic Rook Polynomials of a Generalized Three Dimensional Board

A Graph Theory of Rook Placements

BMT 2018 Combinatorics Test Solutions March 18, 2018

Counting Sudoku Variants

Grade 6 Math Circles March 7/8, Magic and Latin Squares

Static Mastermind. Wayne Goddard Department of Computer Science University of Natal, Durban. Abstract

Kenken For Teachers. Tom Davis January 8, Abstract

Transcription:

Sacred Heart University DigitalCommons@SHU Academic Festival Apr 21st, 12:30 PM - 1:45 PM An Exploration of the Minimum Clue Sudoku Problem Lauren Puskar Follow this and additional works at: http://digitalcommons.sacredheart.edu/acadfest Puskar, Lauren, "An Exploration of the Minimum Clue Sudoku Problem" (2017). Academic Festival. 20. http://digitalcommons.sacredheart.edu/acadfest/2017/all/20 This is brought to you for free and open access by DigitalCommons@SHU. It has been accepted for inclusion in Academic Festival by an authorized administrator of DigitalCommons@SHU. For more information, please contact ferribyp@sacredheart.edu, lysobeyb@sacredheart.edu.

Puskar: An Exploration of the Minimum Clue Sudoku Problem Sacred Heart University MA-398-A Senior Seminar in Mathematics An Exploration of the Minimum Clue Sudoku Problem Author: Lauren Puskar Supervisor: Dr. Bernadette Boyle December 12, 2016 Published by DigitalCommons@SHU, 2017 1

1 Abstract Academic Festival, Event 20 [2017] This paper explores the Minimum Sudoku Problem, that says there must be at least 17 clues in order for a Sudoku Board to have a unique solution. We prove uniqueness up to seven clues for 9x9 boards. We also take a look at the different patterns of 4x4 boards, and how graph theory and the coloring of a graph relates to solving a Sudoku puzzle. 2 Introduction When we solve a common Sudoku puzzle, we notice that there are at least 17 clues given. However, what would happen if we were given less than 17 clues? Would we be able to come up with a unique and valid board? The answer to this question is NO! If we are given less than 17 clues, it is impossible to come up with a unique and valid board. Gary McGuire, Bastian Tugemanny and Gilles Civarioz have already exhaustively proven this using a specific algorithm and computer program, which checked all the 6.7 x 10 21 possible solutions of a Sudoku board [1]. This paper will take a look at some of their results in a simpler way by exploring the Sudoku boards that contain between 1,...,7 clues, and furthermore, proving why there does not exist a unique solution board for these such cases. 1 http://digitalcommons.sacredheart.edu/acadfest/2017/all/20 2

3 Background Puskar: An Exploration of the Minimum Clue Sudoku Problem 3.1 Definitions In order to fully understand the terms used in this paper, we will first start off with some definitions: Definition 3.1. A Sudoku puzzle is a 9x9 grid, some of whose cells already contain a digit between 1 and 9. The task is then to complete the grid by filling in the remaining cells such that each row, each column, and each 3x3 box within the bolded lines of the larger 9x9 box contains the digits from 1 to 9 exactly once. Figure 1: Example of an Empty Sudoku Board Definition 3.2. A complete board is a Sudoku board that satisfies all the rules of Sudoku. Definition 3.3. A unique board is a Sudoku board that has only one completion. Definition 3.4. A valid board is a Sudoku board for which there exists exactly one completion which follows all the rules of Sudoku. 2 Published by DigitalCommons@SHU, 2017 3

Academic Festival, Event 20 [2017] Note: Valid Boards can have empty cells. Definition 3.5. A band is the set of rows 1-3, rows 4-6, or rows 7-9. Figure 2: Example of a band Definition 3.6. A stack is the set of columns 1-3, columns, 4-6, or columns 7-9. Figure 3: Example of a stack Lemma 3.7. The pigeonhole principle states that if n items are put into m containers, with n > m, then at least one container must contain more than one item.[1] 3 http://digitalcommons.sacredheart.edu/acadfest/2017/all/20 4

Puskar: An Exploration of the Minimum Clue Sudoku Problem 3.2 History Gary McGuire of the University College Dublin was the first to show a legitimate proof of the minimum number of clues, or starting digits, needed to complete a Sudoku puzzle with a unique solution, which is 17. With the help of his team, including Bastian Tugemanny and Gilles Civarioz, he was able to test all possible completed grids for every 16-clue puzzle. However, this took about seven million CPU hours and a full 365 days to complete at the Irish Centre for High-End Computing in Dublin. His computer used an algorithm that cut down the number of grids by looking for unavoidable sets, or arrangements of numbers within the completed puzzle that are interchangeable, and thus could result in multiple solutions. Then the clues must overlap, or hit, the unavoidable sets which would prevent the unavoidable sets from causing multiple solutions. This then lead to a smaller computing task for his team to show that no 16-clue puzzle can hit them all. Currently, the only way to prove that no unique 16-clue puzzle exists is through this brute force way. However, many mathematicians are still working on different algorithms to prove such problem, including Gordon Royle of the University of western Australia [2]. 4 Published by DigitalCommons@SHU, 2017 5

4 9x9 Boards Academic Festival, Event 20 [2017] After studying boards with exact numbers of starting clues, we were able to come up with the following theorems. Theorem 4.1. If we are given exactly one clue, called n, which is a number from the set {1,...,9}, on a blank Sudoku board, then there is not a unique solution. Proof. Let n be a number from the set {1,...,9}that is placed in a random box on the Sudoku board. We can then create a complete board by filling in the rest of the boxes. Using proof by contradiction, assume that this complete board, G1, is unique. Now if we switch the two stacks that n is not in, we can create another completion, G2,that is different from G1. Therefore, G1 is not unique. Thus, when we are given exactly one clue, our initial board is not valid. Theorem 4.2. If we are given up to exactly 5 clues, called n 1, n 2, n 3, n 4 and n 5, which are numbers from the set {1,...,9 }, on a blank Sudoku board, then there is not a unique solution. Proof. Let n 1, n 2, n 3, n 4 and n 5 be five numbers from the set {1,...,9}that are placed in five separate boxes on the Sudoku board. This forms a completion that we will call G 1. Since we have nine columns, at least four of those nine columns are guaranteed to be empty. Thus by the pigeonhole principle, after we place those four columns into three stacks we can see that one stack is guaranteed to have at 5 http://digitalcommons.sacredheart.edu/acadfest/2017/all/20 6

Puskar: An Exploration of the Minimum Clue Sudoku Problem least two empty columns. Therefore, we can switch those two empty columns and create another completion called G 2. Therefore, if we are given up to five clues the initial board is not valid. As stated in the proof above, this theorem holds for boards that have exactly five clues or less. Thus, if we did not want to use Theorem 3.1, we can also use the one stated above to prove that no unique solution exists for a one-clue Sudoku board. This proof also applies to rows/bands as well. Theorem 4.3. If we are given up to exactly seven clues, called n 1,..., n 7, which are numbers from the set {1,...,9 }, on a blank Sudoku board, then there is not a unique solution. Proof. Let n 1,...,n 7 be seven numbers from the set {1,...,9}that are placed in seven separate boxes on the Sudoku board. This forms a completion that we will call G 1. Now since there are seven clues given, we know that there are at least two numbers which do not appear on the initial board and thus can be manipulated. Let us call these two numbers x and o. Now take the initial board and switch all the x s to o s and all the o s to x s to create another completion called G 2. Therefore, if we are given up to seven clues the initial board is not valid. This theorem can ultimately replace Theorem 3.1 and Theorem 3.2, as it is able to prove that no unique solution exists for up to seven clue-sudoku boards. Unfortunately, I could not prove further than a seven-clue Sudoku board with 6 Published by DigitalCommons@SHU, 2017 7

paper and pencil alone. However, I did change my course and took a look into 4x4 boards. Academic Festival, Event 20 [2017] 5 4x4 Boards When we focused on a smaller board, specifically a 4x4 board, it was easier to see more patterns. First, we must understand the way in which we will be referring to them. When we talk about i, we are referring to the rows, and j refers to columns. So for example, if we say we have to switch (1, 2) and (3, 4) we are talking about the square that is of the first row, second column and the square of the third row, fourth column. The figure below highlights the squares I am referring to. Figure 4: Then when we talk about quadrants, the first quadrant is the upper right 2x2 square, the second is the upper left 2x2 square, the third is the lower left 2x2 7 http://digitalcommons.sacredheart.edu/acadfest/2017/all/20 8

Puskar: An Exploration of the Minimum Clue Sudoku Problem square and the fourth one is the lower right 2x2 square. Figure 5 depicts it below. Figure 5: Quadrants In studying various diagonal 4x4 boards, I came up with the following theorem. Theorem 5.1. If four clues are given along the diagonal of a 4x4 board and they need not be unique, then the solution board is not unique. Proof. Let the squares on the diagonals, (1, 1), (2, 2),(3, 3) and (4, 4), contain four numbers that need not be unique, but allow for at least one completion. That is some of the numbers can repeat more than once on the diagonal as long as they are not in the same quadrant. Then we can fill in the rest of the board properly according to the definition of Sudoku, which creates a completion called G 1. Now we can form another completion that is different from G 1, called G 2, by using the same four clues on the diagonal. We can apply the definition of transpose,in which each column becomes its corresponding row and each row becomes its correspond- 8 Published by DigitalCommons@SHU, 2017 9

Academic Festival, Event 20 [2017] ing column. We can do this because in the second quadrant of G1 we see that (1, 1) and (2, 2) are filled with two different numbers, thus in order for it to be a Sudoku board it must not have any repeats within the quadrant. Furthermore, (1, 2) and (2, 1) must be different than (1, 1) and (2, 2) because we cannot have repitition either. However, since we want to form a board different than G 1, (1, 2) and (2, 1) must contain different numbers than what they originally contained in G 1. The only option we have is to switch them in order to not have repitition and to form a different board than G 1. Then we must look at the rows in G 1. Since the rules of Sudoku do not allow for repitition of numbers within rows we know that when we take the transpose of the first row of G 1 and make it the first column of G 2 there must also be no repitition. We continue this for each row and corresponding column. So we can take the transpose of the second row of G 1 and make it the second column of G 2 in which there must be no repitition because the second row of G 1 did not have repitition. Next we can take the transpose of the third row of G 1 and make it the third column of G 2 in which there must be no repitition because the third row of G 1 did not have repitition. Lastly, we can take the transpose of the fourth row of G 1 and make it the fourth column of G 2 in which there must be no repitition because the fourth row of G 1 did not have repitition. Thus, we see that this forms another completion that differs from our initial completion. Therefore, the initial board is not valid. 9 http://digitalcommons.sacredheart.edu/acadfest/2017/all/20 10

Puskar: An Exploration of the Minimum Clue Sudoku Problem We notice that this works similarly if we took each column in G 1 and made it into a corresponding row in G 2. Below is an example of what this proof looks like for both unique and nonunique numbers on the diagonal. Figure 6: Unique Numbers We also note, for unique numbers only, that G 2 can be formed by switching (1, 2) and (2, 1), (3, 4) and (4, 3), as well as rotating the numbers in the cells in quadrants one and three either clockwise or counterclockwise. We choose each quadrant s rotational direction by seeing if the rules of Sudoku are violated. For example, if there is repitition of a number in a row or column by rotating it clockwise, then we go the other direction counterclockwise. 10 Published by DigitalCommons@SHU, 2017 11

Academic Festival, Event 20 [2017] 6 Graph Theory Figure 7: Non-Unique Numbers Now let us look at a Sudoku board as a graph. When a board is complete we can translate it to a graph in which each vertex corresponds to a cell in the board and two distinct vertices are adjacent if and only if two cells share a row, column, or n x n block. Now some more definitions. Definition 6.1. A graph is a collection of points, called vertices, together with lines connecting (some of) them, called edges. Definition 6.2. A proper graph coloring is a way of coloring the vertices of a graph such that no two adjacent vertices share the same color; this is called a vertex coloring. Definition 6.3. A partially colored graph is the original puzzle with open squares, which means the graph representing it has yet-to-be-colored vertices. Definition 6.4. A coloring that uses at most k colors is called k-coloring. 11 http://digitalcommons.sacredheart.edu/acadfest/2017/all/20 12

Puskar: An Exploration of the Minimum Clue Sudoku Problem Figure 8: Graph Coloring Definition 6.5. An independent set to which a cell belongs is to be comprised of all the cells that include the same entry as the cell. [3] First we start of with an independent set of the puzzle below: Figure 9: Independent Set 1 = [(3, 1)] = {(3, 1), (2, 3), (1, 2), (4, 4)} 12 Published by DigitalCommons@SHU, 2017 13

Academic Festival, Event 20 [2017] 2 = [(4, 1)] = {(4, 1), (3, 4)} 3 = [(1, 1)] = {(1, 1), (3, 2), (4, 3)} 4 = [(2, 1)] = {(2, 1), (1, 4), (3, 3)} The minimum number of colors required for a proper completion of any partial coloring is equal to the number of colors present in the partial coloring. For Sudoku this corresponds to the number of distinct digits appearing in the puzzle. Therefore, that would mean the puzzle in Figure 10, on the right hand side, needs at least four digits for a completion, which is the 4-coloring. The maximum number of colors which may appear in a proper coloring of a partial coloring is equal to the number of blank cells plus the number of colors already appearing in the graph. For Sudoku, this means that the puzzle in Figure 10, on the left hand side, needs a maximum of eight digits, which is the 8-coloring.[3] Example below: Figure 10: K-Colorings We can form the empty cells into a graph in which the vertices are labeled with 13 http://digitalcommons.sacredheart.edu/acadfest/2017/all/20 14

their grid coordinates. Puskar: An Exploration of the Minimum Clue Sudoku Problem Figure 11: Furthermore, we can create a partially colored graph, which will have vertices marked by the color classes that must be avoided. Figure 12: Partially Colored Graph Once we have created our partially colored graph, we can then use the method of deletion and contraction to come up with the chromatic polynomial, X(G, k), 14 Published by DigitalCommons@SHU, 2017 15

Academic Festival, Event 20 [2017] which is the polynomial whose value at k is the number of proper colorings of a graph G using at most k colors. When applying deletion-contraction, any vertex formed by contracting an edge shares the adjacencies, and thus the coloring restrictions, of the formerly distinct vertices. Then the restricted color classes of a contracted-edge vertex correspond to the union of the restrictions of the distinct vertices. [3] Now we will show how deletion-contraction works for our original board in Figure 9: Figure 13: Deletion-Contraction Method Depending on how many colors it has to avoid, we can find its chromatic 15 http://digitalcommons.sacredheart.edu/acadfest/2017/all/20 16

Puskar: An Exploration of the Minimum Clue Sudoku Problem Figure 14: Deletion-Contraction Method Continued polynomial. For our example above, we find that X(G, k)=(k 3) 2 (k 4) 2 -(k 3) 3 (k 4) 2 -(k 4) 3 +(k 4) 2 +(k 3)(k 4)-(k 4) X(G, k)=k 4 16k 3 + 50k 2 80k + 270 In order for any coloring to be consistent with the puzzle, k must be at least as large as the number of distinct colors already used. [3] Therefore, in our example it would be k 4. We see that 4 = 1, which is true because this puzzle has only 16 Published by DigitalCommons@SHU, 2017 17

Academic Festival, Event 20 [2017] one possible completion based on the rules of Sudoku as seen below: Figure 15: 7 Conclusion Although we were not able to accomplish the greatest goal of proving that their is not a valid initial board up to 16 clues, we were able to get to seven by hand. we also were able to find some patterns within 4x4 boards and explore graph theory s role in Sudoku a little bit. My brain still wonders if there is a way in which we can ultimately prove the rest without a computer. With more time, I would have liked to learn more about the chromatic polynomial and its relationship to Sudoku. 17 http://digitalcommons.sacredheart.edu/acadfest/2017/all/20 18

References Puskar: An Exploration of the Minimum Clue Sudoku Problem [1] Gary McGuire, Bastian Tugemann, Gilles Civario, 2013: There is no 16-Clue Sudoku: Solving the Sudoku Minimum Number of Clues Problem. [https://arxiv.org/abs/1201.0749] [2] Reich, Eugenie Samuel, 2012: Mathematician claims breakthrough in Sudoku puzzle. [www.nature.com/news/mathematician-claims-breakthrough-in-sudoku-puzzle-1.9751] [3] Oddson, Kyle, 2016: Math and Sudoku. [http://pdxscholar.library.pdx.edu/studentsymposium/2016/presentation 18 Published by DigitalCommons@SHU, 2017 19