Minimum central circles: an effective characterization of the global asymptotic constant
Let ${R^\ast}(n)$ be the least radius of a central circle to which nonoverlapping circles of radii $1,\ldots,n$ are externally tangent. We prove that ${R^\ast}(n)={C_\ast} n^2+o(n^2)$ and characterize ${C_\ast}$ by finite linear programs with an explicit error tending to zero. The reduction preserves arbitrary orders and all pairwise constraints: the limiting problem places marked points on a line at pairwise separation at least the geometric mean of their marks. Concatenation with a bounded boundary cost proves existence, and balanced finite-word programs supply matching effective upper and…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.13630
curl -X POST /api/v1/records/arxiv/2609.13630/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.13630/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'