Sudoku 9x9 Excel - Alternating Inference Chains

Alternating Inference Chains

 

Alternating Inference Chains (AIC)
con "Almost Naked Pair" e "Almost Hidden Pair" (seconda parte)

 


 

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.