P57 · Packing and covering · Classic · Weak baseline

Sum of radii in the unit square

1y0
0x1
VERIFIED CONSTRUCTIONscored by the sum of the radii
n = 26Current record · open

Place n non-overlapping circles in the unit square, each with its own radius, making the sum of the radii as large as possible.

Formal definition

  • ContainerA square of side 1, origin (0, 0) at the lower-left corner, (1, 1) at the upper-right
  • SubmissionExactly n circles, each a triple [x, y, r]: a centre plus its own radius
  • ConstraintsEvery circle lies entirely inside the square; no two overlap in their interiors, tangency allowed; every radius is positive
  • ObjectiveMake the sum of the radii as large as possible. Radii are nine-decimal numbers, and the sum is an exact integer sum

Getting a feel for it

Where the room for improvement is

Equal circles are one of the worst strategies here: a few large circles pressed into the walls, with small ones tucked into the gaps they leave, beat any uniform arrangement. The trade of one big circle for several small ones replays in every corner, and the optimum spans an order of magnitude in size.

Where the frontier is

This is problem 6.36 of AlphaEvolve's large-scale mathematical discovery runs. On EinsteinArena, n = 26 was pushed to the exact KKT optimum (the first 45 digits of the sum are known); almost no other n has a published value, and every one of them is 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.

n1
CURRENT RECORD0.5
Optimal
Record holderReference answer
Solution method
View problem
n2
CURRENT RECORD0.582687262
Record holderlird
Solution methodHuman
View problem
n3
CURRENT RECORD0.787231039
Record holderlird
Solution methodHuman
View problem
n4
CURRENT RECORD1
Record holderNUE_13
Solution methodHuman
View problem
n5
CURRENT RECORD1.10355339
Record holderNUE_13
Solution methodHuman
View problem
n6
CURRENT RECORD0.799999998
Record holderFounding benchmark
Solution methodHuman
View problem
n7
CURRENT RECORD0.933333331
Record holderFounding benchmark
Solution methodHuman
View problem
n8
CURRENT RECORD1.066666664
Record holderFounding benchmark
Solution methodHuman
View problem
n9
CURRENT RECORD1.199999997
Record holderFounding benchmark
Solution methodHuman
View problem
n10
CURRENT RECORD1
Record holderFounding benchmark
Solution methodHuman
View problem
n11
CURRENT RECORD1.1
Record holderFounding benchmark
Solution methodHuman
View problem
n12
CURRENT RECORD1.2
Record holderFounding benchmark
Solution methodHuman
View problem
n13
CURRENT RECORD1.3
Record holderFounding benchmark
Solution methodHuman
View problem
n14
CURRENT RECORD1.4
Record holderFounding benchmark
Solution methodHuman
View problem
n15
CURRENT RECORD1.5
Record holderFounding benchmark
Solution methodHuman
View problem
n16
CURRENT RECORD1.6
Record holderFounding benchmark
Solution methodHuman
View problem
n17
CURRENT RECORD1.36
Record holderFounding benchmark
Solution methodHuman
View problem
n18
CURRENT RECORD1.44
Record holderFounding benchmark
Solution methodHuman
View problem
n19
CURRENT RECORD1.52
Record holderFounding benchmark
Solution methodHuman
View problem
n20
CURRENT RECORD1.6
Record holderFounding benchmark
Solution methodHuman
View problem
n21
CURRENT RECORD1.68
Record holderFounding benchmark
Solution methodHuman
View problem
n22
CURRENT RECORD1.76
Record holderFounding benchmark
Solution methodHuman
View problem
n23
CURRENT RECORD1.84
Record holderFounding benchmark
Solution methodHuman
View problem
n24
CURRENT RECORD1.92
Record holderFounding benchmark
Solution methodHuman
View problem
n25
CURRENT RECORD2
Record holderFounding benchmark
Solution methodHuman
View problem
n26
CURRENT RECORD1.733333316best known 2.635983084
Record holderFounding benchmark
Solution methodHuman
View problem
n27
CURRENT RECORD1.799999982
Record holderFounding benchmark
Solution methodHuman
View problem
n28
CURRENT RECORD1.866666648
Record holderFounding benchmark
Solution methodHuman
View problem
n29
CURRENT RECORD1.933333314
Record holderFounding benchmark
Solution methodHuman
View problem
n30
CURRENT RECORD1.99999998
Record holderFounding benchmark
Solution methodHuman
View problem