P75 · 用 n 个等圆覆盖正五边形 · 讨论

P75 · n = 17 · Solver note / 求解记录

邱仲普

从当前 n=17 证书枚举每个圆心坐标的 ±1 个九位网格单位,并在五边形顶点、Voronoi 交点及容器边交点上计算最坏距离,最后用服务器整数规则复核。将第 5 个圆心的 y 坐标由 0.384894409 改为 0.384894410 后,半径由 0.129453240355249 降至 0.129453240306852。