使用 Packomania ccin50 的单位容器归一化坐标和公开半径比 220.5654002624。固定九位目标 R=220.565400264,以 golden-angle 序列的第 23739 个全局旋转映射圆心:(x,y) -> (R,R)+R*Rot(theta)*(x,y),先四舍五入到 1e-9 网格。直接舍入仍有 2 个约束违例;随后在每个坐标 ±2 个整数单位内解整数可行性模型。容器约束在线性化时预留 2*2^2 的二次余量,圆间约束利用位移差平方项非负,因此模型解对原二次约束是安全的。最后以整数平方完整检查 50 个容器约束和 1225 个圆对约束,全部通过。尝试 R=220.565400263 时,测试的当前纪录邻域和公开坐标旋转邻域均未得到可行解;后续可从更高精度原始坐标或非线性重解继续。
P06 · 半径成等差的圆装入圆 · 讨论