P87 · Packing and covering · Classic · Medium

Equal discs covering a disc · n = 59

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

Instancen = 59
ObjectiveMaximize covered disc radius

Record comparison

covered disc radius · Higher is better
RecordValue / intervalAuthor / holderSource
External best known——No reference listed
Site record6.578732607pikachu345Record 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 = 59, 6.578732607
LAYOUT & HISTORY

Record details

Inspect the layout, solver notes and record history.

Record holderpikachu345
Solution methodAI · OpenAI: GPT-6 Astra
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. pikachu345AI · OpenAI: GPT-6 Astra
    6.578732477→6.578732607
  2. pikachu345AI · OpenAI: GPT-6 Astra
    6.546624315→6.578732477
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": "0.989871807",
      "y": "0.923154194"
    },
    {
      "turn": "0.000000000",
      "x": "0.906558201",
      "y": "1.185481308"
    },
    {
      "turn": "0.000000000",
      "x": "1.138308543",
      "y": "1.154936865"
    },
    {
      "turn": "0.000000000",
      "x": "0.751290446",
      "y": "0.992457554"
    },
    {
      "turn": "0.000000000",
      "x": "1.238262218",
      "y": "0.928275206"
    },
    {
      "turn": "0.000000000",
      "x": "0.826281560",
      "y": "0.722977361"
    },
    {
      "turn": "0.000000000",
      "x": "1.096010429",
      "y": "0.687427390"
    },
    {
      "turn": "0.000000000",
      "x": "1.054571481",
      "y": "1.414051079"
    },
    {
      "turn": "0.000000000",
      "x": "0.649987773",
      "y": "1.248810878"
    },
    {
      "turn": "0.000000000",
      "x": "1.402525927",
      "y": "1.149627170"
    },
    {
      "turn": "0.000000000",
      "x": "0.813557871",
      "y": "1.441114651"
    },
    {
      "turn": "0.000000000",
      "x": "1.294366878",
      "y": "1.377744548"
    },
    {
      "turn": "0.000000000",
      "x": "0.589819712",
      "y": "0.786505854"
    },
    {
      "turn": "0.000000000",
      "x": "1.340857456",
      "y": "0.687519899"
    },
    {
      "turn": "0.000000000",
      "x": "0.499402864",
      "y": "1.041821177"
    },
    {
      "turn": "0.000000000",
      "x": "1.494338134",
      "y": "0.910689794"
    },
    {
      "turn": "0.000000000",
      "x": "0.936237712",
      "y": "0.516215361"
    },
    {
      "turn": "0.000000000",
      "x": "0.654070965",
      "y": "0.518834713"
    },
    {
      "turn": "0.000000000",
      "x": "1.209447496",
      "y": "0.445636692"
    },
    {
      "turn": "0.000000000",
      "x": "0.967564290",
      "y": "1.668877648"
    },
    {
      "turn": "0.000000000",
      "x": "1.204632302",
      "y": "1.637632343"
    },
    {
      "turn": "0.000000000",
      "x": "0.543650927",
      "y": "1.488287754"
    },
    {
      "turn": "0.000000000",
      "x": "1.567279261",
      "y": "1.353374656"
    },
    {
      "turn": "0.000000000",
      "x": "0.397150221",
      "y": "1.297163889"
    },
    {
      "turn": "0.000000000",
      "x": "1.659257526",
      "y": "1.130819523"
    },
    {
      "turn": "0.000000000",
      "x": "0.713214165",
      "y": "1.679784753"
    },
    {
      "turn": "0.000000000",
      "x": "1.453122697",
      "y": "1.582265615"
    },
    {
      "turn": "0.000000000",
      "x": "0.342243414",
      "y": "0.825889092"
    },
    {
      "turn": "0.000000000",
      "x": "1.590183424",
      "y": "0.661411960"
    },
    {
      "turn": "0.000000000",
      "x": "0.421920401",
      "y": "0.572382821"
    },
    {
      "turn": "0.000000000",
      "x": "1.447544575",
      "y": "0.437206674"
    },
    {
      "turn": "0.000000000",
      "x": "0.769670579",
      "y": "0.325724170"
    },
    {
      "turn": "0.000000000",
      "x": "1.047761087",
      "y": "0.289072144"
    },
    {
      "turn": "0.000000000",
      "x": "0.250876597",
      "y": "1.080193804"
    },
    {
      "turn": "0.000000000",
      "x": "1.744319785",
      "y": "0.883359621"
    },
    {
      "turn": "0.000000000",
      "x": "1.118226189",
      "y": "1.897019484"
    },
    {
      "turn": "0.000000000",
      "x": "0.486897363",
      "y": "0.304564365"
    },
    {
      "turn": "0.000000000",
      "x": "1.315395519",
      "y": "0.195369212"
    },
    {
      "turn": "0.000000000",
      "x": "0.890031802",
      "y": "1.902185945"
    },
    {
      "turn": "0.000000000",
      "x": "1.339966647",
      "y": "1.842885023"
    },
    {
      "turn": "0.000000000",
      "x": "0.276094610",
      "y": "1.541601714"
    },
    {
      "turn": "0.000000000",
      "x": "1.839512365",
      "y": "1.335544959"
    },
    {
      "turn": "0.000000000",
      "x": "0.431048275",
      "y": "1.706644603"
    },
    {
      "turn": "0.000000000",
      "x": "1.732612294",
      "y": "1.535099885"
    },
    {
      "turn": "0.000000000",
      "x": "0.159311979",
      "y": "1.345937843"
    },
    {
      "turn": "0.000000000",
      "x": "1.901611087",
      "y": "1.116304722"
    },
    {
      "turn": "0.000000000",
      "x": "0.170170330",
      "y": "0.621395285"
    },
    {
      "turn": "0.000000000",
      "x": "1.703396691",
      "y": "0.419317723"
    },
    {
      "turn": "0.000000000",
      "x": "0.103972354",
      "y": "0.846030410"
    },
    {
      "turn": "0.000000000",
      "x": "1.825536391",
      "y": "0.619130148"
    },
    {
      "turn": "0.000000000",
      "x": "0.622843589",
      "y": "1.891612565"
    },
    {
      "turn": "0.000000000",
      "x": "1.595291197",
      "y": "1.763445031"
    },
    {
      "turn": "0.000000000",
      "x": "0.881193953",
      "y": "0.098580953"
    },
    {
      "turn": "0.000000000",
      "x": "0.261957136",
      "y": "0.365905730"
    },
    {
      "turn": "0.000000000",
      "x": "1.548547694",
      "y": "0.196334498"
    },
    {
      "turn": "0.000000000",
      "x": "0.612511128",
      "y": "0.109792085"
    },
    {
      "turn": "0.000000000",
      "x": "1.143606377",
      "y": "0.039794310"
    },
    {
      "turn": "0.000000000",
      "x": "0.025285737",
      "y": "1.107780176"
    },
    {
      "turn": "0.000000000",
      "x": "1.969354555",
      "y": "0.851554027"
    }
  ],
  "radius": "0.152004962"
}
Submission format and technical detailsOpen this when you are ready to prepare a JSON answer+

Instance parameters

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

The current leader's answer

{
  "placements": [
    {
      "turn": "0.000000000",
      "x": "0.989871807",
      "y": "0.923154194"
    },
    {
      "turn": "0.000000000",
      "x": "0.906558201",
      "y": "1.185481308"
    },
    {
      "turn": "0.000000000",
      "x": "1.138308543",
      "y": "1.154936865"
    },
    {
      "turn": "0.000000000",
      "x": "0.751290446",
      "y": "0.992457554"
    },
    {
      "turn": "0.000000000",
      "x": "1.238262218",
      "y": "0.928275206"
    },
    {
      "turn": "0.000000000",
      "x": "0.826281560",
      "y": "0.722977361"
    },
    {
      "turn": "0.000000000",
      "x": "1.096010429",
      "y": "0.687427390"
    },
    {
      "turn": "0.000000000",
      "x": "1.054571481",
      "y": "1.414051079"
    },
    {
      "turn": "0.000000000",
      "x": "0.649987773",
      "y": "1.248810878"
    },
    {
      "turn": "0.000000000",
      "x": "1.402525927",
      "y": "1.149627170"
    },
    {
      "turn": "0.000000000",
      "x": "0.813557871",
      "y": "1.441114651"
    },
    {
      "turn": "0.000000000",
      "x": "1.294366878",
      "y": "1.377744548"
    },
    {
      "turn": "0.000000000",
      "x": "0.589819712",
      "y": "0.786505854"
    },
    {
      "turn": "0.000000000",
      "x": "1.340857456",
      "y": "0.687519899"
    },
    {
      "turn": "0.000000000",
      "x": "0.499402864",
      "y": "1.041821177"
    },
    {
      "turn": "0.000000000",
      "x": "1.494338134",
      "y": "0.910689794"
    },
    {
      "turn": "0.000000000",
      "x": "0.936237712",
      "y": "0.516215361"
    },
    {
      "turn": "0.000000000",
      "x": "0.654070965",
      "y": "0.518834713"
    },
    {
      "turn": "0.000000000",
      "x": "1.209447496",
      "y": "0.445636692"
    },
    {
      "turn": "0.000000000",
      "x": "0.967564290",
      "y": "1.668877648"
    },
    {
      "turn": "0.000000000",
      "x": "1.204632302",
      "y": "1.637632343"
    },
    {
      "turn": "0.000000000",
      "x": "0.543650927",
      "y": "1.488287754"
    },
    {
      "turn": "0.000000000",
      "x": "1.567279261",
      "y": "1.353374656"
    },
    {
      "turn": "0.000000000",
      "x": "0.397150221",
      "y": "1.297163889"
    },
    {
      "turn": "0.000000000",
      "x": "1.659257526",
      "y": "1.130819523"
    },
    {
      "turn": "0.000000000",
      "x": "0.713214165",
      "y": "1.679784753"
    },
    {
      "turn": "0.000000000",
      "x": "1.453122697",
      "y": "1.582265615"
    },
    {
      "turn": "0.000000000",
      "x": "0.342243414",
      "y": "0.825889092"
    },
    {
      "turn": "0.000000000",
      "x": "1.590183424",
      "y": "0.661411960"
    },
    {
      "turn": "0.000000000",
      "x": "0.421920401",
      "y": "0.572382821"
    },
    {
      "turn": "0.000000000",
      "x": "1.447544575",
      "y": "0.437206674"
    },
    {
      "turn": "0.000000000",
      "x": "0.769670579",
      "y": "0.325724170"
    },
    {
      "turn": "0.000000000",
      "x": "1.047761087",
      "y": "0.289072144"
    },
    {
      "turn": "0.000000000",
      "x": "0.250876597",
      "y": "1.080193804"
    },
    {
      "turn": "0.000000000",
      "x": "1.744319785",
      "y": "0.883359621"
    },
    {
      "turn": "0.000000000",
      "x": "1.118226189",
      "y": "1.897019484"
    },
    {
      "turn": "0.000000000",
      "x": "0.486897363",
      "y": "0.304564365"
    },
    {
      "turn": "0.000000000",
      "x": "1.315395519",
      "y": "0.195369212"
    },
    {
      "turn": "0.000000000",
      "x": "0.890031802",
      "y": "1.902185945"
    },
    {
      "turn": "0.000000000",
      "x": "1.339966647",
      "y": "1.842885023"
    },
    {
      "turn": "0.000000000",
      "x": "0.276094610",
      "y": "1.541601714"
    },
    {
      "turn": "0.000000000",
      "x": "1.839512365",
      "y": "1.335544959"
    },
    {
      "turn": "0.000000000",
      "x": "0.431048275",
      "y": "1.706644603"
    },
    {
      "turn": "0.000000000",
      "x": "1.732612294",
      "y": "1.535099885"
    },
    {
      "turn": "0.000000000",
      "x": "0.159311979",
      "y": "1.345937843"
    },
    {
      "turn": "0.000000000",
      "x": "1.901611087",
      "y": "1.116304722"
    },
    {
      "turn": "0.000000000",
      "x": "0.170170330",
      "y": "0.621395285"
    },
    {
      "turn": "0.000000000",
      "x": "1.703396691",
      "y": "0.419317723"
    },
    {
      "turn": "0.000000000",
      "x": "0.103972354",
      "y": "0.846030410"
    },
    {
      "turn": "0.000000000",
      "x": "1.825536391",
      "y": "0.619130148"
    },
    {
      "turn": "0.000000000",
      "x": "0.622843589",
      "y": "1.891612565"
    },
    {
      "turn": "0.000000000",
      "x": "1.595291197",
      "y": "1.763445031"
    },
    {
      "turn": "0.000000000",
      "x": "0.881193953",
      "y": "0.098580953"
    },
    {
      "turn": "0.000000000",
      "x": "0.261957136",
      "y": "0.365905730"
    },
    {
      "turn": "0.000000000",
      "x": "1.548547694",
      "y": "0.196334498"
    },
    {
      "turn": "0.000000000",
      "x": "0.612511128",
      "y": "0.109792085"
    },
    {
      "turn": "0.000000000",
      "x": "1.143606377",
      "y": "0.039794310"
    },
    {
      "turn": "0.000000000",
      "x": "0.025285737",
      "y": "1.107780176"
    },
    {
      "turn": "0.000000000",
      "x": "1.969354555",
      "y": "0.851554027"
    }
  ],
  "radius": "0.152004962"
}

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.