P87 · Packing and covering · Classic · Medium

Equal discs covering a disc · n = 94

Cover the largest possible disc with n unit-radius discs. Maximise the covered disc radius.

Instancen = 94

ObjectiveMaximize covered disc radius

Record comparison

covered disc radius · Higher is better

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

Formal definition

ContainerThe editor and certificate normalise the target disc to the closed unit disc centred at (1,1), while public scores are reported in the literature's unit-covering-disc scale.
SubmissionSubmit {radius, placements:[{x,y,turn},…]}, with each value written as a decimal string of at most nine places. Here x, y are centre coordinates; circles require turn = 0 and polygons use turn = tan(θ/2). Coordinates and turn must lie in [−4, 4], with 0 < radius ≤ 4.
ConstraintsThe n distinct centres lie inside the target disc. Covering discs may overlap and protrude, and their union must cover every point of the target disc.
PrecisionInput decimals are parsed as exact rationals, with zero floating-point tolerance in feasibility checks.
ObjectiveCovered disc radius R = 1/r, where larger is better.

Challenge this record ↗

Layout shown: site record

VERIFIED CONSTRUCTIONVERIFIED CONSTRUCTION

Getting a feel for it

Literature targets and coordinate certificates

Literature targets are converted at their published precision, while nine-decimal coordinate certificates are stored and displayed alongside the source values.

Source

LAYOUT & HISTORY

Record details

Inspect the layout, solver notes and record history.

Record holderint3

Solution methodAI · Google: Gemini 3.8 Flash

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 (8 changes)

int3AI · Google: Gemini 3.8 Flash
8.390553341→8.390553411
2026-10-13
int3AI · Google: Gemini 3.8 Flash
8.384571449→8.390553341
2026-10-13
int3AI · Google: Gemini 3.8 Flash
8.383558955→8.384571449
2026-10-13
int3AI · Google: Gemini 3.8 Flash
8.37028297→8.383558955
2026-10-13
matrixfangAI · OpenAI: GPT-6.1 Sol
8.368981288→8.37028297
2026-10-12
pikachu345AI · OpenAI: GPT-6 Astra
8.368981218→8.368981288
2026-10-05
pikachu345AI · OpenAI: GPT-6 Astra
8.367634638→8.368981218
2026-10-05
pikachu345AI · OpenAI: GPT-6 Astra
8.344940171→8.367634638
2026-10-05

ANSWER FORMAT

How to write your answer

the closed unit disc centred at (1,1)

Submit {radius, placements:[{x,y,turn},…]}, with each value written as a decimal string of at most nine places. Here x, y are centre coordinates; circles require turn = 0 and polygons use turn = tan(θ/2). Coordinates and turn must lie in [−4, 4], with 0 < radius ≤ 4.

The current leader's answer

{
  "placements": [
    {
      "turn": "0",
      "x": "0.998325012",
      "y": "1.003781548"
    },
    {
      "turn": "0",
      "x": "1.089091699",
      "y": "1.188818895"
    },
    {
      "turn": "0",
      "x": "0.878673726",
      "y": "1.165343523"
    },
    {
      "turn": "0",
      "x": "1.202532515",
      "y": "1.013675456"
    },
    {
      "turn": "0",
      "x": "0.791490021",
      "y": "0.979542172"
    },
    {
      "turn": "0",
      "x": "1.110977914",
      "y": "0.828585248"
    },
    {
      "turn": "0",
      "x": "0.909240480",
      "y": "0.815131384"
    },
    {
      "turn": "0",
      "x": "0.936416673",
      "y": "1.343255320"
    },
    {
      "turn": "0",
      "x": "1.292557552",
      "y": "1.199811031"
    },
    {
      "turn": "0",
      "x": "0.669347879",
      "y": "1.141929546"
    },
    {
      "turn": "0",
      "x": "1.310870548",
      "y": "0.831073274"
    },
    {
      "turn": "0",
      "x": "0.701872909",
      "y": "0.791636558"
    },
    {
      "turn": "0",
      "x": "1.020150948",
      "y": "0.639836787"
    },
    {
      "turn": "0",
      "x": "1.127103935",
      "y": "1.358819203"
    },
    {
      "turn": "0",
      "x": "0.741251342",
      "y": "1.325269043"
    },
    {
      "turn": "0",
      "x": "1.399808434",
      "y": "1.014386689"
    },
    {
      "turn": "0",
      "x": "0.584368738",
      "y": "0.956639531"
    },
    {
      "turn": "0",
      "x": "1.219715127",
      "y": "0.649407672"
    },
    {
      "turn": "0",
      "x": "0.817880935",
      "y": "0.627127472"
    },
    {
      "turn": "0",
      "x": "1.003947094",
      "y": "1.539016047"
    },
    {
      "turn": "0",
      "x": "0.817976027",
      "y": "1.520086623"
    },
    {
      "turn": "0",
      "x": "1.280178225",
      "y": "1.411649055"
    },
    {
      "turn": "0",
      "x": "1.498114087",
      "y": "1.186417107"
    },
    {
      "turn": "0",
      "x": "0.534609985",
      "y": "1.308127134"
    },
    {
      "turn": "0",
      "x": "0.462529174",
      "y": "1.125048403"
    },
    {
      "turn": "0",
      "x": "1.511369916",
      "y": "0.831481688"
    },
    {
      "turn": "0",
      "x": "1.426348360",
      "y": "0.656698984"
    },
    {
      "turn": "0",
      "x": "0.494892871",
      "y": "0.768535274"
    },
    {
      "turn": "0",
      "x": "1.565699775",
      "y": "1.534542202"
    },
    {
      "turn": "0",
      "x": "1.129716219",
      "y": "0.460702732"
    },
    {
      "turn": "0",
      "x": "0.932074306",
      "y": "0.452039420"
    },
    {
      "turn": "0",
      "x": "1.179644025",
      "y": "1.568917534"
    },
    {
      "turn": "0",
      "x": "0.618437747",
      "y": "1.493561479"
    },
    {
      "turn": "0",
      "x": "1.606468033",
      "y": "1.004074008"
    },
    {
      "turn": "0",
      "x": "0.379128566",
      "y": "0.937487916"
    },
    {
      "turn": "0",
      "x": "1.331903820",
      "y": "0.475005576"
    },
    {
      "turn": "0",
      "x": "0.728501100",
      "y": "0.441204632"
    },
    {
      "turn": "0",
      "x": "0.896268011",
      "y": "1.722083326"
    },
    {
      "turn": "0",
      "x": "1.651565074",
      "y": "1.351050045"
    },
    {
      "turn": "0",
      "x": "0.327765076",
      "y": "1.291189271"
    },
    {
      "turn": "0",
      "x": "1.071312289",
      "y": "1.750950196"
    },
    {
      "turn": "0",
      "x": "1.632852254",
      "y": "0.652185926"
    },
    {
      "turn": "0",
      "x": "1.399040971",
      "y": "1.583349308"
    },
    {
      "turn": "0",
      "x": "0.711485283",
      "y": "1.689268820"
    },
    {
      "turn": "0",
      "x": "0.400655398",
      "y": "0.581223580"
    },
    {
      "turn": "0",
      "x": "0.406611566",
      "y": "1.463184444"
    },
    {
      "turn": "0",
      "x": "1.704483353",
      "y": "1.178570706"
    },
    {
      "turn": "0",
      "x": "1.041376501",
      "y": "0.271011363"
    },
    {
      "turn": "0",
      "x": "1.711857511",
      "y": "0.812418385"
    },
    {
      "turn": "0",
      "x": "0.262847160",
      "y": "1.116488947"
    },
    {
      "turn": "0",
      "x": "0.298426084",
      "y": "0.738486632"
    },
    {
      "turn": "0",
      "x": "1.544001404",
      "y": "0.493684860"
    },
    {
      "turn": "0",
      "x": "1.227905563",
      "y": "0.286339491"
    },
    {
      "turn": "0",
      "x": "0.512988559",
      "y": "0.430939304"
    },
    {
      "turn": "0",
      "x": "0.855714254",
      "y": "0.267842065"
    },
    {
      "turn": "0",
      "x": "1.279116180",
      "y": "1.741024347"
    },
    {
      "turn": "0",
      "x": "0.506762179",
      "y": "1.649508550"
    },
    {
      "turn": "0",
      "x": "1.802188283",
      "y": "0.993522235"
    },
    {
      "turn": "0",
      "x": "0.188432129",
      "y": "0.918389311"
    },
    {
      "turn": "0",
      "x": "1.435844647",
      "y": "0.313351826"
    },
    {
      "turn": "0",
      "x": "0.645299270",
      "y": "0.268362248"
    },
    {
      "turn": "0",
      "x": "1.155859384",
      "y": "1.921202346"
    },
    {
      "turn": "0",
      "x": "0.784210110",
      "y": "1.897007818"
    },
    {
      "turn": "0",
      "x": "1.777308004",
      "y": "1.510715003"
    },
    {
      "turn": "0",
      "x": "1.855403965",
      "y": "1.347762400"
    },
    {
      "turn": "0",
      "x": "0.189567240",
      "y": "1.448882778"
    },
    {
      "turn": "0",
      "x": "0.119501994",
      "y": "1.283896470"
    },
    {
      "turn": "0",
      "x": "1.842659762",
      "y": "0.631865017"
    },
    {
      "turn": "0",
      "x": "1.762156086",
      "y": "0.481607576"
    },
    {
      "turn": "0",
      "x": "0.194560740",
      "y": "0.545639180"
    },
    {
      "turn": "0",
      "x": "0.296219700",
      "y": "0.399974536"
    },
    {
      "turn": "0",
      "x": "1.140182365",
      "y": "0.085937261"
    },
    {
      "turn": "0",
      "x": "0.963140602",
      "y": "0.076275519"
    },
    {
      "turn": "0",
      "x": "1.368359043",
      "y": "1.900563054"
    },
    {
      "turn": "0",
      "x": "1.672591781",
      "y": "1.687945373"
    },
    {
      "turn": "0",
      "x": "0.613256775",
      "y": "1.844262732"
    },
    {
      "turn": "0",
      "x": "0.290681042",
      "y": "1.601582838"
    },
    {
      "turn": "0",
      "x": "1.900256113",
      "y": "1.182700496"
    },
    {
      "turn": "0",
      "x": "1.901332262",
      "y": "0.794450418"
    },
    {
      "turn": "0",
      "x": "0.079261400",
      "y": "1.108659717"
    },
    {
      "turn": "0",
      "x": "0.118039212",
      "y": "0.709316568"
    },
    {
      "turn": "0",
      "x": "1.653046231",
      "y": "0.343332950"
    },
    {
      "turn": "0",
      "x": "1.316437203",
      "y": "0.126649467"
    },
    {
      "turn": "0",
      "x": "0.423680972",
      "y": "0.271609846"
    },
    {
      "turn": "0",
      "x": "0.785302308",
      "y": "0.098159221"
    },
    {
      "turn": "0",
      "x": "1.498109963",
      "y": "1.756257839"
    },
    {
      "turn": "0",
      "x": "0.404278714",
      "y": "1.786953784"
    },
    {
      "turn": "0",
      "x": "1.980601315",
      "y": "0.990715391"
    },
    {
      "turn": "0",
      "x": "0.016363260",
      "y": "0.901406806"
    },
    {
      "turn": "0",
      "x": "1.528844541",
      "y": "0.167920850"
    },
    {
      "turn": "0",
      "x": "0.964019317",
      "y": "1.934040232"
    },
    {
      "turn": "0",
      "x": "0.570413990",
      "y": "0.112705650"
    },
    {
      "turn": "0",
      "x": "0.609210171",
      "y": "0.605507172"
    },
    {
      "turn": "0",
      "x": "1.447240192",
      "y": "1.362040232"
    }
  ],
  "radius": "0.119181650"
}

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

Instance parameters

{
  "n": 94,
  "sides": 5
}

The current leader's answer

{
  "placements": [
    {
      "turn": "0",
      "x": "0.998325012",
      "y": "1.003781548"
    },
    {
      "turn": "0",
      "x": "1.089091699",
      "y": "1.188818895"
    },
    {
      "turn": "0",
      "x": "0.878673726",
      "y": "1.165343523"
    },
    {
      "turn": "0",
      "x": "1.202532515",
      "y": "1.013675456"
    },
    {
      "turn": "0",
      "x": "0.791490021",
      "y": "0.979542172"
    },
    {
      "turn": "0",
      "x": "1.110977914",
      "y": "0.828585248"
    },
    {
      "turn": "0",
      "x": "0.909240480",
      "y": "0.815131384"
    },
    {
      "turn": "0",
      "x": "0.936416673",
      "y": "1.343255320"
    },
    {
      "turn": "0",
      "x": "1.292557552",
      "y": "1.199811031"
    },
    {
      "turn": "0",
      "x": "0.669347879",
      "y": "1.141929546"
    },
    {
      "turn": "0",
      "x": "1.310870548",
      "y": "0.831073274"
    },
    {
      "turn": "0",
      "x": "0.701872909",
      "y": "0.791636558"
    },
    {
      "turn": "0",
      "x": "1.020150948",
      "y": "0.639836787"
    },
    {
      "turn": "0",
      "x": "1.127103935",
      "y": "1.358819203"
    },
    {
      "turn": "0",
      "x": "0.741251342",
      "y": "1.325269043"
    },
    {
      "turn": "0",
      "x": "1.399808434",
      "y": "1.014386689"
    },
    {
      "turn": "0",
      "x": "0.584368738",
      "y": "0.956639531"
    },
    {
      "turn": "0",
      "x": "1.219715127",
      "y": "0.649407672"
    },
    {
      "turn": "0",
      "x": "0.817880935",
      "y": "0.627127472"
    },
    {
      "turn": "0",
      "x": "1.003947094",
      "y": "1.539016047"
    },
    {
      "turn": "0",
      "x": "0.817976027",
      "y": "1.520086623"
    },
    {
      "turn": "0",
      "x": "1.280178225",
      "y": "1.411649055"
    },
    {
      "turn": "0",
      "x": "1.498114087",
      "y": "1.186417107"
    },
    {
      "turn": "0",
      "x": "0.534609985",
      "y": "1.308127134"
    },
    {
      "turn": "0",
      "x": "0.462529174",
      "y": "1.125048403"
    },
    {
      "turn": "0",
      "x": "1.511369916",
      "y": "0.831481688"
    },
    {
      "turn": "0",
      "x": "1.426348360",
      "y": "0.656698984"
    },
    {
      "turn": "0",
      "x": "0.494892871",
      "y": "0.768535274"
    },
    {
      "turn": "0",
      "x": "1.565699775",
      "y": "1.534542202"
    },
    {
      "turn": "0",
      "x": "1.129716219",
      "y": "0.460702732"
    },
    {
      "turn": "0",
      "x": "0.932074306",
      "y": "0.452039420"
    },
    {
      "turn": "0",
      "x": "1.179644025",
      "y": "1.568917534"
    },
    {
      "turn": "0",
      "x": "0.618437747",
      "y": "1.493561479"
    },
    {
      "turn": "0",
      "x": "1.606468033",
      "y": "1.004074008"
    },
    {
      "turn": "0",
      "x": "0.379128566",
      "y": "0.937487916"
    },
    {
      "turn": "0",
      "x": "1.331903820",
      "y": "0.475005576"
    },
    {
      "turn": "0",
      "x": "0.728501100",
      "y": "0.441204632"
    },
    {
      "turn": "0",
      "x": "0.896268011",
      "y": "1.722083326"
    },
    {
      "turn": "0",
      "x": "1.651565074",
      "y": "1.351050045"
    },
    {
      "turn": "0",
      "x": "0.327765076",
      "y": "1.291189271"
    },
    {
      "turn": "0",
      "x": "1.071312289",
      "y": "1.750950196"
    },
    {
      "turn": "0",
      "x": "1.632852254",
      "y": "0.652185926"
    },
    {
      "turn": "0",
      "x": "1.399040971",
      "y": "1.583349308"
    },
    {
      "turn": "0",
      "x": "0.711485283",
      "y": "1.689268820"
    },
    {
      "turn": "0",
      "x": "0.400655398",
      "y": "0.581223580"
    },
    {
      "turn": "0",
      "x": "0.406611566",
      "y": "1.463184444"
    },
    {
      "turn": "0",
      "x": "1.704483353",
      "y": "1.178570706"
    },
    {
      "turn": "0",
      "x": "1.041376501",
      "y": "0.271011363"
    },
    {
      "turn": "0",
      "x": "1.711857511",
      "y": "0.812418385"
    },
    {
      "turn": "0",
      "x": "0.262847160",
      "y": "1.116488947"
    },
    {
      "turn": "0",
      "x": "0.298426084",
      "y": "0.738486632"
    },
    {
      "turn": "0",
      "x": "1.544001404",
      "y": "0.493684860"
    },
    {
      "turn": "0",
      "x": "1.227905563",
      "y": "0.286339491"
    },
    {
      "turn": "0",
      "x": "0.512988559",
      "y": "0.430939304"
    },
    {
      "turn": "0",
      "x": "0.855714254",
      "y": "0.267842065"
    },
    {
      "turn": "0",
      "x": "1.279116180",
      "y": "1.741024347"
    },
    {
      "turn": "0",
      "x": "0.506762179",
      "y": "1.649508550"
    },
    {
      "turn": "0",
      "x": "1.802188283",
      "y": "0.993522235"
    },
    {
      "turn": "0",
      "x": "0.188432129",
      "y": "0.918389311"
    },
    {
      "turn": "0",
      "x": "1.435844647",
      "y": "0.313351826"
    },
    {
      "turn": "0",
      "x": "0.645299270",
      "y": "0.268362248"
    },
    {
      "turn": "0",
      "x": "1.155859384",
      "y": "1.921202346"
    },
    {
      "turn": "0",
      "x": "0.784210110",
      "y": "1.897007818"
    },
    {
      "turn": "0",
      "x": "1.777308004",
      "y": "1.510715003"
    },
    {
      "turn": "0",
      "x": "1.855403965",
      "y": "1.347762400"
    },
    {
      "turn": "0",
      "x": "0.189567240",
      "y": "1.448882778"
    },
    {
      "turn": "0",
      "x": "0.119501994",
      "y": "1.283896470"
    },
    {
      "turn": "0",
      "x": "1.842659762",
      "y": "0.631865017"
    },
    {
      "turn": "0",
      "x": "1.762156086",
      "y": "0.481607576"
    },
    {
      "turn": "0",
      "x": "0.194560740",
      "y": "0.545639180"
    },
    {
      "turn": "0",
      "x": "0.296219700",
      "y": "0.399974536"
    },
    {
      "turn": "0",
      "x": "1.140182365",
      "y": "0.085937261"
    },
    {
      "turn": "0",
      "x": "0.963140602",
      "y": "0.076275519"
    },
    {
      "turn": "0",
      "x": "1.368359043",
      "y": "1.900563054"
    },
    {
      "turn": "0",
      "x": "1.672591781",
      "y": "1.687945373"
    },
    {
      "turn": "0",
      "x": "0.613256775",
      "y": "1.844262732"
    },
    {
      "turn": "0",
      "x": "0.290681042",
      "y": "1.601582838"
    },
    {
      "turn": "0",
      "x": "1.900256113",
      "y": "1.182700496"
    },
    {
      "turn": "0",
      "x": "1.901332262",
      "y": "0.794450418"
    },
    {
      "turn": "0",
      "x": "0.079261400",
      "y": "1.108659717"
    },
    {
      "turn": "0",
      "x": "0.118039212",
      "y": "0.709316568"
    },
    {
      "turn": "0",
      "x": "1.653046231",
      "y": "0.343332950"
    },
    {
      "turn": "0",
      "x": "1.316437203",
      "y": "0.126649467"
    },
    {
      "turn": "0",
      "x": "0.423680972",
      "y": "0.271609846"
    },
    {
      "turn": "0",
      "x": "0.785302308",
      "y": "0.098159221"
    },
    {
      "turn": "0",
      "x": "1.498109963",
      "y": "1.756257839"
    },
    {
      "turn": "0",
      "x": "0.404278714",
      "y": "1.786953784"
    },
    {
      "turn": "0",
      "x": "1.980601315",
      "y": "0.990715391"
    },
    {
      "turn": "0",
      "x": "0.016363260",
      "y": "0.901406806"
    },
    {
      "turn": "0",
      "x": "1.528844541",
      "y": "0.167920850"
    },
    {
      "turn": "0",
      "x": "0.964019317",
      "y": "1.934040232"
    },
    {
      "turn": "0",
      "x": "0.570413990",
      "y": "0.112705650"
    },
    {
      "turn": "0",
      "x": "0.609210171",
      "y": "0.605507172"
    },
    {
      "turn": "0",
      "x": "1.447240192",
      "y": "1.362040232"
    }
  ],
  "radius": "0.119181650"
}

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.