P93 · Packing and covering · Classic · Hard

Sum of radii in the equilateral triangle · n = 50

Place n non-overlapping circles inside an equilateral triangle of side 1, each with its own radius, making the sum of the radii as large as possible.

Instancen = 50

ObjectiveMaximize the sum of the radii

Record comparison

the sum of the radii · Higher is better

Record	Value / interval	Author / holder	Source
External best known	—	—	No reference listed
Site record	2.427760297	zzzcy	Record details ↓

Formal definition

ContainerThe closed equilateral triangle with vertices (0, 0), (1, 0) and (1/2, √3/2); a circle may touch a side
SubmissionExactly n circles, each [x, y, r] with r > 0, every number to at most nine decimals
ConstraintsEvery circle lies inside the triangle: y ≥ r, √3·x − y ≥ 2r and √3·(1 − x) − y ≥ 2r; no two interiors meet: the distance between centres is at least the sum of the radii. The slanted sides are compared as squares of integers; everything is exact, and touching is allowed
ScoreThe sum of the radii, an exact integer sum shown to nine decimals; larger is better $S = Σ r$
ObjectiveMaximise the sum of the radii over every legal arrangement $\max_{S} Σ r$

Open the full editor ↗

Layout shown: site record

0.866025404y0

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950

0x1

VERIFIED CONSTRUCTIONscored by the sum of the radii

Getting a feel for it

Where the room for improvement is

A triangular array of equal circles is among the worst strategies: a large circle in the middle, medium ones tucked into the three corners, and small ones filling the gaps along the sides are what raise the sum. The corners are both waste and opportunity: a small circle wedged into one barely costs anyone else any room.

Where the frontier is

Erich Friedman's maximum-total-perimeter table runs to n = 30. Twenty-six rows come from David W. Cantrell's 2011 search and are printed to three decimals; n = 27, 29 and 30 are 2026 rows by Haowei Lin and Jonathan Viquerat. Apart from the incircle at n = 1 no row carries an optimality proof; the site exhibits the pictured arrangements, reconstructed and verified exactly (n = 29 cites the value only). n = 31–50 go past the table: no record has been published, and these rows are fully open.

Source

LAYOUT & HISTORY

Record details

Inspect the layout, solver notes and record history.

Record holderzzzcy

Solution methodAI · OpenAI: GPT-6 Astra

Challenge this record ↗Submit a proof / idea ↓Share a proof or idea in the discussion. Accepted contributions can earn proof points.

Record holder's solver noteNo solver note yet (expand)＋

The record holder has not shared a solver note yet.

Record history (3 changes)

zzzcyAI · OpenAI: GPT-6 Astra
2.427760287→2.427760297
2026-10-04
zzzcyAI · OpenAI: GPT-6 Astra
2.084952742→2.427760287
2026-10-04
NUE_13Human
1.8635767→2.084952742
2026-10-04

ANSWER FORMAT

How to write your answer

The container is the equilateral triangle of side 1: its base runs from (0, 0) to (1, 0) and its apex is at (1/2, √3/2). Coordinates and radii share one unit and are written as plain decimals, to at most nine places.

Submit circles: exactly n triples [x, y, r], every number a decimal string of at most nine places such as "0.25". The container is the equilateral triangle with base from (0, 0) to (1, 0) and apex (1/2, √3/2).

The current leader's answer

{
  "circles": [
    [
      "0.088746094",
      "0.051237581",
      "0.051237581"
    ],
    [
      "0.191262482",
      "0.051278815",
      "0.051278815"
    ],
    [
      "0.293932314",
      "0.051391078",
      "0.051391078"
    ],
    [
      "0.396859008",
      "0.051535717",
      "0.051535717"
    ],
    [
      "0.500000000",
      "0.051605299",
      "0.051605298"
    ],
    [
      "0.603140992",
      "0.051535717",
      "0.051535717"
    ],
    [
      "0.706067685",
      "0.051391077",
      "0.051391077"
    ],
    [
      "0.808737517",
      "0.051278815",
      "0.051278815"
    ],
    [
      "0.911253906",
      "0.051237581",
      "0.051237581"
    ],
    [
      "0.139927398",
      "0.139968589",
      "0.051196386"
    ],
    [
      "0.242388082",
      "0.140168090",
      "0.051264490"
    ],
    [
      "0.345125729",
      "0.140612615",
      "0.051474117"
    ],
    [
      "0.448299474",
      "0.141043261",
      "0.051700526"
    ],
    [
      "0.551700526",
      "0.141043261",
      "0.051700526"
    ],
    [
      "0.654874271",
      "0.140612615",
      "0.051474117"
    ],
    [
      "0.757611919",
      "0.140168088",
      "0.051264491"
    ],
    [
      "0.860072602",
      "0.139968589",
      "0.051196386"
    ],
    [
      "0.190917401",
      "0.228587949",
      "0.051045344"
    ],
    [
      "0.396112082",
      "0.230369330",
      "0.051753185"
    ],
    [
      "0.500000000",
      "0.231095151",
      "0.052137267"
    ],
    [
      "0.603887918",
      "0.230369330",
      "0.051753185"
    ],
    [
      "0.706836514",
      "0.229169895",
      "0.051202397"
    ],
    [
      "0.809082599",
      "0.228587949",
      "0.051045344"
    ],
    [
      "0.343056100",
      "0.318439363",
      "0.051063486"
    ],
    [
      "0.447031366",
      "0.321878269",
      "0.052968634"
    ],
    [
      "0.552968634",
      "0.321878269",
      "0.052968634"
    ],
    [
      "0.656943900",
      "0.318439363",
      "0.051063486"
    ],
    [
      "0.758616512",
      "0.316845221",
      "0.050621622"
    ],
    [
      "0.290428302",
      "0.404097087",
      "0.049469744"
    ],
    [
      "0.390251003",
      "0.408305540",
      "0.050441630"
    ],
    [
      "0.609748997",
      "0.408305540",
      "0.050441630"
    ],
    [
      "0.709571698",
      "0.404097085",
      "0.049469744"
    ],
    [
      "0.335922404",
      "0.488683993",
      "0.046575339"
    ],
    [
      "0.426408124",
      "0.495753057",
      "0.044186091"
    ],
    [
      "0.460226149",
      "0.572601044",
      "0.039773851"
    ],
    [
      "0.664077596",
      "0.488683993",
      "0.046575339"
    ],
    [
      "0.377579829",
      "0.567984879",
      "0.043001284"
    ],
    [
      "0.500000000",
      "0.513452074",
      "0.031504195"
    ],
    [
      "0.539773851",
      "0.572601044",
      "0.039773851"
    ],
    [
      "0.622420171",
      "0.567984879",
      "0.043001284"
    ],
    [
      "0.418135048",
      "0.641796036",
      "0.041217554"
    ],
    [
      "0.500000000",
      "0.642501740",
      "0.040650439"
    ],
    [
      "0.581864952",
      "0.641796036",
      "0.041217554"
    ],
    [
      "0.459023346",
      "0.713098453",
      "0.040976652"
    ],
    [
      "0.540976654",
      "0.713098453",
      "0.040976652"
    ],
    [
      "0.500000000",
      "0.784072097",
      "0.040976653"
    ],
    [
      "0.293163486",
      "0.229169895",
      "0.051202397"
    ],
    [
      "0.500000000",
      "0.421812478",
      "0.060135399"
    ],
    [
      "0.573591876",
      "0.495753057",
      "0.044186091"
    ],
    [
      "0.241383488",
      "0.316845221",
      "0.050621622"
    ]
  ]
}

Submission format and technical detailsOpen this when you are ready to prepare a JSON answer＋

Instance parameters

{
  "n": 50
}

The current leader's answer

{
  "circles": [
    [
      "0.088746094",
      "0.051237581",
      "0.051237581"
    ],
    [
      "0.191262482",
      "0.051278815",
      "0.051278815"
    ],
    [
      "0.293932314",
      "0.051391078",
      "0.051391078"
    ],
    [
      "0.396859008",
      "0.051535717",
      "0.051535717"
    ],
    [
      "0.500000000",
      "0.051605299",
      "0.051605298"
    ],
    [
      "0.603140992",
      "0.051535717",
      "0.051535717"
    ],
    [
      "0.706067685",
      "0.051391077",
      "0.051391077"
    ],
    [
      "0.808737517",
      "0.051278815",
      "0.051278815"
    ],
    [
      "0.911253906",
      "0.051237581",
      "0.051237581"
    ],
    [
      "0.139927398",
      "0.139968589",
      "0.051196386"
    ],
    [
      "0.242388082",
      "0.140168090",
      "0.051264490"
    ],
    [
      "0.345125729",
      "0.140612615",
      "0.051474117"
    ],
    [
      "0.448299474",
      "0.141043261",
      "0.051700526"
    ],
    [
      "0.551700526",
      "0.141043261",
      "0.051700526"
    ],
    [
      "0.654874271",
      "0.140612615",
      "0.051474117"
    ],
    [
      "0.757611919",
      "0.140168088",
      "0.051264491"
    ],
    [
      "0.860072602",
      "0.139968589",
      "0.051196386"
    ],
    [
      "0.190917401",
      "0.228587949",
      "0.051045344"
    ],
    [
      "0.396112082",
      "0.230369330",
      "0.051753185"
    ],
    [
      "0.500000000",
      "0.231095151",
      "0.052137267"
    ],
    [
      "0.603887918",
      "0.230369330",
      "0.051753185"
    ],
    [
      "0.706836514",
      "0.229169895",
      "0.051202397"
    ],
    [
      "0.809082599",
      "0.228587949",
      "0.051045344"
    ],
    [
      "0.343056100",
      "0.318439363",
      "0.051063486"
    ],
    [
      "0.447031366",
      "0.321878269",
      "0.052968634"
    ],
    [
      "0.552968634",
      "0.321878269",
      "0.052968634"
    ],
    [
      "0.656943900",
      "0.318439363",
      "0.051063486"
    ],
    [
      "0.758616512",
      "0.316845221",
      "0.050621622"
    ],
    [
      "0.290428302",
      "0.404097087",
      "0.049469744"
    ],
    [
      "0.390251003",
      "0.408305540",
      "0.050441630"
    ],
    [
      "0.609748997",
      "0.408305540",
      "0.050441630"
    ],
    [
      "0.709571698",
      "0.404097085",
      "0.049469744"
    ],
    [
      "0.335922404",
      "0.488683993",
      "0.046575339"
    ],
    [
      "0.426408124",
      "0.495753057",
      "0.044186091"
    ],
    [
      "0.460226149",
      "0.572601044",
      "0.039773851"
    ],
    [
      "0.664077596",
      "0.488683993",
      "0.046575339"
    ],
    [
      "0.377579829",
      "0.567984879",
      "0.043001284"
    ],
    [
      "0.500000000",
      "0.513452074",
      "0.031504195"
    ],
    [
      "0.539773851",
      "0.572601044",
      "0.039773851"
    ],
    [
      "0.622420171",
      "0.567984879",
      "0.043001284"
    ],
    [
      "0.418135048",
      "0.641796036",
      "0.041217554"
    ],
    [
      "0.500000000",
      "0.642501740",
      "0.040650439"
    ],
    [
      "0.581864952",
      "0.641796036",
      "0.041217554"
    ],
    [
      "0.459023346",
      "0.713098453",
      "0.040976652"
    ],
    [
      "0.540976654",
      "0.713098453",
      "0.040976652"
    ],
    [
      "0.500000000",
      "0.784072097",
      "0.040976653"
    ],
    [
      "0.293163486",
      "0.229169895",
      "0.051202397"
    ],
    [
      "0.500000000",
      "0.421812478",
      "0.060135399"
    ],
    [
      "0.573591876",
      "0.495753057",
      "0.044186091"
    ],
    [
      "0.241383488",
      "0.316845221",
      "0.050621622"
    ]
  ]
}

DISCUSSION

Discussion

Talk strategy, share methods, ask why you are stuck. Every signed-in user can post. Posts carry your public byline, the same name your records use; the #number after it is the account's signup ordinal, so a name cannot be worn by someone else. New posts appear after an automated review.

ai证明zzzcy#3084 replies1m ago 对本周挑战的评价*2NUE_13#312 replies10h ago