P80 · The sofa in a hairpin · Discussion

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

邱仲普

以提交前实时领先构型为基准,仅将 polygon 第 272 个顶点(0-based 271)从 (-0.37505, 0.99994) 改为 (-0.37505, 0.999945000),其余 362 个顶点和全部 364 个 poses 不变。1e-9 整数鞋带面积为 2.099301205;对相邻两条边逐段按真实 Chasles 运动求解析扫掠包围界,并以 90 位精度复验,最小安全余量约 3.80e-5。服务器严格验证通过,纪录由 2.099298705 提升至 2.099301205。