Biforcazione nel Sudoku: Quando Fare Ipotesi
La biforcazione è l'atto di assumere temporaneamente un valore e seguirne le conseguenze logiche. Non è "indovinare" — è una tecnica formale. Ma va usata solo dopo aver esaurito tutto il resto, e solo in modo sistematico.
Guess vs biforcazione: la differenza è importante
❌ Guess casuale (sbagliato)
"La cella C5 potrebbe essere 3 o 7. Provo il 3 e vedo cosa succede."
- • Non sistematico — scegli a caso
- • Se vai avanti a lungo e trovi un errore, non sai dove tornare
- • Non impari nulla dal processo
✓ Biforcazione sistematica (corretto)
"C5 ha solo {3,7}. Assumo C5=3 e seguo la catena logica. Se raggiungo una contraddizione, C5=7."
- • Scegli una cella bicandidato (2 candidati)
- • Segui le conseguenze logiche fino alla fine
- • La contraddizione dimostra formalmente il valore corretto
Come fare la biforcazione nel modo corretto
- 1
Esaurisci prima tutte le tecniche logiche
Prima di biforcazione: singoli nudi/nascosti → pointing pair → naked/hidden pair → triple → X-wing → XY-wing. La biforcazione è l'ultimo strumento, non il primo.
- 2
Scegli una cella bicandidato
Identifica una cella con esattamente 2 candidati. Più la cella è 'centrale' (collegata a molte altre), meglio è — la contraddizione arriva prima.
- 3
Segna il punto di biforcazione
Su carta: usa un segno (asterisco, punto) per ricordare dove hai biforcato e quale valore hai assunto. Online: salva lo stato o annota su foglio prima di procedere.
- 4
Assumi il primo valore e procedi
Inserisci il valore A nella cella. Risolvi tutte le conseguenze logiche che ne derivano. Non fermarti — vai fino in fondo.
- 5
Se trovi contraddizione: l'altro valore è corretto
Una cella con 0 candidati, un numero duplicato, una riga impossibile — sono contraddizioni. Torna al punto di biforcazione, inserisci il valore B e riparti.
- 6
Se non trovi contraddizione
Potresti aver trovato la soluzione — verificala. Se entrambi i valori portano soluzioni valide, il puzzle ha più soluzioni (non dovrebbe succedere con puzzle validi).
Vuoi mettere in pratica quello che hai letto?
Gioca ora →La forcing chain è biforcazione formalizzata
La Forcing Chain è essenzialmente una biforcazione sistematica elevata a tecnica formale. Invece di biforcazione casuale, si identificano esplicitamente le celle che formano la catena e si dimostra che entrambi i valori portano allo stesso risultato — o che uno porta alla contraddizione.
Relazione tra le tecniche:
Ordine delle tecniche prima della biforcazione
Usa la biforcazione solo dopo aver verificato tutte queste tecniche:
Domande frequenti
Cos'è la biforcazione nel sudoku?
La tecnica di assumere temporaneamente un valore per una cella bicandidato e seguirne le conseguenze. Se si raggiunge una contraddizione, il valore assunto era sbagliato — quindi l'altro è corretto. È l'ultimo strumento, da usare solo dopo aver esaurito tutte le tecniche logiche.
Il sudoku si risolve per tentativi?
I sudoku di qualità (facile/medio/difficile) si risolvono sempre con logica pura. Il diabolico può richiedere biforcazione formale, ma anche lì i migliori usano forcing chain invece di ipotesi. La biforcazione casuale non è la stessa cosa della biforcazione sistematica.
Quando si deve fare un'ipotesi nel sudoku?
Solo dopo aver esaurito nell'ordine: singoli, pointing pair, naked/hidden pair, triple, X-wing, XY-wing, forcing chain. Se sei ancora bloccato su un diabolico, una biforcazione sistematica su una cella con 2 candidati è l'ultima risorsa giustificata.
Vuoi mettere in pratica quello che hai letto?
Gioca ora →