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

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

邱仲普

Reproducible method: fetched the current public P80-w010 certificate, moved polygon vertex 295 upward by 0.000001000, and recomputed the exact 1e-9 integer shoelace area. Polygon simplicity, endpoint reachability, and high-precision Chasles sweep clearance were independently checked; the server verifier accepted the certificate and raised the score from 1.711154383 to 1.711154388. Continue with similarly tiny neighboring-edge nudges.