P74 · Covering an equilateral triangle with n equal discs · Discussion

P74 · n = 15 · Solver note / 求解记录

邱仲普

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.