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

从公开的 P67 n=17 构型（半径和 2.117334952）出发，将矩形尺寸、圆心和半径统一换成 10^-9 整数网格。对四条矩形边界直接建模，对相邻圆对的平方距离约束在原构型处线性化，以混合整数规划最大化半径总和；每个变量限制在原值附近的有限整数窗口，宽度变化与高度反向变化以保持周长 4。候选生成后，用独立的任意精度整数检查重新验证 17 个正半径、全部边界约束、矩形周长以及 136 个圆对平方距离约束。所有约束均成立，半径和提高一个整数网格单位至 2.117334953；提交证书中的九位小数可直接复核。