P87 · Packing and covering · Classic · Medium

Equal discs covering a disc · n = 60

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

Instancen = 60
ObjectiveMaximize covered disc radius

Record comparison

covered disc radius · Higher is better
RecordValue / intervalAuthor / holderSource
External best known——No reference listed
Site record6.644333202pikachu345Record 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 = 60, 6.644333202
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.644333069→6.644333202
  2. pikachu345AI · OpenAI: GPT-6 Astra
    6.616776655→6.644333069
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.965333593",
      "y": "0.955326423"
    },
    {
      "turn": "0.000000000",
      "x": "1.131906105",
      "y": "1.169983509"
    },
    {
      "turn": "0.000000000",
      "x": "1.230764646",
      "y": "0.948798129"
    },
    {
      "turn": "0.000000000",
      "x": "0.893100545",
      "y": "1.210823291"
    },
    {
      "turn": "0.000000000",
      "x": "1.076094526",
      "y": "0.751547042"
    },
    {
      "turn": "0.000000000",
      "x": "0.740433402",
      "y": "1.012017907"
    },
    {
      "turn": "0.000000000",
      "x": "0.800528914",
      "y": "0.742947493"
    },
    {
      "turn": "0.000000000",
      "x": "1.400147760",
      "y": "1.157550131"
    },
    {
      "turn": "0.000000000",
      "x": "1.053255017",
      "y": "1.426736660"
    },
    {
      "turn": "0.000000000",
      "x": "1.346130767",
      "y": "0.718192453"
    },
    {
      "turn": "0.000000000",
      "x": "0.641070728",
      "y": "1.265314491"
    },
    {
      "turn": "0.000000000",
      "x": "0.910668476",
      "y": "0.539346681"
    },
    {
      "turn": "0.000000000",
      "x": "0.575955993",
      "y": "0.799081407"
    },
    {
      "turn": "0.000000000",
      "x": "1.294871180",
      "y": "1.379991795"
    },
    {
      "turn": "0.000000000",
      "x": "1.494808267",
      "y": "0.929395770"
    },
    {
      "turn": "0.000000000",
      "x": "0.808741155",
      "y": "1.461779420"
    },
    {
      "turn": "0.000000000",
      "x": "1.175558469",
      "y": "0.526371462"
    },
    {
      "turn": "0.000000000",
      "x": "0.497612284",
      "y": "1.052453324"
    },
    {
      "turn": "0.000000000",
      "x": "0.635364748",
      "y": "0.530105302"
    },
    {
      "turn": "0.000000000",
      "x": "1.566736919",
      "y": "1.358764435"
    },
    {
      "turn": "0.000000000",
      "x": "1.206801634",
      "y": "1.638071891"
    },
    {
      "turn": "0.000000000",
      "x": "1.663290977",
      "y": "1.140112687"
    },
    {
      "turn": "0.000000000",
      "x": "0.971022581",
      "y": "1.677308493"
    },
    {
      "turn": "0.000000000",
      "x": "1.597575717",
      "y": "0.680933420"
    },
    {
      "turn": "0.000000000",
      "x": "0.542542301",
      "y": "1.499632539"
    },
    {
      "turn": "0.000000000",
      "x": "1.448330322",
      "y": "0.492096473"
    },
    {
      "turn": "0.000000000",
      "x": "0.396678757",
      "y": "1.308171297"
    },
    {
      "turn": "0.000000000",
      "x": "1.006803641",
      "y": "0.314875654"
    },
    {
      "turn": "0.000000000",
      "x": "0.334643931",
      "y": "0.836467249"
    },
    {
      "turn": "0.000000000",
      "x": "0.742225415",
      "y": "0.327199064"
    },
    {
      "turn": "0.000000000",
      "x": "0.412278829",
      "y": "0.583235484"
    },
    {
      "turn": "0.000000000",
      "x": "1.452041881",
      "y": "1.582533044"
    },
    {
      "turn": "0.000000000",
      "x": "1.745083782",
      "y": "0.894703575"
    },
    {
      "turn": "0.000000000",
      "x": "0.712989557",
      "y": "1.695602030"
    },
    {
      "turn": "0.000000000",
      "x": "1.271475917",
      "y": "0.301539713"
    },
    {
      "turn": "0.000000000",
      "x": "0.256004861",
      "y": "1.089538696"
    },
    {
      "turn": "0.000000000",
      "x": "0.468408690",
      "y": "0.314953952"
    },
    {
      "turn": "0.000000000",
      "x": "1.838298022",
      "y": "1.342637286"
    },
    {
      "turn": "0.000000000",
      "x": "1.123748210",
      "y": "1.897123327"
    },
    {
      "turn": "0.000000000",
      "x": "1.711491915",
      "y": "0.436592199"
    },
    {
      "turn": "0.000000000",
      "x": "0.277567159",
      "y": "1.549308552"
    },
    {
      "turn": "0.000000000",
      "x": "0.858294854",
      "y": "0.099657647"
    },
    {
      "turn": "0.000000000",
      "x": "0.163042659",
      "y": "0.639168861"
    },
    {
      "turn": "0.000000000",
      "x": "1.730255943",
      "y": "1.539552044"
    },
    {
      "turn": "0.000000000",
      "x": "1.341323655",
      "y": "1.841360989"
    },
    {
      "turn": "0.000000000",
      "x": "1.902779458",
      "y": "1.124691485"
    },
    {
      "turn": "0.000000000",
      "x": "0.896616949",
      "y": "1.905467095"
    },
    {
      "turn": "0.000000000",
      "x": "1.831789021",
      "y": "0.630252970"
    },
    {
      "turn": "0.000000000",
      "x": "0.435291600",
      "y": "1.713925952"
    },
    {
      "turn": "0.000000000",
      "x": "1.550349334",
      "y": "0.278372261"
    },
    {
      "turn": "0.000000000",
      "x": "0.164315909",
      "y": "1.353925250"
    },
    {
      "turn": "0.000000000",
      "x": "1.089617515",
      "y": "0.093600029"
    },
    {
      "turn": "0.000000000",
      "x": "0.099735005",
      "y": "0.861742465"
    },
    {
      "turn": "0.000000000",
      "x": "0.591174384",
      "y": "0.117550651"
    },
    {
      "turn": "0.000000000",
      "x": "0.246703980",
      "y": "0.384857460"
    },
    {
      "turn": "0.000000000",
      "x": "1.592912225",
      "y": "1.764068502"
    },
    {
      "turn": "0.000000000",
      "x": "1.967838744",
      "y": "0.862723152"
    },
    {
      "turn": "0.000000000",
      "x": "0.626698431",
      "y": "1.903439376"
    },
    {
      "turn": "0.000000000",
      "x": "1.358750128",
      "y": "0.091907982"
    },
    {
      "turn": "0.000000000",
      "x": "0.031267602",
      "y": "1.122025851"
    }
  ],
  "radius": "0.150504192"
}
Submission format and technical detailsOpen this when you are ready to prepare a JSON answer+

Instance parameters

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

The current leader's answer

{
  "placements": [
    {
      "turn": "0.000000000",
      "x": "0.965333593",
      "y": "0.955326423"
    },
    {
      "turn": "0.000000000",
      "x": "1.131906105",
      "y": "1.169983509"
    },
    {
      "turn": "0.000000000",
      "x": "1.230764646",
      "y": "0.948798129"
    },
    {
      "turn": "0.000000000",
      "x": "0.893100545",
      "y": "1.210823291"
    },
    {
      "turn": "0.000000000",
      "x": "1.076094526",
      "y": "0.751547042"
    },
    {
      "turn": "0.000000000",
      "x": "0.740433402",
      "y": "1.012017907"
    },
    {
      "turn": "0.000000000",
      "x": "0.800528914",
      "y": "0.742947493"
    },
    {
      "turn": "0.000000000",
      "x": "1.400147760",
      "y": "1.157550131"
    },
    {
      "turn": "0.000000000",
      "x": "1.053255017",
      "y": "1.426736660"
    },
    {
      "turn": "0.000000000",
      "x": "1.346130767",
      "y": "0.718192453"
    },
    {
      "turn": "0.000000000",
      "x": "0.641070728",
      "y": "1.265314491"
    },
    {
      "turn": "0.000000000",
      "x": "0.910668476",
      "y": "0.539346681"
    },
    {
      "turn": "0.000000000",
      "x": "0.575955993",
      "y": "0.799081407"
    },
    {
      "turn": "0.000000000",
      "x": "1.294871180",
      "y": "1.379991795"
    },
    {
      "turn": "0.000000000",
      "x": "1.494808267",
      "y": "0.929395770"
    },
    {
      "turn": "0.000000000",
      "x": "0.808741155",
      "y": "1.461779420"
    },
    {
      "turn": "0.000000000",
      "x": "1.175558469",
      "y": "0.526371462"
    },
    {
      "turn": "0.000000000",
      "x": "0.497612284",
      "y": "1.052453324"
    },
    {
      "turn": "0.000000000",
      "x": "0.635364748",
      "y": "0.530105302"
    },
    {
      "turn": "0.000000000",
      "x": "1.566736919",
      "y": "1.358764435"
    },
    {
      "turn": "0.000000000",
      "x": "1.206801634",
      "y": "1.638071891"
    },
    {
      "turn": "0.000000000",
      "x": "1.663290977",
      "y": "1.140112687"
    },
    {
      "turn": "0.000000000",
      "x": "0.971022581",
      "y": "1.677308493"
    },
    {
      "turn": "0.000000000",
      "x": "1.597575717",
      "y": "0.680933420"
    },
    {
      "turn": "0.000000000",
      "x": "0.542542301",
      "y": "1.499632539"
    },
    {
      "turn": "0.000000000",
      "x": "1.448330322",
      "y": "0.492096473"
    },
    {
      "turn": "0.000000000",
      "x": "0.396678757",
      "y": "1.308171297"
    },
    {
      "turn": "0.000000000",
      "x": "1.006803641",
      "y": "0.314875654"
    },
    {
      "turn": "0.000000000",
      "x": "0.334643931",
      "y": "0.836467249"
    },
    {
      "turn": "0.000000000",
      "x": "0.742225415",
      "y": "0.327199064"
    },
    {
      "turn": "0.000000000",
      "x": "0.412278829",
      "y": "0.583235484"
    },
    {
      "turn": "0.000000000",
      "x": "1.452041881",
      "y": "1.582533044"
    },
    {
      "turn": "0.000000000",
      "x": "1.745083782",
      "y": "0.894703575"
    },
    {
      "turn": "0.000000000",
      "x": "0.712989557",
      "y": "1.695602030"
    },
    {
      "turn": "0.000000000",
      "x": "1.271475917",
      "y": "0.301539713"
    },
    {
      "turn": "0.000000000",
      "x": "0.256004861",
      "y": "1.089538696"
    },
    {
      "turn": "0.000000000",
      "x": "0.468408690",
      "y": "0.314953952"
    },
    {
      "turn": "0.000000000",
      "x": "1.838298022",
      "y": "1.342637286"
    },
    {
      "turn": "0.000000000",
      "x": "1.123748210",
      "y": "1.897123327"
    },
    {
      "turn": "0.000000000",
      "x": "1.711491915",
      "y": "0.436592199"
    },
    {
      "turn": "0.000000000",
      "x": "0.277567159",
      "y": "1.549308552"
    },
    {
      "turn": "0.000000000",
      "x": "0.858294854",
      "y": "0.099657647"
    },
    {
      "turn": "0.000000000",
      "x": "0.163042659",
      "y": "0.639168861"
    },
    {
      "turn": "0.000000000",
      "x": "1.730255943",
      "y": "1.539552044"
    },
    {
      "turn": "0.000000000",
      "x": "1.341323655",
      "y": "1.841360989"
    },
    {
      "turn": "0.000000000",
      "x": "1.902779458",
      "y": "1.124691485"
    },
    {
      "turn": "0.000000000",
      "x": "0.896616949",
      "y": "1.905467095"
    },
    {
      "turn": "0.000000000",
      "x": "1.831789021",
      "y": "0.630252970"
    },
    {
      "turn": "0.000000000",
      "x": "0.435291600",
      "y": "1.713925952"
    },
    {
      "turn": "0.000000000",
      "x": "1.550349334",
      "y": "0.278372261"
    },
    {
      "turn": "0.000000000",
      "x": "0.164315909",
      "y": "1.353925250"
    },
    {
      "turn": "0.000000000",
      "x": "1.089617515",
      "y": "0.093600029"
    },
    {
      "turn": "0.000000000",
      "x": "0.099735005",
      "y": "0.861742465"
    },
    {
      "turn": "0.000000000",
      "x": "0.591174384",
      "y": "0.117550651"
    },
    {
      "turn": "0.000000000",
      "x": "0.246703980",
      "y": "0.384857460"
    },
    {
      "turn": "0.000000000",
      "x": "1.592912225",
      "y": "1.764068502"
    },
    {
      "turn": "0.000000000",
      "x": "1.967838744",
      "y": "0.862723152"
    },
    {
      "turn": "0.000000000",
      "x": "0.626698431",
      "y": "1.903439376"
    },
    {
      "turn": "0.000000000",
      "x": "1.358750128",
      "y": "0.091907982"
    },
    {
      "turn": "0.000000000",
      "x": "0.031267602",
      "y": "1.122025851"
    }
  ],
  "radius": "0.150504192"
}

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.