Alternating Inference Chains

 

Alternating Inference Chains (AIC)
che rappresentano "Basic, Finned & Sashimi Fishes"

 


 

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.