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

New Nanoparticle Vaccine Clears Pancreatic Cancer in Over Half of Preclinical Models

The pancreatic cancer vaccine seems to work so well it's even surprising its creators

Coffee Could Help You Live Longer — But Only If You Have it Black

Drinking plain coffee may reduce the risk of death — unless you sweeten it.

Climate Change Unleashed a Hidden Wave That Triggered a Planetary Tremor

The Earth was trembling every 90 seconds. Now, we know why.

Scientists Turn Timber Into SuperWood: 50% Stronger Than Steel and 90% More Environmentally Friendly

This isn’t your average timber.

A Provocative Theory by NASA Scientists Asks: What If We Weren't the First Advanced Civilization on Earth?

The Silurian Hypothesis asks whether signs of truly ancient past civilizations would even be recognisable today.

Scientists Created an STD Fungus That Kills Malaria-Carrying Mosquitoes After Sex

Researchers engineer a fungus that kills mosquitoes during mating, halting malaria in its tracks

From peasant fodder to posh fare: how snails and oysters became luxury foods

Oysters and escargot are recognised as luxury foods around the world – but they were once valued by the lower classes as cheap sources of protein.

Rare, black iceberg spotted off the coast of Labrador could be 100,000 years old

Not all icebergs are white.

We haven't been listening to female frog calls because the males just won't shut up

Only 1.4% of frog species have documented female calls — scientists are listening closer now

A Hawk in New Jersey Figured Out Traffic Signals and Used Them to Hunt

An urban raptor learns to hunt with help from traffic signals and a mental map.