Alternating Inference Chains
AIC circolare
bidirezionale tipo "X-Wing" con 2 strong links
Possiamo eliminare tutti i candidati che "vedono" i vertici di ogni
inferenza debole:
candidato 2 in A2-A3-A7 perché in colonna con i vertici del weak link fra il
candidato 2 in A1-A9;
candidato 2 in I2-I7 perché in colonna con i vertici del weak link fra il
candidato 2 in I1-I9.
AIC con 2 strong
links tipo "Finned X-Wing": almeno
un candidato fra i due vertici ( 8 in B5 e gruppo ( A1-8 B1-8 ) ) è vero
Possiamo eliminare:
l'8 in B2-B3 perché in colonna con l'8 in B5 e in riquadro con il gruppo di
8 in A1-B1 (si può fare perché l'8 in B2-B3 "vede" contemporaneamente
anche tutti i candidati del gruppo).
Nella soluzione finale di questo schema è vero uno solo dei due i vertici
della catena (8 in A1-B1): consideriamo vero il gruppo perché uno dei suoi
elementi è vero nella soluzione (8 in B1).
AIC con 2 strong links tipo "Double Finned Sashimi X-Wing":
almeno un candidato fra i due vertici ( 7 in B6 e gruppo ( A3-7 C3-7
) ) è vero
Possiamo eliminare:
il 7 in B1-B2 perché in colonna con il 7 in B6 e in riquadro con il gruppo
di 7 in A3-C3 (si può fare perché il 7 in B1-B2 "vede" contemporaneamente
anche tutti i candidati del gruppo).
Nella soluzione finale di questo schema sono veri tutti e due i vertici
della catena (7 in B6 e 7 in A3-C3): consideriamo vero il gruppo perché uno
dei suoi elementi è vero nella soluzione (7 in A3).
AIC circolare
bidirezionale tipo "Swordfish" con 3 strong links
Possiamo eliminare tutti i candidati che "vedono" i vertici di ogni
inferenza debole:
candidato 6 in D6 perché in colonna con i vertici del weak link fra il
candidato 6 in D9-D7.
AIC con 3 strong
links tipo "Finned Swordfish": almeno
un candidato fra i due vertici ( 2 in A3 e gruppo ( A8-2 C8-2 ) ) è vero
Possiamo eliminare:
il 2 in A9 perché in colonna con il 2 in A3 e in riquadro con il gruppo di 2
in A8-C8 (si può fare perché il 2 in A9 "vede" contemporaneamente
anche tutti i candidati del gruppo).
Nella soluzione finale di questo schema è vero uno solo dei due i vertici
della catena (2 in A8-C8): consideriamo vero il gruppo perché uno dei suoi
elementi è vero nella soluzione (2 in A8).
AIC con 3 strong
links tipo "Finned Sashimi Swordfish":
almeno un candidato fra i due vertici
( 4 in A2 e 4 in C7 ) è vero
Possiamo eliminare:
il 4 in A8 perché in colonna con il 4 in A2 e in riquadro con il 4 in C7;
il 4 in C1 perché in colonna con il 4 in C7 e in riquadro con il 4 in C2.
Questa "Alternating Inference Chain (Forbidding Chain)" effettua
un'eliminazione aggiuntiva ( C1-4 ) oltre a quella logica ( A8-4 ) della
tecnica "Finned Sashimi Swordfish".
Nella soluzione finale di questo schema è vero un solo vertice della catena
( 4 in A2 ).
AIC con 3 strong
links tipo "Double Finned Sashimi Swordfish":
almeno un candidato fra i due
vertici ( 2 in B2 e gruppo ( A8-2 C8-2 ) ) è vero
Possiamo eliminare:
il 2 in B9 perché in colonna con il 2 in B2 e in riquadro con il gruppo di 2
in A8-C8 (si può fare perché il 2 in B9 "vede" contemporaneamente
anche tutti i candidati del gruppo).
Nella soluzione finale di questo schema è vero uno solo dei due i vertici
della catena (2 in A8-C8): consideriamo vero il gruppo perché uno dei suoi
elementi è vero nella soluzione (2 in A8).
AIC circolare
bidirezionale tipo "Jellyfish" con 4 strong links
Possiamo eliminare tutti i candidati che "vedono" i vertici di ogni
inferenza debole:
candidato 2 in D5-D9 perché in colonna con i vertici del weak link fra il
candidato 2 in D3-D4;
candidato 2 in C5 perché in colonna con i vertici del weak link fra il
candidato 2 in C4-C2.