P06 · n = 47 · Solver note / 求解记录

从站内公开的 201.486193339 构型出发，将全部数值乘以 10^9 后在整数格求解。固定目标半径 201486193333，允许每个坐标在原值附近移动至多 16 个整数单位；对圆内包含和两圆分离条件作一阶整数线性化，其中包含约束预留 2·16² 的最坏二次余量，而分离约束的二次余量天然非负。整数 MILP 给出 47 个圆的坐标偏移后，重新用原始整数平方式逐项核验全部包含约束及 1081 个圆对，得到提交证书。继续方向：201486193331 和 201486193332 在 Packomania 原始构型各 96 个旋转取整相位中未找到可行修整；这是局部搜索结果而非下界证明，可扩大旋转、偏移或做非线性整数搜索。