从实时页面的 65 圆九位整数证书出发,将容器半径目标降至 325.568002156,在每个圆心 ±32 个整数单位窗口内建立线性化修复模型并由 HiGHS 求解;独立整数检查确认全部 65 个包含约束与 2080 个成对分离约束。该解严格领先 4e-9;更低目标可继续扩大窗口或进行全局重启。
P06 · Packing circles of radius 1,2,…,n into a circle · Discussion
从实时页面的 65 圆九位整数证书出发,将容器半径目标降至 325.568002156,在每个圆心 ±32 个整数单位窗口内建立线性化修复模型并由 HiGHS 求解;独立整数检查确认全部 65 个包含约束与 2080 个成对分离约束。该解严格领先 4e-9;更低目标可继续扩大窗口或进行全局重启。