ALS-XZ collega due Almost Locked Sets. La cifra X è un Restricted Common Candidate (RCC): non può essere vera in entrambi gli ALS. Una seconda cifra Z condivisa può allora diventare eliminabile da un target che vede tutte le sue occorrenze rilevanti nei due insiemi.
Prerequisito: due ALS validi
Prima di cercare ALS-XZ, verifica separatamente i due Almost Locked Sets: ciascuno deve rispettare la relazione N celle/N+1 cifre nella propria house. Se uno dei due non è un ALS reale, tutta la deduzione successiva fallisce.
X: il Restricted Common Candidate
X è la cifra che collega i due ALS come RCC. Deve essere impossibile che X venga realizzata contemporaneamente in entrambi gli insiemi; condividere semplicemente la cifra non basta.
Z: il candidato condiviso da eliminare
Z è una seconda cifra presente in entrambi gli ALS. Se la prova garantisce che almeno uno dei due insiemi deve utilizzare Z, un target esterno che vede tutte le occorrenze pertinenti di Z può essere eliminato.
Esempio completo di ALS-XZ
Nell’esempio identifica separatamente ALS A e ALS B e verifica per ciascuno la formula N celle / N+1 cifre. Poi dimostra che X è un RCC tra i due insiemi, individua Z come candidato comune eliminabile e controlla che il target veda tutte le occorrenze rilevanti di Z.
La prova in due casi
La verifica più sicura divide i casi secondo quale ALS può utilizzare X. In ciascun ramo, la struttura N/N+1 dell’altro insieme blocca le sue cifre residue e porta alla stessa conclusione su Z.
X è vera nell’ALS A
La verifica più sicura divide i casi secondo quale ALS può utilizzare X. In ciascun ramo, la struttura N/N+1 dell’altro insieme blocca le sue cifre residue e porta alla stessa conclusione su Z.
X non è usata nell’ALS A / è vera in B
La verifica più sicura divide i casi secondo quale ALS può utilizzare X. In ciascun ramo, la struttura N/N+1 dell’altro insieme blocca le sue cifre residue e porta alla stessa conclusione su Z.
ALS-XZ singly linked
Nel caso singly linked esiste un solo Restricted Common Candidate X che collega i due ALS. Un altro candidato comune Z può essere eliminato dalle celle esterne che vedono tutte le sue occorrenze rilevanti nei due ALS, perché qualunque stato di X mantiene Z confinato in almeno uno dei due insiemi.
ALS-XZ doubly linked
Nella forma doubly linked esistono due RCC tra gli ALS. La struttura può consentire eliminazioni aggiuntive, ma non bisogna applicare le regole doubly linked a una configurazione che possiede un solo RCC valido.
ALS-XZ vs WXYZ-Wing
Molti WXYZ-Wing possono essere descritti come casi particolari di ALS-XZ. La Wing è una geometria di quattro celle facile da riconoscere; ALS-XZ generalizza il ragionamento a insiemi di dimensione e distribuzione arbitrarie, purché RCC e candidato Z siano validi.
ALS-XZ vs XY-Wing
Anche XY-Wing può essere interpretato con piccoli ALS: una casella bivalue è un ALS di dimensione 1. Il nome XY-Wing resta utile quando la forma a pivot e pincers è più immediata della formulazione ALS.
Come cercare ALS-XZ in modo efficiente
La ricerca più pratica parte da ALS piccoli, spesso una bivalue più un ALS di due o tre celle. Confronta le loro cifre comuni, verifica prima un possibile RCC X e solo dopo chiediti se esiste una seconda cifra Z con una zona di visibilità utile.
Errori comuni
Un falso ALS-XZ nasce quasi sempre da uno dei tre controlli saltati: uno dei set non è davvero N/N+1, X non è restricted tra gli ALS oppure il target non vede tutte le Z necessarie. Verificali in questo ordine.
X è comune ma non ristretto
X deve essere non solo presente in entrambi gli ALS, ma restricted tra essi: le occorrenze rilevanti di X nei due insiemi devono vedersi in modo da impedire che X venga “usata” indipendentemente da entrambi.
Z è visibile solo in una parte di un ALS
Per eliminare Z da un target esterno, quel target deve vedere tutte le occorrenze di Z che possono essere vere nell’ALS A e tutte quelle pertinenti nell’ALS B. Vederne solo una parte non basta.
Uno degli “ALS” è in realtà N caselle / N+2 candidati
Un ALS di N celle deve contenere esattamente N+1 cifre candidate complessive. Se l’unione contiene N+2 cifre, l’insieme non soddisfa la definizione e la prova ALS-XZ crolla.
Il target appartiene all’ALS senza una prova cannibalistica valida
Un target interno a uno degli ALS richiede una prova specifica di eliminazione cannibalistica. Non applicare la regola standard dei target esterni semplicemente perché la cella “vede” parte della struttura.
Confondere le regole doubly linked con quelle singly linked
Nella forma doubly linked esistono due RCC tra gli ALS. La struttura può consentire eliminazioni aggiuntive, ma non bisogna applicare le regole doubly linked a una configurazione che possiede un solo RCC valido.
FAQ
Che cosa significano X e Z in ALS-XZ?
La forma standard usa due ALS validi. Uno può anche essere una singola casella bivalue, purché rispetti la definizione N caselle / N+1 cifre.
Quanti ALS usa ALS-XZ?
La forma standard usa due ALS validi. Uno può anche essere una singola casella bivalue, purché rispetti la definizione N caselle / N+1 cifre.
Una casella bivalue può essere uno degli ALS?
La forma standard usa due ALS validi. Uno può anche essere una singola casella bivalue, purché rispetti la definizione N caselle / N+1 cifre.
Che cos’è ALS-XZ doubly linked?
La forma standard usa due ALS validi. Uno può anche essere una singola casella bivalue, purché rispetti la definizione N caselle / N+1 cifre.
Cosa imparare dopo
Dopo ALS-XZ puoi confrontare WXYZ-Wing e Grouped AIC, che spesso descrivono strutture confinanti con lo stesso linguaggio di candidati ristretti.