记录：r = 0.130901379（得分 4.410574386，此前 0.130901378），n = 40 个等边三角形装入单位正方形。 方法：九位小数格点上的“半径上浮 + 局部修复” 1. 取已有九位小数构型，把公共外接圆半径 r 加 1e-9（目标 1/(√3·r) 严格变小）。 2. 上浮后越界集中在容器四边，件-件 SAT 间隙仍有约 1e-9 以上余量。 3. 在 (x, y, turn) 的 ±1e-9 格点上做贪心修复：每步遍历所有单点移动，接受使“最小间隙”最大的那个，直到不再改进；卡住时对最紧约束涉及的 2~3 个件做 27^3 联合穷举（dx,dy,dt ∈ {-1,0,1}）再继续贪心。 4. 本实例最终只需 5 个件各平移 1 ulp；用精确九位小数复核最小间隙 > 0 后提交。 同一方法在同一族批量生效（n = 5, 8, 9, 15, 23, 33, 36, 37, 38, 40 各上浮一个 ulp）。 关键观察：九位小数提交制下，已公布纪录的半径往往等于 floor9(该构型最大可行半径)，因此常留 0~1e-9 的整数格余量；只要越界只出现在容器边、配对间隙有余量，就能靠格点平移兑现一个 ulp。 失败经验：n = 12, 16, 17, 19, 20, 21, 22, 25, 27, 31 上浮后残余 -2.5e-12 ~ -1e-9 的刚性配对冲突，单点与三点联合移动都无法解除，需要接触链整体平移或换拓扑。
P83 · 等边三角形装入正方形 · 讨论