Start from the public p66-n22-v1 leader and keep all 22 circle centers and triangle vertices 1 and 2 unchanged. Move triangle vertex 0 from (0.000000000, 0.000000000) to (0.000000001, 0.000000000). Compute twice the triangle area as an exact CCW cross product on the 1e-9 grid; the integer decreases from 178255488623851950896 to 178255488612410357632. 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-n43 and full P57/P67-n24 searches produced no improvement; the longer P02-n43 joint search was stopped without a candidate.
P66 · 最小面积三角形内的单位圆装箱 · 讨论