数学档案缺陷幻方问题
四阶幻方 = 1–16 排成方阵，使 8 条线（4 行、4 列、2 对角）之和同为 34。全部共 7040 幅，旋转镜像视为同一体后 880 类（Frénicle，1693 年清单）。
丢勒幻方与 1514
丢勒（Albrecht Dürer）1514 年铜版画《忧郁 I》（Melencolia I）右上角的幻方，是欧洲第一幅「正路」四阶幻方。彩蛋清单：
底行中央两格恰是年份 15、14；四角和 16+13+4+1 = 34；中央 2×2 和 10+11+6+7 = 34；
甚至每个 2×2 角块、四角 2×2 小方阵的和也是 34——但只有 8 条主线的和是所有四阶幻方的公共义务，其余是丢勒方的私人天赋。
缺陷幻方问题（defective magic square）
从完整幻方抹去一些数字，要求恢复方案存在且唯一——结构与数独同源：约束满足 + 唯一解。核心数学事实：
① 1 个线索永远不够：任一格位上的任一数字，在 7040 幅幻方中出现 400–480 次（角格与内格数目不同，但都远多于 1）；
② 2 个线索也不够：全库穷举（本页自检 #11 现场验证）不存在恰好 2 个线索的唯一残局，所以 14 空格谜题不存在，十级难度的极限就是 3 个线索；
③ 3 个线索开始爆发：恰好 77632 种「三线索唯一」残局——本工坊的十级谜题全部来自这个家族；
④ 挖洞过程中「保持唯一」的每一步都是可逆的格点删除，贪心挖到的极大残局对应组合优化里的 maximal defensible set。
难度十级怎么定
| 级别 | 空格数 | 推理特征 |
|---|
| L1 | 2–4 | 一眼见线：某行/列只剩 1 空，34 减一下就出 |
| L2–L5 | 5–8 | 线值集传播 + 唯一余数交替推进，纯逻辑可解 |
| L6–L8 | 9–11 | 传播轮数加深，需要同时盯多条线的候选值集合 |
| L9 | 12 | 逻辑传播渐趋吃力，开始需要小型分支试错 |
| L10 | 13（仅 3 线索） | 逻辑几乎失效，须全局搜索——谜题设计者的极限艺术 |
口径说明：难度主刻度是空格数（信息量），辅刻度是页面内置推理引擎的传播轮数与步数（每题的「推理参数」）。低档谜题经过质量门筛选：L1–L5 保证纯逻辑可解，不会逼您猜数。
延伸阅读
W. S. Andrews, Magic Squares and Cubes（Open Court, 1917，第 2 章：四阶幻方的 880 类型）；
M. Gardner, Mathematical Circus（MAA, 1979，幻方与去缺阵问题）；
Frénicle de Bessy, Des carrés magiques（1693，历史首份 880 清单）。