ひとりにしてくれ(1990) — 難しすぎて8年埋もれたパズルが、2025年もAIの実験台になっている理由

はじめに — 読者投稿の三行が生んだ、消せない論理

『ひとりにしてくれ』は、パズル出版社ニコリが1990年3月に発行した『パズル通信ニコリ』29号に、読者投稿として掲載された論理パズルである。考案者は「たけゆたか」という筆名だけを今に残す。名前の由来は単純だ。同じ数字がいくつも並ぶ行や列に対し、「一つだけ残して、あとは独りにしてくれ」と迫るルールから来ている。

遊び方は、盤面にぎっしり並んだ数字から、いくつかを黒く塗ることだ。塗り終えたとき、どの行にもどの列にも、同じ数字が二つ以上残っていてはならない。ただし塗り方には制約がある。黒マス同士は縦にも横にも隣り合えない。そして白いマスは、盤面のなかで常に一つながりに繋がっていなければならない。

この地味な塗りつぶしパズルは、35年のあいだに姿を変え続けてきた。2007年には携帯ゲーム機に移植され、2009年には計算複雑性の理論家によってNP完全であると証明され、2025年にはAIに解答の理由を説明させる研究の教材に選ばれている。今日はこの一本を、35年の系譜として辿ってみたい。

数字を塗り分けていく盤面のイメージ（イメージ・AI生成）

その時代の文脈 — 1990年のニコリ29号、8年売れなかった理由

『ひとりにしてくれ』が生まれた1990年、ニコリはすでに創業10年を数える出版社だった。創業者の鍛冶真起が1980年に立ち上げ、社名は自身が愛した競走馬「ニコリ」から取っている。数独やカックロと同じく、この作品も編集部の発案ではなく、読者投稿から選ばれた一本だった。

日本語版ウィキペディアによれば、発表当初の『ひとりにしてくれ』は難易度が極端に高く、なかなか人気が伸びなかったという。転機は1998年ごろに訪れた。盤面をむやみに分断させない、という出題テーマが主流になったことで、難度がちょうどよく調整された問題が増え、そこから人気が上向いていった。発明から定着まで、8年かかったパズルである。

『パズル通信ニコリ』では33号から、独立した常連コーナーになった。同じ時期のニコリは、数独やカックロのように、文字を使わず数字だけで完結するパズルを次々と生み出していた。国境や言語に縛られないこの設計方針が、後にニコリの数独を2005年に英語圏へ広げる土台になる。『ひとりにしてくれ』も、この方針のなかで育った一本である。

紙のパズル誌に向き合う時代のイメージ（イメージ・AI生成）

メカニクス — 重複禁止・隣接禁止・非分断禁止という三本柱

『ひとりにしてくれ』の規則は、たった三つしかない。第一に、黒く塗らずに残した数字は、同じ行にも同じ列にも重複してはならない。第二に、黒マスどうしは縦横に隣接できない。第三に、白いマスはすべて、盤面の中で一つながりに連結していなければならない。

このうち最初の二つは、盤面を見渡すだけで機械的に判定できる、いわば近所付き合いの規則だ。ところが三つ目の連結条件だけは違う。あるマスを黒く塗った影響が、盤面の反対側の連結を壊すことがある。局所だけを見ていては解けない、盤面全体を俯瞰する規則である。

この難しさは伊達ではない。英語版ウィキペディアには、どのマスを黒く塗り、どのマスを残すべきかを判断する解法パターンが、11種類にわたって整理されている。数独が『同じ数字を入れない』という足し算的な規則だとすれば、『ひとりにしてくれ』は『いらないものを消していく』引き算的な規則だ。同じニコリ産の論理パズルでも、発想の向きがまるで逆を向いている。

連結する白マスと孤立する黒マスのイメージ（イメージ・AI生成）

現代への系譜 — DS移植、NP完全性、そして2025年のAI論文

紙の論理パズルがゲーム機に渡るのは、ニコリ作品の定番コースだ。ハドソンは2007年3月8日、ニンテンドーDS向け『パズルシリーズ Vol.10 ひとりにしてくれ』を発売した。同じ『パズルシリーズ』の棚には、カックロ(1966)を移植した2006年8月発売のVol.4も並んでいた。紙の論理パズルが携帯機の画面に収まっていった時代を、この二本は同じ棚から語っている。

より学術的な系譜も、この規則には流れている。計算複雑性の研究者ロバート・ヒーンとエリック・デメインは、2009年の著書『Games, Puzzles, and Computation』第9.2節で、『ひとりにしてくれ』がNP完全であることを証明した。三本柱の規則、とりわけ盤面全体の連結を要求する第三の規則が、力ずくでは解けない計算の難しさを生んでいる、と裏付けられたことになる。

デジタル環境での延命にも事欠かない。2004年に生まれたSimon Tatham's Portable Puzzle Collection(2004)は、この規則を『Singles』という名で収録しており、開発コミュニティ自身が『この手筋の功績はニコリの《Hitori》にある』と明記している。そして2025年8月、AI研究者らは論文『Explaining Hitori Puzzles』で、この盤面をAIに解かせ、その理由を人間に説明させる実験の題材に選んだ。近所付き合いの規則は数式による証明で、盤面全体の連結規則は絵による説明で、と使い分けたという。1990年に読者が投稿した一本が、35年後にはAIの説明可能性研究の教材になっている。

紙の盤面から現代の研究へつながる系譜のイメージ（イメージ・AI生成）

参考文献

本記事で参照した情報源:

・Wikipedia: Hitori

・Wikipedia: ひとりにしてくれ

・ニコリ公式サイト: ひとりにしてくれの遊び方

・Wikipedia: Nikoli (publisher)

・Robert A. Hearn & Erik D. Demaine, "Games, Puzzles, and Computation" (A K Peters, 2009)

・arXiv:2508.14294, "Explaining Hitori Puzzles: Neurosymbolic Proof Staging for Sequential Decisions" (2025)

・Simon Tatham's Portable Puzzle Collection: Singles

・manpages.org: singles(6)

・Wikipedia: パズルシリーズ

おわりに — 難しすぎたパズルが遺したもの

『ひとりにしてくれ』は、派手な発明ではない。黒いマス目を置くだけの、地味な塗りつぶしパズルだ。しかも生まれてすぐには人気が出ず、定着までに8年を要した作品でもある。

けれども、たった三つの規則は、35年のあいだ形を変えずに生き延びた。携帯ゲーム機に移植され、計算複雑性の証明の題材になり、いまはAIに解答を説明させる論文の教材になっている。歴史を遡って見えてくるのは、派手さではなく、規則そのものの頑丈さだ。読者が投稿した三行が、これほど長く効き続ける例は、そう多くない。

ひとつだけ残るマスの、静かなイメージ（イメージ・AI生成）