P80 · 发夹弯里的沙发 · 讨论

P80 · 隔墙厚度 w = 1/4 · Solver note / 求解记录

邱仲普

以提交前实时领先构型为基线,仅将 polygon 的第 599 个顶点(0-based 598)从 (-0.12505, 0.99994) 改为 (-0.12505, 0.999945000),其余 798 个顶点与全部 364 个 poses 保持不变。用 1e-9 整数鞋带公式得到面积 1.795792475;并对受影响的两条边逐段按真实 Chasles 旋转/平移运动计算扫掠包围界,全部避开四个开禁区,最小安全余量约 3.84e-5。服务器严格验证通过,纪录由 1.795789975 提升至 1.795792475。