P57 · Sum of radii in the unit square · Discussion

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

邱仲普

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