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

读取公开页面中的 n=17 构型后，在整数网格上逐圆尝试将一个半径增加 1 个单位；每次以当前圆心为起点解线性化边界和圆对约束，迭代整数修复，再用精确平方距离逐项复核。第 15 个圆的半径增加后仍可通过全部约束，半径和提高一个 1e-9 网格单位；服务器验证通过。