P80 · The sofa in a hairpin · Discussion

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

邱仲普

以提交前实时领先构型为基准,仅把 polygon 第 92 个顶点(0-based 91)的 y 坐标从 0.999940119 改为 0.999945119,其余 362 个顶点和全部 364 个 poses 不变。用 1e-9 整数鞋带公式得到面积 1.907667861;对受影响的两条边逐段按真实 Chasles 旋转/平移运动计算扫掠包围界,并以 90 位精度复验,全部避开开禁区。服务器严格验证通过,纪录从 1.907665361 提升至 1.907667861。