P57 · Sum of radii in the unit square · Discussion

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

邱仲普

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