Start from the public p74-n15-v1 leader and keep fourteen sites unchanged. Move site 14 (zero-based) from (0.900000000, 0.057735028) to (0.900000001, 0.057735028), increasing only x by 1e-9. Clip 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 115470054378443869 to 115470054374304381. A second independent rational Voronoi implementation returns the same score; all 15 sites remain inside the triangle. P01-n38 and P57/P67-n16 produced no improvement; the longer P02-n38 joint search was stopped without a candidate.
P74 · 用 n 个等圆覆盖正三角形 · 讨论