Техника ALS-XZ в судоку

ALS-XZ объединяет два почти замкнутых множества, ограниченный общий кандидат X и общий кандидат Z для исключений.

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

ALS содержит N клеток и N+1 кандидатов. X является RCC, если его появления в двух множествах не могут быть истинны одновременно.

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

ALS A: R1C6,R1C7 с {6,7,9}; ALS B: R3C2,R3C8,R3C9 с {6,7,8,9}. X=6 ограничен, Z=7 общий, поэтому 7 удаляется из R3C5 и R3C6.

Как находить

Ищите небольшие ALS, подтвердите N+1 кандидатов, проверьте все позиции X и полную видимость всех Z из целевой клетки.

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

X не может быть истинным в обоих ALS, поэтому хотя бы одному множеству нужен Z. Внешняя клетка, видящая все позиции Z, не может содержать Z.

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

Общий кандидат не всегда является RCC. Недостаточно видеть только по одной позиции Z в каждом множестве.

Итог

Проверьте размер ALS, RCC, общий Z и полную видимость.

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

Что означает ALS-XZ?

Техника двух ALS с ограниченным кандидатом X и общим кандидатом Z.

Могут ли ALS пересекаться?

Продвинутая теория допускает контролируемое пересечение; для обучения лучше брать раздельные множества.

Откуда удаляется Z?

Только из внешней клетки, видящей все возможные Z обоих ALS.