P66 · Packing and covering · Classic · Hard

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

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 = 27
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.54998152436426135condorRecord 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 CONSTRUCTION27 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 = 27, 103.54998152436426135
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.54998152436426135
  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": [
    [
      "41.543840217",
      "31.658446322"
    ],
    [
      "43.520250323",
      "31.964719230"
    ],
    [
      "45.496660429",
      "32.270992138"
    ],
    [
      "47.473070535",
      "32.577265046"
    ],
    [
      "49.449480641",
      "32.883537954"
    ],
    [
      "51.425890747",
      "33.189810862"
    ],
    [
      "53.402300853",
      "33.496083770"
    ],
    [
      "42.266805151",
      "33.523204136"
    ],
    [
      "44.243215257",
      "33.829477044"
    ],
    [
      "46.219625363",
      "34.135749952"
    ],
    [
      "48.196035469",
      "34.442022860"
    ],
    [
      "50.172445575",
      "34.748295768"
    ],
    [
      "52.148855681",
      "35.054568676"
    ],
    [
      "42.989770085",
      "35.387961950"
    ],
    [
      "44.966180191",
      "35.694234858"
    ],
    [
      "46.942590297",
      "36.000507766"
    ],
    [
      "48.919000403",
      "36.306780674"
    ],
    [
      "50.895410509",
      "36.613053582"
    ],
    [
      "43.712735019",
      "37.252719764"
    ],
    [
      "45.689145125",
      "37.558992672"
    ],
    [
      "47.665555231",
      "37.865265580"
    ],
    [
      "49.641965337",
      "38.171538488"
    ],
    [
      "44.435699953",
      "39.117477578"
    ],
    [
      "46.412110059",
      "39.423750486"
    ],
    [
      "48.388520165",
      "39.730023394"
    ],
    [
      "45.158664887",
      "40.982235392"
    ],
    [
      "47.135074993",
      "41.288508300"
    ]
  ],
  "triangle": [
    [
      "39.985355311",
      "30.405001150"
    ],
    [
      "55.267058667",
      "32.773118836"
    ],
    [
      "45.575356913",
      "44.823403312"
    ]
  ]
}
Submission format and technical detailsOpen this when you are ready to prepare a JSON answer+

Instance parameters

{
  "n": 27
}

The current leader's answer

{
  "centers": [
    [
      "41.543840217",
      "31.658446322"
    ],
    [
      "43.520250323",
      "31.964719230"
    ],
    [
      "45.496660429",
      "32.270992138"
    ],
    [
      "47.473070535",
      "32.577265046"
    ],
    [
      "49.449480641",
      "32.883537954"
    ],
    [
      "51.425890747",
      "33.189810862"
    ],
    [
      "53.402300853",
      "33.496083770"
    ],
    [
      "42.266805151",
      "33.523204136"
    ],
    [
      "44.243215257",
      "33.829477044"
    ],
    [
      "46.219625363",
      "34.135749952"
    ],
    [
      "48.196035469",
      "34.442022860"
    ],
    [
      "50.172445575",
      "34.748295768"
    ],
    [
      "52.148855681",
      "35.054568676"
    ],
    [
      "42.989770085",
      "35.387961950"
    ],
    [
      "44.966180191",
      "35.694234858"
    ],
    [
      "46.942590297",
      "36.000507766"
    ],
    [
      "48.919000403",
      "36.306780674"
    ],
    [
      "50.895410509",
      "36.613053582"
    ],
    [
      "43.712735019",
      "37.252719764"
    ],
    [
      "45.689145125",
      "37.558992672"
    ],
    [
      "47.665555231",
      "37.865265580"
    ],
    [
      "49.641965337",
      "38.171538488"
    ],
    [
      "44.435699953",
      "39.117477578"
    ],
    [
      "46.412110059",
      "39.423750486"
    ],
    [
      "48.388520165",
      "39.730023394"
    ],
    [
      "45.158664887",
      "40.982235392"
    ],
    [
      "47.135074993",
      "41.288508300"
    ]
  ],
  "triangle": [
    [
      "39.985355311",
      "30.405001150"
    ],
    [
      "55.267058667",
      "32.773118836"
    ],
    [
      "45.575356913",
      "44.823403312"
    ]
  ]
}

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.