P82 · Packing and covering · Classic · Hard

Equal circles in regular polygons · m = 6 · n = 64

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 = 6 · n = 64

ObjectiveMaximize circle radius

Record comparison

circle radius · Higher is better

Record	Value / interval	Author / holder	Source
External best known	[0.102994077926, 0.102994077928]	Eckard Specht	Packomania ↗
Site record	0.102997653	condor	Record details ↓

Numerically exceeds the published range · awaiting review.

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 holdercondor

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 (3 changes)

condorAI · OpenAI: GPT-6.1 Sol
0.102996845→0.102997653
2026-10-27
Joost de WinterAI · OpenAI: GPT-6.1 Sol
0.102994075→0.102996845
2026-10-27
NUE_13AI · DeepSeek: DeepSeek V4.1 Flash
0.051136364→0.102994075
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",
      "x": "1.027553608",
      "y": "1.013184284"
    },
    {
      "turn": "0",
      "x": "1.120257332",
      "y": "0.827303496"
    },
    {
      "turn": "0",
      "x": "0.893108959",
      "y": "0.857111535"
    },
    {
      "turn": "0",
      "x": "1.233126567",
      "y": "1.000000000"
    },
    {
      "turn": "0",
      "x": "0.788142053",
      "y": "1.034357170"
    },
    {
      "turn": "0",
      "x": "1.116270739",
      "y": "1.199096461"
    },
    {
      "turn": "0",
      "x": "0.910278599",
      "y": "1.200238848"
    },
    {
      "turn": "0",
      "x": "0.962159451",
      "y": "0.663033982"
    },
    {
      "turn": "0",
      "x": "0.696227970",
      "y": "0.796514978"
    },
    {
      "turn": "0",
      "x": "1.320123938",
      "y": "0.742004103"
    },
    {
      "turn": "0",
      "x": "1.161396991",
      "y": "0.610703595"
    },
    {
      "turn": "0",
      "x": "0.765278462",
      "y": "0.602437426"
    },
    {
      "turn": "0",
      "x": "1.423121591",
      "y": "0.920401272"
    },
    {
      "turn": "0",
      "x": "0.719635190",
      "y": "1.326860726"
    },
    {
      "turn": "0",
      "x": "1.397058600",
      "y": "1.124741154"
    },
    {
      "turn": "0",
      "x": "1.115720065",
      "y": "1.406233411"
    },
    {
      "turn": "0",
      "x": "0.616637536",
      "y": "1.148463557"
    },
    {
      "turn": "0",
      "x": "1.294060946",
      "y": "1.303138323"
    },
    {
      "turn": "0",
      "x": "0.909724758",
      "y": "1.406233411"
    },
    {
      "turn": "0",
      "x": "0.868276116",
      "y": "0.424040256"
    },
    {
      "turn": "0",
      "x": "0.559465723",
      "y": "0.950560928"
    },
    {
      "turn": "0",
      "x": "1.423121591",
      "y": "0.563606933"
    },
    {
      "turn": "0",
      "x": "1.074271423",
      "y": "0.424040256"
    },
    {
      "turn": "0",
      "x": "0.456468069",
      "y": "0.772163758"
    },
    {
      "turn": "0",
      "x": "1.526119245",
      "y": "0.742004103"
    },
    {
      "turn": "0",
      "x": "0.616637536",
      "y": "1.505257896"
    },
    {
      "turn": "0",
      "x": "1.280084162",
      "y": "0.415369420"
    },
    {
      "turn": "0",
      "x": "1.603053907",
      "y": "1.124741154"
    },
    {
      "turn": "0",
      "x": "0.559465723",
      "y": "0.593766589"
    },
    {
      "turn": "0",
      "x": "1.218717719",
      "y": "1.584630580"
    },
    {
      "turn": "0",
      "x": "1.629116899",
      "y": "0.920401272"
    },
    {
      "turn": "0",
      "x": "0.513639882",
      "y": "1.326860726"
    },
    {
      "turn": "0",
      "x": "1.500056253",
      "y": "1.303138323"
    },
    {
      "turn": "0",
      "x": "1.012722411",
      "y": "1.584630580"
    },
    {
      "turn": "0",
      "x": "0.410642229",
      "y": "1.148463557"
    },
    {
      "turn": "0",
      "x": "1.397058600",
      "y": "1.481535493"
    },
    {
      "turn": "0",
      "x": "0.806727104",
      "y": "1.584630580"
    },
    {
      "turn": "0",
      "x": "0.662463377",
      "y": "0.415369420"
    },
    {
      "turn": "0",
      "x": "0.353470416",
      "y": "0.950560928"
    },
    {
      "turn": "0",
      "x": "1.526119245",
      "y": "0.385209764"
    },
    {
      "turn": "0",
      "x": "0.765461031",
      "y": "0.236972250"
    },
    {
      "turn": "0",
      "x": "0.250472762",
      "y": "0.772163758"
    },
    {
      "turn": "0",
      "x": "1.629116899",
      "y": "0.563606933"
    },
    {
      "turn": "0",
      "x": "0.513639882",
      "y": "1.683655065"
    },
    {
      "turn": "0",
      "x": "0.971273769",
      "y": "0.245643087"
    },
    {
      "turn": "0",
      "x": "1.809049215",
      "y": "1.124741154"
    },
    {
      "turn": "0",
      "x": "0.353470416",
      "y": "0.593766589"
    },
    {
      "turn": "0",
      "x": "1.321715373",
      "y": "1.763027750"
    },
    {
      "turn": "0",
      "x": "1.732114553",
      "y": "0.742004103"
    },
    {
      "turn": "0",
      "x": "0.410642229",
      "y": "1.505257896"
    },
    {
      "turn": "0",
      "x": "1.177086508",
      "y": "0.236972250"
    },
    {
      "turn": "0",
      "x": "1.706051561",
      "y": "1.303138323"
    },
    {
      "turn": "0",
      "x": "0.456468069",
      "y": "0.415369420"
    },
    {
      "turn": "0",
      "x": "1.115720065",
      "y": "1.763027750"
    },
    {
      "turn": "0",
      "x": "1.835112207",
      "y": "0.920401272"
    },
    {
      "turn": "0",
      "x": "0.307644575",
      "y": "1.326860726"
    },
    {
      "turn": "0",
      "x": "1.603053907",
      "y": "1.481535493"
    },
    {
      "turn": "0",
      "x": "0.909724758",
      "y": "1.763027750"
    },
    {
      "turn": "0",
      "x": "0.204646921",
      "y": "1.148463557"
    },
    {
      "turn": "0",
      "x": "1.500056253",
      "y": "1.659932662"
    },
    {
      "turn": "0",
      "x": "0.703729450",
      "y": "1.763027750"
    },
    {
      "turn": "0",
      "x": "0.559465723",
      "y": "0.236972250"
    },
    {
      "turn": "0",
      "x": "0.147475108",
      "y": "0.950560928"
    },
    {
      "turn": "0",
      "x": "1.383081816",
      "y": "0.236972250"
    }
  ],
  "radius": "0.102997653"
}

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

Instance parameters

{
  "n": 64,
  "sides": 6
}

The current leader's answer

{
  "placements": [
    {
      "turn": "0",
      "x": "1.027553608",
      "y": "1.013184284"
    },
    {
      "turn": "0",
      "x": "1.120257332",
      "y": "0.827303496"
    },
    {
      "turn": "0",
      "x": "0.893108959",
      "y": "0.857111535"
    },
    {
      "turn": "0",
      "x": "1.233126567",
      "y": "1.000000000"
    },
    {
      "turn": "0",
      "x": "0.788142053",
      "y": "1.034357170"
    },
    {
      "turn": "0",
      "x": "1.116270739",
      "y": "1.199096461"
    },
    {
      "turn": "0",
      "x": "0.910278599",
      "y": "1.200238848"
    },
    {
      "turn": "0",
      "x": "0.962159451",
      "y": "0.663033982"
    },
    {
      "turn": "0",
      "x": "0.696227970",
      "y": "0.796514978"
    },
    {
      "turn": "0",
      "x": "1.320123938",
      "y": "0.742004103"
    },
    {
      "turn": "0",
      "x": "1.161396991",
      "y": "0.610703595"
    },
    {
      "turn": "0",
      "x": "0.765278462",
      "y": "0.602437426"
    },
    {
      "turn": "0",
      "x": "1.423121591",
      "y": "0.920401272"
    },
    {
      "turn": "0",
      "x": "0.719635190",
      "y": "1.326860726"
    },
    {
      "turn": "0",
      "x": "1.397058600",
      "y": "1.124741154"
    },
    {
      "turn": "0",
      "x": "1.115720065",
      "y": "1.406233411"
    },
    {
      "turn": "0",
      "x": "0.616637536",
      "y": "1.148463557"
    },
    {
      "turn": "0",
      "x": "1.294060946",
      "y": "1.303138323"
    },
    {
      "turn": "0",
      "x": "0.909724758",
      "y": "1.406233411"
    },
    {
      "turn": "0",
      "x": "0.868276116",
      "y": "0.424040256"
    },
    {
      "turn": "0",
      "x": "0.559465723",
      "y": "0.950560928"
    },
    {
      "turn": "0",
      "x": "1.423121591",
      "y": "0.563606933"
    },
    {
      "turn": "0",
      "x": "1.074271423",
      "y": "0.424040256"
    },
    {
      "turn": "0",
      "x": "0.456468069",
      "y": "0.772163758"
    },
    {
      "turn": "0",
      "x": "1.526119245",
      "y": "0.742004103"
    },
    {
      "turn": "0",
      "x": "0.616637536",
      "y": "1.505257896"
    },
    {
      "turn": "0",
      "x": "1.280084162",
      "y": "0.415369420"
    },
    {
      "turn": "0",
      "x": "1.603053907",
      "y": "1.124741154"
    },
    {
      "turn": "0",
      "x": "0.559465723",
      "y": "0.593766589"
    },
    {
      "turn": "0",
      "x": "1.218717719",
      "y": "1.584630580"
    },
    {
      "turn": "0",
      "x": "1.629116899",
      "y": "0.920401272"
    },
    {
      "turn": "0",
      "x": "0.513639882",
      "y": "1.326860726"
    },
    {
      "turn": "0",
      "x": "1.500056253",
      "y": "1.303138323"
    },
    {
      "turn": "0",
      "x": "1.012722411",
      "y": "1.584630580"
    },
    {
      "turn": "0",
      "x": "0.410642229",
      "y": "1.148463557"
    },
    {
      "turn": "0",
      "x": "1.397058600",
      "y": "1.481535493"
    },
    {
      "turn": "0",
      "x": "0.806727104",
      "y": "1.584630580"
    },
    {
      "turn": "0",
      "x": "0.662463377",
      "y": "0.415369420"
    },
    {
      "turn": "0",
      "x": "0.353470416",
      "y": "0.950560928"
    },
    {
      "turn": "0",
      "x": "1.526119245",
      "y": "0.385209764"
    },
    {
      "turn": "0",
      "x": "0.765461031",
      "y": "0.236972250"
    },
    {
      "turn": "0",
      "x": "0.250472762",
      "y": "0.772163758"
    },
    {
      "turn": "0",
      "x": "1.629116899",
      "y": "0.563606933"
    },
    {
      "turn": "0",
      "x": "0.513639882",
      "y": "1.683655065"
    },
    {
      "turn": "0",
      "x": "0.971273769",
      "y": "0.245643087"
    },
    {
      "turn": "0",
      "x": "1.809049215",
      "y": "1.124741154"
    },
    {
      "turn": "0",
      "x": "0.353470416",
      "y": "0.593766589"
    },
    {
      "turn": "0",
      "x": "1.321715373",
      "y": "1.763027750"
    },
    {
      "turn": "0",
      "x": "1.732114553",
      "y": "0.742004103"
    },
    {
      "turn": "0",
      "x": "0.410642229",
      "y": "1.505257896"
    },
    {
      "turn": "0",
      "x": "1.177086508",
      "y": "0.236972250"
    },
    {
      "turn": "0",
      "x": "1.706051561",
      "y": "1.303138323"
    },
    {
      "turn": "0",
      "x": "0.456468069",
      "y": "0.415369420"
    },
    {
      "turn": "0",
      "x": "1.115720065",
      "y": "1.763027750"
    },
    {
      "turn": "0",
      "x": "1.835112207",
      "y": "0.920401272"
    },
    {
      "turn": "0",
      "x": "0.307644575",
      "y": "1.326860726"
    },
    {
      "turn": "0",
      "x": "1.603053907",
      "y": "1.481535493"
    },
    {
      "turn": "0",
      "x": "0.909724758",
      "y": "1.763027750"
    },
    {
      "turn": "0",
      "x": "0.204646921",
      "y": "1.148463557"
    },
    {
      "turn": "0",
      "x": "1.500056253",
      "y": "1.659932662"
    },
    {
      "turn": "0",
      "x": "0.703729450",
      "y": "1.763027750"
    },
    {
      "turn": "0",
      "x": "0.559465723",
      "y": "0.236972250"
    },
    {
      "turn": "0",
      "x": "0.147475108",
      "y": "0.950560928"
    },
    {
      "turn": "0",
      "x": "1.383081816",
      "y": "0.236972250"
    }
  ],
  "radius": "0.102997653"
}

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