Taking Sudoku Seriously

Last updated
Taking Sudoku Seriously.jpg
Author
  • Jason Rosenhouse
  • Laura Taalman
SubjectMathematics–Social aspects, Sudoku
PublisherOxford University Press
Publication date
2011
Pages214
AwardsPROSE: Popular science & Popular mathematics
ISBN 978-0-19-991315-2
OCLC 774293834
793.74
LC Class GV1507.S83

Taking Sudoku Seriously: The math behind the world's most popular pencil puzzle is a book on the mathematics of Sudoku. It was written by Jason Rosenhouse and Laura Taalman, and published in 2011 by the Oxford University Press. The Basic Library List Committee of the Mathematical Association of America has suggested its inclusion in undergraduate mathematics libraries. [1] It was the 2012 winner of the PROSE Awards in the popular science and popular mathematics category. [2]

Contents

Topics

The book is centered around Sudoku puzzles, using them as a jumping-off point "to discuss a broad spectrum of topics in mathematics". [1] In many cases these topics are presented through simplified examples which can be understood by hand calculation before extending them to Sudoku itself using computers. [3] The book also includes discussions on the nature of mathematics and the use of computers in mathematics. [4]

After an introductory chapter on Sudoku and its deductive puzzle-solving techniques [1] (also touching on Euler tours and Hamiltonian cycles), [5] the book has eight more chapters and an epilogue. Chapters two and three discuss Latin squares, the thirty-six officers problem, Leonhard Euler's incorrect conjecture on Graeco-Latin squares, and related topics. [1] [4] Here, a Latin square is a grid of numbers with the same property as a Sudoku puzzle's solution of having each number appear once in each row and once in each column. They can be traced back to mathematics in medieval Islam, were studied recreationally by Benjamin Franklin, and have seen more serious application in the design of experiments and in error correction codes. [6] Sudoku puzzles also constrain square blocks of cells to contain each number once, making a restricted type of Latin square called a gerechte design. [1]

Chapters four and five concern the combinatorial enumeration of completed Sudoku puzzles, before and after factoring out the symmetries and equivalence classes of these puzzles using Burnside's lemma in group theory. Chapter six looks at combinatorial search techniques for finding small systems of givens that uniquely define a puzzle solution; soon after the book's publication, these methods were used to show that the minimum possible number of givens is 17. [1] [4] [5]

The next two chapters look at two different mathematical formalizations of the problem of going from a Sudoku problem to its solution, one involving graph coloring (more precisely, precoloring extension of the Sudoku graph) and another involving using the Gröbner basis method to solve systems of polynomial equations. The final chapter studies questions in extremal combinatorics motivated by Sudoku, and (although 76 Sudoku puzzles of various types are scattered throughout the earlier chapters) the epilogue presents a collection of 20 additional puzzles, in advanced variations of Sudoku. [1] [4]

Audience and reception

This book is intended for a general audience interested in recreational mathematics, [7] including mathematically inclined high school students. [4] It is intended to counter the widespread misimpression that Sudoku is not mathematical, [5] [6] [8] and could help students appreciate the distinction between mathematical reasoning and rote calculation. [4] [5] [7] Reviewer Mark Hunacek writes that "a person with very limited background in mathematics, or a person without much experience solving Sudoku puzzles, could still find something of interest here". [1] It can also be used by professional mathematicians, for instance in setting research projects for students. [7] It is unlikely to improve Sudoku puzzle-solving skills, but Keith Devlin writes that Sudoku players can still gain "a deeper appreciation for the puzzle they love". [6] However, reviewer Nicola Tilt is unsure of the book's audience, writing that "the content may be deemed a little simplistic for mathematicians, and a little too diverse for real puzzle enthusiasts". [8]

Reviewer David Bevan calls the book "beautifully produced", "well written", and "highly recommended". [4] Reviewer Mark Hunacek calls it "a delightful book which I thoroughly enjoyed reading". [1] And (despite complaining that the section on graph coloring is "abstract and demanding" and overly US-centric in its approach), reviewer Donald Keedwell writes "This well-written book would be of interest to anyone, mathematician or not, who likes solving Sudoku puzzles." [5]

Related Research Articles

<span class="mw-page-title-main">Latin square</span> Square array with symbols that each occur once per row and column

In combinatorics and in experimental design, a Latin square is an n × n array filled with n different symbols, each occurring exactly once in each row and exactly once in each column. An example of a 3×3 Latin square is

In combinatorial mathematics, two Latin squares of the same size (order) are said to be orthogonal if when superimposed the ordered paired entries in the positions are all distinct. A set of Latin squares, all of the same order, all pairs of which are orthogonal is called a set of mutually orthogonal Latin squares. This concept of orthogonality in combinatorics is strongly related to the concept of blocking in statistics, which ensures that independent variables are truly independent with no hidden confounding correlations. "Orthogonal" is thus synonymous with "independent" in that knowing one variable's value gives no further information about another variable's likely value.

<span class="mw-page-title-main">Kakuro</span> Type of logic puzzle

Kakuro or Kakkuro or Kakoro is a kind of logic puzzle that is often referred to as a mathematical transliteration of the crossword. Kakuro puzzles are regular features in many math-and-logic puzzle publications across the world. In 1966, Canadian Jacob E. Funk, an employee of Dell Magazines, came up with the original English name Cross Sums and other names such as Cross Addition have also been used, but the Japanese name Kakuro, abbreviation of Japanese kasan kurosu, seems to have gained general acceptance and the puzzles appear to be titled this way now in most publications. The popularity of Kakuro in Japan is immense, second only to Sudoku among Nikoli's famed logic-puzzle offerings.

<span class="mw-page-title-main">Sudoku</span> Logic-based number-placement puzzle

Sudoku is a logic-based, combinatorial number-placement puzzle. In classic Sudoku, the objective is to fill a 9 × 9 grid with digits so that each column, each row, and each of the nine 3 × 3 subgrids that compose the grid contains all of the digits from 1 to 9. The puzzle setter provides a partially completed grid, which for a well-posed puzzle has a single solution.

<span class="mw-page-title-main">Mathematics of Sudoku</span> Mathematical investigation of Sudoku

Mathematics can be used to study Sudoku puzzles to answer questions such as "How many filled Sudoku grids are there?", "What is the minimal number of clues in a valid puzzle?" and "In what ways can Sudoku grids be symmetric?" through the use of combinatorics and group theory.

In mathematics, a combinatorial explosion is the rapid growth of the complexity of a problem due to how the combinatorics of the problem is affected by the input, constraints, and bounds of the problem. Combinatorial explosion is sometimes used to justify the intractability of certain problems. Examples of such problems include certain mathematical functions, the analysis of some puzzles and games, and some pathological examples which can be modelled as the Ackermann function.

<span class="mw-page-title-main">Sudoku solving algorithms</span> Algorithms to complete a sudoku

A standard Sudoku contains 81 cells, in a 9×9 grid, and has 9 boxes, each box being the intersection of the first, middle, or last 3 rows, and the first, middle, or last 3 columns. Each cell may contain a number from one to nine, and each number can only occur once in each row, column, and box. A Sudoku starts with some cells containing numbers (clues), and the goal is to solve the remaining cells. Proper Sudokus have one solution. Players and investigators use a wide range of computer algorithms to solve Sudokus, study their properties, and make new puzzles, including Sudokus with interesting symmetries and other properties.

<span class="mw-page-title-main">Brouwer–Haemers graph</span>

In the mathematical field of graph theory, the Brouwer–Haemers graph is a 20-regular undirected graph with 81 vertices and 810 edges. It is a strongly regular graph, a distance-transitive graph, and a Ramanujan graph. Although its construction is folklore, it was named after Andries Brouwer and Willem H. Haemers, who proved its uniqueness as a strongly regular graph.

Jason Rosenhouse is an American author and professor of mathematics at James Madison University, where he was originally appointed an assistant professor in 2003. He became a full professor in 2014. His research focuses on algebraic graph theory, as well as analytic number theory. He ran the blog Evolution Blog at National Geographic's ScienceBlogs, where he frequently criticized creationism. In late 2016 he announced that he was abandoning the blogging format. He has contributed to the pro-evolution blog The Panda's Thumb, and has also contributed to the Huffington Post about topics such as the Higgs boson, in addition to creationism.

In graph theory, precoloring extension is the problem of extending a graph coloring of a subset of the vertices of a graph, with a given set of colors, to a coloring of the whole graph that does not assign the same color to any two adjacent vertices.

<span class="mw-page-title-main">Laura Taalman</span> American mathematician

Laura Anne Taalman, also known as mathgrrl, is an American mathematician known for her work on the mathematics of Sudoku and for her mathematical 3D printing models. Her mathematical research concerns knot theory and singular algebraic geometry; she is a professor of mathematics at James Madison University.

<span class="mw-page-title-main">Sudoku graph</span> Mathematical graph of a Sudoku

In the mathematics of Sudoku, the Sudoku graph is an undirected graph whose vertices represent the cells of a (blank) Sudoku puzzle and whose edges represent pairs of cells that belong to the same row, column, or block of the puzzle. The problem of solving a Sudoku puzzle can be represented as precoloring extension on this graph. It is an integral Cayley graph.

<i>Closing the Gap: The Quest to Understand Prime Numbers</i> Book on prime numbers

Closing the Gap: The Quest to Understand Prime Numbers is a book on prime numbers and prime gaps by Vicky Neale, published in 2017 by the Oxford University Press (ISBN 9780198788287). The Basic Library List Committee of the Mathematical Association of America has suggested that it be included in undergraduate mathematics libraries.

Using the Borsuk–Ulam Theorem: Lectures on Topological Methods in Combinatorics and Geometry is a graduate-level mathematics textbook in topological combinatorics. It describes the use of results in topology, and in particular the Borsuk–Ulam theorem, to prove theorems in combinatorics and discrete geometry. It was written by Czech mathematician Jiří Matoušek, and published in 2003 by Springer-Verlag in their Universitext series (ISBN 978-3-540-00362-5).

Pearls in Graph Theory: A Comprehensive Introduction is an undergraduate-level textbook on graph theory by Nora Hartsfield and Gerhard Ringel. It was published in 1990 by Academic Press with a revised edition in 1994 and a paperback reprint of the revised edition by Dover Books in 2003. The Basic Library List Committee of the Mathematical Association of America has suggested its inclusion in undergraduate mathematics libraries.

<i>The Tower of Hanoi – Myths and Maths</i>

The Tower of Hanoi – Myths and Maths is a book in recreational mathematics, on the tower of Hanoi, baguenaudier, and related puzzles. It was written by Andreas M. Hinz, Sandi Klavžar, Uroš Milutinović, and Ciril Petr, and published in 2013 by Birkhäuser, with an expanded second edition in 2018. The Basic Library List Committee of the Mathematical Association of America has suggested its inclusion in undergraduate mathematics libraries.

Erdős on Graphs: His Legacy of Unsolved Problems is a book on unsolved problems in mathematics collected by Paul Erdős in the area of graph theory. It was written by Fan Chung and Ronald Graham, based on a 1997 survey paper by Chung, and published in 1998 by A K Peters. A softcover edition with some updates and corrections followed in 1999.

<i>Graph Theory, 1736–1936</i>

Graph Theory, 1736–1936 is a book in the history of mathematics on graph theory. It focuses on the foundational documents of the field, beginning with the 1736 paper of Leonhard Euler on the Seven Bridges of Königsberg and ending with the first textbook on the subject, published in 1936 by Dénes Kőnig. Graph Theory, 1736–1936 was edited by Norman L. Biggs, E. Keith Lloyd, and Robin J. Wilson, and published in 1976 by the Clarendon Press. The Oxford University Press published a paperback second edition in 1986, with a corrected reprint in 1998.

Games, Puzzles, and Computation is a book on game complexity, written by Robert Hearn and Erik Demaine, and published in 2009 by A K Peters. It is revised from Hearn's doctoral dissertation, which was supervised by Demaine. The Basic Library List Committee of the Mathematical Association of America has recommended it for inclusion in undergraduate mathematics libraries.

Problem Solving Through Recreational Mathematics is a textbook in mathematics on problem solving techniques and their application to problems in recreational mathematics, intended as a textbook for general education courses in mathematics for liberal arts education students. It was written by Bonnie Averbach and Orin Chein, published in 1980 by W. H. Freeman and Company, and reprinted in 2000 by Dover Publications.

References

  1. 1 2 3 4 5 6 7 8 9 Hunacek, Mark (January 2012), "Review of Taking Sudoku Seriously", MAA Reviews, Mathematical Association of America
  2. "2012 Award Winners", PROSE Awards , Association of American Publishers, retrieved 2018-05-14
  3. Hösli, Hansueli, "Review of Taking Sudoku Seriously", zbMATH , Zbl   1239.00014
  4. 1 2 3 4 5 6 7 Bevan, David (November 2013), "Review of Taking Sudoku Seriously", The Mathematical Gazette , 97 (540): 574–575, doi:10.1017/S0025557200000589, JSTOR   24496749
  5. 1 2 3 4 5 Keedwell, Donald (February 2018), "Review of Taking Sudoku Seriously", The Mathematical Gazette, 102 (553): 186–187, doi:10.1017/mag.2018.39
  6. 1 2 3 Devlin, Keith (January 28, 2012), "The numbers game (review of Taking Sudoku Seriously)", The Wall Street Journal
  7. 1 2 3 Li, Aihua, "Review of Taking Sudoku Seriously", Mathematical Reviews , MR   2859240
  8. 1 2 Tilt, Nicola (February 2013), "Review of Taking Sudoku Seriously", Significance, Royal Statistical Society, 10 (1): 43, doi: 10.1111/j.1740-9713.2013.00640.x