P82 · Packing and covering · Classic · Hard

Equal circles in regular polygons · m = 5 · n = 63

Pack n equal circles into the regular m-gon with centre (1,1), circumradius 1, and first vertex (2,1) so as to maximise their common radius.

Instancem = 5 · n = 63

ObjectiveMaximize circle radius

Record comparison

circle radius · Higher is better

Record	Value / interval	Author / holder	Source
External best known	[0.098454910554, 0.098454910556]	Eckard Specht	Packomania ↗
Site record	0.098454909	NUE_13	Record details ↓

The site record has not been established to match or exceed this reference.

Formal definition

ContainerThe editor and certificate normalise the container to the exact regular m-gon with centre (1,1), circumradius 1, and first vertex (2,1), while public scores follow the literature convention. Boundary contact is allowed.
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.
ConstraintsExactly n congruent pieces lie wholly inside the container with pairwise disjoint interiors. Polygons may rotate independently by arbitrary angles.
PrecisionInput decimals are parsed as exact rationals and regular-polygon vertices are defined algebraically, with zero floating-point tolerance in feasibility checks.
ObjectiveMaximise the circle radius r (with container circumradius fixed at 1).

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. Pentagon and hexagon rows n = 41–100 and octagon rows n = 41–48 cite Packomania's value and author without importing its coordinates; they start from an ordinary site grid baseline.

Source

LAYOUT & HISTORY

Record details

Inspect the layout, solver notes and record history.

Record holderNUE_13

Solution methodAI · DeepSeek: DeepSeek V4.1 Flash

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)

NUE_13AI · DeepSeek: DeepSeek V4.1 Flash
0.098454907→0.098454909
2026-11-01
NUE_13AI · DeepSeek: DeepSeek V4.1 Flash
0.051136364→0.098454907
2026-10-23

ANSWER FORMAT

How to write your answer

the regular m-gon with centre (1,1), circumradius 1, and first vertex (2,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.390580373",
      "y": "0.328707342"
    },
    {
      "turn": "0.000000000",
      "x": "1.506321062",
      "y": "0.488010734"
    },
    {
      "turn": "0.000000000",
      "x": "1.622061751",
      "y": "0.647314125"
    },
    {
      "turn": "0.000000000",
      "x": "1.737802440",
      "y": "0.806617517"
    },
    {
      "turn": "0.000000000",
      "x": "1.869807286",
      "y": "0.988467440"
    },
    {
      "turn": "0.000000000",
      "x": "1.270644427",
      "y": "0.165248640"
    },
    {
      "turn": "0.000000000",
      "x": "1.672939475",
      "y": "0.992537590"
    },
    {
      "turn": "0.000000000",
      "x": "1.197711897",
      "y": "0.368396492"
    },
    {
      "turn": "0.000000000",
      "x": "1.313452586",
      "y": "0.527699884"
    },
    {
      "turn": "0.000000000",
      "x": "1.429193275",
      "y": "0.687003276"
    },
    {
      "turn": "0.000000000",
      "x": "1.753029914",
      "y": "1.172423662"
    },
    {
      "turn": "0.000000000",
      "x": "1.524084822",
      "y": "0.861180246"
    },
    {
      "turn": "0.000000000",
      "x": "1.051970470",
      "y": "0.235984581"
    },
    {
      "turn": "0.000000000",
      "x": "1.557198786",
      "y": "1.151840981"
    },
    {
      "turn": "0.000000000",
      "x": "1.319063710",
      "y": "0.850236105"
    },
    {
      "turn": "0.000000000",
      "x": "1.011076854",
      "y": "0.431172588"
    },
    {
      "turn": "0.000000000",
      "x": "1.162609950",
      "y": "0.654269931"
    },
    {
      "turn": "0.000000000",
      "x": "1.637289225",
      "y": "1.331727054"
    },
    {
      "turn": "0.000000000",
      "x": "1.404327774",
      "y": "1.027728406"
    },
    {
      "turn": "0.000000000",
      "x": "0.864966046",
      "y": "0.297651615"
    },
    {
      "turn": "0.000000000",
      "x": "0.968143696",
      "y": "0.623344962"
    },
    {
      "turn": "0.000000000",
      "x": "1.122180736",
      "y": "0.846984632"
    },
    {
      "turn": "0.000000000",
      "x": "1.441458097",
      "y": "1.311144373"
    },
    {
      "turn": "0.000000000",
      "x": "0.823184116",
      "y": "0.490077569"
    },
    {
      "turn": "0.000000000",
      "x": "1.207444799",
      "y": "1.024476934"
    },
    {
      "turn": "0.000000000",
      "x": "1.521548537",
      "y": "1.491030446"
    },
    {
      "turn": "0.000000000",
      "x": "0.677429316",
      "y": "0.357680379"
    },
    {
      "turn": "0.000000000",
      "x": "1.272264453",
      "y": "1.210412111"
    },
    {
      "turn": "0.000000000",
      "x": "0.927714481",
      "y": "0.816059664"
    },
    {
      "turn": "0.000000000",
      "x": "0.780871327",
      "y": "0.684193443"
    },
    {
      "turn": "0.000000000",
      "x": "1.005982006",
      "y": "1.005954230"
    },
    {
      "turn": "0.000000000",
      "x": "1.325717408",
      "y": "1.470447765"
    },
    {
      "turn": "0.000000000",
      "x": "0.635911748",
      "y": "0.550926051"
    },
    {
      "turn": "0.000000000",
      "x": "1.076433325",
      "y": "1.189829430"
    },
    {
      "turn": "0.000000000",
      "x": "1.405807848",
      "y": "1.650333837"
    },
    {
      "turn": "0.000000000",
      "x": "0.490156948",
      "y": "0.418528861"
    },
    {
      "turn": "0.000000000",
      "x": "1.156523764",
      "y": "1.369715503"
    },
    {
      "turn": "0.000000000",
      "x": "0.811515752",
      "y": "0.975029261"
    },
    {
      "turn": "0.000000000",
      "x": "0.665039557",
      "y": "0.843430621"
    },
    {
      "turn": "0.000000000",
      "x": "0.881967071",
      "y": "1.158904462"
    },
    {
      "turn": "0.000000000",
      "x": "1.209976719",
      "y": "1.629751156"
    },
    {
      "turn": "0.000000000",
      "x": "0.448375018",
      "y": "0.610954815"
    },
    {
      "turn": "0.000000000",
      "x": "0.955589344",
      "y": "1.346727508"
    },
    {
      "turn": "0.000000000",
      "x": "1.286470109",
      "y": "1.814077232"
    },
    {
      "turn": "0.000000000",
      "x": "0.289544377",
      "y": "0.493966256"
    },
    {
      "turn": "0.000000000",
      "x": "1.040783076",
      "y": "1.529018894"
    },
    {
      "turn": "0.000000000",
      "x": "0.471626400",
      "y": "0.806487040"
    },
    {
      "turn": "0.000000000",
      "x": "0.648597851",
      "y": "1.085624176"
    },
    {
      "turn": "0.000000000",
      "x": "0.719049170",
      "y": "1.269499377"
    },
    {
      "turn": "0.000000000",
      "x": "1.072439834",
      "y": "1.770666318"
    },
    {
      "turn": "0.000000000",
      "x": "0.289437916",
      "y": "0.727197989"
    },
    {
      "turn": "0.000000000",
      "x": "0.844227611",
      "y": "1.517210968"
    },
    {
      "turn": "0.000000000",
      "x": "0.469682874",
      "y": "1.003387269"
    },
    {
      "turn": "0.000000000",
      "x": "0.885167465",
      "y": "1.709817837"
    },
    {
      "turn": "0.000000000",
      "x": "0.289437916",
      "y": "0.924107810"
    },
    {
      "turn": "0.000000000",
      "x": "0.487921112",
      "y": "1.199450637"
    },
    {
      "turn": "0.000000000",
      "x": "0.656955243",
      "y": "1.456362487"
    },
    {
      "turn": "0.000000000",
      "x": "0.697895097",
      "y": "1.648969356"
    },
    {
      "turn": "0.000000000",
      "x": "0.307676154",
      "y": "1.120171178"
    },
    {
      "turn": "0.000000000",
      "x": "0.469682874",
      "y": "1.395514006"
    },
    {
      "turn": "0.000000000",
      "x": "0.510622728",
      "y": "1.588120875"
    },
    {
      "turn": "0.000000000",
      "x": "0.289437916",
      "y": "1.316234546"
    },
    {
      "turn": "0.000000000",
      "x": "0.316514265",
      "y": "1.524735677"
    }
  ],
  "radius": "0.098454909"
}

Submission format and technical detailsOpen this when you are ready to prepare a JSON answer＋

Instance parameters

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

The current leader's answer

{
  "placements": [
    {
      "turn": "0.000000000",
      "x": "1.390580373",
      "y": "0.328707342"
    },
    {
      "turn": "0.000000000",
      "x": "1.506321062",
      "y": "0.488010734"
    },
    {
      "turn": "0.000000000",
      "x": "1.622061751",
      "y": "0.647314125"
    },
    {
      "turn": "0.000000000",
      "x": "1.737802440",
      "y": "0.806617517"
    },
    {
      "turn": "0.000000000",
      "x": "1.869807286",
      "y": "0.988467440"
    },
    {
      "turn": "0.000000000",
      "x": "1.270644427",
      "y": "0.165248640"
    },
    {
      "turn": "0.000000000",
      "x": "1.672939475",
      "y": "0.992537590"
    },
    {
      "turn": "0.000000000",
      "x": "1.197711897",
      "y": "0.368396492"
    },
    {
      "turn": "0.000000000",
      "x": "1.313452586",
      "y": "0.527699884"
    },
    {
      "turn": "0.000000000",
      "x": "1.429193275",
      "y": "0.687003276"
    },
    {
      "turn": "0.000000000",
      "x": "1.753029914",
      "y": "1.172423662"
    },
    {
      "turn": "0.000000000",
      "x": "1.524084822",
      "y": "0.861180246"
    },
    {
      "turn": "0.000000000",
      "x": "1.051970470",
      "y": "0.235984581"
    },
    {
      "turn": "0.000000000",
      "x": "1.557198786",
      "y": "1.151840981"
    },
    {
      "turn": "0.000000000",
      "x": "1.319063710",
      "y": "0.850236105"
    },
    {
      "turn": "0.000000000",
      "x": "1.011076854",
      "y": "0.431172588"
    },
    {
      "turn": "0.000000000",
      "x": "1.162609950",
      "y": "0.654269931"
    },
    {
      "turn": "0.000000000",
      "x": "1.637289225",
      "y": "1.331727054"
    },
    {
      "turn": "0.000000000",
      "x": "1.404327774",
      "y": "1.027728406"
    },
    {
      "turn": "0.000000000",
      "x": "0.864966046",
      "y": "0.297651615"
    },
    {
      "turn": "0.000000000",
      "x": "0.968143696",
      "y": "0.623344962"
    },
    {
      "turn": "0.000000000",
      "x": "1.122180736",
      "y": "0.846984632"
    },
    {
      "turn": "0.000000000",
      "x": "1.441458097",
      "y": "1.311144373"
    },
    {
      "turn": "0.000000000",
      "x": "0.823184116",
      "y": "0.490077569"
    },
    {
      "turn": "0.000000000",
      "x": "1.207444799",
      "y": "1.024476934"
    },
    {
      "turn": "0.000000000",
      "x": "1.521548537",
      "y": "1.491030446"
    },
    {
      "turn": "0.000000000",
      "x": "0.677429316",
      "y": "0.357680379"
    },
    {
      "turn": "0.000000000",
      "x": "1.272264453",
      "y": "1.210412111"
    },
    {
      "turn": "0.000000000",
      "x": "0.927714481",
      "y": "0.816059664"
    },
    {
      "turn": "0.000000000",
      "x": "0.780871327",
      "y": "0.684193443"
    },
    {
      "turn": "0.000000000",
      "x": "1.005982006",
      "y": "1.005954230"
    },
    {
      "turn": "0.000000000",
      "x": "1.325717408",
      "y": "1.470447765"
    },
    {
      "turn": "0.000000000",
      "x": "0.635911748",
      "y": "0.550926051"
    },
    {
      "turn": "0.000000000",
      "x": "1.076433325",
      "y": "1.189829430"
    },
    {
      "turn": "0.000000000",
      "x": "1.405807848",
      "y": "1.650333837"
    },
    {
      "turn": "0.000000000",
      "x": "0.490156948",
      "y": "0.418528861"
    },
    {
      "turn": "0.000000000",
      "x": "1.156523764",
      "y": "1.369715503"
    },
    {
      "turn": "0.000000000",
      "x": "0.811515752",
      "y": "0.975029261"
    },
    {
      "turn": "0.000000000",
      "x": "0.665039557",
      "y": "0.843430621"
    },
    {
      "turn": "0.000000000",
      "x": "0.881967071",
      "y": "1.158904462"
    },
    {
      "turn": "0.000000000",
      "x": "1.209976719",
      "y": "1.629751156"
    },
    {
      "turn": "0.000000000",
      "x": "0.448375018",
      "y": "0.610954815"
    },
    {
      "turn": "0.000000000",
      "x": "0.955589344",
      "y": "1.346727508"
    },
    {
      "turn": "0.000000000",
      "x": "1.286470109",
      "y": "1.814077232"
    },
    {
      "turn": "0.000000000",
      "x": "0.289544377",
      "y": "0.493966256"
    },
    {
      "turn": "0.000000000",
      "x": "1.040783076",
      "y": "1.529018894"
    },
    {
      "turn": "0.000000000",
      "x": "0.471626400",
      "y": "0.806487040"
    },
    {
      "turn": "0.000000000",
      "x": "0.648597851",
      "y": "1.085624176"
    },
    {
      "turn": "0.000000000",
      "x": "0.719049170",
      "y": "1.269499377"
    },
    {
      "turn": "0.000000000",
      "x": "1.072439834",
      "y": "1.770666318"
    },
    {
      "turn": "0.000000000",
      "x": "0.289437916",
      "y": "0.727197989"
    },
    {
      "turn": "0.000000000",
      "x": "0.844227611",
      "y": "1.517210968"
    },
    {
      "turn": "0.000000000",
      "x": "0.469682874",
      "y": "1.003387269"
    },
    {
      "turn": "0.000000000",
      "x": "0.885167465",
      "y": "1.709817837"
    },
    {
      "turn": "0.000000000",
      "x": "0.289437916",
      "y": "0.924107810"
    },
    {
      "turn": "0.000000000",
      "x": "0.487921112",
      "y": "1.199450637"
    },
    {
      "turn": "0.000000000",
      "x": "0.656955243",
      "y": "1.456362487"
    },
    {
      "turn": "0.000000000",
      "x": "0.697895097",
      "y": "1.648969356"
    },
    {
      "turn": "0.000000000",
      "x": "0.307676154",
      "y": "1.120171178"
    },
    {
      "turn": "0.000000000",
      "x": "0.469682874",
      "y": "1.395514006"
    },
    {
      "turn": "0.000000000",
      "x": "0.510622728",
      "y": "1.588120875"
    },
    {
      "turn": "0.000000000",
      "x": "0.289437916",
      "y": "1.316234546"
    },
    {
      "turn": "0.000000000",
      "x": "0.316514265",
      "y": "1.524735677"
    }
  ],
  "radius": "0.098454909"
}

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.

本题m=6，n=3的证明NUE_13#310 replies38d ago