Solving Sudoku1 Website: www.nikoli.co.jp/en/ Labelling scheme.

Slides:



Advertisements
Similar presentations
How to play SUDOKU adapted from Tilda Rosander.
Advertisements

Midwestern State University Department of Computer Science Dr. Ranette Halverson CMPS 2433 – CHAPTER 4 GRAPHS 1.
MS Excel Formulas & Functions. What are formulas & functions?  Formulas are instructions that tell Excel how to perform calculations.  Formulas must.
Algebra Mt. Rainer Get ready for a “Small Quiz” to be written on your grade sheet.
TRANSPORTATION PROBLEM Finding Initial Basic Feasible Solution Shubhagata Roy.
Dividing Polynomials.
Chapter 2 Polynomial and Rational Functions Copyright © 2014, 2010, 2007 Pearson Education, Inc Dividing Polynomials: Remainder and Factor Theorems.
Section 3.4 Systems of Equations in 3 Variables
Structured Graphs and Applications
Linear System of Equations MGT 4850 Spring 2008 University of Lethbridge.
Latin Squares Jerzy Wojdyło February 17, Jerzy Wojdylo, Latin Squares2 Definition and Examples A Latin square is a square array in which each row.
Dividing with Base Ten Blocks. Ex # 1 23  3 Finding how many subsets – repeated subtraction 23 is 2 longs and 3 units. There are no 3’s in 2 longs, so.
Solving Sudoku Mark PTTLS Micro teach. Solving Sudoku What is a Sudoku? A Sudoku is a number puzzle based on a 9x9 grid made up from smaller 3x3 blocks.
Warm up. Lesson 4-3 The Remainder and Factor Theorems Objective: To use the remainder theorem in dividing polynomials.
SOLVING SUDOKU WITH MATLAB VERIFICATION FUNCTION correctness verification of the puzzle: checks if the current element appears twice in the same line,
Copyright © 2011 Kristina Fornažar Agić. Look! This column already has numbers 4, 3 and 1. 2 The missing number is 2. Now we’ll fill the blank spot with.
8.1 Matrix Solutions to Linear Systems Veronica Fangzhu Xing 3 rd period.
Sect 8.1 Systems of Linear Equations A system of linear equations is where all the equations in a system are linear ( variables raised to the first power).
5-4 Elimination Using Multiplication aka Linear Combination Algebra 1 Glencoe McGraw-HillLinda Stamper.
3.3: Dividing Polynomials: Remainder and Factor Theorems Long Division of Polynomials 1.Arrange the terms of both the dividend and the divisor in descending.
Warm up  Divide using polynomial long division:  n 2 – 9n – 22 n+2.
Lesson Objective: Understand what an algorithm is and be able to use them to solve a simple problem.
Computing Science 1P Large Group Tutorial 20 Simon Gay Department of Computing Science University of Glasgow 2006/07.
HKOI2006 Analysis and Solution Junior Q3 – Sudoku HKOI Training Team
Propositional Satisfiability A compound proposition is satisfiable if there is an assignment of truth values to its variables that make it true. When no.
 The first player to correctly identify each pair of angles as either complementary OR supplementary gets the chance to earn a point.  That player must.
Algebra a Niagara Falls Get ready for a “Small Quiz” to be written on your grade sheet.
1 Project Management Example Solving Sudoku 2 What is Sudoku?  Sudoku is a game with 9 columns and 9 rows and 9 “boxes” composed of a 3 x 3 Grid  Numbers.
4.8 Rank Rank enables one to relate matrices to vectors, and vice versa. Definition Let A be an m  n matrix. The rows of A may be viewed as row vectors.
1.3 Solving Systems by Substitution. Steps for Substitution 1.Solve for the “easiest” variable 2.Substitute this expression into the other equation 3.Solve.
Word : Let F be a field then the expression of the form a 1, a 2, …, a n where a i  F  i is called a word of length n over the field F. We denote the.
How to Structure a Proof. A Few Guidelines for Creating a Two-Column Proof Copy the drawing, the given, and what you want to prove. Make a chart containing.
Chapter 1 Polynomial and Rational Functions Copyright © 2014, 2010, 2007 Pearson Education, Inc Dividing Polynomials; Remainder and Factor Theorems.
Math 344 Winter 07 Group Theory Part 1: Basic definitions and Theorems.
Solving Systems of Equations by Elimination Solve by Elimination Solve by Multiplying then Elimination.
How Do I Solve This Thing?. You are familiar with Sudoku puzzles. For this variation, place the integers 1 – 9 into each row or column such that the.
Searching for Factor Strings Some numbers can be written as the product of several different pairs of factors, like 24. It is also possible to write this.
~ ~ ~ ~ CLUES ~ ~ ~ ~ Left\: 15= __ x __ 70= __ x __ x __ 165= __ x __ x __ 38= __ x __ Down:
SOLVING SYSTEMS USING ELIMINATION 6-3. Solve the linear system using elimination. 5x – 6y = -32 3x + 6y = 48 (2, 7)
Section 2.6 Inverse Functions. Definition: Inverse The inverse of an invertible function f is the function f (read “f inverse”) where the ordered pairs.
Determinants Every n  n matrix A is associated with a real number called the determinant of A, written  A . The determinant of a 2  2 matrix.
Table of Contents Matrices - Definition and Notation A matrix is a rectangular array of numbers. Consider the following matrix: Matrix B has 3 rows and.
Chapter 4 Vector Spaces Linear Algebra. Ch04_2 Definition 1: ……………………………………………………………………. The elements in R n called …………. 4.1 The vector Space R n Addition.
Excel: Fill and Fill Series Computer Information Technology Section 6-10 Some text and examples used with permission from: Note:
An introduction to logical reasoning: Sudoku. Today we are learning about: Logical reasoning ●I can use logical reasoning to solve a problem.
Chapter 5: Matrices and Determinants Section 5.5: Augmented Matrix Solutions.
拉丁方陣 交大應數系 蔡奕正. Definition A Latin square of order n with entries from an n-set X is an n * n array L in which every cell contains an element of X such.
Karnaugh Maps The minimization method using Boolean Algebra, apart from being laborious and requiring the remembering all the laws, can lead to solutions.
The set of whole numbers less than 7 is {1, 2, 3, 4, 5, 6}
Warm UP: Solve the following systems of equations:
Solving Systems of Linear Equations in 3 Variables.
The students learn to use game coordinates, like 3B.
Block LU Decomposition: explained
PROGRAMME 4 DETERMINANTS.
4.3 Division of Polynomials
Math 344 Winter 07 Group Theory Part 1: Basic definitions and Theorems
PROGRAMME 4 DETERMINANTS.
Lattice Multiplication
Objective: Today we will investigate the ‘magic’ in magic squares.
Copyright © 2014, 2010, 2007 Pearson Education, Inc.
TRANSPORTATION PROBLEM
Sudoku (数独 sūdoku?), also known as Number Place or Nanpure, is a logic-based placement puzzle. The objective is to fill the grid so that every column,
Lesson 3: Entering Data in
Copyright © 2014, 2010, 2007 Pearson Education, Inc.
Solving Systems of Linear Equations in 3 Variables.
Sudoku.
Linear Algebra Lecture 6.
Lecture 8 Huffman Encoding (Section 2.2)
Presentation transcript:

Solving Sudoku1 Website: Labelling scheme

Solving Sudoku2 I refer to cells as column, then row, e.g. a5. The 3 cells where a row or column meets a block are referred to block first, e.g. A 8 or E h. Definition: two cells are in line if they are in the same row or column. Two cells are adjacent if they are in the same row or the same column or the same block.

Solving Sudoku3 Theorem 1: Elimination ( aka last symbol ). If an empty cell c is adjacent to cells that contain 8 of the digits, then the 9 th digit must go in cell c. In the written solution, Z denotes an elimination. E.g. / Z a5 = 7 /

Solving Sudoku4 1 1 Part solution: / i6 = 1 / f3 = 1 / Ex. 1: shooting and filling

Solving Sudoku5 2 2 Next part: / i2 = 2 / c7 = 2 / Continue:

Solving Sudoku6 Definition. Let x be any digit and c any cell. The cell c is not x if either c contains a digit different from x or c is adjacent to some other cell that contains x. Theorem 2. Shooting. Let x be any digit and S any row or column or block. If 8 cells of S are not x, then the 9 th cell must be x.

Solving Sudoku7 How to shoot. For x = 1 to 9 do < if you hit, repeat with x until you fail > end where is: Look for 3 blocks in line where 2 of them do contain x and the 3 rd does not. Where can x be in the 3 rd block ?

Solving Sudoku8 After 12 more shots, we reach this position. FIG 3: Filling Solution: / 6 / A /

Solving Sudoku9 Theorem 3. Let S be any row or column or block. If nearly all the cells of S are filled, then the digits not yet used in S must go into the remaining empty cells. In long form a filling is written as: name of S, colon, missing digits, results found In Fig 3: / A : 1,4 : b7 = 4, a7 = 1 /

Solving Sudoku10 Continuing from Fig 3: / C: 5,8,9: h7=9, g9=8, g7=5 / / D: 1,9 : a4=9, c4=1 / / F / 4 / I / 3 / c / 9 / 2 / 1 / d / rest /

Solving Sudoku11 Fig 4: crossfire. 1 2 / a1 = 1 = i2 / / c7 = 2 /

Solving Sudoku12 Theorem 4. Pairs. Let x be any digit and S any row or column or block. If 7 cells of S are not x, then either the 8 th cell or the 9 th must be x. In the solution: / P : a5 or a6 = 7 / Theorem 5. Twins. If there are two digits x and y that both want to go into the same pair of cells, then no other digit can go into either cell. Solution: / W : a5, a6 = 2, 7 /

Solving Sudoku13 Fig 5: Pairs and Twins / i5 = 7 / W e8,f8=9,7 / / a9=7 / W b2, b3 = 9, 7 / / W g5, h5 = 6, 2 / e4 = 2 = d3 /

Solving Sudoku14 Solution so far: / W e8,f8=9,7 / i5 = 7 / / a9=7 / W b2, b3 = 9, 7 / / W g5, h5 = 6, 2 / e4 = 2 = d3 / Continue: 16 more cells... / P h7 or h8 = 2 /

Solving Sudoku15 Solution so far: 1) / W e8,f8=9,7 / i5 = 7 / 2) / a9=7 / W b2, b3 = 9, 7 / 3) / W g5, h5 = 6, 2 / e4 = 2 = d3 /... 9) / P h7 or h8 = 2 / 10) / L3 L9: h5=6, g5=2 / g9=6/ 9 /

Solving Sudoku16 Last method: Cross pairs. Theorem 6. If p, q, r, s are 4 cells at the corners of a rectangle and there are two copies of digit x in these cells, then all other cells in both rows and both columns are not x. Write X in the solution.

Solving Sudoku17. Fig 6 Difficult. 1) h6/ P c7 or c9=2 / e7 or e9 = 2 / 2) / X h8 or i8 = 2 / h2 or i2 = 2 / 3) / X g5=2/ Z h4=1=g7 /

Solving Sudoku18

Solving Sudoku19

Solving Sudoku20

Solving Sudoku21

Solving Sudoku22

23

24