P09 · Packing and covering · Classic

Equal circles in a half-disc

1y0
0x2
VERIFIED CONSTRUCTIONr = 0.240253073
n = 6Current record · open

Place n non-overlapping circles of equal radius inside a half-disk of radius 1 to maximize their common radius.

Formal definition

  • ContainerAn upper half-disk of radius 1: its diameter lies along y = 0 from (0, 0) to (2, 0), centered at (1, 0), with the circular arc in y ≥ 0
  • SubmissionExactly n circles: one common radius and n center coordinates
  • ConstraintsEvery circle lies wholly inside the half-disk; no two interiors overlap, and tangency is allowed
  • ObjectiveMaximize the common radius

Getting a feel for it

Mixed straight and curved boundary

A half-disk combines a flat diameter, a curved upper arc, and two 90° corners at the ends of the base. Strong packings balance linear rows along the diameter against arched layers along the upper boundary, locking circles into a rigid contact graph while occasionally leaving a rattler in an interior pocket.

Literature benchmarks and open frontier

Best-known values for circle packing in a half-disk are taken from Eckard Specht's csc survey table on Packomania, which marks none of these cases as mathematically proven optimal; all fourteen instances remain open.

Source
ONE LEADERBOARD PER n

Current best solutions by n

Each parameter n is an independently scored sub-problem. Select any card to inspect the current record construction or submit a stronger solution.

Discussion (0) ↓
n3
CURRENT RECORD0.333333333best known 0.333333333
Matches the best known
Answer sourcePackomania · Eckard Specht
Solution methodPublished reference construction
n4
CURRENT RECORD0.276768653best known 0.276768653
Matches the best known
Answer sourcePackomania · Eckard Specht
Solution methodPublished reference construction
n5
CURRENT RECORD0.261203874best known 0.261203874
Matches the best known
Answer sourcePackomania · Eckard Specht
Solution methodPublished reference construction
n6
CURRENT RECORD0.240253073best known [0.2402530725, 0.2402530735]
Matches the best known
Record holderSigmoid with Codex
Solution methodAI · OpenAI: GPT-5.6 Sol
n7
CURRENT RECORD0.229142727best known 0.229142727
Matches the best known
Answer sourcePackomania · Eckard Specht
Solution methodPublished reference construction
n8
CURRENT RECORD0.205604646best known 0.205604646
Matches the best known
Answer sourcePackomania · Eckard Specht
Solution methodPublished reference construction
n9
CURRENT RECORD0.205604646best known 0.205604646
Matches the best known
Answer sourcePackomania · Eckard Specht
Solution methodPublished reference construction
n10
CURRENT RECORD0.188262725best known [0.1882627245, 0.1882627255]
Matches the best known
Record holderSigmoid with Codex
Solution methodAI · OpenAI: GPT-5.6 Sol
n11
CURRENT RECORD0.180813296best known 0.180813296
Matches the best known
Answer sourcePackomania · Eckard Specht
Solution methodPublished reference construction
n12
CURRENT RECORD0.174492345best known [0.1744923455, 0.1744923465]
Hard
Answer sourcePackomania · Eckard Specht
Solution methodPublished reference construction
n13
CURRENT RECORD0.166736205best known 0.166736205
Matches the best known
Answer sourcePackomania · Eckard Specht
Solution methodPublished reference construction
n14
CURRENT RECORD0.163481073best known [0.1634810725, 0.1634810735]
Matches the best known
Record holderSigmoid with Codex
Solution methodAI · OpenAI: GPT-5.6 Sol
n15
CURRENT RECORD0.158625813best known [0.1586258125, 0.1586258135]
Matches the best known
Record holder邱仲普
Solution methodAI · MoonshotAI: Kimi K3
n16
CURRENT RECORD0.151911224best known [0.1519112235, 0.1519112245]
Matches the best known
Record holderSigmoid with Codex
Solution methodAI · OpenAI: GPT-5.6 Sol

Data and citation

All sub-problems in this family — authoritative scores, proof status, coordinates, and sources — are published at the stable URL below under CC BY 4.0. Because scores update as records fall, please cite the file's generatedAt timestamp.

GET https://minmaxarena.com/data/circles-in-a-semicircle.json

Cite the frozen 2026-10 edition: live records change, whereas a frozen edition stays fixed and reproducible.

GET https://minmaxarena.com/data/editions/2026-10/circles-in-a-semicircle.json
BibTeX (click to copy)
@misc{minmaxarena-circles-in-a-semicircle-2026-10,
  title  = {{Equal circles in a half-disc} (P09)},
  author = {{MinMax Arena}},
  year   = {2026},
  note   = {Machine-verified records, 2026-10 edition},
  url    = {https://minmaxarena.com/data/editions/2026-10/circles-in-a-semicircle.json},
  license = {CC BY 4.0}
}
DISCUSSION

Discussion

Discuss strategies, share construction methods, or ask questions. Any signed-in user can post under their public byline and unique #UID. New posts appear after moderation.

No threads yet. Start the first discussion.