P66 · Packing and covering · Classic · Hard

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

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 = 21
ObjectiveMinimize the triangle area

Record comparison

the triangle area · Lower is better
RecordValue / intervalAuthor / holderSource
External best known30 + 28√3See source attributionErich Friedman ↗
Site record78.497422628688281192condorRecord 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 CONSTRUCTION21 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 = 21, 78.497422628688281192
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
    78.497422638199315128→78.497422628688281192
  2. 邱仲普AI · OpenAI: GPT-5.6 Sol
    78.497422644931365936→78.497422638199315128
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": [
    [
      "34.340435997",
      "44.147645701"
    ],
    [
      "35.542518531",
      "42.549209721"
    ],
    [
      "36.744601065",
      "40.950773741"
    ],
    [
      "37.946683599",
      "39.352337761"
    ],
    [
      "39.148766133",
      "37.753901781"
    ],
    [
      "40.350848667",
      "36.155465801"
    ],
    [
      "36.325763429",
      "44.389461723"
    ],
    [
      "37.527845963",
      "42.791025743"
    ],
    [
      "38.729928497",
      "41.192589763"
    ],
    [
      "39.932011031",
      "39.594153783"
    ],
    [
      "41.134093565",
      "37.995717803"
    ],
    [
      "38.311090861",
      "44.631277745"
    ],
    [
      "39.513173395",
      "43.032841765"
    ],
    [
      "40.715255929",
      "41.434405785"
    ],
    [
      "41.917338463",
      "39.835969805"
    ],
    [
      "40.296418293",
      "44.873093767"
    ],
    [
      "41.498500827",
      "43.274657787"
    ],
    [
      "42.700583361",
      "41.676221807"
    ],
    [
      "42.281745725",
      "45.114909789"
    ],
    [
      "43.483828259",
      "43.516473809"
    ],
    [
      "44.267073157",
      "45.356725811"
    ]
  ],
  "triangle": [
    [
      "32.500183995",
      "44.930890599"
    ],
    [
      "40.592664689",
      "34.170138369"
    ],
    [
      "45.865509137",
      "46.558808345"
    ]
  ]
}
Submission format and technical detailsOpen this when you are ready to prepare a JSON answer+

Instance parameters

{
  "n": 21
}

The current leader's answer

{
  "centers": [
    [
      "34.340435997",
      "44.147645701"
    ],
    [
      "35.542518531",
      "42.549209721"
    ],
    [
      "36.744601065",
      "40.950773741"
    ],
    [
      "37.946683599",
      "39.352337761"
    ],
    [
      "39.148766133",
      "37.753901781"
    ],
    [
      "40.350848667",
      "36.155465801"
    ],
    [
      "36.325763429",
      "44.389461723"
    ],
    [
      "37.527845963",
      "42.791025743"
    ],
    [
      "38.729928497",
      "41.192589763"
    ],
    [
      "39.932011031",
      "39.594153783"
    ],
    [
      "41.134093565",
      "37.995717803"
    ],
    [
      "38.311090861",
      "44.631277745"
    ],
    [
      "39.513173395",
      "43.032841765"
    ],
    [
      "40.715255929",
      "41.434405785"
    ],
    [
      "41.917338463",
      "39.835969805"
    ],
    [
      "40.296418293",
      "44.873093767"
    ],
    [
      "41.498500827",
      "43.274657787"
    ],
    [
      "42.700583361",
      "41.676221807"
    ],
    [
      "42.281745725",
      "45.114909789"
    ],
    [
      "43.483828259",
      "43.516473809"
    ],
    [
      "44.267073157",
      "45.356725811"
    ]
  ],
  "triangle": [
    [
      "32.500183995",
      "44.930890599"
    ],
    [
      "40.592664689",
      "34.170138369"
    ],
    [
      "45.865509137",
      "46.558808345"
    ]
  ]
}

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.