Samon：设计禅宗花园耙拼图

禅宗沙园通常用于冥想，无论是观看还是通过将沙子耙成规定的图案来维护它，这些图案是由耙子的尖齿形成的平行线（如 ||| ）。这样的苦差事可能很乏味，但从混乱中恢复审美秩序也能带来很大的满足感，而耙沙子似乎就是其中之一，就像戳破泡沫包装纸一样，这可能会令人感到奇怪的满足——我记得我夏令营的救生员似乎更喜欢每天在办公室前耙海滩的任务，并且不允许任何营员这样做。解谜也经常被描述为“冥想”和“奇怪的满足感”，即使它看起来很乏味的苦差事。那么对于我们这些不住在禅宗寺庙的人来说，我们可以制作一个禅宗沙园拼图吗？此页面将原始 2023 年草图转变为完整设计。在草图推测的地方（“镜像倾斜”会不会限制太多？神经网络可以根据美观程度对解决方案进行排名吗？应该如何提高难度？），我们用求解器和测量来回答；在它留下的空白处（究竟是什么让花园变得坚硬、世界是什么、关卡是如何生成的、玩家接触了什么），我们会填补它们。标题是 Samon（砂纹，“沙纹”），是图案本身的术语。附录：代码和数据本页后面的每个文件：求解器、实验、关卡生成器、原型的源代码及其测试、此版本的构建脚本和测试、诗歌以及他们编写的数据。代码、日志和诗歌如下所示；列出了数据、图表来源和活动缓存，所有内容都在下载中。将所有 223 个文件下载为一个 .zip（1.8 MB；SHA-256 b60754f3fba988794a433d5d8c43cdf4a3160a07b05de806d7b1a664828b74d4 ）。从 src/zgsolve.c （精确搜索）、 src/zg.py （规则、求解器驱动程序和强力检查器）、 src/zcp.py （CP-SAT par 校样）、 src/grader.py （演绎评分器）和 src/verify_doc.py 开始，它重新导出文档中的每个数字。构建和测试命令位于下面的指南中。不包括：该页面本身和原型的两个页面，即standalone/build_standalone.py和proto/build.py编写的。 Samon 设计文档（2026-10-03，修订版 2026-10-04）中的数字和图形背后的代码，以及可玩的原型。该文档的单文件版本在其附录中包含整个树：代码显示在那里，每个文件都在它提供的 .zip 中（除了构建脚本编写的三个生成的页面之外的所有文件）。 Build cd src && gcc -O3 -march=native -Wall -Wextra -o zgsolve zgsolve.c pip install ortools cairosvg playwright # CP-SAT 优化器； SVG→PNG 用于图形；原型的浏览器测试 playwright install chromium pip install beautifulsoup4 # (and pandoc) for the single-file versions # ffmpeg with libmp3lame, for sound/make_sound_bundle.py (录音；参见 sound/README.md) 路径：脚本使用 /home/claude/zen/ 下的绝对路径（该树的开发目录）。要从解压此树的任何位置运行，请从树的顶部重写一次： grep --recursive --files-with-matches --exclude=README.md /home/claude/zen 。 | xargs sed --in-place "s|/home/claude/zen|$PWD|g" 文件 src/zgsolve.c ：精确的 DFS 求解器（计数/枚举倾斜；转弯和 U 形转弯直方图；分支定界最小转弯）。规则：一杆结束于门；可选的波纹环，波段/ichimatsu，给定的凹槽，卵石（形状：S =直通，B =转弯），禁止U形转弯（nohairpin 1），宽耙子（nohairpin 2 + endcells），固定耙子开始（两个门：end和endside，侧门所在的墙，因此其单元中的弯曲算作转弯），方丈的成品沙（R：不是）适合步行，而不是宽耙子的枢轴）。流 1 打印每个解决方案（用于导出所有标准排名）。 src/zg.py ：花园模型（文本符号：.sand、#stone、Oripplestone、h/v 波段、= / | ichimatsu 块；线索=凹槽、标记=卵石）、解算器驱动程序、规则检查器、暴力枚举器。 src/zcp.py ：独立的 CP-SAT 模型（AddCircuit + 虚拟节点）用于标准证明和交叉检查。 src/grader.py ：用于分级难度的分层演绎求解器。 src/gen.py 、线索.py 、levels.py 、search*.py ：布局采样、贪婪凹槽和卵石选择、关卡搜索。 src/exp_marks.py ，Fig_pebbles.py ：同一花园上的卵石与凹槽（写出/marks_vs_grooves.json），以及卵石图形。 src/render.py 、 Final_figs.py ：图形渲染（写入 Fig/final/*.png|svg 、 out/facts.json ）。 src/final_tables.py , exp_*.py ：文档中引用的表格和统计数据。 src/verify_doc.py ：重新推导文档中引用的每个数字（C 求解器 + CP-SAT）；打印 OK/BAD。 src/test_crosscheck.py 、 xc_stats.py 、 xc_cpsat*.py ：求解器验证（强力；CP-SAT；OEIS A145157/A145156）。 src/test_marks.py ， test_grader_marks.py ：卵石：C 求解器 vs 暴力破解 vs CP-SAT； g 的健全性