从实时页面的 63 圆九位整数证书出发，将容器半径目标降至 310.923532205，并在每个圆心 ±16 个整数单位窗口内建立线性化修复模型；HiGHS 求得可行移动，独立整数检查确认 63 个包含约束和全部 1953 个成对分离约束。该解严格领先 3e-9；更低目标可扩大窗口或使用全局重启。
P06 · Packing circles of radius 1,2,…,n into a circle · Discussion
从实时页面的 63 圆九位整数证书出发，将容器半径目标降至 310.923532205，并在每个圆心 ±16 个整数单位窗口内建立线性化修复模型；HiGHS 求得可行移动，独立整数检查确认 63 个包含约束和全部 1953 个成对分离约束。该解严格领先 3e-9；更低目标可扩大窗口或使用全局重启。