L'Aligned Pair Exclusion lavora al contrario della maggior parte delle tecniche: invece di cercare una figura, prendi due celle, elenchi ogni coppia di cifre che potrebbero contenere insieme e cancelli le coppie che metterebbero in crisi qualcos'altro. Ciò che sopravvive ti dice quali candidati sono ancora possibili.
Due celle sono allineate quando stanno nella stessa unità, quindi non possono mai contenere la stessa cifra. Lo schema è più potente quando le due celle condividono insieme un riquadro e una linea, perché così hanno molte celle collegate in comune.
Ora guarda le celle bivalore (celle con esattamente due candidati) che entrambe le celle scelte vedono. Ognuna è un piccolo veto. Una cella bivalore con {a, b} deve finire come a o come b. Se la tua prima cella prendesse a e la seconda b, quella cella bivalore resterebbe senza nulla. Quindi la combinazione a-b è impossibile, e lo è anche b-a.
Applica il veto a ogni coppia: ogni candidato che non sopravvive in nessuna combinazione può essere eliminato.
Due condizioni rendono l'Aligned Pair Exclusion degna di fatica:
Il contesto classico è l'angolo vuoto di un riquadro di fronte a un riquadro pieno.
| Buona coppia da testare | Cattiva coppia da testare | |
|---|---|---|
| Candidati per cella | 2-3 | 4 o più |
| Regioni condivise | riquadro e linea | una sola linea |
| Celle bivalore viste da entrambe | 3 o più | 0-1 |
| Coppie da controllare | meno di 10 | 20+ |
La coppia è D2 e D3. Entrambe stanno nella riga D e nel riquadro 4, quindi non possono mai contenere la stessa cifra. Guarda le quattro celle bivalore che vedono entrambe.
D2 contiene 1, 5, 7 e 9, e D3 contiene 2, 5 e 9. Quattro celle bivalore vedono entrambe: D7 e D4 attraverso la riga D, E1 e F3 attraverso il riquadro 4. Prova prima D3 = 2. In coppia con D2 = 1 svuota D7, con D2 = 5 svuota F3, con D2 = 7 svuota E1 e con D2 = 9 svuota D4. Quindi il 2 non ha alcun partner in D2 e sparisce da D3, che diventa . Il 5 e il 9 in D3 mantengono ciascuno un partner che lascia a ogni cella escludente una cifra. Stavolta il risultato è un'eliminazione e non un inserimento, ma basta per rimettere in moto uno schema bloccato.
{a, b} vieta a-b e b-a.Lo stesso ragionamento si estende a tre celle allineate e agli insiemi quasi bloccati usati al posto delle celle bivalore, ma la forma a due celle è quella con il miglior rapporto resa/tempo.
Porta la stessa idea a tre celle insieme ed elenca ogni combinazione di tre cifre che potrebbero contenere, saltando le combinazioni che ripetono una cifra in due celle che condividono un'unità. Ora gli escludenti sono celle con due o tre candidati che vedono tutte e tre le celle scelte: una combinazione è impossibile se le tre celle scelte prendessero tutti i candidati di un escludente.
Cancella ogni combinazione che lascerebbe una di quelle celle escludenti senza candidati, come prima. Una cifra che non sopravvive in nessuna combinazione per la sua cella viene eliminata.
L'Aligned Triplet Exclusion è più difficile da trovare e rende meno spesso della forma a due celle: l'elenco delle combinazioni cresce in fretta e ogni escludente deve vedere tutte e tre le celle scelte. Sta sopra l'Aligned Pair Exclusion nella scala di difficoltà, vicino all'estremo, quindi vale la pena provarla solo dopo che la forma a coppia ha fallito.
L'Aligned Pair Exclusion è una tecnica diabolica. Diventa necessaria per la prima volta negli schemi Esperto, di solito quando wing e pesci si sono esauriti e lo schema ha ancora una zona densa di celle bivalore. I livelli più facili non la richiedono mai.