AIC
Også kjent som Alternating Inference Chain (vekslende slutningskjede).
En AIC (*Alternating Inference Chain*, vekslende slutningskjede) er en fleksibel kjede av sterke og svake slutninger. Den kan hoppe på tvers av sifre og mønstertyper — X-kjede og XY-kjede er spesielle AIC-er, og mange navngitte mønstre er «bare korte AIC-er».
Før denne: X-kjede, XY-kjede og mange vinge- og fiskeavslutninger er spesielle AIC-er.
Hvorfor det virker
Sterk slutning: hvis A er usann, er B sann. Svak slutning: hvis A er sann, er B usann.
Når du veksler mellom dem fra ende til ende, kan de to sterke endepunktene ikke begge være usanne. Alt som ser begge endepunktene, elimineres — samme «stukket uansett»-idé, med flere typer koblinger tillatt.
Slik finner du den
Foretrekk kjeder som er sterke i begge ender. Tenk: hvis denne enden er usann → er den andre enden sann.
Demonstrasjon
Følg vekslende sterke og svake slutninger på tvers av rutenettet. Foretrekk sterk i begge ender.
De grønne cellene tegner en AIC som involverer 2.
Kjeden beviser at de to endene ikke begge kan være usanne — hvis den ene enden er usann, må den andre være sann.
Eliminer kandidater som ser begge endene (rødt) (her 2).
Eksempel 1
Spor en vekslende slutningskjede.
Denne AIC-en gir elimineringer på 2.
Fjern de markerte kandidatene (rødt) (her 2). Begge endene kan ikke være usanne, så felles naboer blir stukket.
Eksempel 2
Spor en vekslende slutningskjede.
Denne AIC-en gir elimineringer på 7.
Fjern de markerte kandidatene (rødt) (her 7). Begge endene kan ikke være usanne, så felles naboer blir stukket.