Premessa
Il "Sudoku 9x9 Logic Solver & Report Builder" è programmato per "lavorare" con il metodo dell'inserimento dei candidati. Inserire i candidati, se fatto da un "risolutore umano", significa scrivere in ciascuna cella vuota tutti i numeri che potrebbero occuparla senza disattendere le regole base di univocità del Sudoku (ogni numero o simbolo può comparire, nella soluzione finale, una sola volta in ogni riga-colonna-riquadro). Questo viene fatto considerando potenzialmente tutti i 9 numeri come candidati ma escludendo, secondo le regole di univocità del Sudoku, quelli che contrastano con i numeri fissi già inseriti nello schema di partenza o con quelli inseriti successivamente seguendo le tecniche dei Naked e Hidden Singles. Tutte le tecniche successive ai Naked e Hidden Singles, hanno come obiettivo comune quello di ridurre i candidati multipli di ciascuna cella (o i candidati singoli di ciascuna riga/colonna/riquadro) fino a renderli unici, cioè inseribili nello schema risolto finale.
Esempi di schemi iniziali dopo l'inserimento e successiva riduzione dei candidati per esclusione rispetto alle regole di univocità del Sudoku
Naked Singles
Quando dopo ogni riduzione di candidati, da quella iniziale riferita ai numeri fissi dello schema di partenza a tutte quelle successive, rileviamo che in una cella è presente un unico candidato, questo candidato è sicuramente parte della soluzione finale è può essere inserito fisso nello schema.
Esempi di Naked Singles da schema iniziale e da schema in avanzamento
Hidden Singles
Se all'interno di una stessa riga/colonna/riquadro c'è una cella che, pur contenendo diversi candidati, ne ha uno che non compare in nessun altra cella della stessa riga/colonna/riquadro, questo candidato è sicuramente parte della soluzione finale è può essere inserito fisso nello schema.
Esempi di Hidden Singles in riga
Esempi di Hidden Singles in colonna
Esempi di Hidden Singles in riquadro
