運を設計から追い出す — マインスイーパから guessing-free ロジックパズルへ

はじめに

残り二マス、地雷は一つ。周囲の数字はすべて使い切り、どちらを開けるべきかを教えてくれる手がかりはもう盤上にない。マインスイーパの終盤にしばしば訪れるこの瞬間、ゲームは論理パズルであることをやめ、コイントスになる。十五分の推論を積み上げた末に、成否が運で決まる。私はこの「強制された推測」を、ロジックパズルの設計における最も根の深い欠陥だと考えている。

本稿では、この欠陥を三十年かけて取り除いていった系譜を辿る。出発点は1990年のマインスイーパ。経由地は Hexcells と Tametsi。終着点は、賭けの成功そのものを制度的に禁じた 14 Minesweeper Variants だ。guessing-free、あるいは no-guess と呼ばれるこの設計思想は、単なる親切ではない。難しさの供給源を運から演繹へ移し替える、構造的な選択である。

マインスイーパ(1990) — 運と論理が同居した原型

マインスイーパの原型は、Curt Johnson が OS/2 向けに書いたゲームを、同僚の Robert Donner が Windows へ移植したものだ。1990年10月の Windows Entertainment Pack に収録され、1992年には Windows 3.1 に標準搭載された。以後、オフィスの昼休みから研究室まで、おそらく史上最も多くの人間に遊ばれたロジックパズルになった。ルールは一行で書ける。数字は、隣接する八マスに潜む地雷の数。情報チャネルは、これ一本しかない。

この単一チャネルと乱数配置の組み合わせが、論理では確定できない局面を構造的に生む。角に残った小さな領域、対称に並んだ二つの候補。上級者は確率を計算して「より死ににくい方」を選ぶが、それは演繹ではなく期待値の賭けだ。長い推論が一回のクリックで無に帰し、しかもその敗北にプレイヤーの責任はない。この体験の悪さこそが、後続の設計者たちの出発点になった。

皮肉なのは、マインスイーパの数字推論そのものは計算量的に十分深い問題だったことだ。Richard Kaye は2000年の論文「Minesweeper is NP-complete」で、盤面の整合性判定が NP 完全であることを示した。難しさの供給源は最初から豊かだったのである。問題は、その豊かな鉱脈に、運という不純物が最初から混ざっていたことにあった。

Hexcells — ヒントの語彙を増やして推測を消す

Matthew Brown の Hexcells 三部作(2014年の Hexcells Infinite で完結)は、この不純物の除去を正面から掲げた最初期の商業作の一つだ。六角形グリッドという見た目の変化より重要なのは、ヒントの語彙が増えたことである。数字を波括弧で囲めば該当マスが連続していることを、ダッシュで挟めば連続していないことを示す。列の外側には、その列全体の合計が置かれる。

設計言語で言えば、Hexcells は数字という一つの品詞しか持たなかったマインスイーパの文法に、位置関係と大域分布という新しい品詞を追加した。情報チャネルが複線化すれば、どの局面でも少なくとも一本の演繹が通るように面を組める。プレイヤーの視線も変わる。局所の数字合わせだけでなく、盤面全体を横断して手がかりの交点を探す観察へと引き上げられる。手作りの全ステージが、推測なしで解けることを前提に組まれている。

三部作の最終作 Hexcells Infinite は、乱数シードから盤面を生成する無限モードを備えながら、生成された盤面もまた論理だけで解けることを志向した。手作りの厳密さと生成の物量をどう両立させるか——いま生成コンテンツの文脈で盛んに議論されるこの問いに、2014年の時点で小さく答えてみせたことは記録に値する。

Tametsi — 160面の手作りが示した純化

2017年、Grip Top Games の Tametsi はこの思想を極点まで純化した。正方形、八角形、入り組んだテッセレーション。地雷は色分けされ、色ごとの総数が新しいヒント軸として加わる。そして収録された160面のすべてが、推測なしで解けることを保証されている。装飾はほとんどない。画面には盤面と数字だけが残る。減算の設計だ。

Tametsi を遊んでいて気づくのは、guessing-free の保証がプレイヤーの心理を根本から変えることだ。行き詰まりは「詰んだかもしれない」ではなく「まだ見つけていないだけ」になる。どこかに必ず確定する一手がある——この信頼があるから、十分でも二十分でも盤面を睨み続けられる。一面が一本の長い証明のように進み、最後のマスが開いた瞬間に証明が閉じる。運の除去は快感の除去ではなく、快感の純化だった。

14 Minesweeper Variants — ルール差分で演繹を再発明する

2022年の 14 Minesweeper Variants は、系譜のもう一つの到達点だ。開発には『Understand』の Artless Games が名を連ねる。地雷は縦横に隣接しない、各行各列にちょうど二つ——バリアントルールを一つ差し替えるだけで、必要な推論の形はまるで別物になる。盤面を広げるのでも地雷を増やすのでもなく、ルール差分で深さを作る。組み合わせ爆発に頼らない難しさの設計として、これほど教科書的な例は少ない。

白眉は、論理的に確定していないマスを開けた場合に、地雷配置そのものが置き直されるモードの存在だ。当てずっぽうが偶然当たる、という偽の報酬を機械的に不可能にしている。Hexcells が推測を不要にし、Tametsi が不要であることを保証したのに対し、14 Minesweeper Variants は推測を無意味にした。ここまで来ると、guessing-free は好みの問題ではなく思想である。

ヒント機能の実装も一貫している。行き詰まったプレイヤーに答えを教えるのではなく、どの手がかりの組を見るべきかを指し示す。ヒント機能の設計で論じた分類で言えば、解答ではなく観察の照準を渡す型だ。推測を禁じた以上、詰まりの解消もまた演繹の内側で完結させる。設計の首尾一貫とは、こういうことを言うのだと思う。

推測はどこから生まれるのか — 情報・責任・代償

系譜を並べると、強制された推測がどこから生まれるのかが見えてくる。本質は情報チャネルの不足だ。確定に必要な手がかりの供給が、開けるべきマスの数に追いつかないとき、プレイヤーは賭けに追い込まれる。guessing-free を保証するとは、初手から最終手まで、どの局面にも少なくとも一つの確定手が存在するように、手がかりの網を盤面へ敷き詰めることにほかならない。

これは読める失敗で論じた問題と対をなしている。あちらで扱ったのは、詰みをプレイヤーに読めるようにする設計だった。強制された推測はその最悪の裏返しだ。読めない失敗であるうえに、プレイヤーの側に一切の責任がない。敗因の帰属先が自分の推論にないとき、人は学習できず、ただ理不尽の感触だけが残る。

もちろん代償はある。全局面の演繹可能性を保証することは、盤面の組み合わせ空間に強い制約をかける。手作りなら一面ごとの検証コストが跳ね上がり、生成なら可解性チェッカーの実装が必須になる。guessing-free は無料ではないのだ。だからこそ、それを個人開発の執念で三十年かけて標準へ押し上げてきたこの系譜には、技術史としての価値があると私は思う。

まとめ

マインスイーパは、豊かな演繹と理不尽な運が同居した原型だった。Hexcells はヒントの語彙を増やして運を消し、Tametsi は手作りの160面でその純度を証明し、14 Minesweeper Variants は賭けの成功を制度として禁じた。三十年の系譜は、難しさの供給源を運から演繹へ静かに移し替えていく、修復の歴史として読める。

自分が次にロジックパズルを作るとしたら、最初に決めるのは「推測ゼロを保証するか否か」だ。保証するなら、確定手の供給を切らさない検証系を制作パイプラインの最初から組み込む。保証しないなら、賭けが発生する瞬間をプレイヤーに明示する——ここから先は運です、と。最悪なのは、演繹で解けると信じさせておいて、黙って賭けを混ぜることだ。読者にも問いを残したい。あなたが最後に「理不尽だ」と感じたパズルは、本当に難しかったのだろうか。それともただ、賭けを強いられただけではなかったか。