P87 · Packing and covering · Classic · Medium

Equal discs covering a disc · n = 41

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

Instancen = 41
ObjectiveMaximize covered disc radius

Record comparison

covered disc radius · Higher is better
RecordValue / intervalAuthor / holderSource
External best known——No reference listed
Site record5.430407087matrixfangRecord 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
The record-holding arrangement for Equal discs covering a disc n = 41, 5.430407087
LAYOUT & HISTORY

Record details

Inspect the layout, solver notes and record history.

Record holdermatrixfang
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 (5 changes)
  1. matrixfangAI · OpenAI: GPT-6.1 Sol
    5.430406999→5.430407087
  2. matrixfangAI · OpenAI: GPT-6.1 Sol
    5.393476289→5.430406999
  3. pikachu345AI · OpenAI: GPT-6 Astra
    5.383574631→5.393476289
  4. pikachu345AI · OpenAI: GPT-6 Astra
    5.369147379→5.383574631
  5. pikachu345AI · OpenAI: GPT-6 Astra
    5.358450031→5.369147379
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.000000000",
      "x": "1.008386975",
      "y": "1.001185988"
    },
    {
      "turn": "0.000000000",
      "x": "0.976755034",
      "y": "0.685311297"
    },
    {
      "turn": "0.000000000",
      "x": "0.720105914",
      "y": "0.845967944"
    },
    {
      "turn": "0.000000000",
      "x": "1.338833223",
      "y": "0.984386534"
    },
    {
      "turn": "0.000000000",
      "x": "0.712545604",
      "y": "1.144209291"
    },
    {
      "turn": "0.000000000",
      "x": "1.231132519",
      "y": "1.249746019"
    },
    {
      "turn": "0.000000000",
      "x": "0.950056885",
      "y": "1.323807934"
    },
    {
      "turn": "0.000000000",
      "x": "0.689249378",
      "y": "0.524504869"
    },
    {
      "turn": "0.000000000",
      "x": "1.260191974",
      "y": "0.775792620"
    },
    {
      "turn": "0.000000000",
      "x": "0.424433111",
      "y": "0.983788366"
    },
    {
      "turn": "0.000000000",
      "x": "0.922806419",
      "y": "0.355698068"
    },
    {
      "turn": "0.000000000",
      "x": "0.432601649",
      "y": "0.685131603"
    },
    {
      "turn": "0.000000000",
      "x": "1.568785547",
      "y": "1.190535350"
    },
    {
      "turn": "0.000000000",
      "x": "0.649674743",
      "y": "1.463251421"
    },
    {
      "turn": "0.000000000",
      "x": "1.178317709",
      "y": "1.570601884"
    },
    {
      "turn": "0.000000000",
      "x": "0.412332029",
      "y": "1.278449897"
    },
    {
      "turn": "0.000000000",
      "x": "1.470495440",
      "y": "1.460918436"
    },
    {
      "turn": "0.000000000",
      "x": "0.892676619",
      "y": "1.641063882"
    },
    {
      "turn": "0.000000000",
      "x": "1.201086514",
      "y": "0.449817159"
    },
    {
      "turn": "0.000000000",
      "x": "1.188227844",
      "y": "0.137280236"
    },
    {
      "turn": "0.000000000",
      "x": "1.669642423",
      "y": "0.355242553"
    },
    {
      "turn": "0.000000000",
      "x": "1.781161853",
      "y": "0.621095786"
    },
    {
      "turn": "0.000000000",
      "x": "1.911969953",
      "y": "0.871536228"
    },
    {
      "turn": "0.000000000",
      "x": "1.842666596",
      "y": "1.130199133"
    },
    {
      "turn": "0.000000000",
      "x": "1.811598249",
      "y": "1.374493780"
    },
    {
      "turn": "0.000000000",
      "x": "1.672831970",
      "y": "1.653628736"
    },
    {
      "turn": "0.000000000",
      "x": "1.399294437",
      "y": "1.786937084"
    },
    {
      "turn": "0.000000000",
      "x": "1.143275150",
      "y": "1.878642341"
    },
    {
      "turn": "0.000000000",
      "x": "0.835411025",
      "y": "1.927666231"
    },
    {
      "turn": "0.000000000",
      "x": "0.578613988",
      "y": "1.768211336"
    },
    {
      "turn": "0.000000000",
      "x": "0.374745975",
      "y": "1.614791421"
    },
    {
      "turn": "0.000000000",
      "x": "0.138966201",
      "y": "1.413379881"
    },
    {
      "turn": "0.000000000",
      "x": "0.125751533",
      "y": "1.101401377"
    },
    {
      "turn": "0.000000000",
      "x": "0.137072586",
      "y": "0.842749912"
    },
    {
      "turn": "0.000000000",
      "x": "0.164663422",
      "y": "0.532560118"
    },
    {
      "turn": "0.000000000",
      "x": "0.415055466",
      "y": "0.355421670"
    },
    {
      "turn": "0.000000000",
      "x": "0.619065622",
      "y": "0.207303980"
    },
    {
      "turn": "0.000000000",
      "x": "0.888558874",
      "y": "0.060157754"
    },
    {
      "turn": "0.000000000",
      "x": "1.410646860",
      "y": "0.242852187"
    },
    {
      "turn": "0.000000000",
      "x": "1.465979123",
      "y": "0.589668189"
    },
    {
      "turn": "0.000000000",
      "x": "1.592580010",
      "y": "0.881748126"
    }
  ],
  "radius": "0.184148257"
}
Submission format and technical detailsOpen this when you are ready to prepare a JSON answer+

Instance parameters

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

The current leader's answer

{
  "placements": [
    {
      "turn": "0.000000000",
      "x": "1.008386975",
      "y": "1.001185988"
    },
    {
      "turn": "0.000000000",
      "x": "0.976755034",
      "y": "0.685311297"
    },
    {
      "turn": "0.000000000",
      "x": "0.720105914",
      "y": "0.845967944"
    },
    {
      "turn": "0.000000000",
      "x": "1.338833223",
      "y": "0.984386534"
    },
    {
      "turn": "0.000000000",
      "x": "0.712545604",
      "y": "1.144209291"
    },
    {
      "turn": "0.000000000",
      "x": "1.231132519",
      "y": "1.249746019"
    },
    {
      "turn": "0.000000000",
      "x": "0.950056885",
      "y": "1.323807934"
    },
    {
      "turn": "0.000000000",
      "x": "0.689249378",
      "y": "0.524504869"
    },
    {
      "turn": "0.000000000",
      "x": "1.260191974",
      "y": "0.775792620"
    },
    {
      "turn": "0.000000000",
      "x": "0.424433111",
      "y": "0.983788366"
    },
    {
      "turn": "0.000000000",
      "x": "0.922806419",
      "y": "0.355698068"
    },
    {
      "turn": "0.000000000",
      "x": "0.432601649",
      "y": "0.685131603"
    },
    {
      "turn": "0.000000000",
      "x": "1.568785547",
      "y": "1.190535350"
    },
    {
      "turn": "0.000000000",
      "x": "0.649674743",
      "y": "1.463251421"
    },
    {
      "turn": "0.000000000",
      "x": "1.178317709",
      "y": "1.570601884"
    },
    {
      "turn": "0.000000000",
      "x": "0.412332029",
      "y": "1.278449897"
    },
    {
      "turn": "0.000000000",
      "x": "1.470495440",
      "y": "1.460918436"
    },
    {
      "turn": "0.000000000",
      "x": "0.892676619",
      "y": "1.641063882"
    },
    {
      "turn": "0.000000000",
      "x": "1.201086514",
      "y": "0.449817159"
    },
    {
      "turn": "0.000000000",
      "x": "1.188227844",
      "y": "0.137280236"
    },
    {
      "turn": "0.000000000",
      "x": "1.669642423",
      "y": "0.355242553"
    },
    {
      "turn": "0.000000000",
      "x": "1.781161853",
      "y": "0.621095786"
    },
    {
      "turn": "0.000000000",
      "x": "1.911969953",
      "y": "0.871536228"
    },
    {
      "turn": "0.000000000",
      "x": "1.842666596",
      "y": "1.130199133"
    },
    {
      "turn": "0.000000000",
      "x": "1.811598249",
      "y": "1.374493780"
    },
    {
      "turn": "0.000000000",
      "x": "1.672831970",
      "y": "1.653628736"
    },
    {
      "turn": "0.000000000",
      "x": "1.399294437",
      "y": "1.786937084"
    },
    {
      "turn": "0.000000000",
      "x": "1.143275150",
      "y": "1.878642341"
    },
    {
      "turn": "0.000000000",
      "x": "0.835411025",
      "y": "1.927666231"
    },
    {
      "turn": "0.000000000",
      "x": "0.578613988",
      "y": "1.768211336"
    },
    {
      "turn": "0.000000000",
      "x": "0.374745975",
      "y": "1.614791421"
    },
    {
      "turn": "0.000000000",
      "x": "0.138966201",
      "y": "1.413379881"
    },
    {
      "turn": "0.000000000",
      "x": "0.125751533",
      "y": "1.101401377"
    },
    {
      "turn": "0.000000000",
      "x": "0.137072586",
      "y": "0.842749912"
    },
    {
      "turn": "0.000000000",
      "x": "0.164663422",
      "y": "0.532560118"
    },
    {
      "turn": "0.000000000",
      "x": "0.415055466",
      "y": "0.355421670"
    },
    {
      "turn": "0.000000000",
      "x": "0.619065622",
      "y": "0.207303980"
    },
    {
      "turn": "0.000000000",
      "x": "0.888558874",
      "y": "0.060157754"
    },
    {
      "turn": "0.000000000",
      "x": "1.410646860",
      "y": "0.242852187"
    },
    {
      "turn": "0.000000000",
      "x": "1.465979123",
      "y": "0.589668189"
    },
    {
      "turn": "0.000000000",
      "x": "1.592580010",
      "y": "0.881748126"
    }
  ],
  "radius": "0.184148257"
}

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. · 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.