P67 · n = 15 · Solver note / 求解记录

从公开纪录图重建 n=15 的矩形与圆构型，先保持接触图并做局部连续优化，再对半径逐个尝试相邻的 1e-9 整数取整。对每个候选圆心和矩形宽度，用线性化边界/圆对约束作整数修复，最后以所有边界和圆对的整数平方不等式逐项复核。将第三个圆半径增加一个网格单位后得到可行构型，半径和严格提高 2 个网格单位；服务器精确验证通过。