Star Battle · Пища для размышлений

Традиция Nikoli

Star Battle принадлежит японской традиции головоломок, которая ценит чистое рассуждение выше языка и в которой всю задачу определяют сетка, разделённая на области, и число звёзд на линию.

Написано и отредактировано на английском языке. Эта русская версия создана машинным переводом; там, где важна точность, авторитетным остаётся английский оригинал. Читать оригинал на английском →

Издательство чистой логики

В Токио одно издательство десятилетиями посвящает себя единственной задаче: созданию и распространению игр, которые решаются чистым рассуждением. Nikoli ведёт отсчёт с 1980 года, когда Maki Kaji и двое друзей его детства запустили ежеквартальный журнал головоломок и назвали его в честь скаковой лошади, выигравшей в том сезоне ирландские 2000 гиней; компания под тем же именем появилась три года спустя. ² Журнал Puzzle Communication Nikoli остаётся главным изданием дома, а известность во всём мире издательство получило с популярностью Sudoku, собрав каталог, счёт которому идёт на десятки различных видов головоломок. Философия издательства сосредоточена на независимости от культуры: чтобы решить головоломку, не должно требоваться знание определённого языка или культурной среды. Этот принцип отделяет такие жанры, как кроссворды, целиком зависящие от словарного запаса и культурных знаний, от числовых и логических предложений, которыми Nikoli известно. Остаётся семейство головоломок, с которыми может встретиться кто угодно и где угодно, не овладевая ни конкретным языком, ни региональной традицией. ¹

Независимый от культуры подход позволил головоломкам Nikoli с замечательным успехом выйти за пределы Японии. Самый известный пример — Sudoku, чья форма от Nikoli была популяризирована в англоязычном мире в 2005 году. Сама головоломка началась не в Японии: её современную форму, вероятнее всего, придумал Howard Garns, американский архитектор на покое, и впервые её напечатало издательство Dell Magazines в 1979 году под названием Number Place. Kaji представил её японским читателям в издании Nikoli в апреле 1984 года, а данное им длинное японское название позже сократилось до Sudoku. ⁴ Вынесла её вовне проектная философия Nikoli, ставящая логический вывод выше перебора наугад и языковых знаний. Этот международный охват показывает силу хорошо сделанных головоломок на ограничениях: когда правила ясны, а путь рассуждения чисто логичен, языковые барьеры теряют значение. Успех Sudoku показал, что замыслы головоломок, укоренённые в чистом удовлетворении ограничений, способны получить мировую известность, и вернул внимание к более широкому каталогу игр Nikoli. ¹

Star Battle вписывается в эту традицию как логическая головоломка о расстановке звёзд в духе Nikoli: её нет среди жанров, перечисленных в собственном каталоге Nikoli, но построена она по той же спецификации. Игра следует тем же проектным принципам, что определяют подход Nikoli уже более четырёх десятилетий: чистый набор правил, никакой зависимости от языка и путь к решению, опирающийся на логический вывод, а не на угадывание. Сетка N на N, разделённая на N связных областей, требование поставить ровно K звёзд в каждой строке, каждом столбце и каждой области и правило неприкосновения, запрещающее звёздам соприкасаться даже по диагонали, — всё это образует полную систему, понятную без какой-либо культурной или языковой подготовки. Тождество головоломки исходит из её собственной внутренней логики, а не из внешних знаний, какими игрок мог бы обладать. ³

Границы головоломки целиком определяются её собственными правилами.

Ежеквартальный журнал и экосистема головоломок

Puzzle Communication Nikoli, ежеквартальный журнал, выходящий в Токио, служит главным средством представления новых видов головоломок и поддержания связи издательства с сообществом решателей. Журнальный формат позволяет регулярно печатать свежий материал и одновременно даёт площадку для изобретения новых жанров. Журнал изобрёл несколько новых жанров головоломок и познакомил Японию с несколькими новыми играми, и каждая из них опирается на основание независимого от культуры замысла. Накопленный за годы каталог включает десятки видов головоломок, среди них Sudoku, Kakuro, Slitherlink, Nurikabe, Masyu и Hitori. Каждая из них представляет свой способ расположить ограничения на сетке, предлагая решателям разнообразные логические испытания и сохраняя ту же основную философию чистого рассуждения. ¹

Экосистема журнала поддерживает традицию проектирования головоломок, ценящую изящество и логическую чистоту. Когда вводится новый вид головоломки, он должен держаться на собственных правилах, не требуя внешних знаний или культурного контекста. Это ограничение на замысел породило богатое разнообразие игр, у каждой из которых своё узнаваемое ощущение, и при этом все они остаются частью связного семейства. Ежеквартальный график выпуска обеспечивает постоянный поток свежих головоломок для постоянных читателей, создавая длительную вовлечённость, выходящую за рамки разовых сборников или случайных выпусков. Эта регулярность помогла собрать преданное сообщество решателей, которые следят за содержанием журнала и участвуют в непрерывном развитии культуры головоломок. ¹

Star Battle стоит чуть в стороне от этого каталога, работая при этом по той же грамматике. Её основная механика — поставить ровно K звёзд в каждой строке, каждом столбце и каждой области так, чтобы никакие две звезды не соприкасались, — ещё одна вариация на тему удовлетворения ограничений, которую исследуют собственные жанры Nikoli. Правила головоломки просты настолько, что усваиваются за мгновения, и всё же логическая глубина, возникающая из соединения ограничений по строкам, по столбцам, по областям и правила неприкосновения соседей, создаёт богатый опыт. Это равновесие простоты и глубины — отличительный знак замысла Nikoli, и Star Battle построена по тому же образцу. ³

Простой набор правил способен породить огромную логическую глубину.

От сетки к области и к ограничению

Устройство головоломки о расстановке звёзд в духе Nikoli начинается с самой сетки. Поле игры задаёт сетка N на N, где N строк и N столбцов образуют квадратную решётку клеток. Затем сетка делится на N связных областей. Размеры их не равны: движок выращивает каждую область случайным блужданием с зерном, так что на поле шесть на шесть область из одной-единственной клетки может стоять рядом с областью из четырнадцати. Закреплена не площадь, а квота, поскольку в каждой области в итоге должно оказаться ровно K звёзд. Области обязаны быть связными, то есть все клетки области образуют одну связную группу, и именно эта намеренная неправильность заставляет решение быть единственным, ведь аккуратные, однородные области склонны допускать несколько расстановок звёзд. Сочетание геометрии сетки, деления на области и числа звёзд K создаёт систему, в которой всякое решение о постановке расходится волной сразу по нескольким ограничениям. ³

В этом устройстве игрок должен поставить ровно K звёзд в каждой строке, каждом столбце и каждой области. Значение K определяется сложностью головоломки. Игра предлагает три, и каждая задаёт оба числа сразу: лёгкий — 6 на 6 с одной звездой на линию, средний — 8 на 8 с одной звездой на линию, сложный — 10 на 10 с двумя звёздами на линию. Число звёзд K вместе с размером сетки N определяет плотность звёзд на поле и тесноту ограничений. Сетка 6 на 6 при K, равном единице, даёт разрежённое распределение, где звёзды занимают лишь шестую часть клеток, тогда как сетка 10 на 10 при K, равном двум, ставит двадцать звёзд на сто клеток — одну из пяти, — расположение более плотное и более стеснённое. ³

Правило неприкосновения добавляет ещё один слой ограничений, управляющий пространственными отношениями между звёздами. Никакие две звезды не могут соприкасаться, даже по диагонали. Это значит, что ни одна из клеток, окружающих звезду, — их до восьми, а у края или в углу меньше, — не может содержать другую звезду. Проверка соседства ведётся по ходу короля и учитывает всякую соседнюю клетку, какую сетка действительно предоставляет. Это правило превращает то, что иначе было бы простой задачей на счёт, в испытание пространственного рассуждения. Игроку приходится учитывать не только то, удовлетворяет ли клетка счёту по строке, столбцу и области, но и то, не нарушит ли поставленная там звезда запрет на соприкосновение с какой-нибудь другой. Именно это пространственное измерение отличает Star Battle от чисто счётных головоломок и придаёт ей своеобразие. ³

Всякая поставленная звезда отзывается в строках, столбцах, областях и соседстве.

Процесс вывода и размеченная сетка

Решение головоломки Star Battle состоит из непрерывного круга просмотра, разметки и вывода. Игрок разглядывает сетку, чтобы определить, где звёзды обязаны стоять и где стоять не могут, и помечает исключённые клетки знаком ✕, отслеживая свои выводы. Всякая поставленная звезда или метка исключения меняет ограничения для остальных клеток, порождая каскад логических следствий. Процесс итеративен: вывод в одной области может вынудить постановку в другой, что, в свою очередь, создаёт новые исключения, а те могут вынудить дальнейшие постановки. Эта цепочка рассуждений и есть сердцевина опыта, и опирается она целиком на логические следствия ограничений, а не на угадывание или перебор наугад. ³

Метка ✕ служит в этом процессе необходимым орудием. Клетка находится в одном из трёх состояний, и щелчок переводит её по кругу: пусто → звезда → ✕ → снова пусто; ✕ — это пометка об исключении, сделанная игроком по ходу рассуждения. Такие метки помогают отслеживать, какие клетки не могут содержать звёзд, и позволяют игроку удерживать ясную картину оставшихся возможностей. По мере продвижения сетка становится записью выводов игрока: звёзды стоят на своих окончательных местах, а метки ✕ заполняют исключённые клетки. Зрительная ясность такого представления важна: игрок может окинуть сетку взглядом и сразу увидеть, какие ограничения уже выполнены, а какие ещё требуют внимания. ³

Единственная допустимая расстановка, к которой ведёт головоломка, — дело не случая, а логической необходимости. У хорошо составленной головоломки Star Battle ровно одно решение, то есть ограничения достаточно тесны, чтобы исключить все возможности, кроме одной. Именно эта единственность и позволяет решать головоломку чистым выводом. Существуй несколько решений, игрок рано или поздно дошёл бы до места, где дальнейший логический вывод невозможен и потребовалось бы угадывание. Гарантия единственного решения означает, что всякий шаг в ходе решения может быть обоснован ограничениями, а путь к решению определяется целиком замыслом головоломки. ³

Решение не находят — оно раскрывается логической необходимостью.

Традиция замысла, независимого от культуры

Независимая от культуры философия, которой руководствуется замысел Nikoli, имеет глубокие последствия для того, как головоломки строятся и как переживаются. В отличие от зависящих от языка головоломок вроде кроссвордов, требующих знания слов, правописания и культурных отсылок, головоломки Nikoli не зависят от языка: они держатся на расстановке и выводе, а многие из них вовсе не используют чисел. Решать их можно рассуждением, а не знанием какого-то языка. Этот принцип распространяется и на Star Battle, где правила касаются лишь геометрии сетки, счёта и соседства — понятий всеобщих, не зависящих ни от каких языковых или культурных знаний. Игрок в Токио, Нью-Йорке или Сан-Паулу встречает ту же головоломку и то же логическое испытание. ¹

Обширная библиотека независимых от культуры головоломок, собранная Nikoli, показывает богатство такого подхода к замыслу. Сосредоточившись на логической структуре, а не на языковом содержании, издательство создало свод работ, доступный каждому, независимо от родного языка и культурной среды. Эта доступность стала ключевым обстоятельством международного успеха головоломок Nikoli, и в особенности Sudoku, которая стала мировым явлением после того, как в 2005 году была популяризирована в англоязычном мире. Те же принципы, что сделали доступной Sudoku, применимы и к Star Battle, где правила усваиваются за мгновения и взяться за головоломку можно сразу. ¹

Внутри движка, воплощающего Star Battle, эти принципы замысла осуществлены как чистая детерминированная система. Сетка N на N, N связных областей, K звёзд на линию и правило неприкосновения соседей образуют полную логическую систему, которую можно порождать, решать и проверять алгоритмически. Генератор псевдослучайных чисел с зерном обеспечивает воспроизводимость каждой головоломки по её зерну вместе со сложностью, а решатель с возвратом делает больше, чем проверяет результат: движок перекраивает границы областей до тех пор, пока решатель, считающий решения лишь до двух, не подтвердит, что уцелело ровно одно. Эта вычислительная осуществимость — современное продолжение традиционной философии составления головоломок: та же логическая чистота, что делает головоломку независимой от культуры, делает её и податливой для алгоритмического порождения и проверки. ³

Sources & notes

“Nikoli (publisher),” Wikipedia: a Japanese publisher specialising in games and, especially, logic puzzles. Nikoli is also the nickname of a quarterly magazine, Puzzle Communication Nikoli, issued by the company in Tokyo; the company was established in 1980 and takes its name from the racehorse that won the Irish 2,000 Guineas that year. It became prominent worldwide with the popularity of Sudoku, whose Nikoli form was popularised in the English-speaking world in 2005. Nikoli is notable for a vast library of culture-independent puzzles: unlike a language-dependent genre such as the crossword, which relies on a specific language and alphabet, its puzzles turn on logic alone, and a reader in any language can attempt them. The magazine has invented several new genres of puzzle and introduced several new games to Japan, and the article’s list of Nikoli puzzles runs to dozens of types, among them Sudoku, Kakuro, Slitherlink, Nurikabe, Masyu, and Hitori. en.wikipedia.org/wiki/Nikoli_(publisher).
“Maki Kaji,” Wikipedia: Kaji (1951–2021), later president of the puzzle publisher Nikoli, launched a quarterly puzzle magazine called Nikoli in 1980 together with two friends from his childhood, naming it after a racehorse that had won the 1980 2000 Guineas Stakes in Ireland; he founded a company of the same name three years later. Sudoku appeared in early issues, and he formulated its name by shortening a longer Japanese phrase. He is widely known as the father of Sudoku for his role in popularising the game. en.wikipedia.org/wiki/Maki_Kaji.
Star Battle game engine: a pure, deterministic implementation of the puzzle, with no browser code in it. The board is an N by N grid divided into N contiguous regions; the regions are grown by a seeded random walk, so they are irregular and uneven in size, and each holds exactly K of the stars. The player places exactly K stars in every row, every column, and every region, with no two stars touching, not even diagonally, adjacency being tested over every neighbouring cell including the diagonals. Three difficulties set the size and the star count: easy is 6 by 6 with one star per line, medium 8 by 8 with one, and hard 10 by 10 with two. A cell is empty, holds a star, or holds an X elimination note, and clicking cycles it through those three states. Generation is deterministic from the seed and difficulty: the engine lays a valid star solution, grows the regions around it, then reshapes region boundaries until a backtracking solver, counting solutions only as far as two, confirms that exactly one remains; the same solver drives the hint. Further checks test a finished board, flag stars that touch, and flag rows, columns or regions holding more stars than the rules allow. Read from the game’s own source.
“Sudoku,” Wikipedia: the modern puzzle was most likely designed anonymously by Howard Garns, a retired architect from Connersville, Indiana, and first published in 1979 by Dell Magazines as Number Place. It was introduced in Japan by Maki Kaji, president of the Nikoli puzzle company, in April 1984 under a title later abbreviated to Sudoku. en.wikipedia.org/wiki/Sudoku#History.