One of my favorite past times is filling sudoku puzzles. There’s something about this seemingly simple, yet challenging, dance of digits up and down, left and right that manages to keep me highly entertain though a perfectly balanced mixture of thrill and frustration. If you think you’re good enough to solve any kind of sudoku, be aware that some combinations are impossible to solve.

SudokuGary McGuire, a mathematician of University College Dublin, has pain-stakingly devised an algorithm through which he has scientifically proven that a sudoku puzzle can’t have less than 17 clues, since puzzles with 16 or fewer clues do not have a unique solution. Your typical newspaper sudoku has around 25 clues, on the safe side – just enough not to get bored, while keeping frustration amounted from failing to see the solution at bay.

Gasp! It suddenly hit me that some ZME readers might not know what a sudoku is in the first place. Well, I must make haste before I continue to explain how the game works. Very simple: sudoku involves filling in a 9×9 grid of squares, according to a set of rules (each 3×3 box needs to be filled with each number from 1-9, the same goes for the every column and line of the 9×9 grid). To kick things off and be able to find a solution, the puzzle has some boxes filled out in a particular order – these are your clues, the fewer you have, the harder the game gets.

Back to science. Professor McGuire presented his work at the recent conference in Boston, where his findings where heralded valid and deemed as an important advance in the growing field of Sudoku mathematics, which is more important than one might think. I’ll get to that soon enough.

ALSO READ  Struggling with math? You might have what scientists call a 'math disability'

There have been literary thousands of 16 clues sudoku trials, however it was found that in every instance, there could be found only one solution – but how to demonstrate this? Gary McGuire developed a “hitting set algorithm” to definitively prove the theory. This algorithm looks for what McGuire calls “unavoidable sets”, couples of filled in values in the completed values which when interchanged can result in multiple solutions. By replacing these unavoidable sets values and positions with clue values the computing task at hand becomes a lot less complex, though still very though.

“The approach is reasonable and it’s plausible. I’d say the attitude is one of cautious optimism,” says Jason Rosenhouse, a mathematician at James Madison University in Harrisonburg, Va., and the co-author of a newly released book on the mathematics of Sudoku.

To run this algorithm for solutions, brute force is the only option. Even with the unavoidable sets algorithm in place,  which took two years to tweak, McGuire and his team used about 700 million CPU hours at the Irish Centre for High-End Computing in Dublin, searching through possible grids with the hitting-set algorithm. The work, says McGuire, has implications beyond Sudoku itself.

“Hitting set problems have applications in many areas of science, such as bioinformatics and software testing,” he says.

McGuire’s paper was published in a recent edition of the journal Nature.

via

Like us on Facebook
Enjoyed this story? Join the newsletter and stay relevant in today's rapidly evolving world.
ZME Science newsletter
Blasts off every weekday to more than 35,000 subscribers.

2 Comments

  1. 1

    Two points of increasing significance to the story:
    1) “painstakingly” is unhyphenated but if you were to hyphenate it, it would be “pains-takenly” because it’s based on the phrase “taking great pains”

    2) “the fewer [sudoku clues] you have, the harder the game gets.”  That is a simplistic view of things that isn’t necessarily accurate.  There are puzzles (I don’t consider them a “game” any more than crossword puzzles are a game) with, for example, 21 clues that can be made more difficult than a 19 clue puzzle.  

  2. 2

    “There have been literary thousands of 16 clues sudoku trials, however it was found that in every instance, there could be found only one solution – but how to demonstrate this?”  Besides the fact that “literary” should be “literally”, the sentence in general doesn’t make sense.  Should the word “not” be placed between “could” and “be”?  That would at least make factual and sentence structure sense.

Leave a Reply

Your email address will not be published. Required fields are marked *

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong>