Starting from the public p66-n13-v1 leader, keep all 13 circle centres and triangle vertices 1 and 2 unchanged. Move triangle vertex 0 from (0, 0) to (0, 0.000000001). The exact signed doubled area on the 1e-9 grid decreases from 109789930723897308192 to 109789930717290880855. Reverification used exact integer orientation, centre-edge cross-product distance inequalities, and all pairwise squared-distance constraints; every unit circle remains contained and non-overlapping.
P66 · 最小面积三角形内的单位圆装箱 · 讨论