Крылья
Крылья
Основной принцип, лежащий в основе каждой техники крыла
Все техники «крыльев» основаны на одной фундаментальной идее: если цифра-кандидат должна появиться хотя бы в одной из нескольких клеток, и каждый экземпляр этой цифры виден из определённой целевой ячейка, то целевая ячейка не может содержать эту цифру.
Пивот обычно представляет собой ячейка с двумя значениями, который служит развилкой в логике. Крылья — это клетки, вынужденные принять определённую цифру при одной из ветвей решения пивота. Цифра исключения (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-крыло, усвойте его логику, и более крупные крылья последуют естественно.