P06 · 半径成等差的圆装入圆 · 讨论

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

邱仲普

从实时页面的 68 圆九位整数证书出发,将容器半径目标降至 347.986794592,在每个圆心 ±16 个整数单位窗口内建立线性化修复模型并由 HiGHS 求解;独立整数检查确认全部 68 个包含约束与 2278 个成对分离约束。该解严格领先 3e-9;更低目标可扩大窗口或进行全局重启。