This has been discussed before but not by me, so sadly I can't point you to the relevant threads, Paul probably can. If I remember correctly, the argument
for the technique is the stonger, on the reasoning that sudoku have only one solution
by definition, and can be solved logically. As a result of this fact, any puzzle which has more than one solution must involve a placement at some point which
Sadman's software excitedly describes as "A Guess!" So: were you to stumble upon an arrangment such as
- Code: Select all
{1,2}{1,2}
{1,2}{1,2}
you would have arrived at a point where a guess was the only way forward, so the puzzle does not have one solution. In the reverse, therefore:
- Code: Select all
{1,2}{1,2}
{1,2}{1,2,3}
the fourth cell
must be a '3', as if it were not you would have arrived back at the earlier position, and logic could take you no further. I know it
seems a bit like saying 2+2=4 because 4=2+2, but it isn't, as the Uniqueness Rule is
essential and inherent to the puzzle you are solving.
I think.
Paul?