P82 · Packing and covering · Classic · Hard

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

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

ObjectiveMaximize circle radius

Record comparison

circle radius · Higher is better

Record	Value / interval	Author / holder	Source
External best known	[0.099194901496, 0.099194901498]	Eckard Specht	Packomania ↗
Site record	0.099195312	Joost de Winter	Record details ↓

Exceeds the published reference · verified. Review evidence ↗

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 holderJoost de Winter

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)

Joost de WinterAI · OpenAI: GPT-6.1 Sol
0.099194898→0.099195312
2026-10-27
NUE_13AI · DeepSeek: DeepSeek V4.1 Flash
0.051136364→0.099194898
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.399302730",
      "y": "0.341972285"
    },
    {
      "turn": "0",
      "x": "1.515963170",
      "y": "0.502541606"
    },
    {
      "turn": "0",
      "x": "1.632574255",
      "y": "0.663042994"
    },
    {
      "turn": "0",
      "x": "1.749185340",
      "y": "0.823544383"
    },
    {
      "turn": "0",
      "x": "1.274011868",
      "y": "0.169694112"
    },
    {
      "turn": "0",
      "x": "1.875516195",
      "y": "1.002026693"
    },
    {
      "turn": "0",
      "x": "1.202003982",
      "y": "0.362757969"
    },
    {
      "turn": "0",
      "x": "1.318654286",
      "y": "0.523230855"
    },
    {
      "turn": "0",
      "x": "1.435270433",
      "y": "0.683780462"
    },
    {
      "turn": "0",
      "x": "1.551881517",
      "y": "0.844281850"
    },
    {
      "turn": "0",
      "x": "1.668492602",
      "y": "1.004783239"
    },
    {
      "turn": "0",
      "x": "1.739253670",
      "y": "1.190125387"
    },
    {
      "turn": "0",
      "x": "1.047602796",
      "y": "0.238182230"
    },
    {
      "turn": "0",
      "x": "1.118694142",
      "y": "0.542808827"
    },
    {
      "turn": "0",
      "x": "1.237961549",
      "y": "0.704469711"
    },
    {
      "turn": "0",
      "x": "1.354577695",
      "y": "0.865019318"
    },
    {
      "turn": "0",
      "x": "1.471188780",
      "y": "1.025520706"
    },
    {
      "turn": "0",
      "x": "0.964292957",
      "y": "0.418233088"
    },
    {
      "turn": "0",
      "x": "1.541949848",
      "y": "1.210862855"
    },
    {
      "turn": "0",
      "x": "0.791062642",
      "y": "0.321537179"
    },
    {
      "turn": "0",
      "x": "1.583197579",
      "y": "1.404918170"
    },
    {
      "turn": "0",
      "x": "1.157268811",
      "y": "0.885708567"
    },
    {
      "turn": "0",
      "x": "1.040657727",
      "y": "0.725207178"
    },
    {
      "turn": "0",
      "x": "1.273884958",
      "y": "1.046258173"
    },
    {
      "turn": "0",
      "x": "0.886256541",
      "y": "0.600631440"
    },
    {
      "turn": "0",
      "x": "1.344646026",
      "y": "1.231600322"
    },
    {
      "turn": "0",
      "x": "0.713026227",
      "y": "0.503935531"
    },
    {
      "turn": "0",
      "x": "1.385893757",
      "y": "1.425655637"
    },
    {
      "turn": "0",
      "x": "0.959964989",
      "y": "0.906446034"
    },
    {
      "turn": "0",
      "x": "1.076576074",
      "y": "1.066947423"
    },
    {
      "turn": "0",
      "x": "0.542682379",
      "y": "0.402240819"
    },
    {
      "turn": "0",
      "x": "1.427141487",
      "y": "1.619710953"
    },
    {
      "turn": "0",
      "x": "1.147337142",
      "y": "1.252289571"
    },
    {
      "turn": "0",
      "x": "0.805563804",
      "y": "0.781870296"
    },
    {
      "turn": "0",
      "x": "0.632333489",
      "y": "0.685174386"
    },
    {
      "turn": "0",
      "x": "1.188584873",
      "y": "1.446344887"
    },
    {
      "turn": "0",
      "x": "0.788393733",
      "y": "1.006055997"
    },
    {
      "turn": "0",
      "x": "0.905004817",
      "y": "1.166557385"
    },
    {
      "turn": "0",
      "x": "0.461989642",
      "y": "0.583479675"
    },
    {
      "turn": "0",
      "x": "1.229832603",
      "y": "1.640400202"
    },
    {
      "turn": "0",
      "x": "0.632333489",
      "y": "0.883565013"
    },
    {
      "turn": "0",
      "x": "0.985875519",
      "y": "1.368885593"
    },
    {
      "turn": "0",
      "x": "0.290178319",
      "y": "0.484284361"
    },
    {
      "turn": "0",
      "x": "1.271127756",
      "y": "1.834445432"
    },
    {
      "turn": "0",
      "x": "0.460522166",
      "y": "0.784369700"
    },
    {
      "turn": "0",
      "x": "1.041119468",
      "y": "1.579058093"
    },
    {
      "turn": "0",
      "x": "0.791189106",
      "y": "1.329053000"
    },
    {
      "turn": "0",
      "x": "0.673202189",
      "y": "1.167579589"
    },
    {
      "turn": "0",
      "x": "0.290178319",
      "y": "0.682674988"
    },
    {
      "turn": "0",
      "x": "1.082367199",
      "y": "1.773113409"
    },
    {
      "turn": "0",
      "x": "0.461989642",
      "y": "0.985259726"
    },
    {
      "turn": "0",
      "x": "0.852438770",
      "y": "1.517752018"
    },
    {
      "turn": "0",
      "x": "0.290178319",
      "y": "0.886064412"
    },
    {
      "turn": "0",
      "x": "0.893686500",
      "y": "1.711807334"
    },
    {
      "turn": "0",
      "x": "0.475426996",
      "y": "1.183194949"
    },
    {
      "turn": "0",
      "x": "0.643756138",
      "y": "1.461802240"
    },
    {
      "turn": "0",
      "x": "0.290178319",
      "y": "1.084455038"
    },
    {
      "turn": "0",
      "x": "0.705005802",
      "y": "1.650501258"
    },
    {
      "turn": "0",
      "x": "0.462493166",
      "y": "1.381163690"
    },
    {
      "turn": "0",
      "x": "0.290178319",
      "y": "1.282845665"
    },
    {
      "turn": "0",
      "x": "0.483289620",
      "y": "1.578461304"
    },
    {
      "turn": "0",
      "x": "0.296242075",
      "y": "1.508032043"
    }
  ],
  "radius": "0.099195312"
}

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

Instance parameters

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

The current leader's answer

{
  "placements": [
    {
      "turn": "0",
      "x": "1.399302730",
      "y": "0.341972285"
    },
    {
      "turn": "0",
      "x": "1.515963170",
      "y": "0.502541606"
    },
    {
      "turn": "0",
      "x": "1.632574255",
      "y": "0.663042994"
    },
    {
      "turn": "0",
      "x": "1.749185340",
      "y": "0.823544383"
    },
    {
      "turn": "0",
      "x": "1.274011868",
      "y": "0.169694112"
    },
    {
      "turn": "0",
      "x": "1.875516195",
      "y": "1.002026693"
    },
    {
      "turn": "0",
      "x": "1.202003982",
      "y": "0.362757969"
    },
    {
      "turn": "0",
      "x": "1.318654286",
      "y": "0.523230855"
    },
    {
      "turn": "0",
      "x": "1.435270433",
      "y": "0.683780462"
    },
    {
      "turn": "0",
      "x": "1.551881517",
      "y": "0.844281850"
    },
    {
      "turn": "0",
      "x": "1.668492602",
      "y": "1.004783239"
    },
    {
      "turn": "0",
      "x": "1.739253670",
      "y": "1.190125387"
    },
    {
      "turn": "0",
      "x": "1.047602796",
      "y": "0.238182230"
    },
    {
      "turn": "0",
      "x": "1.118694142",
      "y": "0.542808827"
    },
    {
      "turn": "0",
      "x": "1.237961549",
      "y": "0.704469711"
    },
    {
      "turn": "0",
      "x": "1.354577695",
      "y": "0.865019318"
    },
    {
      "turn": "0",
      "x": "1.471188780",
      "y": "1.025520706"
    },
    {
      "turn": "0",
      "x": "0.964292957",
      "y": "0.418233088"
    },
    {
      "turn": "0",
      "x": "1.541949848",
      "y": "1.210862855"
    },
    {
      "turn": "0",
      "x": "0.791062642",
      "y": "0.321537179"
    },
    {
      "turn": "0",
      "x": "1.583197579",
      "y": "1.404918170"
    },
    {
      "turn": "0",
      "x": "1.157268811",
      "y": "0.885708567"
    },
    {
      "turn": "0",
      "x": "1.040657727",
      "y": "0.725207178"
    },
    {
      "turn": "0",
      "x": "1.273884958",
      "y": "1.046258173"
    },
    {
      "turn": "0",
      "x": "0.886256541",
      "y": "0.600631440"
    },
    {
      "turn": "0",
      "x": "1.344646026",
      "y": "1.231600322"
    },
    {
      "turn": "0",
      "x": "0.713026227",
      "y": "0.503935531"
    },
    {
      "turn": "0",
      "x": "1.385893757",
      "y": "1.425655637"
    },
    {
      "turn": "0",
      "x": "0.959964989",
      "y": "0.906446034"
    },
    {
      "turn": "0",
      "x": "1.076576074",
      "y": "1.066947423"
    },
    {
      "turn": "0",
      "x": "0.542682379",
      "y": "0.402240819"
    },
    {
      "turn": "0",
      "x": "1.427141487",
      "y": "1.619710953"
    },
    {
      "turn": "0",
      "x": "1.147337142",
      "y": "1.252289571"
    },
    {
      "turn": "0",
      "x": "0.805563804",
      "y": "0.781870296"
    },
    {
      "turn": "0",
      "x": "0.632333489",
      "y": "0.685174386"
    },
    {
      "turn": "0",
      "x": "1.188584873",
      "y": "1.446344887"
    },
    {
      "turn": "0",
      "x": "0.788393733",
      "y": "1.006055997"
    },
    {
      "turn": "0",
      "x": "0.905004817",
      "y": "1.166557385"
    },
    {
      "turn": "0",
      "x": "0.461989642",
      "y": "0.583479675"
    },
    {
      "turn": "0",
      "x": "1.229832603",
      "y": "1.640400202"
    },
    {
      "turn": "0",
      "x": "0.632333489",
      "y": "0.883565013"
    },
    {
      "turn": "0",
      "x": "0.985875519",
      "y": "1.368885593"
    },
    {
      "turn": "0",
      "x": "0.290178319",
      "y": "0.484284361"
    },
    {
      "turn": "0",
      "x": "1.271127756",
      "y": "1.834445432"
    },
    {
      "turn": "0",
      "x": "0.460522166",
      "y": "0.784369700"
    },
    {
      "turn": "0",
      "x": "1.041119468",
      "y": "1.579058093"
    },
    {
      "turn": "0",
      "x": "0.791189106",
      "y": "1.329053000"
    },
    {
      "turn": "0",
      "x": "0.673202189",
      "y": "1.167579589"
    },
    {
      "turn": "0",
      "x": "0.290178319",
      "y": "0.682674988"
    },
    {
      "turn": "0",
      "x": "1.082367199",
      "y": "1.773113409"
    },
    {
      "turn": "0",
      "x": "0.461989642",
      "y": "0.985259726"
    },
    {
      "turn": "0",
      "x": "0.852438770",
      "y": "1.517752018"
    },
    {
      "turn": "0",
      "x": "0.290178319",
      "y": "0.886064412"
    },
    {
      "turn": "0",
      "x": "0.893686500",
      "y": "1.711807334"
    },
    {
      "turn": "0",
      "x": "0.475426996",
      "y": "1.183194949"
    },
    {
      "turn": "0",
      "x": "0.643756138",
      "y": "1.461802240"
    },
    {
      "turn": "0",
      "x": "0.290178319",
      "y": "1.084455038"
    },
    {
      "turn": "0",
      "x": "0.705005802",
      "y": "1.650501258"
    },
    {
      "turn": "0",
      "x": "0.462493166",
      "y": "1.381163690"
    },
    {
      "turn": "0",
      "x": "0.290178319",
      "y": "1.282845665"
    },
    {
      "turn": "0",
      "x": "0.483289620",
      "y": "1.578461304"
    },
    {
      "turn": "0",
      "x": "0.296242075",
      "y": "1.508032043"
    }
  ],
  "radius": "0.099195312"
}

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