Японские кроссворды: правила и методы разгадывания¶
Японский кроссворд (яп. 数独, буквально «цифры должны быть одни»; также известен как содоку и Нонограмма/пикросс в смежных жанрах) — это логическая головоломка, зародившаяся в Японии и получившая мировую популярность в начале 2000-х годов. Классический содоку представляет собой сетку 9×9, разделённую на девять блоков 3×3. Цель — заполнить все пустые клетки цифрами от 1 до 9 так, чтобы каждая цифра встречалась ровно один раз в каждой строке, каждом столбце и каждом блоке 3×3. В отличие от западных кроссвордов, японские головоломки не требуют знания слов и решаются исключительно силой логики.
¶История
Идея содоку восходит к математической задаче о латинском квадрате, которую изучал швейцарский математик Леонард Эйлер в XVIII веке. Латинский квадрат — это таблица n×n, заполненная символами так, чтобы каждый символ встречался ровно один раз в каждой строке и каждом столбце. Содоку является частным случаем латинского квадрата с дополнительным ограничением на блоки 3×3.
Первые подобные головоломки были опубликованы в американском журнале Dell Magazines в 1979 году под названием «Number Place». В 1984 году японский издатель Nikoli обнаружил головоломку и дал ей название «Содоку» (от сокращения «сюдзиваку канва докурицу» — «цифры должны быть одни»). Именно Nikoli отредактировал правила, установив симметричное расположение подсказок и ограничив минимальное количество начальных цифр до 17. В 2004 году британский консультант Уэйн Гулд разработал компьютерную программу для генерации содоку и предложил её The Times; после публикации в газете головоломка стала мировым хитом.
¶Основные правила
Правила содоку просты и не требуют специальных знаний:
- Сетка 9×9 состоит из 81 клетки, из которых 20–35 обычно заполнены начальными цифрами («подсказками» или «даньями»).
- Каждая строка, каждый столбец и каждый из девяти блоков 3×3 должны содержать все цифры от 1 до 9 без повторений.
- Подсказки не изменяются в процессе решения.
- Корректно составленная головоломка имеет ровно одно решение.
¶Методы разгадывания
¶Кандидаты и кроссхэтчинг
Базовый метод — «кроссхэтчинг» (перекрёстное исключение). Для каждой пустой клетки записываются возможные цифры («кандидаты»), исключая те, которые уже присутствуют в соответствующей строке, столбце или блоке. Если в клетке остаётся единственный кандидат, цифра может быть размещена достоверно. Метод применяется итеративно: каждая новая цифра уменьшает набор кандидатов в соседних клетках.
¶Скрытые одиночки (Hidden Singles)
Если в каком-либо блоке, строке или столбце某一 конкретная цифра может быть размещена только в одной клетке (хотя в этой клетке есть и другие кандидаты), она размещается там. Этот метод часто позволяет продвинуться дальше, чем простой кроссхэтчинг.
¶Пары, тройки и множества
Когда две клетки в пределах одного блока, строки или столбца содержат только одни и те же два кандидата, эти кандидаты исключаются из остальных клеток соответствующей области. Аналогичные приёмы работают для троек (н-сетов) и более сложных конструкций — «скрытых пар», «взаимных пар», «триплетов».
¶X-Wing и Swordfish
Эти методы основаны на поиске прямоугольных (X-Wing) или линейных (Swordfish) паттернов кандидатов. Если одна и та же цифра в двух строках может стоять только в двух одних и тех же столбцах, она исключается из остальных клеток этих столбцов. Swordfish — обобщение X-Wing на три строки и три столбца.
¶Техники для экспертных уровней
Для головоломок уровня «эксперт» и «мастер» используются методы XY-Wing, Unique Rectangle, Forcing Chains, а также метод «проб и ошибок» (бэктрекинг), хотя последний считается менее элегантным.
¶Стратегия для начинающих
- Начинать следует с поиска «скрытых одиночек» и заполнения строк, столбцов и блоков, где осталось мало пустых клеток.
- Полезно вести аккуратную разметку кандидатов — многие головоломщики используют цифры-подсказки по углам клеток.
- Не стоит зацикливаться на одной области: если прогресс остановился, стоит переключиться на другой блок или строку.
- Проверка гипотез (если цифра A стоит в клетке X, приводит ли это к противоречию?) — допустимый приём, но требует дисциплины.
¶Виды японских логических головоломок
Помимо содоку, к японским головоломкам относятся:
- Нонограммы (пикросс) — сетка, в которой по краям строк и столбцов даны числа, указывающие длины подряд идущих закрашенных клеток.
- Какуро — числовая головоломка, напоминающая кроссворд, где суммы цифр задаются по строкам и столбцам.
- Хироси — головоломка на соединение точек.
- Слэш-эйч — задача на раскраску клеток по заданным правилам соседства.
¶Популярность и соревнования
В России и мире проводятся чемпионаты по содоку: Всемирный чемпионат по головоломкам (World Puzzle Federation) организует соревнования по содоку, нонограммам и какуро. В России действует Ассоциация головоломок, проводящая национальные чемпионаты. Содоку регулярно публикуются в печатных изданиях и мобильных приложениях.
¶Источники
- Nikoli. The Official Book of Sudoku. — Tokyo: Nikoli Publishing, 2006.
- Гулд У. How to Solve Sudoku. — London: Robinson, 2005.
- Фридман Д. Sudoku for Dummies. — Hungry Minds, 2005.
- Материалы Всемирной федерации головоломок (World Puzzle Federation).