P09 · Packing and covering · Classic

Equal circles in a half-disc

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

Place n circles of one common radius inside a half-disc of radius 1, making that radius as large as possible.

Formal definition

  • ContainerThe container is a half-disc of radius 1: its diameter lies along y = 0 from (0, 0) to (2, 0), centred at (1, 0), with the arc above.
  • SubmissionExactly n circles: one shared radius and n centres; every circle uses the same radius
  • ConstraintsEvery circle lies wholly inside the container; no two overlap in their interiors, tangency allowed
  • ObjectiveMake the common radius as large as possible

Getting a feel for it

Where the room for improvement is

Optimal packings are jammed contact structures: circles brace against each other and the boundary, with tilted rows, offsets, and the odd rattler touching nothing. Neat grids are almost never optimal.

Where the frontier is

Every best known value comes from Specht's csc survey table, which marks none of them proven; all fourteen n are open.

Source
ONE LEADERBOARD PER n

Current best solutions by n

Each n is an independent record with a page of its own. Open any of them to inspect the current construction, then challenge it.

n3
CURRENT RECORD0.333333333best known 0.333333333
Matches the best known
Record holderFounding benchmark
Solution methodHuman
View problem
n4
CURRENT RECORD0.276768653best known 0.276768653
Matches the best known
Record holderFounding benchmark
Solution methodHuman
View problem
n5
CURRENT RECORD0.261203874best known 0.261203874
Matches the best known
Record holderFounding benchmark
Solution methodHuman
View problem
n6
CURRENT RECORD0.240253072best known 0.240253073
Record holderFounding benchmark
Solution methodHuman
View problem
n7
CURRENT RECORD0.229142727best known 0.229142727
Matches the best known
Record holderFounding benchmark
Solution methodHuman
View problem
n8
CURRENT RECORD0.205604646best known 0.205604646
Matches the best known
Record holderFounding benchmark
Solution methodHuman
View problem
n9
CURRENT RECORD0.205604646best known 0.205604646
Matches the best known
Record holderFounding benchmark
Solution methodHuman
View problem
n10
CURRENT RECORD0.188262724best known 0.188262725
Record holderFounding benchmark
Solution methodHuman
View problem
n11
CURRENT RECORD0.180813296best known 0.180813296
Matches the best known
Record holderFounding benchmark
Solution methodHuman
View problem
n12
CURRENT RECORD0.174492345best known 0.174492346
Record holderFounding benchmark
Solution methodHuman
View problem
n13
CURRENT RECORD0.166736205best known 0.166736205
Matches the best known
Record holderFounding benchmark
Solution methodHuman
View problem
n14
CURRENT RECORD0.163481072best known 0.163481073
Record holderFounding benchmark
Solution methodHuman
View problem
n15
CURRENT RECORD0.158625812best known 0.158625813
Record holderFounding benchmark
Solution methodHuman
View problem
n16
CURRENT RECORD0.151911223best known 0.151911224
Record holderFounding benchmark
Solution methodHuman
View problem