P87 · Packing and covering · Classic · Easy

Equal discs covering a disc · n = 39

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

Instancen = 39
ObjectiveMaximize covered disc radius

Record comparison

covered disc radius · Higher is better
RecordValue / intervalAuthor / holderSource
External best known——No reference listed
Site recordNo player record yet——

Formal definition

  • ContainerThe editor and certificate normalize to the closed unit disc centred at (1,1). This is a coordinate convention only; scores use the literature's unit-piece scale. Boundary contact is allowed.
  • SubmissionSubmit {radius, placements:[{x,y,turn},…]}, with decimal strings of at most nine places. x,y are centres; circles require turn=0, polygons use turn=tan(θ/2). Coordinates and turn lie in ±4; 0 < radius ≤ 4.
  • ConstraintsThe n distinct centres lie in the target disc. Covering discs may overlap and protrude, but must cover every target point.
  • PrecisionInput decimals are exact rationals; regular-polygon vertices are algebraic, not rounded templates. Feasibility has no floating-point tolerance. A finite-decimal certificate is not a continuous optimality proof.
  • ObjectiveCovered disc radius R = 1/r, larger is better.
Open the full editor ↗

Layout shown: starter layout

VERIFIED CONSTRUCTIONVERIFIED CONSTRUCTION

Getting a feel for it

Source and certificate

External targets are converted with their printed precision; decimal coordinate certificates are separate. Reconstruction loss never lowers the literature target, and a source construction is not automatically an optimality proof.

Source
The current arrangement for Equal discs covering a disc n = 39
LAYOUT & HISTORY

Starter layout

Inspect the layout, solver notes and record history.

Challenge this record ↗Submit a proof / idea ↓Share a proof or idea in the discussion. Accepted contributions can earn proof points.
ANSWER FORMAT

How to write your answer

the closed unit disc centred at (1,1)

Submit {radius, placements:[{x,y,turn},…]}, with decimal strings of at most nine places. x,y are centres; circles require turn=0, polygons use turn=tan(θ/2). Coordinates and turn lie in ±4; 0 < radius ≤ 4.

Starter answer

{
  "placements": [
    {
      "turn": "0",
      "x": "0.967778870",
      "y": "1.016589012"
    },
    {
      "turn": "0",
      "x": "1.253633152",
      "y": "0.867822961"
    },
    {
      "turn": "0",
      "x": "0.976923391",
      "y": "0.685126278"
    },
    {
      "turn": "0",
      "x": "1.244473735",
      "y": "1.199258322"
    },
    {
      "turn": "0",
      "x": "0.691013949",
      "y": "0.834634688"
    },
    {
      "turn": "0",
      "x": "0.958038612",
      "y": "1.347716995"
    },
    {
      "turn": "0",
      "x": "0.681298736",
      "y": "1.165652009"
    },
    {
      "turn": "0",
      "x": "1.262722662",
      "y": "0.536447886"
    },
    {
      "turn": "0",
      "x": "1.530350897",
      "y": "1.050624009"
    },
    {
      "turn": "0",
      "x": "0.699907842",
      "y": "0.503302605"
    },
    {
      "turn": "0",
      "x": "1.234323922",
      "y": "1.530598732"
    },
    {
      "turn": "0",
      "x": "1.539531744",
      "y": "0.719201368"
    },
    {
      "turn": "0",
      "x": "0.404426985",
      "y": "0.983916214"
    },
    {
      "turn": "0",
      "x": "0.671417026",
      "y": "1.496569624"
    },
    {
      "turn": "0",
      "x": "0.978199430",
      "y": "0.357943646"
    },
    {
      "turn": "0",
      "x": "1.513009351",
      "y": "1.386071415"
    },
    {
      "turn": "0",
      "x": "0.417468494",
      "y": "0.651206976"
    },
    {
      "turn": "0",
      "x": "0.950815175",
      "y": "1.677340496"
    },
    {
      "turn": "0",
      "x": "0.394545273",
      "y": "1.314833837"
    },
    {
      "turn": "0",
      "x": "1.602675938",
      "y": "0.435929331"
    },
    {
      "turn": "0",
      "x": "1.808151014",
      "y": "0.830867514"
    },
    {
      "turn": "0",
      "x": "1.242296674",
      "y": "0.198228386"
    },
    {
      "turn": "0",
      "x": "1.795197385",
      "y": "1.262815407"
    },
    {
      "turn": "0",
      "x": "0.696022566",
      "y": "0.171315720"
    },
    {
      "turn": "0",
      "x": "1.503282926",
      "y": "1.724617811"
    },
    {
      "turn": "0",
      "x": "0.449412275",
      "y": "0.306748575"
    },
    {
      "turn": "0",
      "x": "1.251416683",
      "y": "1.848293859"
    },
    {
      "turn": "0",
      "x": "0.130878189",
      "y": "0.827465337"
    },
    {
      "turn": "0",
      "x": "0.642395872",
      "y": "1.810971872"
    },
    {
      "turn": "0",
      "x": "0.120278750",
      "y": "1.112526622"
    },
    {
      "turn": "0",
      "x": "0.403360583",
      "y": "1.655589339"
    },
    {
      "turn": "0",
      "x": "1.871009409",
      "y": "0.547030313"
    },
    {
      "turn": "0",
      "x": "0.996891065",
      "y": "0.040233507"
    },
    {
      "turn": "0",
      "x": "1.783247533",
      "y": "1.554150829"
    },
    {
      "turn": "0",
      "x": "0.167239898",
      "y": "0.491644384"
    },
    {
      "turn": "0",
      "x": "0.938515149",
      "y": "1.974162594"
    },
    {
      "turn": "0",
      "x": "0.129203817",
      "y": "1.453332245"
    },
    {
      "turn": "0",
      "x": "1.482621339",
      "y": "0.244725374"
    },
    {
      "turn": "0",
      "x": "1.895568090",
      "y": "1.039517999"
    }
  ],
  "radius": "0.189721236"
}
Submission format and technical detailsOpen this when you are ready to prepare a JSON answer+

Instance parameters

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

Starter answer

{
  "placements": [
    {
      "turn": "0",
      "x": "0.967778870",
      "y": "1.016589012"
    },
    {
      "turn": "0",
      "x": "1.253633152",
      "y": "0.867822961"
    },
    {
      "turn": "0",
      "x": "0.976923391",
      "y": "0.685126278"
    },
    {
      "turn": "0",
      "x": "1.244473735",
      "y": "1.199258322"
    },
    {
      "turn": "0",
      "x": "0.691013949",
      "y": "0.834634688"
    },
    {
      "turn": "0",
      "x": "0.958038612",
      "y": "1.347716995"
    },
    {
      "turn": "0",
      "x": "0.681298736",
      "y": "1.165652009"
    },
    {
      "turn": "0",
      "x": "1.262722662",
      "y": "0.536447886"
    },
    {
      "turn": "0",
      "x": "1.530350897",
      "y": "1.050624009"
    },
    {
      "turn": "0",
      "x": "0.699907842",
      "y": "0.503302605"
    },
    {
      "turn": "0",
      "x": "1.234323922",
      "y": "1.530598732"
    },
    {
      "turn": "0",
      "x": "1.539531744",
      "y": "0.719201368"
    },
    {
      "turn": "0",
      "x": "0.404426985",
      "y": "0.983916214"
    },
    {
      "turn": "0",
      "x": "0.671417026",
      "y": "1.496569624"
    },
    {
      "turn": "0",
      "x": "0.978199430",
      "y": "0.357943646"
    },
    {
      "turn": "0",
      "x": "1.513009351",
      "y": "1.386071415"
    },
    {
      "turn": "0",
      "x": "0.417468494",
      "y": "0.651206976"
    },
    {
      "turn": "0",
      "x": "0.950815175",
      "y": "1.677340496"
    },
    {
      "turn": "0",
      "x": "0.394545273",
      "y": "1.314833837"
    },
    {
      "turn": "0",
      "x": "1.602675938",
      "y": "0.435929331"
    },
    {
      "turn": "0",
      "x": "1.808151014",
      "y": "0.830867514"
    },
    {
      "turn": "0",
      "x": "1.242296674",
      "y": "0.198228386"
    },
    {
      "turn": "0",
      "x": "1.795197385",
      "y": "1.262815407"
    },
    {
      "turn": "0",
      "x": "0.696022566",
      "y": "0.171315720"
    },
    {
      "turn": "0",
      "x": "1.503282926",
      "y": "1.724617811"
    },
    {
      "turn": "0",
      "x": "0.449412275",
      "y": "0.306748575"
    },
    {
      "turn": "0",
      "x": "1.251416683",
      "y": "1.848293859"
    },
    {
      "turn": "0",
      "x": "0.130878189",
      "y": "0.827465337"
    },
    {
      "turn": "0",
      "x": "0.642395872",
      "y": "1.810971872"
    },
    {
      "turn": "0",
      "x": "0.120278750",
      "y": "1.112526622"
    },
    {
      "turn": "0",
      "x": "0.403360583",
      "y": "1.655589339"
    },
    {
      "turn": "0",
      "x": "1.871009409",
      "y": "0.547030313"
    },
    {
      "turn": "0",
      "x": "0.996891065",
      "y": "0.040233507"
    },
    {
      "turn": "0",
      "x": "1.783247533",
      "y": "1.554150829"
    },
    {
      "turn": "0",
      "x": "0.167239898",
      "y": "0.491644384"
    },
    {
      "turn": "0",
      "x": "0.938515149",
      "y": "1.974162594"
    },
    {
      "turn": "0",
      "x": "0.129203817",
      "y": "1.453332245"
    },
    {
      "turn": "0",
      "x": "1.482621339",
      "y": "0.244725374"
    },
    {
      "turn": "0",
      "x": "1.895568090",
      "y": "1.039517999"
    }
  ],
  "radius": "0.189721236"
}

Submit {radius, placements:[{x,y,turn},…]}, with decimal strings of at most nine places. x,y are centres; circles require turn=0, polygons use turn=tan(θ/2). Coordinates and turn lie in ±4; 0 < radius ≤ 4. · Verifier v1.0.0

DISCUSSION

Discussion

Talk strategy, share methods, ask why you are stuck. Every signed-in user can post. Posts carry your public byline, the same name your records use; the #number after it is the account's signup ordinal, so a name cannot be worn by someone else. New posts appear after an automated review.

No threads yet. Be the first to talk about this problem?