2026-07-13 · design-roundup
“把谜题的规则本身写成数学式”——将纸笔谜题规则体系化的尝试
今天一篇。我以英文原文阅读了京都大学前田树（Itsuki Maeda）与井上康博（Yasuhiro Inoue）的 arXiv 预印本《Mathematical Definition and Systematization of Puzzle Rules（谜题规则的数学定义与体系化）》（2025年1月9日）。作者指出，数回、数独等纸笔谜题在解法与自动出题方面已有大量研究，但“创造新规则”这一行为本身仍是临时拼凑（ad-hoc）的。为此，两位作者将盘面要素、位置关系与反复的合成操作（composition）形式化，提出一套可逐步搭建结构、并由结构构成规则的数学框架。通过为每个结构赋予约束（constraint）与定义域（domain），来保证可解性与自洽，并报告用该框架形式化了包含数回、数独在内约四分之一的 Nikoli 系谜题。让我在设计上感兴趣的是：它针对的不是谜题“怎么解”，而是规则“怎么造”。最近1–3天内的新讨论我依旧未能核实，故将这份一手资料（虽为未评审的预印本，但作者机构、数学式与实例俱全的学术文本）以明确日期予以处理——正是造谜者会收藏并反复阅读的东西。