MinMax Arena
中/EN
P82 · Packing and covering · Classic · Hard

Equal circles in regular polygons · m = 8 · n = 45

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 = 8 · n = 45
ObjectiveMaximize circle radius

Record comparison

circle radius · Higher is better
RecordValue / intervalAuthor / holderSource
External best known[0.125455094343, 0.125455094345]Eckard SpechtPackomania ↗
Site record0.125455093condorRecord 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
The record-holding arrangement for Equal circles in regular polygons m = 8 · n = 45, 0.125455093
LAYOUT & HISTORY

Record details

Inspect the layout, solver notes and record history.

Record holdercondor
Solution methodAI · OpenAI: GPT-6 Astra
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)
  1. condorAI · OpenAI: GPT-6 Astra
    0.125455091→0.125455093
  2. NUE_13AI · DeepSeek: DeepSeek V4.1 Flash
    0.058441558→0.125455091
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.005360552",
      "y": "0.138012029"
    },
    {
      "turn": "0",
      "x": "1.237171340",
      "y": "0.234031201"
    },
    {
      "turn": "0",
      "x": "1.493871968",
      "y": "0.340360083"
    },
    {
      "turn": "0",
      "x": "1.666427667",
      "y": "0.522515109"
    },
    {
      "turn": "0",
      "x": "0.772010687",
      "y": "0.230227881"
    },
    {
      "turn": "0",
      "x": "1.285564017",
      "y": "0.480230453"
    },
    {
      "turn": "0",
      "x": "1.048152872",
      "y": "0.399040115"
    },
    {
      "turn": "0",
      "x": "1.762446839",
      "y": "0.754325897"
    },
    {
      "turn": "0",
      "x": "1.469207302",
      "y": "0.679015949"
    },
    {
      "turn": "0",
      "x": "0.540199899",
      "y": "0.326247053"
    },
    {
      "turn": "0",
      "x": "0.810068647",
      "y": "0.478234967"
    },
    {
      "turn": "0",
      "x": "1.208011178",
      "y": "0.718854593"
    },
    {
      "turn": "0",
      "x": "1.864208384",
      "y": "1.000000000"
    },
    {
      "turn": "0",
      "x": "0.960248391",
      "y": "0.679237372"
    },
    {
      "turn": "0",
      "x": "1.616738446",
      "y": "0.958592847"
    },
    {
      "turn": "0",
      "x": "0.578257859",
      "y": "0.574254139"
    },
    {
      "turn": "0",
      "x": "1.370584099",
      "y": "0.909972275"
    },
    {
      "turn": "0",
      "x": "0.328596963",
      "y": "0.535547806"
    },
    {
      "turn": "0",
      "x": "0.729371484",
      "y": "0.777480829"
    },
    {
      "turn": "0",
      "x": "1.123784871",
      "y": "0.955205713"
    },
    {
      "turn": "0",
      "x": "1.768189212",
      "y": "1.231810788"
    },
    {
      "turn": "0",
      "x": "1.520719274",
      "y": "1.190403635"
    },
    {
      "turn": "0",
      "x": "0.479988237",
      "y": "0.805119910"
    },
    {
      "turn": "0",
      "x": "0.874339046",
      "y": "0.982274209"
    },
    {
      "turn": "0",
      "x": "1.271949789",
      "y": "1.157697885"
    },
    {
      "turn": "0",
      "x": "0.231810788",
      "y": "0.768189212"
    },
    {
      "turn": "0",
      "x": "0.624955799",
      "y": "1.009913290"
    },
    {
      "turn": "0",
      "x": "1.022503964",
      "y": "1.184766382"
    },
    {
      "turn": "0",
      "x": "1.672170040",
      "y": "1.463621576"
    },
    {
      "turn": "0",
      "x": "1.418288824",
      "y": "1.419453686"
    },
    {
      "turn": "0",
      "x": "0.379243597",
      "y": "1.060721129"
    },
    {
      "turn": "0",
      "x": "1.169328677",
      "y": "1.388232415"
    },
    {
      "turn": "0",
      "x": "0.754555398",
      "y": "1.224761765"
    },
    {
      "turn": "0",
      "x": "0.135791616",
      "y": "1.000000000"
    },
    {
      "turn": "0",
      "x": "1.508327723",
      "y": "1.653652147"
    },
    {
      "turn": "0",
      "x": "0.919709567",
      "y": "1.413653329"
    },
    {
      "turn": "0",
      "x": "0.500905713",
      "y": "1.280161901"
    },
    {
      "turn": "0",
      "x": "0.250033372",
      "y": "1.275803999"
    },
    {
      "turn": "0",
      "x": "1.061187094",
      "y": "1.620873097"
    },
    {
      "turn": "0",
      "x": "0.673547589",
      "y": "1.462235253"
    },
    {
      "turn": "0",
      "x": "1.276516936",
      "y": "1.749671319"
    },
    {
      "turn": "0",
      "x": "0.795473941",
      "y": "1.689205114"
    },
    {
      "turn": "0",
      "x": "0.346052545",
      "y": "1.507614787"
    },
    {
      "turn": "0",
      "x": "0.535707255",
      "y": "1.671892033"
    },
    {
      "turn": "0",
      "x": "1.000000000",
      "y": "1.864208384"
    }
  ],
  "radius": "0.125455093"
}
Submission format and technical detailsOpen this when you are ready to prepare a JSON answer＋

Instance parameters

{
  "n": 45,
  "sides": 8
}

The current leader's answer

{
  "placements": [
    {
      "turn": "0",
      "x": "1.005360552",
      "y": "0.138012029"
    },
    {
      "turn": "0",
      "x": "1.237171340",
      "y": "0.234031201"
    },
    {
      "turn": "0",
      "x": "1.493871968",
      "y": "0.340360083"
    },
    {
      "turn": "0",
      "x": "1.666427667",
      "y": "0.522515109"
    },
    {
      "turn": "0",
      "x": "0.772010687",
      "y": "0.230227881"
    },
    {
      "turn": "0",
      "x": "1.285564017",
      "y": "0.480230453"
    },
    {
      "turn": "0",
      "x": "1.048152872",
      "y": "0.399040115"
    },
    {
      "turn": "0",
      "x": "1.762446839",
      "y": "0.754325897"
    },
    {
      "turn": "0",
      "x": "1.469207302",
      "y": "0.679015949"
    },
    {
      "turn": "0",
      "x": "0.540199899",
      "y": "0.326247053"
    },
    {
      "turn": "0",
      "x": "0.810068647",
      "y": "0.478234967"
    },
    {
      "turn": "0",
      "x": "1.208011178",
      "y": "0.718854593"
    },
    {
      "turn": "0",
      "x": "1.864208384",
      "y": "1.000000000"
    },
    {
      "turn": "0",
      "x": "0.960248391",
      "y": "0.679237372"
    },
    {
      "turn": "0",
      "x": "1.616738446",
      "y": "0.958592847"
    },
    {
      "turn": "0",
      "x": "0.578257859",
      "y": "0.574254139"
    },
    {
      "turn": "0",
      "x": "1.370584099",
      "y": "0.909972275"
    },
    {
      "turn": "0",
      "x": "0.328596963",
      "y": "0.535547806"
    },
    {
      "turn": "0",
      "x": "0.729371484",
      "y": "0.777480829"
    },
    {
      "turn": "0",
      "x": "1.123784871",
      "y": "0.955205713"
    },
    {
      "turn": "0",
      "x": "1.768189212",
      "y": "1.231810788"
    },
    {
      "turn": "0",
      "x": "1.520719274",
      "y": "1.190403635"
    },
    {
      "turn": "0",
      "x": "0.479988237",
      "y": "0.805119910"
    },
    {
      "turn": "0",
      "x": "0.874339046",
      "y": "0.982274209"
    },
    {
      "turn": "0",
      "x": "1.271949789",
      "y": "1.157697885"
    },
    {
      "turn": "0",
      "x": "0.231810788",
      "y": "0.768189212"
    },
    {
      "turn": "0",
      "x": "0.624955799",
      "y": "1.009913290"
    },
    {
      "turn": "0",
      "x": "1.022503964",
      "y": "1.184766382"
    },
    {
      "turn": "0",
      "x": "1.672170040",
      "y": "1.463621576"
    },
    {
      "turn": "0",
      "x": "1.418288824",
      "y": "1.419453686"
    },
    {
      "turn": "0",
      "x": "0.379243597",
      "y": "1.060721129"
    },
    {
      "turn": "0",
      "x": "1.169328677",
      "y": "1.388232415"
    },
    {
      "turn": "0",
      "x": "0.754555398",
      "y": "1.224761765"
    },
    {
      "turn": "0",
      "x": "0.135791616",
      "y": "1.000000000"
    },
    {
      "turn": "0",
      "x": "1.508327723",
      "y": "1.653652147"
    },
    {
      "turn": "0",
      "x": "0.919709567",
      "y": "1.413653329"
    },
    {
      "turn": "0",
      "x": "0.500905713",
      "y": "1.280161901"
    },
    {
      "turn": "0",
      "x": "0.250033372",
      "y": "1.275803999"
    },
    {
      "turn": "0",
      "x": "1.061187094",
      "y": "1.620873097"
    },
    {
      "turn": "0",
      "x": "0.673547589",
      "y": "1.462235253"
    },
    {
      "turn": "0",
      "x": "1.276516936",
      "y": "1.749671319"
    },
    {
      "turn": "0",
      "x": "0.795473941",
      "y": "1.689205114"
    },
    {
      "turn": "0",
      "x": "0.346052545",
      "y": "1.507614787"
    },
    {
      "turn": "0",
      "x": "0.535707255",
      "y": "1.671892033"
    },
    {
      "turn": "0",
      "x": "1.000000000",
      "y": "1.864208384"
    }
  ],
  "radius": "0.125455093"
}

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. · Verifier v1.0.0

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 replies