AIC (*Alternating Inference Chain*, верига с редуващи се изводи) е гъвкава верига от силни и слаби изводи. Може да прескача между цифри и типове фигури — X-Chain и XY-Chain са специални AIC, а много именувани фигури са „просто кратки AIC“.
Преди това: X-Chain, XY-Chain и много завършеци на крила и риби са специални AIC.
Защо работи
Силен извод: ако A е невярно, B е вярно. Слаб извод: ако A е вярно, B е невярно.
Редуването им от край до край означава, че двата силни крайни пункта не могат и двата да са неверни. Всичко, което вижда и двата края, се изключва — същата идея „жилен и в двата случая“, с повече видове позволени връзки.
Как да я забележиш
Предпочитай вериги, които са силни в двата края. Мисли така: ако този край е неверен → другият край е верен.
Демонстрация
Проследи редуващи се силни и слаби изводи през мрежата. Предпочитай силни връзки в двата края.
Зелените клетки очертават AIC, засягаща 2.
Веригата доказва, че двата края не могат и двата да са неверни — ако единият край е неверен, другият трябва да е верен.
Премахни кандидатите, които виждат и двата края (червено) (тук 2).
Пример 1
Проследи верига с редуващи се изводи.
Тази AIC дава изключвания за 2.
Премахни отбелязаните кандидати (червено) (тук 2). Двата края не могат и двата да са неверни, затова общите съседи биват жилени.
Пример 2
Проследи верига с редуващи се изводи.
Тази AIC дава изключвания за 7.
Премахни отбелязаните кандидати (червено) (тук 7). Двата края не могат и двата да са неверни, затова общите съседи биват жилени.