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

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

邱仲普

Reproducible method: fetched the current public P80-w010 certificate, increased one incident polygon vertex y-coordinate by 0.008000000, then independently checked simplicity, endpoint reachability, and high-precision Chasles rotation-sweep clearance for every affected edge and motion. The integer 1e-9 area score increased from 1711105058 to 1711139968; the server verifier accepted the rounded certificate. Further progress can focus on similarly slack incident edges.