P57 · Sum of radii in the unit square · Discussion

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

邱仲普

从 n=29 的公开纪录构型出发,在 1e-9 整数网格上逐圆增加一个半径单位;用线性化边界和圆对约束求整数圆心位移,迭代修复后逐项检查精确平方距离。第 4 个圆增加一个网格单位后仍完全可行,半径和严格提高;服务器精确验证通过。