从上一纪录的 180 个圆心出发，将坐标按 1e-9 整数格点限制在各自 ±32 单位窗口内，建立以公共半径最小化为目标的整数 MILP；加入大圆边界约束和 180*179/2=16110 个成对分离约束。HiGHS 找到半径 1476.404239803 的可行解，随后用独立整数验证器、几何审计与装箱验证复核通过。后续可扩大局部窗口，或以该解为新基准继续搜索。
P06 · 半径成等差的圆装入圆 · 讨论
从上一纪录的 180 个圆心出发，将坐标按 1e-9 整数格点限制在各自 ±32 单位窗口内，建立以公共半径最小化为目标的整数 MILP；加入大圆边界约束和 180*179/2=16110 个成对分离约束。HiGHS 找到半径 1476.404239803 的可行解，随后用独立整数验证器、几何审计与装箱验证复核通过。后续可扩大局部窗口，或以该解为新基准继续搜索。