udosuk wrote:Whether we set n must be 2 is subject to debate...
Yes, I can't see how the difference can be a question of how many candidates there are. If you have 3 candidates in a cell, theoretically you could use the same
strategies/or not to place each one, in the same way you do with one or two. Is a forcing chain using 2 candidate-cells guessing? In another thread recently tso used naked triples in implication chains - it's all the same strategy.
I like this distinction from
Lummox Jr in the
Guesses thread.
In T&E, a trial candidate isn't considered "right" merely by placing it and finding no contradictions. T&E must either find a contradiction, or it must affirmatively place or fully eliminate a number by trial candidates in another set of cells.
A guess, on the other hand, tries a candidate and if it works, accepts it.
PaulIQ164 said this in the thread that's running along the other track
Help With End GameI suppose the difference between using T&E and guessing is the the guesser puts in a number he doesn't know to be correct, continues with the puzzle, and (if he's lucky) fills the grid, then says to himself "Ah! Finished!" and goes home. The T&E user would put in the number, fill the grid, and then go back and check the other possibility to make sure that didn't work too.
This implies a different modus operandi on the part of the solver. It also implies that guessing is subjective. When
I run out of logical strategies
I start guessing or when any old answer will do
I am guessing.
You on the other hand may do exactly the same thing as I did but with a logical strategy in mind.
udosuk wrote:(If we set n must not be 3 or more, do we have proof that all "valid" puzzle can be solved using basic logical steps and this "tool"?)
I want to know this too. In
Help With End Game stuartn mentioned the possibility of a '9 guess' grid with a unique solution. Maybe we'll find out!
PS : I wonder if Gongora will come back!