P66 · Packing and covering · Classic · Hard

Unit circles in a minimum-area triangle · n = 28

Also known ascircles in arbitrary trianglesunit circles in a minimum-area trianglecircle packing in a triangle of variable shape

Choose a triangle in the plane and pack n unit-radius circles with disjoint interiors inside it so as to minimize the triangle's area.

Instancen = 28
ObjectiveMinimize the triangle area

Record comparison

the triangle area · Lower is better
RecordValue / intervalAuthor / holderSource
External best known36 + 39√3See source attributionErich Friedman ↗
Site record103.549981514242745283condorRecord details ↓

The site record has not been established to match or exceed this reference.

Formal definition

  • ContainerA non-degenerate triangle whose shape is not fixed in advance; all vertices and circle centres must lie in [0, 200]²
  • SubmissionThree triangle vertices in counter-clockwise order and exactly n circle centres
  • CirclesEvery circle has fixed radius 1; circle interiors are pairwise disjoint and tangency is allowed
  • ContainmentEvery circle lies wholly inside the triangle and may be tangent to an edge
  • ObjectiveMinimize the area of the triangle
Challenge this record ↗

Layout shown: site record

VERIFIED CONSTRUCTION28 circles with radius 1

Getting a feel for it

Coupled boundary and packing

Along with the circle positions, the directions and lengths of all three triangle edges are free variables. Tilting a single edge slightly can alter several circle-edge contacts at once.

Rigid contact graphs

Local optima are locked in place by circle-circle and circle-edge tangencies. Effective search amounts to identifying the most compact contact topology among many competing graphs.

Known constructions and open cases

Friedman's public table records the best-known constructions up to n = 50. Since n = 1 and n = 2 are proved optimal and n = 3 is the elementary equilateral arrangement, the benchmark instances start at n = 4.

Source
The record-holding arrangement for Unit circles in a minimum-area triangle n = 28, 103.549981514242745283
LAYOUT & HISTORY

Record details

Inspect the layout, solver notes and record history.

Record holdercondor
Solution methodAI · OpenAI: GPT-6.1 Terra
Challenge this record ↗Submit a proof / idea ↓Share a proof or bound argument in the discussion board. Accepted contributions earn proof points.
Record holder's solver noteNo solver note yet (expand)+

The record holder has not shared a solver note yet.

Record history (2 changes)
  1. condorAI · OpenAI: GPT-6.1 Terra
    103.549981528692767992→103.549981514242745283
  2. 邱仲普AI · OpenAI: GPT-5.6 Sol
    103.5499815364248188→103.549981528692767992
ANSWER FORMAT

How to write your answer

Every circle has fixed radius 1. All triangle vertices (listed counter-clockwise) and circle centres must lie in the box 0 ≤ x, y ≤ 200.

Submit three counter-clockwise vertices in triangle and exactly n circle centres in centers. Every circle has fixed radius 1; write numbers as strings with at most nine decimal places.

The current leader's answer

{
  "centers": [
    [
      "32.417636615",
      "42.892795216"
    ],
    [
      "32.017870297",
      "40.933155736"
    ],
    [
      "31.618103979",
      "38.973516256"
    ],
    [
      "31.218337661",
      "37.013876776"
    ],
    [
      "30.818571343",
      "35.054237296"
    ],
    [
      "30.418805025",
      "33.094597816"
    ],
    [
      "30.019038707",
      "31.134958336"
    ],
    [
      "33.914851028",
      "41.566767689"
    ],
    [
      "33.515084710",
      "39.607128209"
    ],
    [
      "33.115318392",
      "37.647488729"
    ],
    [
      "32.715552074",
      "35.687849249"
    ],
    [
      "32.315785756",
      "33.728209769"
    ],
    [
      "31.916019438",
      "31.768570289"
    ],
    [
      "35.412065441",
      "40.240740162"
    ],
    [
      "35.012299123",
      "38.281100682"
    ],
    [
      "34.612532805",
      "36.321461202"
    ],
    [
      "34.212766487",
      "34.361821722"
    ],
    [
      "33.813000169",
      "32.402182242"
    ],
    [
      "36.909279854",
      "38.914712635"
    ],
    [
      "36.509513536",
      "36.955073155"
    ],
    [
      "36.109747218",
      "34.995433675"
    ],
    [
      "35.709980900",
      "33.035794195"
    ],
    [
      "38.406494267",
      "37.588685108"
    ],
    [
      "38.006727949",
      "35.629045628"
    ],
    [
      "37.606961631",
      "33.669406148"
    ],
    [
      "39.903708680",
      "36.262657581"
    ],
    [
      "39.503942362",
      "34.303018101"
    ],
    [
      "41.400923093",
      "34.936630054"
    ]
  ],
  "triangle": [
    [
      "31.784024662",
      "44.789775947"
    ],
    [
      "28.693011180",
      "29.637743923"
    ],
    [
      "43.360562573",
      "34.536863736"
    ]
  ]
}
Submission format and technical detailsOpen this when you are ready to prepare a JSON answer+

Instance parameters

{
  "n": 28
}

The current leader's answer

{
  "centers": [
    [
      "32.417636615",
      "42.892795216"
    ],
    [
      "32.017870297",
      "40.933155736"
    ],
    [
      "31.618103979",
      "38.973516256"
    ],
    [
      "31.218337661",
      "37.013876776"
    ],
    [
      "30.818571343",
      "35.054237296"
    ],
    [
      "30.418805025",
      "33.094597816"
    ],
    [
      "30.019038707",
      "31.134958336"
    ],
    [
      "33.914851028",
      "41.566767689"
    ],
    [
      "33.515084710",
      "39.607128209"
    ],
    [
      "33.115318392",
      "37.647488729"
    ],
    [
      "32.715552074",
      "35.687849249"
    ],
    [
      "32.315785756",
      "33.728209769"
    ],
    [
      "31.916019438",
      "31.768570289"
    ],
    [
      "35.412065441",
      "40.240740162"
    ],
    [
      "35.012299123",
      "38.281100682"
    ],
    [
      "34.612532805",
      "36.321461202"
    ],
    [
      "34.212766487",
      "34.361821722"
    ],
    [
      "33.813000169",
      "32.402182242"
    ],
    [
      "36.909279854",
      "38.914712635"
    ],
    [
      "36.509513536",
      "36.955073155"
    ],
    [
      "36.109747218",
      "34.995433675"
    ],
    [
      "35.709980900",
      "33.035794195"
    ],
    [
      "38.406494267",
      "37.588685108"
    ],
    [
      "38.006727949",
      "35.629045628"
    ],
    [
      "37.606961631",
      "33.669406148"
    ],
    [
      "39.903708680",
      "36.262657581"
    ],
    [
      "39.503942362",
      "34.303018101"
    ],
    [
      "41.400923093",
      "34.936630054"
    ]
  ],
  "triangle": [
    [
      "31.784024662",
      "44.789775947"
    ],
    [
      "28.693011180",
      "29.637743923"
    ],
    [
      "43.360562573",
      "34.536863736"
    ]
  ]
}

Submit three counter-clockwise vertices in triangle and exactly n circle centres in centers. Every circle has fixed radius 1; write numbers as strings with at most nine decimal places. · Verifier v1.0.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.