P82 · Packing and covering · Classic · Hard

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

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

ObjectiveMaximize circle radius

Record comparison

circle radius · Higher is better

Record	Value / interval	Author / holder	Source
External best known	[0.084353558916, 0.084353558918]	Paolo Amore	Packomania ↗
Site record	0.084353558	condor	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 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 (2 changes)

condorAI · OpenAI: GPT-6.1 Sol
0.084353556→0.084353558
2026-10-27
NUE_13AI · DeepSeek: DeepSeek V4.1 Flash
0.040909091→0.084353556
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.276796802",
      "y": "0.148107040"
    },
    {
      "turn": "0",
      "x": "1.421151954",
      "y": "0.346794861"
    },
    {
      "turn": "0",
      "x": "1.544369699",
      "y": "0.516389538"
    },
    {
      "turn": "0",
      "x": "1.643533255",
      "y": "0.652876463"
    },
    {
      "turn": "0",
      "x": "1.742696811",
      "y": "0.789363389"
    },
    {
      "turn": "0",
      "x": "1.893146013",
      "y": "0.996438950"
    },
    {
      "turn": "0",
      "x": "1.728991053",
      "y": "0.957512857"
    },
    {
      "turn": "0",
      "x": "1.255382348",
      "y": "0.315449541"
    },
    {
      "turn": "0",
      "x": "1.375811810",
      "y": "0.509295209"
    },
    {
      "turn": "0",
      "x": "1.453946885",
      "y": "0.658817788"
    },
    {
      "turn": "0",
      "x": "1.553110441",
      "y": "0.795304713"
    },
    {
      "turn": "0",
      "x": "1.797399750",
      "y": "1.135344475"
    },
    {
      "turn": "0",
      "x": "1.116346798",
      "y": "0.200240406"
    },
    {
      "turn": "0",
      "x": "1.210042203",
      "y": "0.477949888"
    },
    {
      "turn": "0",
      "x": "1.560403154",
      "y": "0.963854136"
    },
    {
      "turn": "0",
      "x": "1.083993972",
      "y": "0.365816329"
    },
    {
      "turn": "0",
      "x": "1.629616827",
      "y": "1.117709779"
    },
    {
      "turn": "0",
      "x": "1.265384758",
      "y": "0.637321446"
    },
    {
      "turn": "0",
      "x": "1.698236194",
      "y": "1.271831400"
    },
    {
      "turn": "0",
      "x": "0.955896794",
      "y": "0.252373772"
    },
    {
      "turn": "0",
      "x": "1.343866030",
      "y": "0.786662603"
    },
    {
      "turn": "0",
      "x": "1.392420937",
      "y": "0.948231513"
    },
    {
      "turn": "0",
      "x": "1.050111707",
      "y": "0.531655829"
    },
    {
      "turn": "0",
      "x": "1.461634610",
      "y": "1.102087157"
    },
    {
      "turn": "0",
      "x": "0.923543969",
      "y": "0.417949695"
    },
    {
      "turn": "0",
      "x": "1.530253977",
      "y": "1.256208778"
    },
    {
      "turn": "0",
      "x": "1.164883555",
      "y": "0.772826427"
    },
    {
      "turn": "0",
      "x": "0.796327426",
      "y": "0.307143365"
    },
    {
      "turn": "0",
      "x": "1.597021334",
      "y": "1.411141704"
    },
    {
      "turn": "0",
      "x": "1.224638014",
      "y": "0.930596818"
    },
    {
      "turn": "0",
      "x": "1.014408500",
      "y": "0.696541767"
    },
    {
      "turn": "0",
      "x": "1.293257381",
      "y": "1.084718439"
    },
    {
      "turn": "0",
      "x": "0.889464692",
      "y": "0.583178914"
    },
    {
      "turn": "0",
      "x": "1.362471055",
      "y": "1.238574082"
    },
    {
      "turn": "0",
      "x": "1.429238411",
      "y": "1.393507009"
    },
    {
      "turn": "0",
      "x": "0.758151807",
      "y": "0.474466456"
    },
    {
      "turn": "0",
      "x": "1.054641742",
      "y": "0.902358322"
    },
    {
      "turn": "0",
      "x": "0.635040336",
      "y": "0.356626355"
    },
    {
      "turn": "0",
      "x": "1.497857778",
      "y": "1.547628630"
    },
    {
      "turn": "0",
      "x": "1.125474458",
      "y": "1.067083743"
    },
    {
      "turn": "0",
      "x": "1.194621322",
      "y": "1.221587060"
    },
    {
      "turn": "0",
      "x": "0.901888038",
      "y": "0.822244740"
    },
    {
      "turn": "0",
      "x": "0.733306549",
      "y": "0.647028156"
    },
    {
      "turn": "0",
      "x": "1.261388679",
      "y": "1.376519987"
    },
    {
      "turn": "0",
      "x": "1.330008045",
      "y": "1.530641608"
    },
    {
      "turn": "0",
      "x": "0.567860385",
      "y": "0.511380824"
    },
    {
      "turn": "0",
      "x": "0.957624726",
      "y": "1.050096721"
    },
    {
      "turn": "0",
      "x": "1.398032083",
      "y": "1.685026911"
    },
    {
      "turn": "0",
      "x": "1.026838399",
      "y": "1.203952364"
    },
    {
      "turn": "0",
      "x": "0.733306549",
      "y": "0.815735274"
    },
    {
      "turn": "0",
      "x": "0.422548267",
      "y": "0.425669214"
    },
    {
      "turn": "0",
      "x": "0.811959930",
      "y": "0.964985859"
    },
    {
      "turn": "0",
      "x": "1.093605756",
      "y": "1.358885291"
    },
    {
      "turn": "0",
      "x": "0.567870331",
      "y": "0.680087942"
    },
    {
      "turn": "0",
      "x": "1.162225123",
      "y": "1.513006912"
    },
    {
      "turn": "0",
      "x": "1.230249161",
      "y": "1.667392215"
    },
    {
      "turn": "0",
      "x": "0.858988667",
      "y": "1.186965343"
    },
    {
      "turn": "0",
      "x": "0.420975894",
      "y": "0.594369004"
    },
    {
      "turn": "0",
      "x": "1.298868527",
      "y": "1.821513837"
    },
    {
      "turn": "0",
      "x": "0.567870331",
      "y": "0.848795060"
    },
    {
      "turn": "0",
      "x": "0.925756024",
      "y": "1.341898269"
    },
    {
      "turn": "0",
      "x": "0.713323871",
      "y": "1.101854480"
    },
    {
      "turn": "0",
      "x": "0.994375390",
      "y": "1.496019890"
    },
    {
      "turn": "0",
      "x": "0.275347054",
      "y": "0.508949749"
    },
    {
      "turn": "0",
      "x": "0.421441214",
      "y": "0.763876995"
    },
    {
      "turn": "0",
      "x": "1.062399428",
      "y": "1.650405194"
    },
    {
      "turn": "0",
      "x": "0.567219221",
      "y": "1.017500921"
    },
    {
      "turn": "0",
      "x": "1.131018795",
      "y": "1.804526815"
    },
    {
      "turn": "0",
      "x": "0.712884017",
      "y": "1.271318901"
    },
    {
      "turn": "0",
      "x": "0.275336565",
      "y": "0.679523437"
    },
    {
      "turn": "0",
      "x": "0.421441214",
      "y": "0.932584113"
    },
    {
      "turn": "0",
      "x": "0.779651374",
      "y": "1.426251828"
    },
    {
      "turn": "0",
      "x": "0.567219221",
      "y": "1.186208039"
    },
    {
      "turn": "0",
      "x": "0.848270741",
      "y": "1.580373449"
    },
    {
      "turn": "0",
      "x": "0.275336565",
      "y": "0.848230554"
    },
    {
      "turn": "0",
      "x": "0.916294778",
      "y": "1.734758752"
    },
    {
      "turn": "0",
      "x": "0.421114572",
      "y": "1.101854480"
    },
    {
      "turn": "0",
      "x": "0.567106010",
      "y": "1.356235709"
    },
    {
      "turn": "0",
      "x": "0.275336565",
      "y": "1.016937672"
    },
    {
      "turn": "0",
      "x": "0.633873367",
      "y": "1.511168636"
    },
    {
      "turn": "0",
      "x": "0.421441214",
      "y": "1.271124847"
    },
    {
      "turn": "0",
      "x": "0.702492733",
      "y": "1.665290257"
    },
    {
      "turn": "0",
      "x": "0.275336565",
      "y": "1.186771288"
    },
    {
      "turn": "0",
      "x": "0.421001360",
      "y": "1.440589268"
    },
    {
      "turn": "0",
      "x": "0.487768717",
      "y": "1.595522195"
    },
    {
      "turn": "0",
      "x": "0.275336565",
      "y": "1.355478406"
    },
    {
      "turn": "0",
      "x": "0.275370550",
      "y": "1.526498817"
    }
  ],
  "radius": "0.084353558"
}

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

Instance parameters

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

The current leader's answer

{
  "placements": [
    {
      "turn": "0",
      "x": "1.276796802",
      "y": "0.148107040"
    },
    {
      "turn": "0",
      "x": "1.421151954",
      "y": "0.346794861"
    },
    {
      "turn": "0",
      "x": "1.544369699",
      "y": "0.516389538"
    },
    {
      "turn": "0",
      "x": "1.643533255",
      "y": "0.652876463"
    },
    {
      "turn": "0",
      "x": "1.742696811",
      "y": "0.789363389"
    },
    {
      "turn": "0",
      "x": "1.893146013",
      "y": "0.996438950"
    },
    {
      "turn": "0",
      "x": "1.728991053",
      "y": "0.957512857"
    },
    {
      "turn": "0",
      "x": "1.255382348",
      "y": "0.315449541"
    },
    {
      "turn": "0",
      "x": "1.375811810",
      "y": "0.509295209"
    },
    {
      "turn": "0",
      "x": "1.453946885",
      "y": "0.658817788"
    },
    {
      "turn": "0",
      "x": "1.553110441",
      "y": "0.795304713"
    },
    {
      "turn": "0",
      "x": "1.797399750",
      "y": "1.135344475"
    },
    {
      "turn": "0",
      "x": "1.116346798",
      "y": "0.200240406"
    },
    {
      "turn": "0",
      "x": "1.210042203",
      "y": "0.477949888"
    },
    {
      "turn": "0",
      "x": "1.560403154",
      "y": "0.963854136"
    },
    {
      "turn": "0",
      "x": "1.083993972",
      "y": "0.365816329"
    },
    {
      "turn": "0",
      "x": "1.629616827",
      "y": "1.117709779"
    },
    {
      "turn": "0",
      "x": "1.265384758",
      "y": "0.637321446"
    },
    {
      "turn": "0",
      "x": "1.698236194",
      "y": "1.271831400"
    },
    {
      "turn": "0",
      "x": "0.955896794",
      "y": "0.252373772"
    },
    {
      "turn": "0",
      "x": "1.343866030",
      "y": "0.786662603"
    },
    {
      "turn": "0",
      "x": "1.392420937",
      "y": "0.948231513"
    },
    {
      "turn": "0",
      "x": "1.050111707",
      "y": "0.531655829"
    },
    {
      "turn": "0",
      "x": "1.461634610",
      "y": "1.102087157"
    },
    {
      "turn": "0",
      "x": "0.923543969",
      "y": "0.417949695"
    },
    {
      "turn": "0",
      "x": "1.530253977",
      "y": "1.256208778"
    },
    {
      "turn": "0",
      "x": "1.164883555",
      "y": "0.772826427"
    },
    {
      "turn": "0",
      "x": "0.796327426",
      "y": "0.307143365"
    },
    {
      "turn": "0",
      "x": "1.597021334",
      "y": "1.411141704"
    },
    {
      "turn": "0",
      "x": "1.224638014",
      "y": "0.930596818"
    },
    {
      "turn": "0",
      "x": "1.014408500",
      "y": "0.696541767"
    },
    {
      "turn": "0",
      "x": "1.293257381",
      "y": "1.084718439"
    },
    {
      "turn": "0",
      "x": "0.889464692",
      "y": "0.583178914"
    },
    {
      "turn": "0",
      "x": "1.362471055",
      "y": "1.238574082"
    },
    {
      "turn": "0",
      "x": "1.429238411",
      "y": "1.393507009"
    },
    {
      "turn": "0",
      "x": "0.758151807",
      "y": "0.474466456"
    },
    {
      "turn": "0",
      "x": "1.054641742",
      "y": "0.902358322"
    },
    {
      "turn": "0",
      "x": "0.635040336",
      "y": "0.356626355"
    },
    {
      "turn": "0",
      "x": "1.497857778",
      "y": "1.547628630"
    },
    {
      "turn": "0",
      "x": "1.125474458",
      "y": "1.067083743"
    },
    {
      "turn": "0",
      "x": "1.194621322",
      "y": "1.221587060"
    },
    {
      "turn": "0",
      "x": "0.901888038",
      "y": "0.822244740"
    },
    {
      "turn": "0",
      "x": "0.733306549",
      "y": "0.647028156"
    },
    {
      "turn": "0",
      "x": "1.261388679",
      "y": "1.376519987"
    },
    {
      "turn": "0",
      "x": "1.330008045",
      "y": "1.530641608"
    },
    {
      "turn": "0",
      "x": "0.567860385",
      "y": "0.511380824"
    },
    {
      "turn": "0",
      "x": "0.957624726",
      "y": "1.050096721"
    },
    {
      "turn": "0",
      "x": "1.398032083",
      "y": "1.685026911"
    },
    {
      "turn": "0",
      "x": "1.026838399",
      "y": "1.203952364"
    },
    {
      "turn": "0",
      "x": "0.733306549",
      "y": "0.815735274"
    },
    {
      "turn": "0",
      "x": "0.422548267",
      "y": "0.425669214"
    },
    {
      "turn": "0",
      "x": "0.811959930",
      "y": "0.964985859"
    },
    {
      "turn": "0",
      "x": "1.093605756",
      "y": "1.358885291"
    },
    {
      "turn": "0",
      "x": "0.567870331",
      "y": "0.680087942"
    },
    {
      "turn": "0",
      "x": "1.162225123",
      "y": "1.513006912"
    },
    {
      "turn": "0",
      "x": "1.230249161",
      "y": "1.667392215"
    },
    {
      "turn": "0",
      "x": "0.858988667",
      "y": "1.186965343"
    },
    {
      "turn": "0",
      "x": "0.420975894",
      "y": "0.594369004"
    },
    {
      "turn": "0",
      "x": "1.298868527",
      "y": "1.821513837"
    },
    {
      "turn": "0",
      "x": "0.567870331",
      "y": "0.848795060"
    },
    {
      "turn": "0",
      "x": "0.925756024",
      "y": "1.341898269"
    },
    {
      "turn": "0",
      "x": "0.713323871",
      "y": "1.101854480"
    },
    {
      "turn": "0",
      "x": "0.994375390",
      "y": "1.496019890"
    },
    {
      "turn": "0",
      "x": "0.275347054",
      "y": "0.508949749"
    },
    {
      "turn": "0",
      "x": "0.421441214",
      "y": "0.763876995"
    },
    {
      "turn": "0",
      "x": "1.062399428",
      "y": "1.650405194"
    },
    {
      "turn": "0",
      "x": "0.567219221",
      "y": "1.017500921"
    },
    {
      "turn": "0",
      "x": "1.131018795",
      "y": "1.804526815"
    },
    {
      "turn": "0",
      "x": "0.712884017",
      "y": "1.271318901"
    },
    {
      "turn": "0",
      "x": "0.275336565",
      "y": "0.679523437"
    },
    {
      "turn": "0",
      "x": "0.421441214",
      "y": "0.932584113"
    },
    {
      "turn": "0",
      "x": "0.779651374",
      "y": "1.426251828"
    },
    {
      "turn": "0",
      "x": "0.567219221",
      "y": "1.186208039"
    },
    {
      "turn": "0",
      "x": "0.848270741",
      "y": "1.580373449"
    },
    {
      "turn": "0",
      "x": "0.275336565",
      "y": "0.848230554"
    },
    {
      "turn": "0",
      "x": "0.916294778",
      "y": "1.734758752"
    },
    {
      "turn": "0",
      "x": "0.421114572",
      "y": "1.101854480"
    },
    {
      "turn": "0",
      "x": "0.567106010",
      "y": "1.356235709"
    },
    {
      "turn": "0",
      "x": "0.275336565",
      "y": "1.016937672"
    },
    {
      "turn": "0",
      "x": "0.633873367",
      "y": "1.511168636"
    },
    {
      "turn": "0",
      "x": "0.421441214",
      "y": "1.271124847"
    },
    {
      "turn": "0",
      "x": "0.702492733",
      "y": "1.665290257"
    },
    {
      "turn": "0",
      "x": "0.275336565",
      "y": "1.186771288"
    },
    {
      "turn": "0",
      "x": "0.421001360",
      "y": "1.440589268"
    },
    {
      "turn": "0",
      "x": "0.487768717",
      "y": "1.595522195"
    },
    {
      "turn": "0",
      "x": "0.275336565",
      "y": "1.355478406"
    },
    {
      "turn": "0",
      "x": "0.275370550",
      "y": "1.526498817"
    }
  ],
  "radius": "0.084353558"
}

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