homehome Home chatchat Notifications


Mathematician solves sudoku dilema: 17 minimum clues for a solution

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, […]

Tibi Puiu
January 9, 2012 @ 5:45 pm

share Share

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.

Sudoku Gary 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.

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

share Share

Beetles Conquered Earth by Evolving a Tiny Chemical Factory

There are around 66,000 species of rove beetles and one researcher proposes it's because of one special gland.

These researchers counted the trees in China using lasers

The answer is 142 billion. Plus or minus a few, of course.

New Diagnostic Breakthrough Identifies Bacteria With Almost 100% Precision in Hours, Not Days

A new method identifies deadly pathogens with nearly perfect accuracy in just three hours.

This Tamagotchi Vape Dies If You Don’t Keep Puffing

Yes. You read that correctly. The Stupid Hackathon is an event like no other.

Wild Chimps Build Flexible Tools with Impressive Engineering Skills

Chimpanzees select and engineer tools with surprising mechanical precision to extract termites.

Archaeologists in Egypt discovered a 3,600-Year-Old pharaoh. But we have no idea who he is

An ancient royal tomb deep beneath the Egyptian desert reveals more questions than answers.

Researchers create a new type of "time crystal" inside a diamond

“It’s an entirely new phase of matter.”

Strong Arguments Matter More Than Grammar in English Essays as a Second Language

Grammar takes a backseat to argumentation, a new study from Japan suggests.

A New Study Reveals AI Is Hiding Its True Intent and It's Getting Better At It

The more you try to get AI to talk about what it's doing, the sneakier it gets.

Cat Owners Wanted for Science: Help Crack the Genetic Code of Felines

Cats are beloved family members in tens of millions of households, but we know surprisingly little about their genes.