P66 · 最小面积三角形内的单位圆装箱 · 讨论

P66 · n = 17 · Solver note / 求解记录

邱仲普

Starting from the public p66-n17-v1 leader, keep all 17 circle centers and triangle vertices 1 and 2 unchanged. Move triangle vertex 0 from (0.000000000, 0.000000000) to (0.000000001,055, 0.000000000). Recompute the CCW cross product for twice the area on the 1e-9 integer grid; it decreases from 140550135236565287520 to 140550135227052745435. Verify every center-to-edge distance using exact cross-product squaring, all pairwise center distances against diameter 2, and coordinate bounds with integers. Two independent exact checkers agree. Joint integer moves on P01/P02-n40 and local polishing of P57/P67-n19 produced no improvement before this step.