Per Gabriele

[diana]

"lo schema odierno si risolve con un loop (6 celle).
Loop: si ipotizza un candidato in una certa posizione, tramite una catena di conseguenze si arriva alla contraddizione della ipotesi.
Questa definizione e' mia e potrebbe non essere molto ortodossa (qualcuno mi da' una mano a definirla meglio?)"


Io lo chiamo tentativo

Ciao

[gabriele]

la discussione e' eterna.
io fino a qualche tempo fa' pensavo che i colori fossero da considerare tentativi.
poi mi sono convertito, ma non pienamente convinto
i piu' famosi teorici del sudoku sostengono che i loop non siano da considerare tentativi
per una definizione piu' completa del loop:
http://www.intosudoku.com/Doc/NiceLoop.html
comunque il programma solutore va per tentativi per trovare la catena che porta alla contraddizione nel minor numero di passaggi.

[liù]

Gabriele, non avevo capito e non conoscevo Nice loop.
Se ti può far piacere nel tuo schema ho trovato miriadi di tecniche, ora mi tocca studiare e ricominciare.
Direi che è stato uno schema a dir poco stimolante per me.

[gabriele]

la tesi dei teorici e' (semplificata):
lo xwing porta ad escludere il candidato da certe posizioni perche' l'inserimento del candidato in una delle posizioni escluse porterebbe ad una contraddizione.
e' lo stesso ragionamento di qualsiasi altra forcing chain.
quindi:
o tutte le tecniche sono un tentativo (compreso le tecniche elemetari tipo coppie nude)
oppure tutto e' logico (se e' frutto di una catena logica di deduzioni).