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

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

邱仲普

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