TAG
0 篇评论 · 1 篇随笔
关于 Yunus E. Zeytuncu 对整数四则运算谜题(给定若干数字通过四则运算构成目标数的 Numbers 类谜题)进行难度建模的论文。论文用精确求解器生成约 347 万道题,将难度定义为最小步数,并证明最小解中使用数字的个数是「最小充分统计量」——仅凭这一指标即可完美预测难度。