提出数独难度通用刻画指标与评级系统

2026年10月15日，arXiv Artificial Intelligence 刊出研究，提出面向数独谜题难度的通用表征方法。据该研究，作者 Arman Eisenkolb-Vaithyanathan 提出两种新的数独难度度量指标及一套通用评级系统。第一种度量将谜题转为 SAT 问题，由 SAT 子句长度分布刻画其结构复杂度；第二种则通过随机化 Nishio 回溯中四种数独策略的调用次数，模拟人类解题过程。研究称这两种指标用于刻画数独难度，并配套提出通用评级系统。目前报道仅涉及方法提出本身，未给出具体难度分级结果、评测数据集或与其他难度标准的对比数据，后续进展有待跟进。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。