Чередующаяся цепочка выводов (AIC) в судоку

AIC связывает утверждения о кандидатах чередованием сильных и слабых связей. Отношение концов даёт логическое исключение без угадывания.

Определение и условия

Сильная связь означает, что оба кандидата не могут быть ложными; слабая — что они не могут быть истинными одновременно.

Пример на полном поле

Цепь 5-R1C2-3-R1C4=3=R3C4=9=R7C4=2=R7C2-2-R8C3-5 доказывает: 5 стоит в R1C2 или R8C3. R1C3 видит оба конца, поэтому 5 удаляется.

Как находить

Начните с полезной сильной связи, чередуйте слабые и сильные переходы и проверяйте каждый узел и видимость концов.

Почему это работает

В открытой AIC типа 1 как минимум один конец с одинаковой цифрой истинен. Внешняя клетка, видящая оба конца, не может содержать эту цифру.

Связь с другими техниками

AIC и Nice Loop используют близкую логику. Нельзя без основания ставить две слабые связи подряд или считать любую видимость сильной связью.

Итог

Проверяйте каждую связь и используйте доказанное отношение концов, а не форму рисунка.

Частые вопросы

Что такое AIC?

Последовательность выводов с чередованием сильных и слабых связей.

Это угадывание?

Нет, каждый шаг следует из ограничений кандидатов.

Что исключает AIC типа 1?

Цифру концов из клеток, которые видят оба конца.