AIC
Známé také jako Alternating Inference Chain (řetězec střídavých inferencí).
AIC (*Alternating Inference Chain*, řetězec střídavých inferencí) je pružný řetězec silných a slabých inferencí. Může přeskakovat mezi číslicemi i typy vzorů — X-Chain a XY-Chain jsou zvláštní případy AIC a mnoho pojmenovaných vzorů jsou „jen krátké AIC“.
Předtím: X-Chain, XY-Chain a mnoho zakončení křídel a ryb jsou zvláštní případy AIC.
Proč to funguje
Silná inference: pokud A neplatí, platí B. Slabá inference: pokud A platí, B neplatí.
Jejich střídání od konce ke konci znamená, že oba silné koncové body nemohou být zároveň nepravdivé. Cokoli, co vidí oba koncové body, se vyškrtne — stejná myšlenka „zasažen tak či tak“, jen s více druhy povolených vazeb.
Jak to najít
Dávej přednost řetězcům, které jsou silné na obou koncích. Mysli: pokud tento konec neplatí → druhý konec platí.
Ukázka
Sleduj střídající se silné a slabé inference napříč mřížkou. Dávej přednost silným vazbám na obou koncích.
Zelená políčka ohraničují AIC týkající se 2.
Řetězec dokazuje, že oba konce nemohou být nepravdivé — pokud jeden konec neplatí, druhý platit musí.
Vyškrtni kandidáty, kteří vidí oba konce (červeně) (tady 2).
Příklad 1
Vystopuj řetězec střídavých inferencí.
Tento AIC přináší eliminace na 2.
Odstraň označené kandidáty (červeně) (tady 2). Oba konce nemohou být nepravdivé, takže společní sousedé dostanou žihadlem.
Příklad 2
Vystopuj řetězec střídavých inferencí.
Tento AIC přináší eliminace na 7.
Odstraň označené kandidáty (červeně) (tady 7). Oba konce nemohou být nepravdivé, takže společní sousedé dostanou žihadlem.