W-Wing — техніка судоку

Що це таке

W-Wing з'єднує дві bivalue-клітинки через третю одиницю. Обидві кінцеві клітинки мають однакову пару кандидатів {X, Y}. Десь між ними, всередині третьої одиниці (рядка, стовпця чи коробки), цифра Y має strong link — рівно ДВІ кандидатні клітинки. Один кінець strong link бачить кінцеву A, інший — кінцеву B. Логіка: якщо кінцева A дорівнює Y, то той кінець strong link, що дотикає A, змушений НЕ бути Y, тож інший кінець strong link Є Y, тобто кінцева B бачить Y і мусить бути X. За симетрією, якщо кінцева B — Y, то кінцева A мусить бути X. У будь-якому разі принаймні один з кінців — X. Тож X можна виключити з кожної клітинки, що бачить ОБИДВА кінці.

Коли використовувати

На expert- і master-задачах, коли XY-Wing і XYZ-Wing не дають ходу. Шукай пари bivalue-клітинок з однаковим набором кандидатів і strong link на одному з цих кандидатів десь між ними.

Приклад з поясненням

Кінцева A R2C3 = {4, 7}, кінцева B R7C8 = {4, 7}. У стовпці 6 цифра 7 має лише дві кандидатні клітинки: R2C6 (бачить кінцеву A через рядок 2) і R7C6 (бачить кінцеву B через рядок 7). Це strong link на 7. За ланцюгом вище одна з кінцевих має зрештою стати 4. Тож 4 можна виключити з будь-якої клітинки, що бачить ОБИДВА R2C3 і R7C8.