Lezione 33

ALS-XZ

La regola

Due insiemi quasi bloccati collegati da un candidato comune ristretto forzano un altro candidato condiviso in almeno uno di essi, quindi quel candidato può essere rimosso da ogni cella fuori dai due insiemi che vede tutte le celle con quel candidato in entrambi gli insiemi.

Passo dopo passo

1. Guarda il primo insieme . Queste 2 celle sono tutte nella stessa riga e hanno complessivamente 3 candidati diversi, uno in più del numero di celle. Questo si chiama Insieme Quasi Bloccato (ALS).
2. Ora guarda il secondo insieme . Queste 3 celle sono tutte nella stessa riga e hanno complessivamente 4 candidati diversi, uno in più del numero di celle, quindi formano anch'esse un ALS. Condividono 3 come Candidato Comune Ristretto (RCC): ogni cella con 3 in un insieme vede tutte le celle con 3 nell'altro. Il numero 3 può quindi essere collocato al massimo in uno dei due insiemi, mai in entrambi.
3. Entrambi gli insiemi contengono 5 come candidato. Poiché il numero 3 può essere collocato in al massimo un insieme, almeno un insieme non userà 3. Un insieme che non usa 3 ha tanti candidati distinti rimasti quante sono le celle, quindi deve collocare ciascuno di essi, incluso 5, da qualche parte al suo interno. Perciò 5 viene collocato in almeno uno dei due insiemi, e possiamo rimuovere il candidato 5 da ogni cella fuori dai due insiemi che vede tutte le celle con il candidato 5 in entrambi gli insiemi. Da qui viene il nome: X è 3, il candidato condiviso dai due insiemi, e Z è 5, il candidato eliminato.