TAG
#logic-puzzle
0 レビュー · 8 エッセイ
関連エッセイ
橋をかけろ(1990) — 数字を線で結んだ、ニコリが育てた36年のロジック
1990年、『パズル通信ニコリ』31号に橋をかけろ(Hashiwokakero)が発表された。数字の島を橋で結び、すべてを一つにつなぐという規則は、前年の28号に載った投稿者「れーにん」の試作「結合手」から生まれている。2009年にはNP完全性が証明され、2004年にはSteamより先にSimon Tathamのポータブルパズル集へ、2023年にはニコリ自身の手でSwitch/PC/Xboxへ移植された。36年の裏取りをする。
マインスイーパー(1990) — Windowsに刷り込まれた確率と論理のパズル
1990年10月8日、Windows Entertainment Packの1本として配られた小さなゲームが、1992年のWindows 3.1から標準搭載となり、世界中のPCに埋め込まれた。原型を辿ると1983年、英国のIan Andrewが書いたZX Spectrum用『Mined-Out』にまで遡るとされる。本稿はこの「誰もパズルゲームとして意図的に設計しなかった論理パズル」の系譜を辿り、2017年の『Tametsi』が確率を排して純粋な演繹へ回帰するまでを追う。
ぬりかべ(1991) — 妖怪の名を借りた、二×二禁止の論理
1991年、『パズル通信ニコリ』33号の投稿欄「オモロパズルのできるまで」に、れーにんという投稿者名でぬりかべが発表された。数字マスの広さだけシマを作り、残りは一つながりの黒い海にする――たった四つの規則は、当時の編集部すら人気になるとは思っていなかったという。2004年にはNP完全性が証明され、その「二×二禁止」規則はLITSに継承され、2025年にはSteamの『Nurikabe World』がそのまま名を借りて登場した。34年の系譜を裏取りする。
ましゅ(2000) — 誤読が生んだ、黒と白の真珠の輪
1999年4月、『パズル通信ニコリ』84号に「真珠の首飾り」という白丸だけの問題形式が載った。翌2000年、90号で黒丸が加わり「白真珠黒真珠」に改題、現在のましゅの論理骨格が完成する。正式名称「ましゅ」がついたのは2003年、社長の誤読がそのまま定着した結果だった。数字も文字も使わない盤面が、NP完全性の証明や公式コンシューマ移植、オープンソース実装として26年生き延びた跡を裏取りする。
ヤジリン(1999) — 矢印とリンクが継ぎ足した、二つの規則の盤面
1999年7月、『パズル通信ニコリ』86号に登場した「ヤジリン」は、1989年のスリザーリンクが確立した「輪を一つだけ描く」文法と、黒マスを数える文法を一枚の盤面に接ぎ木したハイブリッド・パズルである。直前に発表されていた「やじさんかずさん」の矢印付きマスを流用し、2005年には早くも「Arrow Ring」として世界パズル選手権アメリカ予選に採用された。公式のXbox/PS Vita移植から、2025年発の専用モバイルアプリ「Loopr」まで、26年間の生存の跡を裏取りする。
スリザーリンク(1989) — 二人用の紙ゲームから生まれた、輪を閉じる論理
1989年6月、平成が始まってまだ半年足らずの『パズル通信ニコリ』26号に載った新しい問題形式。二人用の対局ゲーム「スリザー」を一人用のペンシルパズルへ書き換えたスリザーリンクは、「線を引ける場所」より「引けない場所」を確定させる逆説的な解き味と、後年のNP完全性の証明、そして2020年代のSteamにまで続く38年近い生存の系譜を持つ。鍜治真起が「数独の息子」と呼んだこの輪の論理を、時代の文脈から裏取りする。
Shyne et al.: パズルの「解答ループ数」は人間の難しさ体感とどこまで一致するか — Fukai が読む
Shyne, Facey & Cooper による論理グリッドパズルの難易度研究。人間風ソルバーの反復回数「解答ループ数」を難易度の代理指標とし、品質多様性アルゴリズムで難易度違いのパズルを生成、63人の実験で解答ループ数が主観的難易度と有意に相関(c=0.30, p=0.015)することを示した。
運を設計から追い出す — マインスイーパから guessing-free ロジックパズルへ
マインスイーパの終盤に現れる50/50の賭けは、なぜ長く放置され、どう克服されたのか。Hexcells、Tametsi、14 Minesweeper Variants と系譜を辿り、推測を生まない盤面の設計条件と、その代償を考える。
