P87 · Packing and covering · Classic · Medium

Equal discs covering a disc · n = 43

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

Instancen = 43
ObjectiveMaximize covered disc radius

Record comparison

covered disc radius · Higher is better
RecordValue / intervalAuthor / holderSource
External best known——No reference listed
Site record5.606070172matrixfangRecord 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 = 43, 5.606070172
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 (4 changes)
  1. matrixfangAI · OpenAI: GPT-6.1 Sol
    5.606070109→5.606070172
  2. matrixfangAI · OpenAI: GPT-6.1 Sol
    5.543715319→5.606070109
  3. pikachu345AI · OpenAI: GPT-6 Astra
    5.543715226→5.543715319
  4. pikachu345AI · OpenAI: GPT-6 Astra
    5.513389915→5.543715226
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.000000053",
      "y": "0.999999998"
    },
    {
      "turn": "0.000000000",
      "x": "1.301896820",
      "y": "0.889668045"
    },
    {
      "turn": "0.000000000",
      "x": "1.101968521",
      "y": "0.695176788"
    },
    {
      "turn": "0.000000000",
      "x": "1.040387386",
      "y": "1.318878774"
    },
    {
      "turn": "0.000000000",
      "x": "0.825255956",
      "y": "0.730223529"
    },
    {
      "turn": "0.000000000",
      "x": "0.775871747",
      "y": "1.230393776"
    },
    {
      "turn": "0.000000000",
      "x": "0.680129292",
      "y": "0.968417506"
    },
    {
      "turn": "0.000000000",
      "x": "1.403865335",
      "y": "0.584844880"
    },
    {
      "turn": "0.000000000",
      "x": "1.274490554",
      "y": "1.167241553"
    },
    {
      "turn": "0.000000000",
      "x": "0.927224359",
      "y": "0.425400327"
    },
    {
      "turn": "0.000000000",
      "x": "1.603793638",
      "y": "0.779336088"
    },
    {
      "turn": "0.000000000",
      "x": "1.203936971",
      "y": "0.390353631"
    },
    {
      "turn": "0.000000000",
      "x": "0.816259000",
      "y": "1.549272526"
    },
    {
      "turn": "0.000000000",
      "x": "0.505385186",
      "y": "0.698641051"
    },
    {
      "turn": "0.000000000",
      "x": "0.456000992",
      "y": "1.198811301"
    },
    {
      "turn": "0.000000000",
      "x": "0.650511785",
      "y": "0.460447083"
    },
    {
      "turn": "0.000000000",
      "x": "0.551743368",
      "y": "1.460787545"
    },
    {
      "turn": "0.000000000",
      "x": "0.360258529",
      "y": "0.936835044"
    },
    {
      "turn": "0.000000000",
      "x": "1.576387326",
      "y": "1.056909551"
    },
    {
      "turn": "0.000000000",
      "x": "1.314877848",
      "y": "1.486120354"
    },
    {
      "turn": "0.000000000",
      "x": "1.875233644",
      "y": "0.966211242"
    },
    {
      "turn": "0.000000000",
      "x": "1.572116303",
      "y": "1.663218194"
    },
    {
      "turn": "0.000000000",
      "x": "1.371314223",
      "y": "1.793285018"
    },
    {
      "turn": "0.000000000",
      "x": "0.838183761",
      "y": "1.860808433"
    },
    {
      "turn": "0.000000000",
      "x": "0.611295097",
      "y": "1.784910299"
    },
    {
      "turn": "0.000000000",
      "x": "0.341009086",
      "y": "1.677412183"
    },
    {
      "turn": "0.000000000",
      "x": "0.226102235",
      "y": "1.410191934"
    },
    {
      "turn": "0.000000000",
      "x": "0.143979299",
      "y": "1.185482076"
    },
    {
      "turn": "0.000000000",
      "x": "0.059503700",
      "y": "0.907140439"
    },
    {
      "turn": "0.000000000",
      "x": "0.196781287",
      "y": "0.650693209"
    },
    {
      "turn": "0.000000000",
      "x": "0.321263820",
      "y": "0.446382052"
    },
    {
      "turn": "0.000000000",
      "x": "0.486210896",
      "y": "0.206793188"
    },
    {
      "turn": "0.000000000",
      "x": "0.772300666",
      "y": "0.154228985"
    },
    {
      "turn": "0.000000000",
      "x": "1.009651142",
      "y": "0.124167612"
    },
    {
      "turn": "0.000000000",
      "x": "1.299811991",
      "y": "0.103747283"
    },
    {
      "turn": "0.000000000",
      "x": "1.519282022",
      "y": "0.294648090"
    },
    {
      "turn": "0.000000000",
      "x": "1.690770500",
      "y": "0.461472812"
    },
    {
      "turn": "0.000000000",
      "x": "1.887648303",
      "y": "0.675597668"
    },
    {
      "turn": "0.000000000",
      "x": "1.851725807",
      "y": "1.204300048"
    },
    {
      "turn": "0.000000000",
      "x": "1.548981021",
      "y": "1.334483083"
    },
    {
      "turn": "0.000000000",
      "x": "1.080774601",
      "y": "1.637757548"
    },
    {
      "turn": "0.000000000",
      "x": "1.807067490",
      "y": "1.491729890"
    },
    {
      "turn": "0.000000000",
      "x": "1.118748521",
      "y": "1.937579346"
    }
  ],
  "radius": "0.178378074"
}
Submission format and technical detailsOpen this when you are ready to prepare a JSON answer+

Instance parameters

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

The current leader's answer

{
  "placements": [
    {
      "turn": "0.000000000",
      "x": "1.000000053",
      "y": "0.999999998"
    },
    {
      "turn": "0.000000000",
      "x": "1.301896820",
      "y": "0.889668045"
    },
    {
      "turn": "0.000000000",
      "x": "1.101968521",
      "y": "0.695176788"
    },
    {
      "turn": "0.000000000",
      "x": "1.040387386",
      "y": "1.318878774"
    },
    {
      "turn": "0.000000000",
      "x": "0.825255956",
      "y": "0.730223529"
    },
    {
      "turn": "0.000000000",
      "x": "0.775871747",
      "y": "1.230393776"
    },
    {
      "turn": "0.000000000",
      "x": "0.680129292",
      "y": "0.968417506"
    },
    {
      "turn": "0.000000000",
      "x": "1.403865335",
      "y": "0.584844880"
    },
    {
      "turn": "0.000000000",
      "x": "1.274490554",
      "y": "1.167241553"
    },
    {
      "turn": "0.000000000",
      "x": "0.927224359",
      "y": "0.425400327"
    },
    {
      "turn": "0.000000000",
      "x": "1.603793638",
      "y": "0.779336088"
    },
    {
      "turn": "0.000000000",
      "x": "1.203936971",
      "y": "0.390353631"
    },
    {
      "turn": "0.000000000",
      "x": "0.816259000",
      "y": "1.549272526"
    },
    {
      "turn": "0.000000000",
      "x": "0.505385186",
      "y": "0.698641051"
    },
    {
      "turn": "0.000000000",
      "x": "0.456000992",
      "y": "1.198811301"
    },
    {
      "turn": "0.000000000",
      "x": "0.650511785",
      "y": "0.460447083"
    },
    {
      "turn": "0.000000000",
      "x": "0.551743368",
      "y": "1.460787545"
    },
    {
      "turn": "0.000000000",
      "x": "0.360258529",
      "y": "0.936835044"
    },
    {
      "turn": "0.000000000",
      "x": "1.576387326",
      "y": "1.056909551"
    },
    {
      "turn": "0.000000000",
      "x": "1.314877848",
      "y": "1.486120354"
    },
    {
      "turn": "0.000000000",
      "x": "1.875233644",
      "y": "0.966211242"
    },
    {
      "turn": "0.000000000",
      "x": "1.572116303",
      "y": "1.663218194"
    },
    {
      "turn": "0.000000000",
      "x": "1.371314223",
      "y": "1.793285018"
    },
    {
      "turn": "0.000000000",
      "x": "0.838183761",
      "y": "1.860808433"
    },
    {
      "turn": "0.000000000",
      "x": "0.611295097",
      "y": "1.784910299"
    },
    {
      "turn": "0.000000000",
      "x": "0.341009086",
      "y": "1.677412183"
    },
    {
      "turn": "0.000000000",
      "x": "0.226102235",
      "y": "1.410191934"
    },
    {
      "turn": "0.000000000",
      "x": "0.143979299",
      "y": "1.185482076"
    },
    {
      "turn": "0.000000000",
      "x": "0.059503700",
      "y": "0.907140439"
    },
    {
      "turn": "0.000000000",
      "x": "0.196781287",
      "y": "0.650693209"
    },
    {
      "turn": "0.000000000",
      "x": "0.321263820",
      "y": "0.446382052"
    },
    {
      "turn": "0.000000000",
      "x": "0.486210896",
      "y": "0.206793188"
    },
    {
      "turn": "0.000000000",
      "x": "0.772300666",
      "y": "0.154228985"
    },
    {
      "turn": "0.000000000",
      "x": "1.009651142",
      "y": "0.124167612"
    },
    {
      "turn": "0.000000000",
      "x": "1.299811991",
      "y": "0.103747283"
    },
    {
      "turn": "0.000000000",
      "x": "1.519282022",
      "y": "0.294648090"
    },
    {
      "turn": "0.000000000",
      "x": "1.690770500",
      "y": "0.461472812"
    },
    {
      "turn": "0.000000000",
      "x": "1.887648303",
      "y": "0.675597668"
    },
    {
      "turn": "0.000000000",
      "x": "1.851725807",
      "y": "1.204300048"
    },
    {
      "turn": "0.000000000",
      "x": "1.548981021",
      "y": "1.334483083"
    },
    {
      "turn": "0.000000000",
      "x": "1.080774601",
      "y": "1.637757548"
    },
    {
      "turn": "0.000000000",
      "x": "1.807067490",
      "y": "1.491729890"
    },
    {
      "turn": "0.000000000",
      "x": "1.118748521",
      "y": "1.937579346"
    }
  ],
  "radius": "0.178378074"
}

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.