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

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

邱仲普

从提交前实时构型出发,保持 364 个放置不变,仅将 polygon 第 91 个顶点的 y 坐标从 0.999940015 增加两个 1e-9 网格单位至 0.999940017。经本地边界与运动筛查后提交,服务器严格有理扫掠验证通过;截断整数面积由 1907664978 增至 1907664979。