AIC
Також відома як Alternating Inference Chain (ланцюг чергованих висновків).
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). Обидва кінці не можуть бути хибними, тож спільних сусідів жалить.