Star Battle · 考えるための糧

Nikoliの伝統

Star Battleは、言語よりも純粋な推論を重んじる日本のパズルの伝統に属しています。そこでは、エリアに分割された盤面と、1つの列に置く星の数だけが、挑戦のすべてを定めます。

英語で執筆・編集されました。この日本語版は機械翻訳によって作成されたものです。正確さが重要な箇所については、英語の原文が正式なものです。英語の原文を読む →

純粋な論理の出版社

東京のある出版社は、何十年ものあいだ一つの使命、すなわち純粋な推論だけで解けるゲームを作り、世に届けることに身を捧げてきました。Nikoli(ニコリ)の始まりは1980年、Maki Kaji(鍜治真起)と幼なじみの2人が季刊のパズル雑誌を創刊し、その年にアイリッシュ2000ギニーを制した競走馬にちなんで名づけた年です。同じ名前の会社はその3年後に続きました。² 雑誌『Puzzle Communication Nikoli』(パズル通信ニコリ)は今もこの出版社の主力商品であり、同社はSudoku(数独)の人気とともに世界的に知られるようになり、数十種類にのぼる独自のパズル形式の目録を築き上げました。この出版社の哲学の中心にあるのは文化非依存、すなわちパズルを解くのに特定の言語や文化的背景の知識を必要とすべきではない、という考えです。この原則が、語彙と文化的な知識に全面的に依存するクロスワードのようなパズルの系統と、Nikoliが知られている数的・論理的な作品とを分けています。そこに残るのは、特定の言語や地域の伝統を修めることなく、誰でもどこでも出会えるパズルの一族です。¹

文化に依存しないという姿勢のおかげで、Nikoliのパズルは目覚ましい成功とともに日本の国境を越えていきました。最も有名な例がSudokuで、そのNikoli版は2005年に英語圏で広まりました。パズルそのものは日本で始まったわけではありません。現代的な形を設計したのは、おそらくHoward Garns(ハワード・ガーンズ)という引退したアメリカの建築家で、1979年にDell MagazinesからNumber Place(ナンバープレース)という名で初めて出版されました。Kajiはそれを1984年4月のNikoliの紙面で日本の読者に紹介し、彼がつけた長い日本語の題は、のちに数独と略されました。⁴ それを外へ運んだのはNikoliの設計哲学であり、それは試行錯誤や言語の知識よりも論理的な演繹を重んじるものです。この国際的な広がりは、よく練られた制約に基づくパズルの力を示しています。規則が明快で、推論の道筋が純粋に論理的であれば、言語の壁は意味を失うのです。Sudokuの成功は、純粋な制約充足に根ざしたパズルの設計が世界的な地位を得られることを示し、Nikoliのより広い目録にあらためて注目を集めました。¹

Star Battleはこの伝統のなかに、Nikoli流の星配置論理パズルとして収まります。Nikoli自身の目録が挙げる形式の一つではありませんが、同じ仕様に沿って作られています。このゲームは、40年以上にわたってNikoliの取り組みを定めてきたのと同じ設計原則に従っています。すっきりした規則の組、言語への非依存、そして当てずっぽうではなく論理的な演繹に頼る解法の道筋です。N×Nの盤面がN個の連結したエリア(領域)に分けられていること、どの行、どの列、どのエリアにもちょうどK個の星を置くという要求、そして星どうしが斜めにさえ接してはならないという非接触の規則。これらが、いかなる文化的・言語的な背景がなくとも理解できる、完結した体系をなしています。このパズルの素性は、プレイヤーが持っているかもしれない外部の知識ではなく、それ自身の内なる論理から生まれるのです。³

このパズルの境界は、まったくそれ自身の規則だけで定まっています。

季刊誌とパズルの生態系

東京から刊行される季刊誌『Puzzle Communication Nikoli』は、新しいパズル形式を世に出し、解き手の共同体との関係を保つための主要な媒体として働いています。雑誌という形式は、新鮮な内容を定期的に発表できるようにすると同時に、新しい形式を生み出す場も与えます。この雑誌はいくつもの新しいパズル形式を生み、いくつものゲームを日本に紹介してきました。そのどれもが、文化に依存しない設計という土台の上に築かれています。年月をかけて積み上がった目録には数十種類のパズルが並び、そのなかにはSudoku(数独)、カックロ、スリザーリンク、ぬりかべ、ましゅ、ひとりにしてくれが含まれます。これらはどれも、盤面の上に制約を並べる別々のやり方であり、純粋な推論という同じ中核の哲学を保ちながら、解き手にさまざまな論理的挑戦を差し出します。¹

雑誌という生態系は、優雅さと論理的な純粋さを重んじるパズル設計の伝統を支えています。新しいパズル形式が登場するとき、それは外部の知識や文化的な文脈を求めることなく、自らの規則だけで立たねばなりません。設計に課されたこの制約が、豊かに多様なゲームを生んできました。どれも独自の手ざわりを持ちながら、一貫した一族の一員であり続けています。季刊という刊行の周期は、定期の読者に新鮮なパズルが絶えず届くことを保証し、一回きりのパズル本やときおりの発売を超えた、持続的な関わりを生みます。この規則正しさが、雑誌の内容を追いかけ、パズル文化の発展に加わり続ける熱心な解き手の共同体を育ててきました。¹

Star Battleはその目録のすぐ外側にありながら、同じ文法で動いています。その中核の仕組み、すなわちどの行、どの列、どのエリアにもちょうどK個の星を置き、しかもどの2つの星も接してはならないという仕組みは、Nikoli自身の形式が探究してきた制約充足という主題の、もう一つの変奏です。このパズルの規則はひと目で覚えられるほど単純ですが、行の制約、列の制約、エリアの制約、そして非接触という隣接の規則を組み合わせることで立ち現れる論理的な深さが、豊かなパズル体験を生みます。この単純さと深さの釣り合いこそNikoliの設計の特徴であり、Star Battleも同じ型に沿って作られています。³

単純な規則の組が、深遠な論理の深さを生み出しうるのです。

盤面からエリアへ、そして制約へ

Nikoli流の星配置パズルの構えは、盤面そのものから始まります。N×Nの盤面が場を与え、N個の行とN個の列がマスの正方格子をなします。そしてその盤面はN個の連結したエリアに分けられます。その大きさはそろっていません。エンジンはシード付きのランダムウォークで各エリアを育てるので、6×6の盤面では1マスだけのエリアが14マスのエリアの隣に並ぶこともあります。固定されているのは面積ではなく割り当てのほうで、どのエリアも最後にはちょうどK個の星を抱えていなければなりません。エリアは連結していなければならず、つまりエリア内のすべてのマスが一つにつながった塊をなさねばなりませんが、この意図された不ぞろいさこそが、解を一意にせざるを得なくするものです。整ったそろいのよいエリアは、往々にして複数の星の置き方を許してしまうからです。盤面の幾何、エリアへの分割、そして星の数Kが組み合わさって、一つの配置の判断が複数の制約に同時に波及していく体系が生まれます。³

この構造のなかで、プレイヤーはどの行、どの列、どのエリアにもちょうどK個の星を置かなければなりません。Kの値はパズルの難易度によって決まります。ゲームは3つを用意しており、そのそれぞれが両方の数を同時に定めます。やさしいは6×6で1列あたり星1個、ふつうは8×8で1列あたり星1個、むずかしいは10×10で1列あたり星2個です。星の数Kは、盤面の大きさNと相まって、盤上の星の密度と制約のきつさを決めます。K=1の6×6の盤面は、星がマスの6分の1しか占めない疎らな分布を生むのに対し、K=2の10×10の盤面は100マスに20個の星、すなわち5分の1を置くことになり、より密で、より強く縛られた配置になります。³

非接触の規則は、星どうしの空間的な関係を支配するもう一層の制約を加えます。どの2つの星も、斜めにさえ接してはいけません。これは、ある星を囲むマス、端や角では少なくなりますが最大で8つあるそのどのマスにも、別の星を置けないということです。隣接の判定にはキング移動の隣接、すなわち盤面が実際に備えているすべての隣のマスを見るやり方が使われます。この規則は、そうでなければ単純な数え上げの問題になりかねないものを、空間的な推論の挑戦へと変えます。プレイヤーは、あるマスが行・列・エリアの数を満たすかどうかだけでなく、そこに星を置くことがほかのどの星との非接触の制約をも破らないかどうかを考えなければなりません。この空間的な次元こそ、Star Battleを純粋な数え上げのパズルから分かつものであり、それに独特の性格を与えています。³

星を一つ置くたびに、それは行に、列に、エリアに、そして隣接に響きわたります。

演繹の過程と、しるしのついた盤面

Star Battleを解くことは、走査し、しるしをつけ、演繹するという絶え間ない循環を伴います。プレイヤーは盤面を調べて星が必ず入る場所、あるいは決して入らない場所を見きわめ、除外したマスに✕をつけて演繹の跡を残します。星を一つ置くたび、除外の印を一つつけるたびに、残りのマスの制約が変わり、論理的な帰結の連鎖が生まれます。この過程は反復的です。ある場所での演繹が別の場所での配置を強い、それがさらに新しい除外を生み、それがまた次の配置を強いるのです。この推論の鎖こそがこのパズル体験の核心であり、それは当てずっぽうや試行錯誤ではなく、まったく制約の論理的な含意だけに依っています。³

✕の印はこの過程で欠かせない道具として働きます。1つのマスは3つの状態のいずれかを取り、クリックするたびに空から星へ、星から✕へ、そしてまた空へと切り替わります。この✕は、プレイヤーが演繹の途中で書き込んだ除外のメモです。この印は、どのマスに星が入りえないかを追うのを助け、残された可能性をはっきり見渡せるようにしてくれます。パズルが進むにつれて盤面はプレイヤーの演繹の記録になり、星は最終的な位置に置かれ、✕の印は除外されたマスを埋めていきます。この表し方の視覚的な明快さは重要です。プレイヤーは盤面を見渡すだけで、どの制約が満たされ、どれがまだ手当てを要するのかをすぐに見て取れるからです。³

このパズルが目指す唯一の正しい配置は、偶然の産物ではなく論理的な必然です。よくできたStar Battleのパズルには解がちょうど一つだけあり、それは制約が一つを除くすべての可能性を消し去るほど強く効いている、ということです。この一意性こそ、このパズルを純粋な演繹だけで解けるものにしています。もし複数の解が存在すれば、プレイヤーはいずれ、それ以上論理的な演繹ができず当てずっぽうが必要になる地点に行き着いてしまうでしょう。解が一意だと保証されているということは、解く過程のどの一歩も制約によって正当化できるということであり、解へ至る道筋がまったくパズルの設計によって定まっているということです。³

解は見つけ出されるのではありません。論理的な必然によって姿を現すのです。

文化に依存しない設計の伝統

Nikoliの設計を導く文化非依存の哲学は、パズルがどう組み立てられ、どう体験されるかに深い含意を持っています。語彙や綴りや文化的な参照の知識を要するクロスワードのような言語依存のパズルとは違い、Nikoliのパズルは言語に依存しません。配置と推論がその要であり、その多くは数字をまったく使いません。特定の言語を知っていることによってではなく、推論することによって解けます。この原則はStar Battleにも及んでいます。そこでの規則は盤面の幾何、数え上げ、隣接だけに関わっており、それらは普遍的で、いかなる特定の言語的・文化的知識にも依存しない概念です。東京にいるプレイヤーも、ニューヨークにいるプレイヤーも、サンパウロにいるプレイヤーも、同じパズルに出会い、同じ論理的な挑戦に向き合います。¹

Nikoliが積み上げてきた文化に依存しないパズルの膨大な蔵書は、この設計の姿勢の豊かさを示しています。言語的な中身ではなく論理的な構造に焦点を当てることで、この出版社は、母語や文化的背景を問わず誰もが体験できる作品群を作り上げました。この近づきやすさが、Nikoliのパズル、とりわけ2005年に英語圏で広まったのち世界的な現象となったSudokuの国際的な成功の鍵でした。Sudokuを近づきやすいものにしたのと同じ原則が、Star Battleにも当てはまります。その規則はひと目で理解でき、パズルにはすぐ取りかかれるのです。¹

Star Battleを実装するエンジンのなかで、これらの設計原則は純粋で決定論的な体系として実現されています。N×Nの盤面、N個の連結したエリア、1列あたりK個の星、そして非接触の隣接規則は、アルゴリズムによって生成し、解き、検証できる完結した論理の体系をなします。シード付きの擬似乱数生成器が、どのパズルもシードと難易度の組から再現できることを保証し、バックトラック法の解答器は結果を確かめる以上のことをします。エンジンはエリアの境界を作り直し続け、解の数を2までしか数えない解答器が、生き残るものがちょうど一つだと確かめるまで、それを繰り返すのです。この計算による実現可能性は、伝統的なパズル設計の哲学の現代的な延長です。パズルを文化に依存しないものにしているのと同じ論理的な純粋さが、そのパズルをアルゴリズムによる生成と検証にも適したものにしているのですから。³

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.