9 Jan
2012
9 Jan
'12
11:20 a.m.
James Cloos <cloos@jhcloos.com> writes:
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.
OK, I'm not following something here. Doesn't the existence of a uniquely solvable 15-clue puzzle imply the existence of a uniquely solveable 16-clue puzzle? (Just fill in any blank.) So, contrapositively, the non-existence of 16s would imply the non-existence of 15s (and 14s and 13s, etc.) -- Tom Duff. This was just a preliminary test.