Техники судоку · Экстрим
ALS-XY-Wing в судоку
ALS-XY-Wing это паттерн-крыло, переписанный на языке почти замкнутых множеств. Два крыльевых множества соединяются с шарнирным множеством через два разных ограниченных общих кандидата. Вместе они вынуждают третьего общего кандидата войти в одно из крыльев, поэтому этого кандидата можно убрать из любой внешней ячейки, видящей все его дома в обоих крыльях.
Почему это работает
Два почти замкнутых множества-крыла, соединённые через шарнир двумя разными ограниченными общими кандидатами, заставляют третьего общего кандидата встать в одно из крыльев, поэтому этого кандидата можно убрать из любой внешней ячейки, которая видит каждую ячейку с этим кандидатом в обоих крыльях.
Как её найти
Читайте это как Y-Wing, в котором каждая из трёх ячеек заменена множеством.
- Шарнир плюс два крыла, соединённые двумя разными ограниченными общими кандидатами.
- Исключаемый кандидат должен быть общим для обоих крыльев, а не для связи шарнира.
- На этом уровне поиск ведёт приложение; урок в том, чтобы узнавать форму, когда подсказка её рисует.
Основана на
Разобранный пример
Это собственные обучающие поля приложения. Проходите их так же, как это делает подсказка.
- 1
Посмотрите на два множества-крыла . Каждое лежит в одной строке, столбце или блоке и содержит ровно на одного кандидата больше, чем в нём ячеек. Такое множество называется Почти Замкнутым Множеством (ALS): уберите одного из его кандидатов, и оно замкнётся, разместив внутри себя каждого оставшегося кандидата.
- 2
Шарнирное множество тоже является ALS и связывает два крыла. У него и первого крыла есть ограниченный общий кандидат (RCC) 1: каждая ячейка с 1 в одном множестве видит каждую ячейку с 1 в другом, поэтому цифру 1 можно поставить не более чем в одном из этих множеств. У шарнирного множества и второго крыла таким же образом есть ограниченный общий кандидат 7.
- 3
Может ли ячейка, которая видит все ячейки с кандидатом 9 в обоих крыльях, всё же содержать 9? Нет: она убрала бы 9 из обоих крыльев и замкнула бы их. Тогда первое крыло использовало бы 1, а второе использовало бы 7, и через ограниченные связи шарнир потерял бы и 1, и 7, оставшись с меньшим числом кандидатов, чем ячеек. Поэтому цифра 9 должна стоять в одном из двух крыльев, а любая внешняя ячейка, которая видит все ячейки с кандидатом 9 в обоих крыльях, теряет 9. Здесь X = 1, Y = 7, а Z = 9.