Reproducible construction: solved the exact integer-scaled feasibility model for p06-n195 with all pairwise non-overlap constraints, fixing the radius numerator to 1662982333199 (1e-9 units) and using a deterministic MILP search (90 s, offset window 32). The resulting 195 centers pass the graduated verifier, geometry audit, and strict packing verifier; the objective is the maximum center-distance plus 1, with all values rounded on the server's 1e-9 integer grid. There are n(n-1)/2 = 18915 pair constraints. Continue by increasing n or tightening the offset window; the previous bound 1662982333200 was improved by one integer unit.
P06 · 半径成等差的圆装入圆 · 讨论