Экспертные техники судоку

Экспертные головоломки имеют лишь 20–24 заполненных клетки — менее четверти поля. Явные и скрытые одиночные кандидаты в начале почти никогда не доступны. Нужно искать глобальные паттерны, охватывающие одновременно несколько строк, столбцов и квадратов: структуры вроде X-Wing, Swordfish и XY-Wing, исключающие кандидатов, не указывая напрямую, куда встаёт цифра.

Решение экспертного уровня — это методичная работа детектива. Вы строите полную карту кандидатов, затем ищете структурные паттерны, вынуждающие к исключениям. Каждое исключение запускает следующее, пока головоломка не откроется. Терпение и точные заметки — не обсуждаются: пропущенный или неверный кандидат может сделать допустимый паттерн невидимым.

X-Wing возникает, когда кандидат-цифра встречается ровно в двух клетках в каждой из двух разных строк — и эти клетки разделяют одни и те же два столбца. Образуется прямоугольник из четырёх клеток, где цифра должна занять два угла по диагонали.

Почему X-Wing позволяет делать исключения:

• В строке A цифра встаёт либо в столбец X, либо в столбец Y.
• В строке B цифра должна встать в оставшийся столбец — Y или X.
• В любом случае столбец X и столбец Y каждый получают ровно один экземпляр этой цифры из этих двух строк.
• Следовательно, цифра не может стоять нигде ещё в столбце X или столбце Y — исключите её из всех остальных клеток этих двух столбцов.

Scanning candidate 7 across all rows:

  Row 1: cols 2, 6, 8  (three cells — not eligible)
  Row 2: cols 3, 7     ← exactly two cells
  Row 3: cols 1, 4, 9  (three cells — not eligible)
  Row 4: cols 3, 7     ← exactly two cells, same columns as row 2!
  ...

X-Wing on digit 7: rows 2 & 4, columns 3 & 7.

  Either: (2,3)=7 and (4,7)=7  — diagonal A
  Or:     (2,7)=7 and (4,3)=7  — diagonal B

In both cases, column 3 gets a 7 (from row 2 or row 4)
           and column 7 gets a 7 (from row 4 or row 2).

→ Eliminate 7 from every other cell in column 3 (rows 1,3,5,6,7,8,9).
→ Eliminate 7 from every other cell in column 7 (rows 1,3,5,6,7,8,9).

Swordfish расширяет X-Wing на три строки (или три столбца). Если кандидат-цифра встречается не более чем в двух-трёх клетках в каждой из ровно трёх строк, и эти клетки в совокупности охватывают не более трёх столбцов, цифра заблокирована в этих трёх столбцах в этих трёх строках — исключите её из всех остальных клеток этих трёх столбцов.

Swordfish on digit 3 — scanning rows:

  Row 1: cols 2, 5     (candidates for 3)
  Row 4: cols 2, 5, 8  (candidates for 3)
  Row 7: cols 5, 8     (candidates for 3)

Three rows, candidates spanning exactly three columns: 2, 5, 8.

  Digit 3 must go in one of {(1,2),(1,5)}, {(4,2),(4,5),(4,8)}, {(7,5),(7,8)}.
  Collectively these cells cover only cols 2, 5, and 8.

→ Eliminate 3 from every other cell in columns 2, 5, and 8
  (any row that is not row 1, 4, or 7).

Ключевые условия:

• Ровно три строки (или столбца) участвуют.
• Кандидаты в этих строках охватывают не более трёх столбцов (не два, не четыре).
• Каждая участвующая строка должна содержать цифру в двух или трёх клетках — не только в одной.

Swordfish встречается реже X-Wing, но мощен там, где применим. Полученные после него исключения нередко каскадом приводят к одиночным кандидатам, открывающим большую часть оставшейся головоломки.

XY-Wing использует три клетки — опору и два зажима — чтобы исключить кандидата из клеток, видящих оба зажима одновременно.

• Опора: содержит ровно двух кандидатов {X, Y}.
• Зажим A: разделяет группу с опорой; содержит ровно {X, Z}.
• Зажим B: разделяет другую группу с опорой; содержит ровно {Y, Z}.

Логика принуждения:

• Если опора = X → зажим A не может быть X → зажим A = Z.
• Если опора = Y → зажим B не может быть Y → зажим B = Z.

В обоих случаях один из зажимов содержит Z. Любая клетка, видящая оба зажима — A и B — не может быть Z; исключите Z из неё.

XY-Wing — three cells:

  Pivot  (2,4) = {3, 7}
  Pincer A  (2,8) = {3, 5}   ← shares row 2 with pivot; common value = 3
  Pincer B  (6,4) = {5, 7}   ← shares col 4 with pivot; common value = 7

Logic:
  If pivot = 3 → pincer A cannot be 3 → pincer A = 5.
  If pivot = 7 → pincer B cannot be 7 → pincer B = 5.
  Either way, one of the two pincers is 5.

Any cell that can see BOTH pincer A and pincer B cannot be 5.
Cell (6,8) is in row 6 (sees pincer B) and col 8 (sees pincer A).
→ Eliminate 5 from (6,8).

Как замечать XY-Wing: просматривайте все клетки с двумя кандидатами как потенциальные опоры. Для каждой опоры ищите клетки с двумя кандидатами в её строке, столбце и квадрате, которые разделяют одно значение с опорой и имеют второе значение, общее друг с другом («значение крыла» Z).

Корректные головоломки судоку имеют ровно одно решение. Техника уникального прямоугольника использует эту гарантию для исключения кандидатов: определённые паттерны, оставшись неразрешёнными, давали бы два допустимых решения — что невозможно для правильно составленной головоломки. Следовательно, эти паттерны должны разрешаться определённым образом.

Простейшая форма (тип 1):

1. Найдите четыре клетки, образующие прямоугольник, охватывающий ровно две строки и два столбца, причём все четыре клетки лежат не более чем в двух квадратах 3×3.
2. Три из четырёх клеток содержат ровно одних и тех же двух кандидатов {A, B}.
3. Четвёртая клетка содержит {A, B} плюс хотя бы одного дополнительного кандидата.
4. Если бы четвёртая клетка содержала только {A, B}, прямоугольник допускал бы два решения (A и B могли бы поменяться по диагонали). Чтобы предотвратить это, четвёртая клетка должна принять своего дополнительного кандидата — исключите A и B из неё.

Уникальные прямоугольники быстро замечаются, как только знаешь форму: прямоугольник в двух строках и двух столбцах, где три угла — одинаковые клетки с двумя кандидатами. Проверьте четвёртый угол на дополнительных кандидатов.

Простая раскраска работает с цифрами, образующими сопряжённые пары — пары клеток в одной группе, где осталось только две позиции для кандидата. Одна должна быть истинной, другая — ложной.

Приём:

1. Найдите все сопряжённые пары для цифры (группы ровно с двумя клетками-кандидатами). Они образуют цепочку.
2. Присваивайте попеременные цвета вдоль цепочки: синий–оранжевый–синий–оранжевый.
3. Ищите два вывода:

• Конфликт цветов: две клетки одного цвета разделяют группу. Они не могут обе быть данной цифрой — весь этот цвет ложен. Поставьте цифру во все клетки противоположного цвета.
• Внешнее исключение: незакрашенная клетка видит одну синюю и одну оранжевую клетку. Независимо от того, какой цвет истинен, эта незакрашенная клетка исключается — цифра туда не идёт.

Раскраска особенно эффективна после того, как X-Wing и Swordfish свели поле преимущественно к сопряжённым парам.

Экспертные головоломки редко поддаются одному приёму. Типичная последовательность решения:

1. Сначала поставьте все явные и скрытые одиночные кандидаты.
2. Примените заблокированные кандидаты и ограничение блок-линия.
3. Ищите открытые и скрытые пары и тройки.
4. Ищите X-Wing (по строкам, затем по столбцам) для каждой цифры.
5. Ищите XY-Wing, используя все клетки с двумя кандидатами как потенциальные опоры.
6. Проверяйте уникальные прямоугольники среди групп клеток с двумя кандидатами.
7. Применяйте простую раскраску к цифрам с множеством сопряжённых пар.
8. Ищите Swordfish, когда попытки X-Wing не дают результата.
9. После любого исключения начинайте заново с шага 1.

Мастерство приходит с узнаванием визуального отпечатка каждого паттерна: симметричный прямоугольник X-Wing, треугольная форма XY-Wing, соединяющая опору и зажимы, охват двух квадратов в уникальном прямоугольнике. Распознавание паттернов нарабатывается при многократном столкновении с ними — через несколько недель ежедневной практики вы начнёте замечать X-Wing автоматически.

Начинайте с одной экспертной головоломки в день и ожидайте поначалу тратить 30–60 минут. Держите заметки полными и точными; пропущенный кандидат — самая частая причина, по которой допустимый приём остаётся невидимым. Используйте таймер как ориентир, а не источник давления — цель — правильное завершение, а не скорость.