WXYZ-Крыло

Если вы уже прочитали это, WXYZ-Wing будет намного проще:
XY-Wing / XYZ-Wing

---

1. Обзор

WXYZ-Wing — это, по сути, «большая» версия XY-Wing/XYZ-Wing: мы используем небольшую структуру, чтобы вызвать явное противоречие, а затем исключить кандидата.

На доске это обычно выглядит как небольшой цветной кластер (синяя клетка-концентратор + желтые клетки-крылья):

• все кандидаты в этом кластере ограничены 4 цифрами (например, {1,4,7,9})
• если мы предполагаем, что красный кандидат d истинен, он удаляет d из других мест в кластере
• тогда в кластере осталось всего 3 цифры для заполнения 4 ячеек
  • ⇒ хотя бы одна ячейка будет иметь недопустимое значение (противоречие).

Таким образом, красный кандидат d может быть устранен.

---

2. Прохождение

На изображении: синий — это центральная ячейка, желтый — крылья, красный — исключения.
Мы удаляем кандидата 4 в двух красных ячейках (r4c2 и r4c3).

Почему красный 4 можно убрать? Достаточно короткого противоречия:

• предположим, что красный кандидат 4 верен
• тогда любые конфликтующие 4 в желтых крыльях должны быть удалены
• крылья вынуждены распределяться только между 1, 7, 9 (эти цифры уже выделены на изображении)
• но в синей ячейке-концентраторе также доступны только 1, 7
  как только крылья «израсходуют/блокируют» 1, 7, 9 относительно концентратора, ячейка концентратора останется с нет допустимого значения (противоречие)

Таким образом, предположение невозможно: красный кандидат 4 может быть исключен.

---

3. Примеры

Вот еще два примера WXYZ-Wing. Можно просто сравнить структуру: синяя ступица/желтые крылья/красные вырезы.

---

4. Как обнаружить WXYZ-Wing

В одном предложении: найдите сине-желтый кластер, ограниченный 4 цифрами, затем проверьте красного кандидата с помощью быстрого противоречия — если он заставляет кластер оставить некоторую ячейку без значения, ее можно исключить.

На практике:

1. Найдите небольшой цветной кластер (синий + желтый), где ячейки могут видеть друг друга локально.
2. Проверьте, все ли кандидаты в этом кластере ограничены 4 цифрами.
3. Посмотрите на красного кандидата: если предположить, что это правда, «выталкивает» цифру и делает некоторую цветную ячейку не имеющей значения, у вас есть исключение
4. Устранить это