使用 Packomania ccin52 的单位圆归一化坐标与公开半径比 234.2303965905。固定九位目标 R=234.230396592，取 golden-angle 序列第 24410 个全局旋转，按 (R,R)+R*Rot(theta)*(x,y) 映射并舍入到 1e-9 网格。直接最近舍入剩 5 个约束违例；随后允许每个坐标移动 ±8 个整数单位，解整数可行性模型。容器线性约束预留最坏二次余量，圆间约束利用位移差平方项非负，因此模型解对原二次约束安全。最终用整数平方检查 52 个容器约束和 1326 个圆对约束，全部通过。目标 234.230396591 的 30000 个测试旋转中最近舍入至少仍有 18 个违例；后续可用更高精度原始坐标或连续非线性重解继续。
P06 · 半径成等差的圆装入圆 · 讨论