Le Forcing Chains analizzano tutte le alternative di una scelta vincolata e seguono conseguenze logiche finché i rami convergono sulla stessa conclusione o uno di essi produce una contraddizione. La differenza dal guessing è l’esaustività dei casi e la validità di ogni implicazione.
Le Forcing Chains non sono tentativi casuali
Una Forcing Chain parte da un insieme esaustivo di alternative e segue conseguenze logiche in ogni ramo. La conclusione è accettata solo se tutti i rami producono lo stesso risultato oppure tutti tranne uno portano a contraddizione. Questo è case analysis deduttivo, non “provo un numero e vedo se funziona”.
Digit Forcing Chain
Una Digit Forcing Chain parte dalle posizioni possibili di una cifra in una unità. Ogni posizione viene considerata come alternativa e si seguono conseguenze finché tutti i rami condividono una conclusione.
Cell Forcing Chain
Una Cell Forcing Chain parte dai candidati esaustivi di una casella. Se ogni valore possibile produce la stessa eliminazione o se tutti tranne uno portano a contraddizione, la conclusione è forzata.
Unit Forcing Chain
Una Unit Forcing Chain considera tutte le posizioni legali di una cifra in una riga, colonna o box. È valida soltanto se l’insieme iniziale copre davvero tutte le alternative.
Esempio completo di Forcing Chain
Nell’esempio scegli un insieme iniziale di alternative esaustive — per esempio i due candidati di una cella bivalue — e sviluppa ciascun ramo usando solo deduzioni valide. Confronta le conseguenze: se ogni ramo forza la stessa eliminazione o lo stesso inserimento, quella conclusione è dimostrata senza scegliere un ramo.
Verity: ogni ramo raggiunge lo stesso risultato
La forma “verity” dimostra una conclusione comune: non importa quale ramo iniziale sia reale, tutti portano allo stesso candidato vero o falso. È una prova per casi esaustivi.
Forcing basato sulla contraddizione
Nel forcing per contraddizione un ramo conduce a una violazione certa dei vincoli; quell’alternativa iniziale è falsa. Se resta una sola alternativa possibile, essa è vera.
Forcing Chains vs AIC
AIC segue un’unica alternanza di inferenze in cui la conclusione deriva dagli endpoint o da un loop. Una Forcing Chain parte invece da alternative esaustive e dimostra che tutti i rami conducono alla stessa verità o alla stessa contraddizione.
Forcing Chains vs Forcing Nets
Una Forcing Chain mantiene ogni ramo come percorso lineare. Una Forcing Net permette che un ramo si biforchi in più conseguenze e che queste vengano combinate prima di arrivare alla conclusione.
Forcing Chains vs guessing
Il guessing sceglie un valore e procede senza una giustificazione esaustiva. Le Forcing Chains sono analisi per casi: coprono tutte le alternative iniziali e ogni passaggio del ramo è una inferenza logica verificabile.
Come cercare Forcing Chains in modo responsabile
Cerca Forcing Chains soltanto da alternative piccole e chiaramente esaustive: una bivalue, due posizioni di una cifra in una unità o un candidato e la sua negazione. Limita la profondità, annota ogni implicazione e abbandona il ramo se la catena diventa più difficile da verificare della conclusione che stai cercando.
Errori comuni
La tecnica perde valore se i rami non sono esaustivi o contengono salti intuitivi. Controlla tutte le alternative iniziali, valida ogni implicazione e accetta la conclusione soltanto se è comune a tutti i rami oppure se un ramo porta a una contraddizione formale.
Non coprire tutte le alternative iniziali
Devi coprire tutte le alternative iniziali rilevanti. Se una casella ha tre candidati, analizzare solo due rami non dimostra nulla sul terzo.
Usare una implicazione non valida dentro un ramo
Ogni passaggio interno a ogni ramo deve essere logicamente valido. Una singola implicazione falsa invalida la conclusione comune anche se gli altri rami sembrano corretti.
Confrontare solo i rami che sostengono il target desiderato
Non scegliere soltanto i rami che portano al risultato desiderato. La forza della tecnica sta proprio nel fatto che ogni alternativa possibile converge sulla stessa conclusione.
Chiamare Forcing Chain un lungo tentativo
Una lunga sequenza di tentativi e cancellazioni non diventa Forcing Chain per il solo fatto di terminare in contraddizione. Devi poter descrivere alternative, inferenze e conclusione in modo riproducibile.
Confondere una Net con una Chain
Una Chain è un percorso lineare; una Net contiene ramificazioni. Se durante il ramo usi due conseguenze parallele insieme, descrivila come Forcing Net invece di nascondere la biforcazione.
FAQ
Le Forcing Chains sono tecniche Sudoku logiche?
Sì, quando le alternative iniziali sono esaustive e ogni conseguenza è logicamente valida. In quel caso è analisi per casi, non trial and error arbitrario.
Quali sono i principali tipi di Forcing Chain?
Sì, quando le alternative iniziali sono esaustive e ogni conseguenza è logicamente valida. In quel caso è analisi per casi, non trial and error arbitrario.
Forcing Chains e AIC sono la stessa cosa?
Sì, quando le alternative iniziali sono esaustive e ogni conseguenza è logicamente valida. In quel caso è analisi per casi, non trial and error arbitrario.
Che cos’è una Forcing Net?
Sì, quando le alternative iniziali sono esaustive e ogni conseguenza è logicamente valida. In quel caso è analisi per casi, non trial and error arbitrario.
Dovrei usare spesso le Forcing Chains?
Sì, quando le alternative iniziali sono esaustive e ogni conseguenza è logicamente valida. In quel caso è analisi per casi, non trial and error arbitrario.
Cosa imparare dopo
Le Forcing Chains chiudono la scala tecnica di questo freeze V2; Forcing Nets e catene ALS più profonde restano espansioni esperte successive.