Крила

Крила

Просунутий

Основний принцип, що лежить в основі кожної техніки крил

Усі крилові техніки мають одну спільну основоположну ідею: якщо цифра-кандидат має з'явитися принаймні в одній із кількох клітинок, і кожен екземпляр цієї цифри видно з певної цільової клітинка, то цільова клітинка не може містити цю цифру.

Опорна клітинка зазвичай є двозначною клітинка, що діє як розгалуження в логіці. Крила — це клітинки, змушені прийняти певну цифру за однієї гілки рішення опорної клітинки. Цифра вилучення (Z) має потрапити принаймні в одне крило незалежно від того, яку гілку обере опорна клітинка.

Обмежений спільний кандидат (RCC) формалізує зв'язок між опорною клітинкою та крилами. RCC — це цифра, спільна для опорної клітинки та групи крил, де всі екземпляри видимі з опорної клітинки, що забезпечує взаємне виключення.

XY-крило: Класичне крило з трьох клітинка

XY-крило використовує три двозначні клітинки. Опорна {A, B}, Крило 1 {A, C}, Крило 2 {B, C}. Крила бачать опорну клітинку, але не обов'язково бачать одне одного.

Якщо Опорна = A, Крило 1 має бути C. Якщо Опорна = B, Крило 2 має бути C. У будь-якому разі C з'являється принаймні в одному крилі. Вилучіть C із клітинок, що бачать обидва крила.

Рівень складності 6 (складно). Сила полягає в тому, що два крила не мусять ділити один дім, що уможливлює вилучення по всій сітці.

W-крило: Зв'язок сильного зв'язку

Дві ідентичні двозначні клітинки {X, Y}, з'єднані через спряжену пару за цифрою X. Вони не повинні ділити один дім. Принаймні одна має бути Y. Вилучіть Y із клітинок, що бачать обидві.

Рівень складності 6 (складно). Легше помітити, ніж XY-крило, бо ви шукаєте повторювані двозначні клітинки.

XYZ-Вінг: Три кандидати в опорній клітинці

Опорна {X, Y, Z}, Крило 1 {X, Z}, Крило 2 {Y, Z}. Усі три клітинки містять Z.

У кожному клітинка принаймні одна з трьох клітинок має бути Z. Вилучіть Z із клітинок, що бачать усі три клітинки. Це більш обмежено, ніж XY-крило, бо цільова клітинка також має бачити опорну.

Рівень складності 7 (дуже складно).

Розширена родина крил: від WXYZ-Wing до STUVWXYZ-Wing

Та сама логіка працює, коли бік крила розширюється до майже замкненої множини (ALS). Опорна клітинка залишається двозначною клітинка; крило є ALS.

XY-крило: 3 клітинки, рівень 6

WXYZ-Wing: 4 клітинки, рівень 8

крило VWXYZ: 5 клітинок, рівень 10

крило UVWXYZ: 6 клітинок, рівень 10

TUVWXYZ-Wing: 7 клітинок, рівень 11

STUVWXYZ-Wing: 8 клітинок, рівень 11

Назви додають літери у зворотному алфавітному порядку. Кожна літера позначає одну додаткову клітинка у крилі ALS.

Як знаходити крилові шаблони

Крок 1: Визначте двозначні клітинки як потенційні опорні.

Крок 2: Перевірте на шаблони XY-крило (два двозначні крила, кожне ділить один кандидат з опорною клітинкою).

Крок 3: Перевірте на шаблони W-крило (ідентичні двозначні клітинки, з'єднані через спряжену пару).

Крок 4: Перевірте на шаблони XYZ-Вінг (опорна клітинка з трьома кандидатами та два двозначні крила).

Крок 5: Перевірте на розширені крила (двозначна опорна клітинка з крилами ALS).

Поради: Почніть із двозначних клітинок. Шукайте повторювані цифри. Ретельно перевірте обмеження RCC.

Прогресія складності

XY-крило: Рівень 6, Складно

W-крило: Рівень 6, Складно

XYZ-Вінг: Рівень 7, Дуже складно

WXYZ-Wing: Рівень 8, Експерт

крило VWXYZ: Рівень 10, Майстер

крило UVWXYZ: Рівень 10, Майстер

TUVWXYZ-Wing: Рівень 11, Екстрим

STUVWXYZ-Wing: Рівень 11, Екстрим

Крила та майже замкнені множини: Алгебричний зв'язок

Розширена родина крил математично еквівалентна ALS-XZ, де один ALS є єдиною бізначною клітинка. Рушій, що реалізує ALS-XZ, автоматично знаходить усі розширені візерунки крил.

XY-крило — це вироджене клітинка, де обидва ALS є бізначними клітинками. XYZ-Вінг має стрижень із трьома кандидатами і краще розуміється як окремий візерунок.

Підсумок

Родина крил надає інструменти вилучення, що масштабуються від XY-крило до STUVWXYZ-Wing. Кожен член спирається на ту саму основну логіку: стрижень створює двоспрямоване розгалуження, і незалежно від того, яку гілку він обере, певний кандидат має опинитися принаймні в одному крилі клітинка. Клітинки, що бачать усі можливі розташування цієї цифри, можуть її вилучити.

Почніть із XY-крило, засвойте його логіку, і більші крила підуть природно.