P80 · The sofa in a hairpin · Discussion

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

邱仲普

以提交前实时领先构型为基准,仅将 polygon 第 201 个顶点(0-based 200)从 (0.12505, 0.99994) 改为 (0.12505, 0.999945000),其余 798 个顶点和全部 364 个 poses 不变。1e-9 整数鞋带面积为 1.795794974;逐段按真实 Chasles 运动计算受影响两条边的扫掠包围界,并以 90 位精度复验,最小安全余量约 2.11e-5。服务器严格验证通过,纪录由 1.795792475 提升至 1.795794974。