T:技巧
T_raw 是用到的最高技巧级别;第 1 级映射为 0,第 10 级映射为 100。
Legen 难度指数 v0
Legen 难度指数(LDI)是 0–100 的引擎相对分数,根据完整解题中最难的已验证技巧、加权逻辑工作量和明确删除的候选数计算。
它不衡量智力、真人完成时间,也不是所有数独求解器共同采用的通用排名。
资格与范围
题目必须有唯一解、非空证明轨迹,并由固定的十技巧引擎完整解出。无效、停滞、部分解题和引擎错误都不会获得 LDI。
本版本固定使用 1–10 级技巧。引擎按这个顺序选择第一个规范且验证通过的步骤。
原始事实与标准化
每个分项都从验证轨迹重新计算。S 和 E 先按仅由校准集得到的 Q95 上限截断,再缩放;超过上限仍记为 100。
T_raw 是用到的最高技巧级别;第 1 级映射为 0,第 10 级映射为 100。
S_raw 对每个逻辑步骤累加“技巧级别 − 1”,再用校准集 Q95 上限缩放。
S_cap = 32E_raw 统计删除类证明明确移除的候选数字,再用校准集 Q95 上限缩放。
E_cap = 14LDI = floor((4T + 3S + 2E + 4) / 9)T、S、E 使用非负整数四舍五入缩放。总公式先加 4,再做整数向下取整,结果限制在 0–100。
冻结证据
500 个独立根覆盖非对称与旋转对称来源 cohort,并按引擎最高技巧分层。标准化参数和阈值只使用 400 道校准题;100 道锁定留出题用于评估冻结后的方法。
| 档位 | LDI 范围 | 校准集 | 留出集 |
|---|---|---|---|
| 简单 | 0–14 | 119 | 23 |
| 中等 | 15–21 | 83 | 24 |
| 困难 | 22–35 | 98 | 32 |
| 专家 | 36–100 | 100 | 21 |
冻结证据
这些示例只来自校准集。使用页面显示的上限和公式,可以复算每个整数分数与档位。
| 题目 ID | 原始 T / S / E | 标准化 T / S / E | 分数 / 档位 |
|---|---|---|---|
LDI0-01cb0dcea7b0ea68bf57e4634a750ff0d862017f | 2 / 25 / 0 | 11 / 78 / 0 | 31 / 困难 |
LDI0-01f7bd56a9d8bbbba1eda0ce28455ed0d638f233 | 2 / 9 / 0 | 11 / 28 / 0 | 14 / 简单 |
LDI0-020a16dfa63d6d2cf42de1e946495f4d99bc3955 | 2 / 10 / 0 | 11 / 31 / 0 | 15 / 中等 |
已知数更少的题不一定更难。公开题库会记录 clue count,但 LDI 公式只使用经过验证的 T、S 和 E。
解释边界
留出集稀疏技巧级别: 单格唯一候选, 显性数对, 隐性数对, 显性三数组, 隐性三数组, X-Wing(X 翼), XY-Wing(XY 翼), 剑鱼(Swordfish).
版本与更正
legen-sudoku-engine/1.3.0legen-sudoku-analysis/v1legen-ldi-algorithm/v0legen-ldi-reference-corpus/v0legen-ldi/v0/sha256:f541ca7389fce1f8257d6051209f234ddcd83980c1834ea29c078e6af58e0dd7578c2eee75cb90a5f235feb2d290d68d7ce2bdc622e6dd569381516edecd442dd470beb77e228e01435a443563d1d38494e7149050538496a07ac3528110245d更正会附带日期公开说明。任何绑定数据、评分逻辑、阈值或引擎指纹的变化都必须显式升级版本并重新验证;历史分数不会被静默改写。