Sudoku 9x9 Excel - AIC - Alternating Inference Chains Example

AIC con 2 strong links tipo "Skyscraper": almeno un candidato fra i due vertici ( 9 in A1 e 9 in B5 ) è vero
Possiamo eliminare:
il 9 in B2 perché in riquadro con il 9 in A1 e in colonna con il 9 in B5;
il 9 in A6 perché in riquadro con il 9 in B5 e in colonna con il 9 in A1.
Nella soluzione finale di questo schema sono veri tutti e due i vertici della catena ( 9 in A1 e 9 in B5 ).

 

Schema Sudoku con Alternating Inference Chain tipo Skyscraper: 2 Strong Links con 2 eliminazioni da 2 candidati uguali opposti in 2 colonne dello stesso blocco di 3 riquadri

 

ANALISI PER IPOTESI

 

Se A1-9 è vero possiamo eliminare

  • B2-9 perché nello stesso riquadro 1
  • A6-9 perché nella stessa colonna A

 

Se A1-9 è falso

  • F1-9 è sicuramente vero perché unico 9 rimasto nella stessa riga 1
  • se F1-9 è vero F5-9 è sicuramente falso perché nella stessa colonna F
  • se F5-9 è falso B5-9 è sicuramente vero perché unico 9 rimasto nella stessa riga 5
  • se B5-9 è vero → possiamo eliminare
    • B2-9 perché nella stessa colonna B
    • A6-9 perché nello stesso riquadro 4

 

Posto A1-9 vero o falso possiamo comunque eliminare B2-9 ~ A6-9