AIC
Známe aj ako Alternating Inference Chain (striedavá reťaz inferencií).
AIC (*Alternating Inference Chain*, striedavá reťaz inferencií) je flexibilná reťaz silných a slabých inferencií. Môže preskakovať medzi číslicami aj typmi vzorov — X-Chain a XY-Chain sú špeciálne AIC a mnohé pomenované vzory sú „len krátke AIC“.
Predtým: X-Chain, XY-Chain a mnohé zakončenia krídel a rýb sú špeciálne AIC.
Prečo to funguje
Silná inferencia: ak A neplatí, platí B. Slabá inferencia: ak A platí, B neplatí.
Ich striedanie od konca ku koncu znamená, že oba silné koncové body nemôžu byť zároveň nepravdivé. Všetko, čo vidí oba koncové body, sa vylúči — rovnaká myšlienka „zasiahnuté tak či onak“, len s viacerými druhmi väzieb.
Ako to nájsť
Uprednostni reťaze, ktoré sú silné na oboch koncoch. Mysli: ak tento koniec neplatí → druhý koniec platí.
Ukážka
Sleduj striedajúce sa silné a slabé inferencie naprieč mriežkou. Najlepšie so silnou väzbou na oboch koncoch.
Zelené políčka vyznačujú AIC týkajúci sa 2.
Reťaz dokazuje, že oba konce nemôžu byť zároveň nepravdivé — ak jeden koniec neplatí, druhý platiť musí.
Vylúč kandidátov, ktorí vidia oba konce (červené) (tu 2).
Príklad 1
Vystopuj striedavú reťaz inferencií.
Tento AIC prináša eliminácie na 2.
Odstráň označených kandidátov (červené) (tu 2). Oba konce nemôžu byť nepravdivé, takže spoloční susedia dostanú žihadlo.
Príklad 2
Vystopuj striedavú reťaz inferencií.
Tento AIC prináša eliminácie na 7.
Odstráň označených kandidátov (červené) (tu 7). Oba konce nemôžu byť nepravdivé, takže spoloční susedia dostanú žihadlo.