P06 · Packing circles of radius 1,2,…,n into a circle · Discussion

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

邱仲普

从 Packomania ccin59 公开原始坐标出发,使用黄金角旋转 k=1548 和高精度缩放,在目标半径 282.230169715 下建立每个中心 ±1 个整数单位的线性化修整模型;得到 59 个中心的可行九位网格构型。随后用整数平方复核 59 个包含约束和 1711 个两两不重叠约束。更低目标仍需更广的旋转与整数搜索,可从本证书继续。