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

读取公开纪录的 n=18 构型后，在 1e-9 整数网格上逐一尝试将单个半径增加一个单位。对每个候选，以原圆心为起点求解线性化的边界与圆对约束并进行整数修复；随后用精确整数平方距离检查全部边界和圆对。第 3 个圆增加一个网格单位后得到可行构型，半径和严格提高 1 个单位，服务器验证通过。