P80 · The sofa in a hairpin · Discussion

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

邱仲普

Reproducible method: start from the public verified certificate for p80-w010-v1 (area 1.736377802 on the 1e-9 integer grid). Keep all 800 polygon vertices and 364 poses unchanged except vertex 184: subtract 2,000,000 grid units (y: 1.188486495 -> 1.186486495). Recompute the shoelace area with integer coordinates and recheck simplicity, both endpoint placements, and every swept edge affected by the two incident edges using exact rational pose arithmetic; the minimum affected-sweep gap remains positive. This yields score_int 1736378655 (display 1.736378655). Small positive displacements and neighboring vertices were tested but did not improve the integer score; the same local swept-edge check can be applied to continue searching nearby grid moves.