Obiettivo
Al termine di questa lezione saprai partire da una riga o colonna, riconoscere quando una cifra è confinata a un solo blocco ed eliminarla dal resto del blocco.
Inverti la freccia
Conosci già Pointing: blocco → linea. La Box-Line Reduction, detta anche Claiming, inverte la fonte: linea → blocco.
La geometria può sembrare quasi identica. La domanda importante è: quale unità dimostra il vincolo?
Passaggio 1 — Claiming in una riga
Segui una cifra lungo una riga. Se tutte le posizioni rimaste sono nello stesso blocco, la riga dovrà mettere la cifra in quel blocco. Elimina quindi lo stesso candidato dalle altre celle del blocco fuori dalla riga fonte.
Passaggio 2 — Claiming in una colonna
La stessa dimostrazione funziona in verticale. Se tutti i candidati di una cifra in una colonna sono in un blocco, elimina la cifra dal resto del blocco, non dalla colonna fonte stessa.
Passaggio 3 — Due o tre celle fonte possono funzionare
Claiming non richiede esattamente due posizioni. Se una riga ha tre candidati 6 e tutti sono nello stesso blocco, il vincolo è completo. Conta il confinamento a un blocco, non la dimensione del gruppo.
Passaggio 4 — Pointing o Claiming?
Pointing: il blocco dimostra qualcosa sulla linea. Claiming: la linea dimostra qualcosa sul blocco. Non classificare solo dall’aspetto; identifica prima l’unità fonte.
Checkpoint
Affronta stati misti blocco-linea seguendo una cifra, identificando l’unità fonte e scegliendo l’eliminazione che ne deriva. Decidi se la prova elimina lungo una linea, dentro un blocco o non dimostra alcuna eliminazione; assegna il nome Pointing o Claiming solo dopo aver chiarito la direzione.
Ricorda
Claiming parte da una riga o colonna. Se tutte le posizioni rimaste di una cifra in quella linea sono dentro un blocco, elimina la cifra dal resto del blocco. Linea → blocco = Claiming.
Prossima
Coppie nude — passa dalle intersezioni blocco-linea alla logica dei sottoinsiemi.
Riferimento
Leggi Box-Line Reduction per la dimostrazione completa, i nomi alternativi e i suggerimenti di riconoscimento.