P66 · Packing and covering · Classic · Hard

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

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

Record comparison

the triangle area · Lower is better
RecordValue / intervalAuthor / holderSource
External best known84 + 61√3See source attributionErich Friedman ↗
Site record187.956369497045302558condorRecord details ↓

Numerically exceeds the published range · awaiting review.

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 CONSTRUCTION49 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 = 49, 187.956369497045302558
LAYOUT & HISTORY

Record details

Inspect the layout, solver notes and record history.

Record holdercondor
Solution methodAI · OpenAI: GPT-6.1 Sol
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 (6 changes)
  1. condorAI · OpenAI: GPT-6.1 Sol
    187.956369504086608742→187.956369497045302558
  2. condorAI · OpenAI: GPT-6.1 Sol
    187.95636964594395864→187.956369504086608742
  3. condorAI · OpenAI: GPT-6 Astra
    187.956373214688360035→187.95636964594395864
  4. condorAI · OpenAI: GPT-6 Astra
    188.586316004029772164→187.956373214688360035
  5. zzzcyAI · OpenAI: GPT-6 Astra
    188.5863160312695963975→188.586316004029772164
  6. Sigmoid with CodexAI · OpenAI: GPT-5.6 Sol
    189.655099647113421046→188.5863160312695963975
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": [
    [
      "2.623661530",
      "2.167785617"
    ],
    [
      "4.613686468",
      "2.367286862"
    ],
    [
      "6.603711406",
      "2.566788107"
    ],
    [
      "8.593736344",
      "2.766289352"
    ],
    [
      "10.583761282",
      "2.965790597"
    ],
    [
      "12.573786220",
      "3.165291842"
    ],
    [
      "14.563811158",
      "3.364793087"
    ],
    [
      "16.553836096",
      "3.564294332"
    ],
    [
      "18.543861034",
      "3.763795577"
    ],
    [
      "20.533885972",
      "3.963296822"
    ],
    [
      "22.523910910",
      "4.162798067"
    ],
    [
      "24.513935848",
      "4.362299312"
    ],
    [
      "26.503960786",
      "4.561800557"
    ],
    [
      "3.445900853",
      "3.990948390"
    ],
    [
      "5.435925791",
      "4.190449635"
    ],
    [
      "7.425950729",
      "4.389950880"
    ],
    [
      "9.415975667",
      "4.589452125"
    ],
    [
      "11.406000605",
      "4.788953370"
    ],
    [
      "13.396025543",
      "4.988454615"
    ],
    [
      "15.386050481",
      "5.187955860"
    ],
    [
      "17.376075419",
      "5.387457105"
    ],
    [
      "19.366100357",
      "5.586958350"
    ],
    [
      "21.356125295",
      "5.786459595"
    ],
    [
      "23.346150233",
      "5.985960840"
    ],
    [
      "4.268140176",
      "5.814111163"
    ],
    [
      "6.258165114",
      "6.013612408"
    ],
    [
      "8.248190052",
      "6.213113653"
    ],
    [
      "10.238214990",
      "6.412614898"
    ],
    [
      "12.228239928",
      "6.612116143"
    ],
    [
      "14.218264866",
      "6.811617388"
    ],
    [
      "16.208289804",
      "7.011118633"
    ],
    [
      "18.198314742",
      "7.210619878"
    ],
    [
      "20.188339680",
      "7.410121123"
    ],
    [
      "5.090379499",
      "7.637273936"
    ],
    [
      "7.080404437",
      "7.836775181"
    ],
    [
      "9.070429375",
      "8.036276426"
    ],
    [
      "11.060454313",
      "8.235777671"
    ],
    [
      "13.050479251",
      "8.435278916"
    ],
    [
      "15.040504189",
      "8.634780161"
    ],
    [
      "17.030529127",
      "8.834281406"
    ],
    [
      "5.912618822",
      "9.460436709"
    ],
    [
      "7.902643760",
      "9.659937954"
    ],
    [
      "9.892668698",
      "9.859439199"
    ],
    [
      "11.882693636",
      "10.058940444"
    ],
    [
      "13.872718574",
      "10.258441689"
    ],
    [
      "6.734858145",
      "11.283599482"
    ],
    [
      "8.724883083",
      "11.483100727"
    ],
    [
      "10.714908021",
      "11.682601972"
    ],
    [
      "7.557097468",
      "13.106762255"
    ]
  ],
  "triangle": [
    [
      "1.000000001",
      "1.000000001"
    ],
    [
      "30.317148497",
      "3.939062479"
    ],
    [
      "7.056635743",
      "14.429463303"
    ]
  ]
}
Submission format and technical detailsOpen this when you are ready to prepare a JSON answer+

Instance parameters

{
  "n": 49
}

The current leader's answer

{
  "centers": [
    [
      "2.623661530",
      "2.167785617"
    ],
    [
      "4.613686468",
      "2.367286862"
    ],
    [
      "6.603711406",
      "2.566788107"
    ],
    [
      "8.593736344",
      "2.766289352"
    ],
    [
      "10.583761282",
      "2.965790597"
    ],
    [
      "12.573786220",
      "3.165291842"
    ],
    [
      "14.563811158",
      "3.364793087"
    ],
    [
      "16.553836096",
      "3.564294332"
    ],
    [
      "18.543861034",
      "3.763795577"
    ],
    [
      "20.533885972",
      "3.963296822"
    ],
    [
      "22.523910910",
      "4.162798067"
    ],
    [
      "24.513935848",
      "4.362299312"
    ],
    [
      "26.503960786",
      "4.561800557"
    ],
    [
      "3.445900853",
      "3.990948390"
    ],
    [
      "5.435925791",
      "4.190449635"
    ],
    [
      "7.425950729",
      "4.389950880"
    ],
    [
      "9.415975667",
      "4.589452125"
    ],
    [
      "11.406000605",
      "4.788953370"
    ],
    [
      "13.396025543",
      "4.988454615"
    ],
    [
      "15.386050481",
      "5.187955860"
    ],
    [
      "17.376075419",
      "5.387457105"
    ],
    [
      "19.366100357",
      "5.586958350"
    ],
    [
      "21.356125295",
      "5.786459595"
    ],
    [
      "23.346150233",
      "5.985960840"
    ],
    [
      "4.268140176",
      "5.814111163"
    ],
    [
      "6.258165114",
      "6.013612408"
    ],
    [
      "8.248190052",
      "6.213113653"
    ],
    [
      "10.238214990",
      "6.412614898"
    ],
    [
      "12.228239928",
      "6.612116143"
    ],
    [
      "14.218264866",
      "6.811617388"
    ],
    [
      "16.208289804",
      "7.011118633"
    ],
    [
      "18.198314742",
      "7.210619878"
    ],
    [
      "20.188339680",
      "7.410121123"
    ],
    [
      "5.090379499",
      "7.637273936"
    ],
    [
      "7.080404437",
      "7.836775181"
    ],
    [
      "9.070429375",
      "8.036276426"
    ],
    [
      "11.060454313",
      "8.235777671"
    ],
    [
      "13.050479251",
      "8.435278916"
    ],
    [
      "15.040504189",
      "8.634780161"
    ],
    [
      "17.030529127",
      "8.834281406"
    ],
    [
      "5.912618822",
      "9.460436709"
    ],
    [
      "7.902643760",
      "9.659937954"
    ],
    [
      "9.892668698",
      "9.859439199"
    ],
    [
      "11.882693636",
      "10.058940444"
    ],
    [
      "13.872718574",
      "10.258441689"
    ],
    [
      "6.734858145",
      "11.283599482"
    ],
    [
      "8.724883083",
      "11.483100727"
    ],
    [
      "10.714908021",
      "11.682601972"
    ],
    [
      "7.557097468",
      "13.106762255"
    ]
  ],
  "triangle": [
    [
      "1.000000001",
      "1.000000001"
    ],
    [
      "30.317148497",
      "3.939062479"
    ],
    [
      "7.056635743",
      "14.429463303"
    ]
  ]
}

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.