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

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

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 = 41
ObjectiveMaximize circle radius

Record comparison

circle radius · Higher is better
RecordValue / intervalAuthor / holderSource
External best known[0.131274622861, 0.131274622863]Eckard SpechtPackomania ↗
Site record0.131274675condorRecord 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
The record-holding arrangement for Equal circles in regular polygons m = 8 · n = 41, 0.131274675
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)
  1. condorAI · OpenAI: GPT-6.1 Sol
    0.131274622→0.131274675
  2. condorAI · OpenAI: GPT-6 Astra
    0.13127462→0.131274622
  3. NUE_13AI · DeepSeek: DeepSeek V4.1 Flash
    0.058441558→0.13127462
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": "0.970121580",
      "y": "0.987552070"
    },
    {
      "turn": "0",
      "x": "1.109464537",
      "y": "1.210073311"
    },
    {
      "turn": "0",
      "x": "0.875987279",
      "y": "0.742458423"
    },
    {
      "turn": "0",
      "x": "0.727563483",
      "y": "1.088039542"
    },
    {
      "turn": "0",
      "x": "1.227262782",
      "y": "0.934537311"
    },
    {
      "turn": "0",
      "x": "0.633429183",
      "y": "0.842945895"
    },
    {
      "turn": "0",
      "x": "0.425121334",
      "y": "1.002758292"
    },
    {
      "turn": "0",
      "x": "1.366605739",
      "y": "1.157058551"
    },
    {
      "turn": "0",
      "x": "0.866906441",
      "y": "1.310560783"
    },
    {
      "turn": "0",
      "x": "1.133128481",
      "y": "0.689443664"
    },
    {
      "turn": "0",
      "x": "1.143708448",
      "y": "1.470379893"
    },
    {
      "turn": "0",
      "x": "1.098845692",
      "y": "0.429142198"
    },
    {
      "turn": "0",
      "x": "0.519255634",
      "y": "1.247851939"
    },
    {
      "turn": "0",
      "x": "0.658598592",
      "y": "1.470373180"
    },
    {
      "turn": "0",
      "x": "1.574900145",
      "y": "0.997228633"
    },
    {
      "turn": "0",
      "x": "0.599146394",
      "y": "0.582644430"
    },
    {
      "turn": "0",
      "x": "1.435557187",
      "y": "0.774707392"
    },
    {
      "turn": "0",
      "x": "0.901152129",
      "y": "1.570871656"
    },
    {
      "turn": "0",
      "x": "1.400849650",
      "y": "1.417365134"
    },
    {
      "turn": "0",
      "x": "0.841704491",
      "y": "0.482156958"
    },
    {
      "turn": "0",
      "x": "1.341422887",
      "y": "0.529613745"
    },
    {
      "turn": "0",
      "x": "0.388875245",
      "y": "0.742722942"
    },
    {
      "turn": "0",
      "x": "1.307140098",
      "y": "0.269312280"
    },
    {
      "turn": "0",
      "x": "1.612568210",
      "y": "1.257061808"
    },
    {
      "turn": "0",
      "x": "0.692841127",
      "y": "1.730679944"
    },
    {
      "turn": "0",
      "x": "1.064576125",
      "y": "0.168838992"
    },
    {
      "turn": "0",
      "x": "1.789011015",
      "y": "0.833664791"
    },
    {
      "turn": "0",
      "x": "0.210481013",
      "y": "1.165108856"
    },
    {
      "turn": "0",
      "x": "1.192586018",
      "y": "1.778137574"
    },
    {
      "turn": "0",
      "x": "0.310954300",
      "y": "1.407672828"
    },
    {
      "turn": "0",
      "x": "0.450277154",
      "y": "1.630206656"
    },
    {
      "turn": "0",
      "x": "1.818756308",
      "y": "1.094523718"
    },
    {
      "turn": "0",
      "x": "1.643859711",
      "y": "0.614888053"
    },
    {
      "turn": "0",
      "x": "0.356584177",
      "y": "0.482166903"
    },
    {
      "turn": "0",
      "x": "0.564870951",
      "y": "0.322327039"
    },
    {
      "turn": "0",
      "x": "1.643433427",
      "y": "1.517790596"
    },
    {
      "turn": "0",
      "x": "0.807434924",
      "y": "0.221853752"
    },
    {
      "turn": "0",
      "x": "0.181801070",
      "y": "0.904130651"
    },
    {
      "turn": "0",
      "x": "0.935448728",
      "y": "1.831171302"
    },
    {
      "turn": "0",
      "x": "1.549725410",
      "y": "0.369794406"
    },
    {
      "turn": "0",
      "x": "1.435149991",
      "y": "1.677664287"
    }
  ],
  "radius": "0.131274675"
}
Submission format and technical detailsOpen this when you are ready to prepare a JSON answer＋

Instance parameters

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

The current leader's answer

{
  "placements": [
    {
      "turn": "0",
      "x": "0.970121580",
      "y": "0.987552070"
    },
    {
      "turn": "0",
      "x": "1.109464537",
      "y": "1.210073311"
    },
    {
      "turn": "0",
      "x": "0.875987279",
      "y": "0.742458423"
    },
    {
      "turn": "0",
      "x": "0.727563483",
      "y": "1.088039542"
    },
    {
      "turn": "0",
      "x": "1.227262782",
      "y": "0.934537311"
    },
    {
      "turn": "0",
      "x": "0.633429183",
      "y": "0.842945895"
    },
    {
      "turn": "0",
      "x": "0.425121334",
      "y": "1.002758292"
    },
    {
      "turn": "0",
      "x": "1.366605739",
      "y": "1.157058551"
    },
    {
      "turn": "0",
      "x": "0.866906441",
      "y": "1.310560783"
    },
    {
      "turn": "0",
      "x": "1.133128481",
      "y": "0.689443664"
    },
    {
      "turn": "0",
      "x": "1.143708448",
      "y": "1.470379893"
    },
    {
      "turn": "0",
      "x": "1.098845692",
      "y": "0.429142198"
    },
    {
      "turn": "0",
      "x": "0.519255634",
      "y": "1.247851939"
    },
    {
      "turn": "0",
      "x": "0.658598592",
      "y": "1.470373180"
    },
    {
      "turn": "0",
      "x": "1.574900145",
      "y": "0.997228633"
    },
    {
      "turn": "0",
      "x": "0.599146394",
      "y": "0.582644430"
    },
    {
      "turn": "0",
      "x": "1.435557187",
      "y": "0.774707392"
    },
    {
      "turn": "0",
      "x": "0.901152129",
      "y": "1.570871656"
    },
    {
      "turn": "0",
      "x": "1.400849650",
      "y": "1.417365134"
    },
    {
      "turn": "0",
      "x": "0.841704491",
      "y": "0.482156958"
    },
    {
      "turn": "0",
      "x": "1.341422887",
      "y": "0.529613745"
    },
    {
      "turn": "0",
      "x": "0.388875245",
      "y": "0.742722942"
    },
    {
      "turn": "0",
      "x": "1.307140098",
      "y": "0.269312280"
    },
    {
      "turn": "0",
      "x": "1.612568210",
      "y": "1.257061808"
    },
    {
      "turn": "0",
      "x": "0.692841127",
      "y": "1.730679944"
    },
    {
      "turn": "0",
      "x": "1.064576125",
      "y": "0.168838992"
    },
    {
      "turn": "0",
      "x": "1.789011015",
      "y": "0.833664791"
    },
    {
      "turn": "0",
      "x": "0.210481013",
      "y": "1.165108856"
    },
    {
      "turn": "0",
      "x": "1.192586018",
      "y": "1.778137574"
    },
    {
      "turn": "0",
      "x": "0.310954300",
      "y": "1.407672828"
    },
    {
      "turn": "0",
      "x": "0.450277154",
      "y": "1.630206656"
    },
    {
      "turn": "0",
      "x": "1.818756308",
      "y": "1.094523718"
    },
    {
      "turn": "0",
      "x": "1.643859711",
      "y": "0.614888053"
    },
    {
      "turn": "0",
      "x": "0.356584177",
      "y": "0.482166903"
    },
    {
      "turn": "0",
      "x": "0.564870951",
      "y": "0.322327039"
    },
    {
      "turn": "0",
      "x": "1.643433427",
      "y": "1.517790596"
    },
    {
      "turn": "0",
      "x": "0.807434924",
      "y": "0.221853752"
    },
    {
      "turn": "0",
      "x": "0.181801070",
      "y": "0.904130651"
    },
    {
      "turn": "0",
      "x": "0.935448728",
      "y": "1.831171302"
    },
    {
      "turn": "0",
      "x": "1.549725410",
      "y": "0.369794406"
    },
    {
      "turn": "0",
      "x": "1.435149991",
      "y": "1.677664287"
    }
  ],
  "radius": "0.131274675"
}

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