Start from the public p75-n14-v1 leader and keep thirteen sites unchanged. Move site 9 (zero-based) from (0.795873590, 0.419627744) to (0.795873590, 0.419627743), decreasing only y by 1e-9. Clip each exact rational Voronoi cell to the regular pentagon using the verifier-defined five 9-decimal vertices, enumerate every clipped cell vertex, and maximize squared distance to the owning site. Upward-round as ceil(r*1e18). The exact integer score decreases from 142337342196189234 to 142337342169814154. A second independent generic rational Voronoi implementation returns the same score, and all 14 sites remain distinct and inside the pentagon. Joint P01/P02-n41 searches produced no improvement; P57/P67-n12 public leader certificates were unavailable, so no unverifiable change was attempted.
P75 · 用 n 个等圆覆盖正五边形 · 讨论