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

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

邱仲普

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