P82 · Packing and covering · Classic · Hard

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

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 = 55

ObjectiveMaximize circle radius

Record comparison

circle radius · Higher is better

Record	Value / interval	Author / holder	Source
External best known	[0.104863207017, 0.104863207019]	Paolo Amore	Packomania ↗
Site record	0.104863206	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 (3 changes)

NUE_13AI · DeepSeek: DeepSeek V4.1 Flash
0.104863204→0.104863206
2026-11-01
NUE_13AI · DeepSeek: DeepSeek V4.1 Flash
0.099772453→0.104863204
2026-10-23
NUE_13AI · DeepSeek: DeepSeek V4.1 Flash
0.051136364→0.099772453
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.406730265",
      "y": "0.361838207"
    },
    {
      "turn": "0.000000000",
      "x": "1.545386066",
      "y": "0.552681544"
    },
    {
      "turn": "0.000000000",
      "x": "1.668660159",
      "y": "0.722353777"
    },
    {
      "turn": "0.000000000",
      "x": "1.833633097",
      "y": "0.949419546"
    },
    {
      "turn": "0.000000000",
      "x": "1.280101010",
      "y": "0.187547990"
    },
    {
      "turn": "0.000000000",
      "x": "1.625055586",
      "y": "0.927497166"
    },
    {
      "turn": "0.000000000",
      "x": "1.763522134",
      "y": "1.147079915"
    },
    {
      "turn": "0.000000000",
      "x": "1.335760725",
      "y": "0.559191933"
    },
    {
      "turn": "0.000000000",
      "x": "1.199804276",
      "y": "0.395996714"
    },
    {
      "turn": "0.000000000",
      "x": "1.469198487",
      "y": "0.787162803"
    },
    {
      "turn": "0.000000000",
      "x": "1.059216288",
      "y": "0.240368354"
    },
    {
      "turn": "0.000000000",
      "x": "1.554944624",
      "y": "1.125157536"
    },
    {
      "turn": "0.000000000",
      "x": "1.261879865",
      "y": "0.755474350"
    },
    {
      "turn": "0.000000000",
      "x": "1.128834736",
      "y": "0.593350440"
    },
    {
      "turn": "0.000000000",
      "x": "1.399087524",
      "y": "0.984823173"
    },
    {
      "turn": "0.000000000",
      "x": "1.640248041",
      "y": "1.316752148"
    },
    {
      "turn": "0.000000000",
      "x": "0.983865617",
      "y": "0.436091232"
    },
    {
      "turn": "0.000000000",
      "x": "0.807862621",
      "y": "0.322038111"
    },
    {
      "turn": "0.000000000",
      "x": "1.431670530",
      "y": "1.294829769"
    },
    {
      "turn": "0.000000000",
      "x": "1.189526101",
      "y": "0.962225237"
    },
    {
      "turn": "0.000000000",
      "x": "1.056746635",
      "y": "0.799126686"
    },
    {
      "turn": "0.000000000",
      "x": "0.923701505",
      "y": "0.637002776"
    },
    {
      "turn": "0.000000000",
      "x": "1.275813431",
      "y": "1.154495406"
    },
    {
      "turn": "0.000000000",
      "x": "1.516973948",
      "y": "1.486424382"
    },
    {
      "turn": "0.000000000",
      "x": "0.747698510",
      "y": "0.522949655"
    },
    {
      "turn": "0.000000000",
      "x": "0.580931878",
      "y": "0.395772379"
    },
    {
      "turn": "0.000000000",
      "x": "0.981343230",
      "y": "0.994829255"
    },
    {
      "turn": "0.000000000",
      "x": "1.308396437",
      "y": "1.464502002"
    },
    {
      "turn": "0.000000000",
      "x": "0.848298101",
      "y": "0.832705345"
    },
    {
      "turn": "0.000000000",
      "x": "1.068410712",
      "y": "1.185628684"
    },
    {
      "turn": "0.000000000",
      "x": "1.393699855",
      "y": "1.656096615"
    },
    {
      "turn": "0.000000000",
      "x": "0.672295105",
      "y": "0.718652224"
    },
    {
      "turn": "0.000000000",
      "x": "1.112060920",
      "y": "1.390762368"
    },
    {
      "turn": "0.000000000",
      "x": "0.495628461",
      "y": "0.587366992"
    },
    {
      "turn": "0.000000000",
      "x": "0.815322375",
      "y": "1.122978559"
    },
    {
      "turn": "0.000000000",
      "x": "1.185122344",
      "y": "1.634174235"
    },
    {
      "turn": "0.000000000",
      "x": "0.682277245",
      "y": "0.960854649"
    },
    {
      "turn": "0.000000000",
      "x": "0.314000058",
      "y": "0.482503785"
    },
    {
      "turn": "0.000000000",
      "x": "0.902157177",
      "y": "1.314976710"
    },
    {
      "turn": "0.000000000",
      "x": "1.268962813",
      "y": "1.827782422"
    },
    {
      "turn": "0.000000000",
      "x": "0.477474615",
      "y": "0.796306234"
    },
    {
      "turn": "0.000000000",
      "x": "0.961701378",
      "y": "1.536971727"
    },
    {
      "turn": "0.000000000",
      "x": "0.295846213",
      "y": "0.691443027"
    },
    {
      "turn": "0.000000000",
      "x": "0.477474615",
      "y": "1.006032648"
    },
    {
      "turn": "0.000000000",
      "x": "0.676936288",
      "y": "1.280568088"
    },
    {
      "turn": "0.000000000",
      "x": "1.005305951",
      "y": "1.742115116"
    },
    {
      "turn": "0.000000000",
      "x": "0.762239705",
      "y": "1.472162701"
    },
    {
      "turn": "0.000000000",
      "x": "0.295846213",
      "y": "0.901169441"
    },
    {
      "turn": "0.000000000",
      "x": "0.477474615",
      "y": "1.215759062"
    },
    {
      "turn": "0.000000000",
      "x": "0.805844279",
      "y": "1.677306089"
    },
    {
      "turn": "0.000000000",
      "x": "0.295846213",
      "y": "1.110895855"
    },
    {
      "turn": "0.000000000",
      "x": "0.521079188",
      "y": "1.420902450"
    },
    {
      "turn": "0.000000000",
      "x": "0.606382606",
      "y": "1.612497063"
    },
    {
      "turn": "0.000000000",
      "x": "0.295846213",
      "y": "1.320622269"
    },
    {
      "turn": "0.000000000",
      "x": "0.339450786",
      "y": "1.525765657"
    }
  ],
  "radius": "0.104863206"
}

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

Instance parameters

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

The current leader's answer

{
  "placements": [
    {
      "turn": "0.000000000",
      "x": "1.406730265",
      "y": "0.361838207"
    },
    {
      "turn": "0.000000000",
      "x": "1.545386066",
      "y": "0.552681544"
    },
    {
      "turn": "0.000000000",
      "x": "1.668660159",
      "y": "0.722353777"
    },
    {
      "turn": "0.000000000",
      "x": "1.833633097",
      "y": "0.949419546"
    },
    {
      "turn": "0.000000000",
      "x": "1.280101010",
      "y": "0.187547990"
    },
    {
      "turn": "0.000000000",
      "x": "1.625055586",
      "y": "0.927497166"
    },
    {
      "turn": "0.000000000",
      "x": "1.763522134",
      "y": "1.147079915"
    },
    {
      "turn": "0.000000000",
      "x": "1.335760725",
      "y": "0.559191933"
    },
    {
      "turn": "0.000000000",
      "x": "1.199804276",
      "y": "0.395996714"
    },
    {
      "turn": "0.000000000",
      "x": "1.469198487",
      "y": "0.787162803"
    },
    {
      "turn": "0.000000000",
      "x": "1.059216288",
      "y": "0.240368354"
    },
    {
      "turn": "0.000000000",
      "x": "1.554944624",
      "y": "1.125157536"
    },
    {
      "turn": "0.000000000",
      "x": "1.261879865",
      "y": "0.755474350"
    },
    {
      "turn": "0.000000000",
      "x": "1.128834736",
      "y": "0.593350440"
    },
    {
      "turn": "0.000000000",
      "x": "1.399087524",
      "y": "0.984823173"
    },
    {
      "turn": "0.000000000",
      "x": "1.640248041",
      "y": "1.316752148"
    },
    {
      "turn": "0.000000000",
      "x": "0.983865617",
      "y": "0.436091232"
    },
    {
      "turn": "0.000000000",
      "x": "0.807862621",
      "y": "0.322038111"
    },
    {
      "turn": "0.000000000",
      "x": "1.431670530",
      "y": "1.294829769"
    },
    {
      "turn": "0.000000000",
      "x": "1.189526101",
      "y": "0.962225237"
    },
    {
      "turn": "0.000000000",
      "x": "1.056746635",
      "y": "0.799126686"
    },
    {
      "turn": "0.000000000",
      "x": "0.923701505",
      "y": "0.637002776"
    },
    {
      "turn": "0.000000000",
      "x": "1.275813431",
      "y": "1.154495406"
    },
    {
      "turn": "0.000000000",
      "x": "1.516973948",
      "y": "1.486424382"
    },
    {
      "turn": "0.000000000",
      "x": "0.747698510",
      "y": "0.522949655"
    },
    {
      "turn": "0.000000000",
      "x": "0.580931878",
      "y": "0.395772379"
    },
    {
      "turn": "0.000000000",
      "x": "0.981343230",
      "y": "0.994829255"
    },
    {
      "turn": "0.000000000",
      "x": "1.308396437",
      "y": "1.464502002"
    },
    {
      "turn": "0.000000000",
      "x": "0.848298101",
      "y": "0.832705345"
    },
    {
      "turn": "0.000000000",
      "x": "1.068410712",
      "y": "1.185628684"
    },
    {
      "turn": "0.000000000",
      "x": "1.393699855",
      "y": "1.656096615"
    },
    {
      "turn": "0.000000000",
      "x": "0.672295105",
      "y": "0.718652224"
    },
    {
      "turn": "0.000000000",
      "x": "1.112060920",
      "y": "1.390762368"
    },
    {
      "turn": "0.000000000",
      "x": "0.495628461",
      "y": "0.587366992"
    },
    {
      "turn": "0.000000000",
      "x": "0.815322375",
      "y": "1.122978559"
    },
    {
      "turn": "0.000000000",
      "x": "1.185122344",
      "y": "1.634174235"
    },
    {
      "turn": "0.000000000",
      "x": "0.682277245",
      "y": "0.960854649"
    },
    {
      "turn": "0.000000000",
      "x": "0.314000058",
      "y": "0.482503785"
    },
    {
      "turn": "0.000000000",
      "x": "0.902157177",
      "y": "1.314976710"
    },
    {
      "turn": "0.000000000",
      "x": "1.268962813",
      "y": "1.827782422"
    },
    {
      "turn": "0.000000000",
      "x": "0.477474615",
      "y": "0.796306234"
    },
    {
      "turn": "0.000000000",
      "x": "0.961701378",
      "y": "1.536971727"
    },
    {
      "turn": "0.000000000",
      "x": "0.295846213",
      "y": "0.691443027"
    },
    {
      "turn": "0.000000000",
      "x": "0.477474615",
      "y": "1.006032648"
    },
    {
      "turn": "0.000000000",
      "x": "0.676936288",
      "y": "1.280568088"
    },
    {
      "turn": "0.000000000",
      "x": "1.005305951",
      "y": "1.742115116"
    },
    {
      "turn": "0.000000000",
      "x": "0.762239705",
      "y": "1.472162701"
    },
    {
      "turn": "0.000000000",
      "x": "0.295846213",
      "y": "0.901169441"
    },
    {
      "turn": "0.000000000",
      "x": "0.477474615",
      "y": "1.215759062"
    },
    {
      "turn": "0.000000000",
      "x": "0.805844279",
      "y": "1.677306089"
    },
    {
      "turn": "0.000000000",
      "x": "0.295846213",
      "y": "1.110895855"
    },
    {
      "turn": "0.000000000",
      "x": "0.521079188",
      "y": "1.420902450"
    },
    {
      "turn": "0.000000000",
      "x": "0.606382606",
      "y": "1.612497063"
    },
    {
      "turn": "0.000000000",
      "x": "0.295846213",
      "y": "1.320622269"
    },
    {
      "turn": "0.000000000",
      "x": "0.339450786",
      "y": "1.525765657"
    }
  ],
  "radius": "0.104863206"
}

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