Alternating Inference Chains
AIC con 3 strong
links: almeno un candidato fra i
due vertici ( 2 in E1 e 8 in D2 ) è vero
Possiamo eliminare:
l'8 in E1 perché in cella con il 2 in E1 e in riquadro con l'8 in D2.
Nella soluzione finale di questo schema è vero un solo vertice della catena
( 2 in E1 ).
AIC con 3 strong
links: almeno un candidato fra i
due vertici ( 1 in H5 e gruppo ( H7-8 H8-8 ) ) è vero
Possiamo eliminare:
l'8 in H5 perché in cella con l'1 in H5 e in colonna con il gruppo di 8 in
H7-H8 (si può fare perché l'8 in H5 "vede" contemporaneamente
anche
tutti i candidati del gruppo).
Nella soluzione finale di questo schema sono veri tutti e due i vertici
della catena ( 1 in H5 e 8 in H7 ).
AIC con 5 strong links: almeno un candidato fra i
due vertici ( 5 in A8 e 1 in A2 ) è vero
Possiamo eliminare:
l'1 in A8 perché in cella con il 5 in A8 e in colonna con l'1 in A2.
Nella soluzione finale di questo schema sono veri tutti e due i vertici
della catena ( 5 in A8 e 1 in A2 ).
AIC circolare
bidirezionale con 6 strong links e "Almost Naked Pair" + "Almost
Hidden Pair" inclusi
Possiamo eliminare tutti i candidati che "vedono" i vertici di ogni
inferenza debole:
candidati 5 in D1-H1-I1 e 7 in D1 perché in riga con i vertici del weak link
fra i candidati ( 5-7 in A1-C1 ) e ( 5-7 in B1 );
candidati 5 in B2-C2-A3-B3 e 7 in B2-C2 perché in riquadro con i vertici del weak link
fra i candidati ( 5-7 in A1-C1 ) e ( 5-7 in B1 );
candidato 6 in D1 perché in riga con i vertici del weak link fra il
candidato 6 in B1-H1;
candidato 6 in G4 perché in riquadro con i vertici del weak link fra il
candidato 6 in H4-G6;
candidati 5-8 in F6 perché in cella con i vertici del weak link fra i
candidati ( 4-6 in D6-F6 ) e 2 in F6.
AIC con 3 strong links: almeno uno fra i vertici (
5 in A3 e la doppia coppia di candidati
5-6 in A1-A3 ) è vero
Possiamo eliminare:
il 5 in A4-A6-A9 perché in colonna e il 5 in B2-C2 perché in riquadro sia con il
5 in A1 che con con la doppia coppia di candidati 5-6 in A1-A3.
E' un caso un po' particolare di "Almost Naked Pair" ad un vertice di catena
perché si sovrappone al candidato singolo dell'altro vertice.
Non bisogna, in questi tipi di configurazione, fare l'errore di considerare
la catena come circolare bidirezionale (Continous Nice Loop) perché, anche
se sovrapposti, i due vertici non sono collegati da alcuna inferenza: non si
può collegare direttamente un candidato a se stesso (può esserlo però
attraverso altri nodi intermedi con varie implicazioni o deduzioni
possibili).
Bisogna semplicemente considerare i due vertici come se fossero separati ed
applicare, per i candidati da eliminare, la solita regola che devono
"vedere" in riga o colonna o riquadro o cella tutti e due i vertici stessi.
AIC con 4 strong links: almeno uno fra i vertici (
6 in D8 e la doppia coppia di candidati 6-9 in D5-D8 ) è vero
Possiamo eliminare:
il 3 e il 5 in D8 perché nella stessa cella D8 parte della doppia coppia di
candidati 6-9 in D5-D8.
E' un caso un po' particolare, simile al precedente, di "Almost
Hidden Pair" ad un vertice di catena
che si sovrappone al candidato singolo dell'altro vertice.
Non bisogna, in questi tipi di configurazione, fare l'errore di considerare
la catena come circolare bidirezionale (Continous Nice Loop) perché, anche
se sovrapposti, i due vertici non sono collegati da alcuna inferenza: non si
può collegare direttamente un candidato a se stesso (può esserlo però
attraverso altri nodi intermedi con varie implicazioni o deduzioni
possibili).
Bisogna semplicemente considerare i due vertici come se fossero separati ed
applicare, per i candidati da eliminare, la solita regola che devono
"vedere" in riga o colonna o riquadro o cella tutti e due i vertici stessi.