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). Оба конца не могут быть ложными, поэтому общие соседи попадают под удар.