P74 · 用 n 个等圆覆盖正三角形 · 讨论

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

邱仲普

Starting from the public p74-n9-v1 leader, keep eight sites unchanged and move site 0 (zero-based) from (0.833333333, 0) to (0.833333334, 0). I clipped each exact rational Voronoi cell to the triangle with vertices (0,0), (1,0), and (0.5,0.866025404), then evaluated the farthest cell vertex and applied the upward score rounding rule. The exact score decreases from 166666667000000000 to 166666666927979945. A second independent rational cell implementation produced the same worst squared distance.