AIC
Cunoscută și ca Alternating Inference Chain (lanț de inferențe alternante).
Un AIC (*Alternating Inference Chain*, lanț de inferențe alternante) este un lanț flexibil de inferențe puternice și slabe. Poate sări între cifre și tipuri de tipare — X-Chain și XY-Chain sunt AIC-uri speciale, iar multe tipare cu nume sunt „doar AIC-uri scurte”.
Înainte de asta: X-Chain, XY-Chain și multe finaluri de aripi/pești sunt AIC-uri speciale.
De ce funcționează
Inferență puternică: dacă A este fals, B este adevărat. Inferență slabă: dacă A este adevărat, B este fals.
Alternarea lor de la un capăt la altul înseamnă că cele două capete puternice nu pot fi amândouă false. Orice vede ambele capete este eliminat — aceeași idee „lovit oricum”, cu mai multe tipuri de legături permise.
Cum o recunoști
Preferă lanțurile puternice la ambele capete. Gândește: dacă acest capăt este fals → celălalt capăt este adevărat.
Demonstrație
Urmează inferențe puternice și slabe alternante pe grilă. De preferință, puternice la ambele capete.
Celulele verzi conturează un AIC care implică 2.
Lanțul demonstrează că cele două capete nu pot fi amândouă false — dacă un capăt este fals, celălalt trebuie să fie adevărat.
Elimină candidații care văd ambele capete (roșu) (aici 2).
Exemplul 1
Urmărește un lanț de inferențe alternante.
Acest AIC duce la eliminări pe 2.
Elimină candidații marcați (roșu) (aici 2). Ambele capete nu pot fi false, deci vecinii comuni sunt loviți.
Exemplul 2
Urmărește un lanț de inferențe alternante.
Acest AIC duce la eliminări pe 7.
Elimină candidații marcați (roșu) (aici 7). Ambele capete nu pot fi false, deci vecinii comuni sunt loviți.