开放研究资料 · v1 题库

推理背后的数据

512 条固定题目记录、保存的评级和一条可复现求解路径的测量结果。下载记录，查看每个数字的定义。

总体与选取方式

这是冻结 v1 题库的全部内容，每档 128 道。生成器使用带种子的终盘生成、打乱顺序的删线索、唯一解检查和难度配额。每个生成终盘最多保留一道题，优先选择可接受的最高等级。保守的线索图案指纹过滤并非对所有数独的均匀采样。

数据集不包含玩家记录。计算路径完成了 512 条中的 512 条；0 条停滞，0 条返回无效。这是同一逻辑引擎的记录输出，不是独立的数学认证。

例题选择

选取规则：按题库顺序找到第一道简单题，使其他难度存在比它线索更多的题，再取首道符合条件的较高难度题。这是一组说明性对照，不是代表性样本。

id / puzzle / solution: 稳定的公开 ID 及 81 位数字字符串；puzzle 中的 0 表示空格。导入电子表格时请把这些列设为文本，以保留开头的零。
difficulty / hardestTechnique: 保存的 v1 标签，由原评级路径使用的最高等级技巧决定。
clues: 原题中非零数字的数量。
firstEliminationStep: 第一次有效候选删数在路径中的位置，从 1 开始。若路径只有填数，CSV 中为空，JSON 中为 null。
emptyAtFirstElimination: 第一次删数之前的空格数量，不代表剩余解题时间。
placements: 记录路径中的填入数字次数。
productiveEliminationPasses: 成功应用删数规则的次数；一次应用可能删除多个“格子—数字”候选。
explicitCandidateRemovals: 通过删数技巧删除的“格子—数字”候选，不包含填数后同伴格的常规更新。
traceStatus: 当前路径计算的结果：solved、stalled 或 invalid。这不是独立的证明检查。
recordedSteps (JSON): 原始的分技巧计数：单数技巧计填数次数，其他技巧计有效删数轮次。不能将其相加后称为真人思考步数。
examples / hardCase (JSON): 选定步骤包含完整的前后数字、逻辑候选、依据格、来源/目标单位及准确操作。数组格子索引从 0 开始，图示行列标记从 1 开始。

使用 Node.js 22.18 或更新版本。把三份源码快照保存到所示路径，再从项目目录运行导出器。它只读取题库并写出研究资料，不会重新生成或覆盖冻结题库。

node --experimental-strip-types scripts/export-research.ts

数据集: catalog-v1
路径模型: v1-first-supported-2026-09-06
题库 SHA-256: 3a075495ccbc8d349ea4ad0f75b3798eab4c37f2bf13fa504adea08f0ef6056a
评级器源码 SHA-256: ea418c8cb5b38271a2ef1d347a2959bc3cd09e1760c784b9c44e1f6e49cc9655
导出器源码 SHA-256: 18fb5b19e95a96d496ef43d68903cca62a37d28657bf66ac37a66287bc274498

该路径模型不包含链、三数组、鱼形或基于唯一性的推理。技巧顺序与各技巧内部的扫描顺序固定。一条路径使用的技巧不一定是所有路径都必需的。难度配额使样本具有选择偏差，不能据此估计更广泛数独总体中的比例。

中位数是排序后的中间值；记录数为偶数时取中间两值的平均。这里的计数完整描述该题库，不为这个固定且经过筛选的集合附加总体置信区间。