December 1, 2014

Mathematics of Sudoku

A completed Sudoku grid is a special type of Latin square with the additional property of no repeated values in any partition of the 9×9 block into contiguous 3×3 blocks. The relationship between the two theories is now completely known, after Denis Berthier proved in his recent book, "The Hidden Logic of Sudoku", that a first order formula that does not mention blocks (also called boxes or regions) is valid for Sudoku if and only if it is valid for Latin Squares (this property is trivially true for the axioms and it can be extended to any formula).....Read On
Can You Master The Ken Ken Puzzle?

No comments: