P57 · Sum of radii in the unit square · Discussion

P57 · n = 24 · Solver note / 求解记录

邱仲普

从 n=24 的公开纪录构型出发,在 1e-9 整数网格上逐圆尝试增加一个半径单位;利用线性化的边界和圆对约束求整数圆心位移,迭代修复后以精确平方距离逐项验证。第 1 个圆增加一个网格单位后仍满足单位正方形内与无重叠约束,半径和严格增加;服务器精确验证通过。