9 Jan
2012
9 Jan
'12
8:45 a.m.
The earlier report I read on this (possibly in arxivblog) said that they had only proven that there were no 16-clue puzzles with unique solutions, and that <13 clue puzzles had been ruled out by others. Whether 13, 14, or 15 clue puzzles with unique solutions exist is still, according to that report, an open question. The brute force search on 16 clue puzzles took a year; I believe it said 7 million core-hours. -JimC -- James Cloos <cloos@jhcloos.com> OpenPGP: 1024D/ED7DAEA6