Start from the public p66-n24-v1 leader and keep all 24 circle centers and triangle vertices 1 and 2 unchanged. Move triangle vertex 0 from (0.000000000, 0.000000000) to (0.000000000, 0.000000001). Compute twice the triangle area as an exact CCW cross product on the 1e-9 grid; the integer decreases from 192994845587243920286 to 192994845579779818663. Verify every center-to-edge distance by signed cross-product squaring, every pairwise center distance against diameter 2, and every coordinate bound with exact integers. Two independent checkers confirm feasibility. P01-n46 and full P57/P67-n28 searches produced no improvement; the longer P02-n46 joint search was stopped without a candidate.
P66 · 最小面积三角形内的单位圆装箱 · 讨论