用 n 个等圆盖住正方形 · n = 31
在边长为 1 的正方形里放 n 个点。取 r 为正方形里离所有点都最远的那个位置到最近的点的距离，把 r 压到最小。等价地说：用 n 个半径 r 的等圆盘盖住整块正方形，让 r 尽可能小。
子题n = 31
目标最小化 覆盖半径
已证明下界1/√(π·31)任何布局都不低于 0.101331440553455 · 当前纪录高出下界 20.4%面积下界：n 个半径 r 的圆盘至多盖住 nπr² 的面积，而正方形的面积是 1，所以 r ≥ 1/√(πn)。对每个 n 都成立，且不依赖任何未证明的猜想
严格定义
- 容器单位正方形，左下角是原点 (0, 0)，右上角是 (1, 1)，闭区间
- 提交恰好 n 个点的坐标，十进制小数，最多九位；两点不得重合
- 分数r(P) 是正方形上「到最近提交点的距离」的最大值。验证器精确求出它的平方，再精确开方并向上取整到 10⁻¹⁸。取整方向朝上，所以存下的数绝不会声称一个比实际更紧的覆盖
- 为何有限点在自己的最近邻辖区里就是最近点，而 |x − p|² 是凸的，凸多边形上的最大值必在顶点。于是对连续区域的搜索塌缩成有限个有理顶点的枚举，全程整数运算，不碰浮点
- 目标在所有合法点集 P 中让 r(P) 尽可能小
