AIC
Kallas även Alternating Inference Chain (växlande slutledningskedja).
En AIC (*Alternating Inference Chain*, växlande slutledningskedja) är en flexibel kedja av starka och svaga slutledningar. Den kan hoppa mellan siffror och mönstertyper – X-kedja och XY-kedja är speciella AIC:er, och många namngivna mönster är ”bara korta AIC:er”.
Innan detta: X-kedja, XY-kedja och många vingar och fiskar slutar som speciella AIC:er.
Varför det fungerar
Stark slutledning: om A är falsk är B sann. Svag slutledning: om A är sann är B falsk.
När du varvar dem från ände till ände kan de två starka ändpunkterna inte båda vara falska. Allt som ser båda ändpunkterna elimineras – samma idé om att ”träffas hur det än blir”, med fler sorters länkar tillåtna.
Så hittar du det
Välj helst kedjor som är starka i båda ändar. Tänk: om den här änden är falsk → är den andra änden sann.
Demonstration
Följ växlande starka och svaga slutledningar över rutnätet. Sikta helst på starka länkar i båda ändar.
De gröna cellerna visar en AIC som gäller 2.
Kedjan bevisar att de två ändarna inte båda kan vara falska – om den ena änden är falsk måste den andra vara sann.
Eliminera kandidater som ser båda ändarna (rött) (här 2).
Exempel 1
Följ en växlande slutledningskedja.
Den här AIC:n ger elimineringar på 2.
Ta bort de markerade kandidaterna (rött) (här 2). Båda ändarna kan inte vara falska, så gemensamma grannar träffas.
Exempel 2
Följ en växlande slutledningskedja.
Den här AIC:n ger elimineringar på 7.
Ta bort de markerade kandidaterna (rött) (här 7). Båda ändarna kan inte vara falska, så gemensamma grannar träffas.