# Sudoku, logic and proof Catherine Greenhill

Save this PDF as:

Size: px
Start display at page:

## Transcription

1 Sudoku, logic and proof Catherine Greenhill As you probably know, a Sudoku puzzle is a 9 9 grid divided into nine 3 3 subgrids. Some of the cells in the grid contain a symbol: usually the symbols are the numbers 1, 2,..., 9. The idea is to put a symbol into each empty cell so that every symbol appears exactly once in each row, exactly once in each column and exactly once in each of the nine 3 3 subgrids. An example of a Sudoku puzzle is given below: it was the daily puzzle on on 9 June 2011, when I wrote this article Figure 1: A Sudoku puzzle Sudoku puzzles are extremely popular, addictive and fun. Wikipedia [4] describes Sudoku as a logic-based, combinatorial number-placement puzzle. I want to focus on the links between Sudoku, logic and proof, but as a combinatorialist it is my duty to tell you a bit about the combinatorics of Sudoku first. A latin square is an n n grid containing the symbols 1, 2,..., n such that every symbol occurs exactly once in every row and exactly once in every column. So a completed Sudoku puzzle is a 9 9 latin square with an extra property: namely that the nine 3 3 subsquares contain each symbol exactly once. Using brute-force computer enumeration it has been shown that there are different 9 9 Sudoku grids [2] (that s about ), but many of these only differ by some kind of symmetry: for example, writing the rows in a different order, or the columns in a different order, or swapping the symbols around, or rotating the grid. If 1

2 we agree that these symmetries produce Sudoku puzzles that are essentially the same, then there are essentially different Sudoku grids [2]. That s about 5.5 billion different completed puzzles. Now let s talk about Sudoku and mathematical logic. Sudoku puzzles became popular outside of Japan around 2004, when they started appearing in daily newspapers in the United Kingdom and then around the world. Many newspapers felt the need to reassure nervous readers that they did not need to use mathematics in order to solve the puzzle. (Sadly, many people do not understand the difference between mathematics and arithmetic!) For example, The Australian newspaper used to print this text next to Sudoku puzzles: The game requires no mathematics and can be solved by logic alone. I imagine mathematicians around the world tearing their hair out when confronted with such statements. A far better message would be to tell the world that Sudoku puzzles use logic and that logic is mathematics. (Therefore, since Sudoku puzzles are fun, it follows that mathematics can be fun too!) Every mathematical proof requires careful logic, and you can learn a lot about mathematical logic by solving Sudoku puzzles. To illustrate this, let s start to solve our example Sudoku. Have a look at the cell marked by the black square in Figure 2. We know Figure 2: Direct proof that it has to contain a symbol, and looking at the symbols in the same row or column of that cell, we see that the only possible symbol for that cell is 8. Therefore, that cell must contain 8. This is an example of a direct proof, where we consider everything that 2

3 we know is true and draw a logical conclusion. The conclusion that we draw is called a deduction. We might write a careful proof as follows: The marked cell must contain a symbol from the set {1, 2, 3, 4, 5, 6, 7, 8, 9}. However, it cannot contain a symbol from {1, 5, 6, 9}, because these symbols occur in the same row as the marked cell. Similarly, it cannot contain a symbol from {2, 3, 4, 7, 9} as these symbols occur in the same column as the marked cell. Therefore the cell must contain the symbol 8. Now we can fill in the marked cell, and using the same kind of direct proof we can also fill in the centre cell (for example). This gives the grid shown in Figure 3, which also contains three marked cells which we ll use below. Next we will illustrate another kind of proof technique, called proof Figure 3: Proof by cases by cases. (It is also called proof by exhaustion of cases but I think that sounds far too tiring.) Consider the 3 3 subgrid which contains the cells marked with the black squares in Figure 3. This subgrid does not yet contain a 7, and the only cells where a 7 could be placed are the two cells marked by the black squares. So the 7 must be in the marked cell on the left (call this Case 1) or the marked cell on the right (call this Case 2). In either case, the cell marked with the spades symbol must contain 7, since this is the only cell in the centre 3 3 subgrid which does not have a 7 in its row. The important point is that we were able to conclude with certainty that there must be a 7 in the cell marked, even though we do not know which of Case 1 or Case 2 holds. 3

4 It is enough to know that either Case 1 or Case 2 must be true, and that our desired conclusion holds in either case. The proof by cases argument leads to the grid shown in Figure 4. Now we fill Figure 4: The partially completed solution in three more cells (using direct proofs) to reach the grid shown in Figure 5, which also contains a cell marked with a black square, a cell marked with a symbol and a cell marked with a symbol. We will use these cells to illustrate our next proof Figure 5: Proof by contradiction 4

5 technique, proof by contradiction. Here we wish to prove that something is true, and yet we start off by assuming that the opposite is true. We argue logically until we obtain a contradiction, which is something impossible that cannot be true. The only way to explain this contradiction is that our original assumption was incorrect. For example, consider the cell marked by the black square in Figure 5. We wish to show that it must contain 8. Our proof by contradiction proceeds as follows: For a contradiction, suppose that the cell in Figure 5 marked by a black square does not contain 8. The second row does not yet contain an 8, and the only possible cells in the second row where an 8 may be placed are the cells marked with the black square and the symbol. Therefore, by our assumption, the cell marked with the symbol must contain 8. Now consider the 3 3 subgrid containing the cell marked with the symbol. This subgrid does not yet contain an 8, and the only cell in this subgrid which does not have an 8 in its column is the cell marked with the symbol. So this cell must contain an 8. But then the symbol 8 appears twice in the the row containing the symbol, which is a contradiction. Therefore our original assumption (that the cell marked with the black square does not contain 8) is incorrect. We conclude that the cell marked with the black square must contain 8. (There is a branch of mathematical philosophy called constructivism which does not trust proof by contradiction. But most mathematicians are untroubled by these concerns.) After our proof by contradiction we arrive at the grid shown in Figure Figure 6: A partial solution So far we have covered most proof techniques used by mathematicians, but not quite all: proof by contrapositive and the principle of mathematical induction are the main 5

6 ones we have missed. (These are both extremely useful in mathematics but do not easily apply to solving Sudoku puzzles.) Figure 7: An incorrect partial solution Finally, let s discuss what happens when you make a mistake in Sudoku, and why it s important never to guess. In Sudoku, as in any mathematical proof, any wrong guess or error means that every subsequent step you take is unreliable. For example, suppose that when we filled in the cell marked with the symbol in Figure 3, we made a mistake (or an incorrect guess) and placed a 4 there. Then we would have the grid shown in Figure 7. From here, by direct proof, we would conclude that the cell marked with a black square in Figure 7 must contain 7. Then we would complete the centre 3 3 grid by placing a 5 in the cell marked with the clubs symbol in Figure 7. By comparing this with Figure 6 we see that our first deduction was incorrect but our second deduction was correct! From a false assumption you can correctly prove some true statements and correctly prove some false statements, meaning that everything proved from a false assumption is unreliable. Even if you realise later that a mistake has been made, it can be very difficult to find the original mistake: often you just have to throw everything out and start again. This shows why it is so important, in Sudoku as in mathematical proof, to proceed carefully and make sure that every step you take is correct. If you would like to learn more about mathematical proofs, a good reference is Franklin & Daoud s Proof in Mathematics: an Introduction [1]. Meanwhile, keep on puzzling! 6

7 References [1] J. Franklin and A. Daoud, Proof in Mathematics: an Introduction, Kew Books, Sydney, Australia, PDF files of each chapter from an earlier edition are also available from [2] accessed on 9 June [3] accessed on 9 June [4] accessed on 9 June

### Sudoku Tips & Guides as described by Neil Pomerleau on sudokusource.mabuhaynet.com

Sudoku Tips & Guides as described by Neil Pomerleau on sudokusource.mabuhaynet.com Introduction to Sudoku Contrary to what many people believe, Sudoku didn't actually originate in Japan. The game was first

### NUMB3RS Activity: Sudoku Puzzles. Episode: All s Fair

Teacher Page 1 NUMBRS Activity: Sudoku Puzzles Topic: Sudoku Puzzles Grade Level: 8-10 Objective: Explore sudoku puzzles and Latin squares Time: 60-90 minutes Introduction In All s Fair, Alan, Larry, and

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

Every Sudoku variation you can think of comes with its own set of interesting open questions There is math to be had here. So get working! Taking Sudoku Seriously Laura Taalman James Madison University

### How Difficult Is A Sudoku? Hang Chen and Curtis Cooper University of Central Missouri. April 18, 2008

University of Central Missouri April 18, 2008 1 Introduction 2 Commonly Used Rules 3 Rectangle Rule 4 Difficulty Levels 5 Uniqueness 6 Beyond Daily Sudoku Easiest Sudoku Puzzle Very Hard Sudoku Puzzle,

### Handout #1: Mathematical Reasoning

Math 101 Rumbos Spring 2010 1 Handout #1: Mathematical Reasoning 1 Propositional Logic A proposition is a mathematical statement that it is either true or false; that is, a statement whose certainty or

### Combinatorial Concepts With Sudoku I: Symmetry

ombinatorial oncepts With Sudoku I: Symmetry Gordon Royle March 29, 2006 (Version 0.2) bstract The immensely popular logic game Sudoku incorporates a significant number of combinatorial concepts. In this

### Kenken For Teachers. Tom Davis tomrdavis@earthlink.net http://www.geometer.org/mathcircles June 27, 2010. Abstract

Kenken For Teachers Tom Davis tomrdavis@earthlink.net http://www.geometer.org/mathcircles June 7, 00 Abstract Kenken is a puzzle whose solution requires a combination of logic and simple arithmetic skills.

### Oh Yeah? Well, Prove It.

Oh Yeah? Well, Prove It. MT 43A - Abstract Algebra Fall 009 A large part of mathematics consists of building up a theoretical framework that allows us to solve problems. This theoretical framework is built

### Using a Sudoku Lab to Motivate Students in an Introductory Course

Using a Sudoku Lab 1 Using a Sudoku Lab to Motivate Students in an Introductory Course Melanie Butler Mount St. Mary s University 1 Fred Butler University of Baltimore 2 Abstract: This paper describes

### Discrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2

CS 70 Discrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2 Proofs Intuitively, the concept of proof should already be familiar We all like to assert things, and few of us

### Proof of Crossword Puzzle Record

Proof of rossword Puzzle Record Kevin K. Ferland kferland@bloomu.edu Bloomsburg niversity, Bloomsburg, PA 17815 Abstract We prove that the maximum number of clues possible for a 15 15 daily New York imes

### 3. Mathematical Induction

3. MATHEMATICAL INDUCTION 83 3. Mathematical Induction 3.1. First Principle of Mathematical Induction. Let P (n) be a predicate with domain of discourse (over) the natural numbers N = {0, 1,,...}. If (1)

Are available for most basic curriculum subjects plus many enrichment areas. For more Good Year Books, contact your local bookseller or educational dealer. For a complete catalog with information about

### Maths delivers! A guide for teachers Years 11 and 12. Proofs by induction

1 Maths delivers! 2 3 4 6 7 8 9 10 11 12 A guide for teachers Years 11 and 12 Proofs by induction Maths delivers! Proofs by induction Professor Brian A. Davey, La Trobe University Editor: Dr Jane Pitkethly,

### WRITING PROOFS. Christopher Heil Georgia Institute of Technology

WRITING PROOFS Christopher Heil Georgia Institute of Technology A theorem is just a statement of fact A proof of the theorem is a logical explanation of why the theorem is true Many theorems have this

### THIS MEANS THAT EACH NUMBER SHOULD ONLY APPEAR ONCE IN EACH ROW, COLUMN AND BOX! TOP TIPS FOR SOLVING SU DOKU

THE RULES Each row must contain each number from to 9 Each column must contain each number from to 9 Each box (small by grid shown by thicker lines) must contain each number from to 9 THIS MEANS THAT EACH

### Enumerating possible Sudoku grids

Enumerating possible Sudoku grids Bertram Felgenhauer Department of Computer Science TU Dresden 00 Dresden Germany bf@mail.inf.tu-dresden.de Frazer Jarvis Department of Pure Mathematics University of Sheffield,

### Solving Sudoku with Dancing Links

Solving Sudoku with Dancing Links Rob Beezer beezer@pugetsound.edu Department of Mathematics and Computer Science University of Puget Sound Tacoma, Washington USA Stellenbosch University October 8, 2010

### Sudoku Puzzles and How to Solve Them

1 258 NAW 5/7 nr. 4 december 2006 Sudoku Puzzles and How to Solve Them Andries E. Brouwer Andries E. Brouwer Technische Universiteit Eindhoven Postbus 513, 5600 MB Eindhoven aeb@win.tue.nl Recreational

### Sudoku an alternative history

Sudoku an alternative history Peter J. Cameron p.j.cameron@qmul.ac.uk Talk to the Archimedeans, February 2007 Sudoku There s no mathematics involved. Use logic and reasoning to solve the puzzle. Instructions

### Sudoku puzzles and how to solve them

Sudoku puzzles and how to solve them Andries E. Brouwer 2006-05-31 1 Sudoku Figure 1: Two puzzles the second one is difficult A Sudoku puzzle (of classical type ) consists of a 9-by-9 matrix partitioned

### Induction. Margaret M. Fleck. 10 October These notes cover mathematical induction and recursive definition

Induction Margaret M. Fleck 10 October 011 These notes cover mathematical induction and recursive definition 1 Introduction to induction At the start of the term, we saw the following formula for computing

### The Zebra Puzzle. 1 Introduction. Carlo Tomasi Computer Science Duke University

The Puzzle Carlo Tomasi Computer Science Duke University 1 Introduction In the class textbook, the puzzle is offered as an exercise for Section 1.1 on logic (Exercise 61, page 20). Here is the puzzle:

### 2. Propositional Equivalences

2. PROPOSITIONAL EQUIVALENCES 33 2. Propositional Equivalences 2.1. Tautology/Contradiction/Contingency. Definition 2.1.1. A tautology is a proposition that is always true. Example 2.1.1. p p Definition

### WUCT121. Discrete Mathematics. Logic

WUCT121 Discrete Mathematics Logic 1. Logic 2. Predicate Logic 3. Proofs 4. Set Theory 5. Relations and Functions WUCT121 Logic 1 Section 1. Logic 1.1. Introduction. In developing a mathematical theory,

### Chapter 3. Cartesian Products and Relations. 3.1 Cartesian Products

Chapter 3 Cartesian Products and Relations The material in this chapter is the first real encounter with abstraction. Relations are very general thing they are a special type of subset. After introducing

### 1.3 Induction and Other Proof Techniques

4CHAPTER 1. INTRODUCTORY MATERIAL: SETS, FUNCTIONS AND MATHEMATICAL INDU 1.3 Induction and Other Proof Techniques The purpose of this section is to study the proof technique known as mathematical induction.

### Logic, Sets, and Proofs

Logic, Sets, and Proofs David A. Cox and Catherine C. McGeoch Amherst College 1 Logic Logical Statements. A logical statement is a mathematical statement that is either true or false. Here we denote logical

### INTRODUCTION TO PROOFS: HOMEWORK SOLUTIONS

INTRODUCTION TO PROOFS: HOMEWORK SOLUTIONS STEVEN HEILMAN Contents 1. Homework 1 1 2. Homework 2 6 3. Homework 3 10 4. Homework 4 16 5. Homework 5 19 6. Homework 6 21 7. Homework 7 25 8. Homework 8 28

### Solving Single-digit Sudoku Subproblems

Solving Single-digit Sudoku Subproblems David Eppstein Int. Conf. Fun with Algorithms, June 2012 Sudoku An ab ab array of cells, partitioned into a b blocks, partially filled in with numbers from 1 to

### This section demonstrates some different techniques of proving some general statements.

Section 4. Number Theory 4.. Introduction This section demonstrates some different techniques of proving some general statements. Examples: Prove that the sum of any two odd numbers is even. Firstly you

### 2. Methods of Proof Types of Proofs. Suppose we wish to prove an implication p q. Here are some strategies we have available to try.

2. METHODS OF PROOF 69 2. Methods of Proof 2.1. Types of Proofs. Suppose we wish to prove an implication p q. Here are some strategies we have available to try. Trivial Proof: If we know q is true then

### Cryptographic and Physical Zero- Knowledge Proof Systems for Solutions of Sudoku Puzzles

Cryptographic and Physical Zero- Knowledge Proof Systems for Solutions of Sudoku Puzzles, University of Haifa Joint work with Ronen Gradwohl, Moni Naor and Guy Rothblum page 1 Sudoku Fill in the empty

### Colored Hats and Logic Puzzles

Colored Hats and Logic Puzzles Alex Zorn January 21, 2013 1 Introduction In this talk we ll discuss a collection of logic puzzles/games in which a number of people are given colored hats, and they try

### An Optical Sudoku Solver

An Optical Sudoku Solver Martin Byröd February 12, 07 Abstract In this report, a vision-based sudoku solver is described. The solver is capable of solving a sudoku directly from a photograph taken with

### Creating Sudoku Puzzles

Page 1 of 15 Control # 2883 Creating Sudoku Puzzles Control # 2883 February 19, 2008 Abstract We consider the problem of generating well-formed Sudoku puzzles. Weighing the benefits of constructing a problem

### KEEPING NOTES. Remember Sudoku is a game of logic and you shouldn t need to guess.

Number puzzles and games have been around for a very long time, perhaps ancient cave-dwellers even played puzzles with rocks and sticks! Sudoku (which means single number in Japanese) probably has it s

### 3.3. INFERENCE 105. Table 3.5: Another look at implication. p q p q T T T T F F F T T F F T

3.3. INFERENCE 105 3.3 Inference Direct Inference (Modus Ponens) and Proofs We concluded our last section with a proof that the sum of two even numbers is even. That proof contained several crucial ingredients.

### Cosets and Cayley-Sudoku Tables

Cosets and Cayley-Sudoku Tables Jennifer Carmichael Chemeketa Community College Salem, OR 97309 jcarmic5@cpchemeketaedu Keith Schloeman Oregon State University Corvallis, OR 97331 schloemk@lifetimeoregonstateedu

### Book Review of Rosenhouse, The Monty Hall Problem. Leslie Burkholder 1

Book Review of Rosenhouse, The Monty Hall Problem Leslie Burkholder 1 The Monty Hall Problem, Jason Rosenhouse, New York, Oxford University Press, 2009, xii, 195 pp, US \$24.95, ISBN 978-0-19-5#6789-8 (Source

### We now explore a third method of proof: proof by contradiction.

CHAPTER 6 Proof by Contradiction We now explore a third method of proof: proof by contradiction. This method is not limited to proving just conditional statements it can be used to prove any kind of statement

### Complexity and Completeness of Finding Another Solution and Its Application to Puzzles

yato@is.s.u-tokyo.ac.jp seta@is.s.u-tokyo.ac.jp Π (ASP) Π x s x s ASP Ueda Nagao n n-asp parsimonious ASP ASP NP Complexity and Completeness of Finding Another Solution and Its Application to Puzzles Takayuki

### A Sudoku Solver. CSC 242: Artificial Intelligence. Mike Schermerhorn

A Sudoku Solver CSC 242: Artificial Intelligence Mike Schermerhorn Introduction The standard Sudoku puzzle consists of a nine by nine grid, broken into nine three by three boxes. Each of the eighty one

### Sudoku as an Expression in Propositional Logic

Sudoku as an Expression in Propositional Logic Peter Cappello Department of Computer Science University of California, Santa Barbara INTRODUCTION Sudoku is a kind of puzzle that involves a 9 9 array of

### Sudoku Puzzles Generating: from Easy to Evil

Team # 3485 Page 1 of 20 Sudoku Puzzles Generating: from Easy to Evil Abstract As Sudoku puzzle becomes worldwide popular among many players in different intellectual levels, the task is to devise an algorithm

### An Integer Programming Model for the Sudoku Problem

An Integer Programming Model for the Sudoku Problem Andrew C. Bartlett Amy N. Langville March 8, 2006 Abstract Sudoku is the new craze in logic puzzles. Players must fill in an n n matrix, which contains

### 7.1 An Axiomatic Approach to Mathematics

Chapter 7 The Peano Axioms 7.1 An Axiomatic Approach to Mathematics In our previous chapters, we were very careful when proving our various propositions and theorems to only use results we knew to be true.

### Each value (1 through 9) must appear exactly once in each row. Each value (1 through 9) must appear exactly once in each column.

INTRODUCTION TO COMPUTER SCIENCE I PROJECT 6 Sudoku! 1 The game of Sudoku Sudoku is a popular game giving crossword puzzles a run for their money in newspapers. 1 It s a game well suited for computers

### 21-110: Problem Solving in Recreational Mathematics

-0: Problem Solving in Recreational Mathematics Homework assignment solutions Problem. An urn contains five red balls and three yellow balls. Two balls are drawn from the urn at random, without replacement.

### The Kakuro Kraze. The Rules of Kakuro. Kakuro puzzles are currently sweeping the world!

The Kakuro Kraze Kakuro puzzles are currently sweeping the world! In Japan, the puzzles are well known and second in popularity only to Sudoku puzzles, which spawned a puzzle publishing craze in Europe

### THE THREE-HAT PROBLEM. 1. Introduction

THE THREE-HAT PROBLEM BRIAN BENSON AND YANG WANG 1. Introduction Many classical puzzles involve hats. The general setting for these puzzles is a game in which several players are each given a hat to wear.

### Bored MUMSians. Is it possible that he is left with the number 1?

Sam Chow One Player Games Bored MUMSians Han writes the numbers 1, 2,..., 100 on the whiteboard. He picks two of these numbers, erases them, and replaces them with their difference (so at some point in

### STUDENT HANDBOOK FOR FINDING AND CORRECTING ERRORS

1 STUDENT HANDBOOK FOR FINDING AND CORRECTING ERRORS FINDING ERRORS To assure the accuracy of accounting records, care should be taken when transactions are recorded and posted and financial statements

### CSE 191, Class Note 01 Propositional Logic Computer Sci & Eng Dept SUNY Buffalo

Propositional Logic CSE 191, Class Note 01 Propositional Logic Computer Sci & Eng Dept SUNY Buffalo c Xin He (University at Buffalo) CSE 191 Discrete Structures 1 / 37 Discrete Mathematics What is Discrete

### Basic Proof Techniques

Basic Proof Techniques David Ferry dsf43@truman.edu September 13, 010 1 Four Fundamental Proof Techniques When one wishes to prove the statement P Q there are four fundamental approaches. This document

### Pupils analyse a numerical puzzle, solve some examples and then deduce that a further example is impossible.

Task description Pupils analyse a numerical puzzle, solve some examples and then deduce that a further example is impossible. Suitability National Curriculum levels 5 to 7 Time Resources 30 minutes to

### 8 Square matrices continued: Determinants

8 Square matrices continued: Determinants 8. Introduction Determinants give us important information about square matrices, and, as we ll soon see, are essential for the computation of eigenvalues. You

### Induction and the Division Theorem 2.1 The Method of Induction

2 Induction and the Division Theorem 2.1 The Method of Induction In the Introduction we discussed a mathematical problem whose solution required the verification of an infinite family of statements. We

### Sudoku Puzzle Tips and Tricks

Sudoku Puzzle Tips and Tricks You may give away this ebook. It may not be modified in any manner. Disclaimer Reasonable care has been taken to ensure that the information presented in this book is accurate.

### PUZZLES AND GAMES THE TOOTHPICK WAY

PUZZLES AND GAMES THE TOOTHPICK WAY Many thinking skills go into solving math problems. The more advanced the mathematics, the more skills you need. You rely less on straight memorization and more on your

### Preventing Identity Theft using Shift Key mechanism and QR Code with Sudoku Puzzle

DOI 10.4010/2014.282 ISSN-2321-3361 2014 IJESC Research Article Preventing Identity Theft using Shift Key mechanism and QR Code with Sudoku Puzzle R.Saisrikanth Department of Computer Science and Engineering

### 31 is a prime number is a mathematical statement (which happens to be true).

Chapter 1 Mathematical Logic In its most basic form, Mathematics is the practice of assigning truth to welldefined statements. In this course, we will develop the skills to use known true statements to

### Sudokus or Pseudo-Clues? Jessica Kline May 1, 2007

Sudokus or Pseudo-Clues? Jessica Kline May 1, 2007 Pseudo what? No, Sudoku! Everyone has surely been a part of this conversation at one point in time. These popular puzzles have swept across the nation

### Mathematical Induction

Mathematical Induction (Handout March 8, 01) The Principle of Mathematical Induction provides a means to prove infinitely many statements all at once The principle is logical rather than strictly mathematical,

### Solutions for Practice problems on proofs

Solutions for Practice problems on proofs Definition: (even) An integer n Z is even if and only if n = 2m for some number m Z. Definition: (odd) An integer n Z is odd if and only if n = 2m + 1 for some

### A Model Checking Example

DISTRIBUTION STATEMENT A Approved for Public Release. Distribution is unlimited. Ref: LM Aero PIRA AER200910006 A Model Checking Example Solving Sudoku Using Simulink Design Verifier A BSTRACT. This paper

### THE FUNDAMENTAL THEOREM OF ARITHMETIC

Introduction In mathematics, there are three theorems that are significant enough to be called fundamental. The first theorem, of which this essay expounds, concerns arithmetic, or more properly number

### Rating and Generating Sudoku Puzzles Based On Constraint Satisfaction Problems

Rating and Generating Sudoku Puzzles Based On Constraint Satisfaction Problems Bahare Fatemi, Seyed Mehran Kazemi, Nazanin Mehrasa Abstract Sudoku is a logic-based combinatorial puzzle game which people

### Cracking the Sudoku: A Deterministic Approach

Cracking the Sudoku: A Deterministic Approach David Martin Erica Cross Matt Alexander Youngstown State University Center for Undergraduate Research in Mathematics Abstract The model begins with the formulation

### 6.3 Conditional Probability and Independence

222 CHAPTER 6. PROBABILITY 6.3 Conditional Probability and Independence Conditional Probability Two cubical dice each have a triangle painted on one side, a circle painted on two sides and a square painted

### Battleship. Big bands

Ball Fill in the grid so that every row, column (six smaller cells and three bigger circles or stars), outlined figures (eight smaller cells and a bigger circle), nine bigger circles and nine bigger stars

### Chapter 4 Towers: Schemes, Strategies, and Arguments

Chapter 4 Towers: Schemes, Strategies, and Arguments Carolyn A. Maher, Manjit K. Sran, and Dina Yankelewitz Date and Grade: 1990 1992; Grades 3 and 4 Tasks: Towers Participants: Dana, Jeff, Michelle I.,

### Regular Languages and Finite Automata

Regular Languages and Finite Automata 1 Introduction Hing Leung Department of Computer Science New Mexico State University Sep 16, 2010 In 1943, McCulloch and Pitts [4] published a pioneering work on a

### Exam 1 Answers: Logic and Proof

Q250 FALL 2012, INDIANA UNIVERSITY Exam 1 Answers: Logic and Proof September 17, 2012 Instructions: Please answer each question completely, and show all of your work. Partial credit will be awarded where

### MATH 13150: Freshman Seminar Unit 14

MATH 13150: Freshman Seminar Unit 14 1. Powers in mod p arithmetic In this Unit, we will study powers a n (mod p). It will turn out that these are much easier to compute then one would imagine. Let s recall

### Genetic Algorithms and Sudoku

Genetic Algorithms and Sudoku Dr. John M. Weiss Department of Mathematics and Computer Science South Dakota School of Mines and Technology (SDSM&T) Rapid City, SD 57701-3995 john.weiss@sdsmt.edu MICS 2009

### Department of Computer Science What is Computer Science? # 10. Artificial Intelligence through Search: Solving Sudoku Puzzles

Department of Computer Science www.cs.bris.ac.uk What is Computer Science? # 10 Artificial Intelligence through Search: Solving Sudoku Puzzles Tim Kovacs November 12, 2008 Tim Kovacs Artificial Intelligence

### Proof: A logical argument establishing the truth of the theorem given the truth of the axioms and any previously proven theorems.

Math 232 - Discrete Math 2.1 Direct Proofs and Counterexamples Notes Axiom: Proposition that is assumed to be true. Proof: A logical argument establishing the truth of the theorem given the truth of the

### (Refer Slide Time: 05:02)

Discrete Mathematical Structures Dr. Kamala Krithivasan Department of Computer Science and Engineering Indian Institute of Technology, Madras Lecture - 1 Propositional Logic This course is about discrete

### Definition 10. A proposition is a statement either true or false, but not both.

Chapter 2 Propositional Logic Contrariwise, continued Tweedledee, if it was so, it might be; and if it were so, it would be; but as it isn t, it ain t. That s logic. (Lewis Carroll, Alice s Adventures

### 8.7 Mathematical Induction

8.7. MATHEMATICAL INDUCTION 8-135 8.7 Mathematical Induction Objective Prove a statement by mathematical induction Many mathematical facts are established by first observing a pattern, then making a conjecture

### Answer Key for California State Standards: Algebra I

Algebra I: Symbolic reasoning and calculations with symbols are central in algebra. Through the study of algebra, a student develops an understanding of the symbolic language of mathematics and the sciences.

### Speed++ TM : A New Pencil Puzzle for Mental Arithmetic

Information Management and Business Review Vol. 4, No. 12, pp. 601-605, Dec 2012 (ISSN 2220-3796) Speed++ TM : A New Pencil Puzzle for Mental Arithmetic * Tiong Kung Ming 1, Ting Tiew Kiong 2 1 Nottingham

### 1. R In this and the next section we are going to study the properties of sequences of real numbers.

+a 1. R In this and the next section we are going to study the properties of sequences of real numbers. Definition 1.1. (Sequence) A sequence is a function with domain N. Example 1.2. A sequence of real

### The Application of Exact Cover to the. Creating of Sudoku Puzzle

Team # 3140 Page 1 of 24 The Application of Exact Cover to the Summary Creating of Sudoku Puzzle In this paper, we develop an algorithm to create a Sudoku puzzle of a desired difficulty level. The main

### MATH 55: HOMEWORK #2 SOLUTIONS

MATH 55: HOMEWORK # SOLUTIONS ERIC PETERSON * 1. SECTION 1.5: NESTED QUANTIFIERS 1.1. Problem 1.5.8. Determine the truth value of each of these statements if the domain of each variable consists of all

### MAT2400 Analysis I. A brief introduction to proofs, sets, and functions

MAT2400 Analysis I A brief introduction to proofs, sets, and functions In Analysis I there is a lot of manipulations with sets and functions. It is probably also the first course where you have to take

### Finite and Infinite Sets

Chapter 9 Finite and Infinite Sets 9. Finite Sets Preview Activity (Equivalent Sets, Part ). Let A and B be sets and let f be a function from A to B..f W A! B/. Carefully complete each of the following

### MODULAR ARITHMETIC. a smallest member. It is equivalent to the Principle of Mathematical Induction.

MODULAR ARITHMETIC 1 Working With Integers The usual arithmetic operations of addition, subtraction and multiplication can be performed on integers, and the result is always another integer Division, on

### Just the Factors, Ma am

1 Introduction Just the Factors, Ma am The purpose of this note is to find and study a method for determining and counting all the positive integer divisors of a positive integer Let N be a given positive

### Pigeonhole Principle Solutions

Pigeonhole Principle Solutions 1. Show that if we take n + 1 numbers from the set {1, 2,..., 2n}, then some pair of numbers will have no factors in common. Solution: Note that consecutive numbers (such

### Mathematics of Sudoku I

Mathematics of Sudoku I Bertram Felgenhauer Frazer Jarvis January, 00 Introduction Sudoku puzzles became extremely popular in Britain from late 00. Sudoku, or Su Doku, is a Japanese word (or phrase) meaning

### = 1, or how to convince your parents that your math prof is crazy. We want to introduce a new number system where the only numbers are

MATH 13150: Freshman Seminar Unit 11 1. Modular arithmetic In this chapter, we discuss a new number system, where the only numbers are 0,1,2,3 and 4. The idea is to add and multiply them the way we would

### Geometry - Chapter 2 Review

Name: Class: Date: Geometry - Chapter 2 Review Multiple Choice Identify the choice that best completes the statement or answers the question. 1. Determine if the conjecture is valid by the Law of Syllogism.

### Proofs Crash Course. Winter 2011

Proofs Crash Course Winter 2011 Today s Topics O Why are Proofs so Hard? O Proof by Deduction O Proof by Contrapositive O Proof by Contradiction O Proof by Induction Why are Proofs so Hard? If it is a

### It is not immediately obvious that this should even give an integer. Since 1 < 1 5

Math 163 - Introductory Seminar Lehigh University Spring 8 Notes on Fibonacci numbers, binomial coefficients and mathematical induction These are mostly notes from a previous class and thus include some

### Constructing Franklin Magic Squares

Constructing Franklin Magic Squares Cor Hurkens Mathematics Department TU Eindhoven Kubusdag Eindhoven 14 oktober 2007 impossible number puzzles / department of mathematics and computer science 1/21 Benjamin

### DISCRETE MATHEMATICS W W L CHEN

DISCRETE MATHEMATICS W W L CHEN c W W L Chen, 1982, 2008. This chapter originates from material used by the author at Imperial College, University of London, between 1981 and 1990. It is available free