Una AIC (*Alternating Inference Chain*, catena di inferenze alternate) è una catena flessibile di inferenze forti e deboli. Può saltare tra cifre e tipi di schema: X-Chain e XY-Chain sono AIC speciali, e molti schemi con un nome sono “solo AIC corte”.
Prima di questa: X-Chain, XY-Chain e molti finali di ali e pesci sono AIC speciali.
Perché funziona
Inferenza forte: se A è falso, B è vero. Inferenza debole: se A è vero, B è falso.
Alternandole da un capo all’altro, le due estremità forti non possono essere entrambe false. Tutto ciò che vede entrambe le estremità viene eliminato: stessa idea del “colpito in ogni caso”, con più tipi di legame ammessi.
Come individuarlo
Preferisci catene forti a entrambe le estremità. Pensa: se questa estremità è falsa → l’altra è vera.
Dimostrazione
Segui inferenze forti e deboli alternate attraverso la griglia. Meglio se forte a entrambe le estremità.
Le celle verdi delineano una AIC che coinvolge 2.
La catena dimostra che le due estremità non possono essere entrambe false: se una è falsa, l’altra deve essere vera.
Elimina i candidati che vedono entrambe le estremità (in rosso) (qui 2).
Esempio 1
Traccia una catena di inferenze alternate.
Questa AIC produce eliminazioni su 2.
Rimuovi i candidati evidenziati (in rosso) (qui 2). Le estremità non possono essere entrambe false, quindi le celle che le vedono entrambe vengono colpite.
Esempio 2
Traccia una catena di inferenze alternate.
Questa AIC produce eliminazioni su 7.
Rimuovi i candidati evidenziati (in rosso) (qui 7). Le estremità non possono essere entrambe false, quindi le celle che le vedono entrambe vengono colpite.