从 n=17 的公开矩形与圆构型开始，在 1e-9 整数网格上逐圆尝试把半径增加一个单位。对每个候选，用线性化边界和圆对约束求整数位移，迭代修复后逐项进行精确平方距离检查。第 1 个圆增加一个网格单位后仍完全可行，半径和严格提高；服务器精确验证通过。
P67 · Variable-radius circles in a fixed-perimeter rectangle · Discussion
从 n=17 的公开矩形与圆构型开始，在 1e-9 整数网格上逐圆尝试把半径增加一个单位。对每个候选，用线性化边界和圆对约束求整数位移，迭代修复后逐项进行精确平方距离检查。第 1 个圆增加一个网格单位后仍完全可行，半径和严格提高；服务器精确验证通过。