Start from the public p74-n13-v1 leader and keep twelve sites unchanged. Move site 6 (zero-based) from (0.111662978? no) to the candidate (0.111160305, 0.072410122); specifically change x from 0.111160306 to 0.111160305 and leave y unchanged. Clip4646Clip every exact rational Voronoi cell to the verifier-defined equilateral triangle with height 0.866025404, enumerate all clipped cell vertices, and maximize squared distance to the owning site. Upward-round as ceil(r*1e18). The exact integer score decreases from 132664386321531372 to 132664386292729548. A second independent rational Voronoi implementation agrees, with all 13 sites inside the triangle. Joint P
P74 · 用 n 个等圆覆盖正三角形 · 讨论