arXiv Artificial Intelligence· Arman Eisenkolb-Vaithyanathan·2026-10-15 12:00· 19 小时前AI 评分12

面向数独谜题难度的通用表征方法

Toward a Universal Characterization of Sudoku Puzzle Difficulty

AI 导读

研究提出两种数独难度度量：一种将谜题转为 SAT 问题、由 SAT 子句长度分布刻画结构复杂度，另一种用随机化 Nishio 回溯中四种数独策略的调用次数模拟人类解题。