P66 · Packing and covering · Classic · Hard

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

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

Record comparison

the triangle area · Lower is better
RecordValue / intervalAuthor / holderSource
External best known48 + 67√3See source attributionErich Friedman ↗
Site record164.047404138929743008condorRecord 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 CONSTRUCTION45 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 = 45, 164.047404138929743008
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
    164.04740415767967372→164.047404138929743008
  2. 邱仲普AI · OpenAI: GPT-5.6 Sol
    164.047404167411724528→164.04740415767967372
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": [
    [
      "49.892795768",
      "34.459407656"
    ],
    [
      "50.581855254",
      "32.581856851"
    ],
    [
      "51.270914740",
      "30.704306046"
    ],
    [
      "51.959974226",
      "28.826755241"
    ],
    [
      "52.649033712",
      "26.949204436"
    ],
    [
      "53.338093198",
      "25.071653631"
    ],
    [
      "54.027152684",
      "23.194102826"
    ],
    [
      "54.716212170",
      "21.316552021"
    ],
    [
      "55.405271656",
      "19.439001216"
    ],
    [
      "51.863332205",
      "34.117375273"
    ],
    [
      "52.552391691",
      "32.239824468"
    ],
    [
      "53.241451177",
      "30.362273663"
    ],
    [
      "53.930510663",
      "28.484722858"
    ],
    [
      "54.619570149",
      "26.607172053"
    ],
    [
      "55.308629635",
      "24.729621248"
    ],
    [
      "55.997689121",
      "22.852070443"
    ],
    [
      "56.686748607",
      "20.974519638"
    ],
    [
      "53.833868642",
      "33.775342890"
    ],
    [
      "54.522928128",
      "31.897792085"
    ],
    [
      "55.211987614",
      "30.020241280"
    ],
    [
      "55.901047100",
      "28.142690475"
    ],
    [
      "56.590106586",
      "26.265139670"
    ],
    [
      "57.279166072",
      "24.387588865"
    ],
    [
      "57.968225558",
      "22.510038060"
    ],
    [
      "55.804405079",
      "33.433310507"
    ],
    [
      "56.493464565",
      "31.555759702"
    ],
    [
      "57.182524051",
      "29.678208897"
    ],
    [
      "57.871583537",
      "27.800658092"
    ],
    [
      "58.560643023",
      "25.923107287"
    ],
    [
      "59.249702509",
      "24.045556482"
    ],
    [
      "57.774941516",
      "33.091278124"
    ],
    [
      "58.464001002",
      "31.213727319"
    ],
    [
      "59.153060488",
      "29.336176514"
    ],
    [
      "59.842119974",
      "27.458625709"
    ],
    [
      "60.531179460",
      "25.581074904"
    ],
    [
      "59.745477953",
      "32.749245741"
    ],
    [
      "60.434537439",
      "30.871694936"
    ],
    [
      "61.123596925",
      "28.994144131"
    ],
    [
      "61.812656411",
      "27.116593326"
    ],
    [
      "61.716014390",
      "32.407213358"
    ],
    [
      "62.405073876",
      "30.529662553"
    ],
    [
      "63.094133362",
      "28.652111748"
    ],
    [
      "63.686550827",
      "32.065180975"
    ],
    [
      "64.375610313",
      "30.187630170"
    ],
    [
      "65.657087264",
      "31.723148592"
    ]
  ],
  "triangle": [
    [
      "48.357277346",
      "35.740884607"
    ],
    [
      "55.063239273",
      "17.468464779"
    ],
    [
      "67.534638070",
      "32.412208079"
    ]
  ]
}
Submission format and technical detailsOpen this when you are ready to prepare a JSON answer+

Instance parameters

{
  "n": 45
}

The current leader's answer

{
  "centers": [
    [
      "49.892795768",
      "34.459407656"
    ],
    [
      "50.581855254",
      "32.581856851"
    ],
    [
      "51.270914740",
      "30.704306046"
    ],
    [
      "51.959974226",
      "28.826755241"
    ],
    [
      "52.649033712",
      "26.949204436"
    ],
    [
      "53.338093198",
      "25.071653631"
    ],
    [
      "54.027152684",
      "23.194102826"
    ],
    [
      "54.716212170",
      "21.316552021"
    ],
    [
      "55.405271656",
      "19.439001216"
    ],
    [
      "51.863332205",
      "34.117375273"
    ],
    [
      "52.552391691",
      "32.239824468"
    ],
    [
      "53.241451177",
      "30.362273663"
    ],
    [
      "53.930510663",
      "28.484722858"
    ],
    [
      "54.619570149",
      "26.607172053"
    ],
    [
      "55.308629635",
      "24.729621248"
    ],
    [
      "55.997689121",
      "22.852070443"
    ],
    [
      "56.686748607",
      "20.974519638"
    ],
    [
      "53.833868642",
      "33.775342890"
    ],
    [
      "54.522928128",
      "31.897792085"
    ],
    [
      "55.211987614",
      "30.020241280"
    ],
    [
      "55.901047100",
      "28.142690475"
    ],
    [
      "56.590106586",
      "26.265139670"
    ],
    [
      "57.279166072",
      "24.387588865"
    ],
    [
      "57.968225558",
      "22.510038060"
    ],
    [
      "55.804405079",
      "33.433310507"
    ],
    [
      "56.493464565",
      "31.555759702"
    ],
    [
      "57.182524051",
      "29.678208897"
    ],
    [
      "57.871583537",
      "27.800658092"
    ],
    [
      "58.560643023",
      "25.923107287"
    ],
    [
      "59.249702509",
      "24.045556482"
    ],
    [
      "57.774941516",
      "33.091278124"
    ],
    [
      "58.464001002",
      "31.213727319"
    ],
    [
      "59.153060488",
      "29.336176514"
    ],
    [
      "59.842119974",
      "27.458625709"
    ],
    [
      "60.531179460",
      "25.581074904"
    ],
    [
      "59.745477953",
      "32.749245741"
    ],
    [
      "60.434537439",
      "30.871694936"
    ],
    [
      "61.123596925",
      "28.994144131"
    ],
    [
      "61.812656411",
      "27.116593326"
    ],
    [
      "61.716014390",
      "32.407213358"
    ],
    [
      "62.405073876",
      "30.529662553"
    ],
    [
      "63.094133362",
      "28.652111748"
    ],
    [
      "63.686550827",
      "32.065180975"
    ],
    [
      "64.375610313",
      "30.187630170"
    ],
    [
      "65.657087264",
      "31.723148592"
    ]
  ],
  "triangle": [
    [
      "48.357277346",
      "35.740884607"
    ],
    [
      "55.063239273",
      "17.468464779"
    ],
    [
      "67.534638070",
      "32.412208079"
    ]
  ]
}

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.