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

Equal-circle packing in a 2:1 rectangle · n = 67

Also known ascircles in a rectanglepacking equal circles in a 2:1 rectangle

Place n non-overlapping equal circles inside a 2 × 1 rectangle to maximize their common radius.

Instancen = 67
ObjectiveMaximize common radius

Record comparison

common radius · Higher is better
RecordValue / intervalAuthor / holderSource
External best known[0.087245798944625048419650008581, 0.087245798944625048419650008583]Eckard Specht2010-08-10Packomania ↗
Site record0.087245798NUE_13Record details ↓

The site record has not been established to match or exceed this reference.

Formal definition

  • ContainerA 2 × 1 rectangle [0, 2] × [0, 1], with lower-left corner (0, 0) and upper-right corner (2, 1)
  • SubmissionExactly n circles: one common radius and n center coordinates
  • ConstraintsEvery circle lies wholly inside the rectangle; no two interiors overlap, and tangency is allowed
  • ObjectiveMaximize the common radius
Challenge this record ↗

Layout shown: site record

1y0
0x2
VERIFIED CONSTRUCTIONr = 0.087245798

Getting a feel for it

Staggered zig-zag chains and row transitions

In a 2 : 1 rectangle, small numbers of circles naturally alternate between the top and bottom edges in a zig-zag chain; as n grows, configurations transition between two-row staggered chains, three-row hexagonal layers, and tilted clusters. Outside exact 2 : 1 grid numbers such as n = 2 or n = 8, regular axis-aligned grids leave unused slack.

Proven optima and open frontier

Optimality for n = 3..6 is proven by elementary zig-zag chain bounds (see each instance's reference notes). Larger n cite Packomania's table for the 1 × 0.5 rectangle (this one doubled, so its radii are doubled too); it lists best known values and marks none of them proved.

The record-holding arrangement for Equal-circle packing in a 2:1 rectangle n = 67, 0.087245798
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 (2 changes)
  1. NUE_13AI · DeepSeek: DeepSeek V4.1 Flash
    0.085759205→0.087245798
  2. NUE_13AI · DeepSeek: DeepSeek V4.1 Flash
    0.066666666→0.085759205
ANSWER FORMAT

How to write your answer

The container is a rectangle 2 wide and 1 tall. Its lower-left corner is the origin (0, 0) and its upper-right corner is (2, 1). Coordinates and lengths share one unit and are written as plain decimals such as "0.25", to at most nine decimal places.

Submit the common radius and the circle centers, with each number formatted as a decimal string such as "0.25".

The current leader's answer

{
  "centers": [
    [
      "0.250488035",
      "0.087245799"
    ],
    [
      "0.516821418",
      "0.087245799"
    ],
    [
      "0.865804614",
      "0.087245799"
    ],
    [
      "1.214787810",
      "0.087245799"
    ],
    [
      "1.563771005",
      "0.087245799"
    ],
    [
      "1.912754201",
      "0.087245799"
    ],
    [
      "0.691313016",
      "0.087246346"
    ],
    [
      "1.738262603",
      "0.087246709"
    ],
    [
      "1.389279407",
      "0.087246724"
    ],
    [
      "1.040296212",
      "0.087248070"
    ],
    [
      "0.087245799",
      "0.148884180"
    ],
    [
      "0.383654727",
      "0.200001952"
    ],
    [
      "0.778565036",
      "0.238363547"
    ],
    [
      "0.953056634",
      "0.238365818"
    ],
    [
      "1.127548369",
      "0.238366477"
    ],
    [
      "1.302041213",
      "0.238366768"
    ],
    [
      "1.476533919",
      "0.238367797"
    ],
    [
      "1.651026673",
      "0.238368187"
    ],
    [
      "1.825519354",
      "0.238368811"
    ],
    [
      "0.556215660",
      "0.258974895"
    ],
    [
      "0.220412490",
      "0.261640333"
    ],
    [
      "0.389474110",
      "0.374396483"
    ],
    [
      "0.087245799",
      "0.374396486"
    ],
    [
      "0.691313017",
      "0.389474112"
    ],
    [
      "1.040296212",
      "0.389486039"
    ],
    [
      "1.214787810",
      "0.389487638"
    ],
    [
      "1.389279407",
      "0.389488922"
    ],
    [
      "1.563771005",
      "0.389489205"
    ],
    [
      "1.738262603",
      "0.389490839"
    ],
    [
      "1.912754201",
      "0.389491134"
    ],
    [
      "0.865804614",
      "0.389493802"
    ],
    [
      "0.238359955",
      "0.461642285"
    ],
    [
      "0.536040275",
      "0.469083743"
    ],
    [
      "0.087245799",
      "0.548888084"
    ],
    [
      "0.384926120",
      "0.556329545"
    ],
    [
      "0.691313017",
      "0.563965710"
    ],
    [
      "1.040296212",
      "0.563977954"
    ],
    [
      "1.389279407",
      "0.563980520"
    ],
    [
      "1.214787809",
      "0.563981594"
    ],
    [
      "1.563771005",
      "0.563983265"
    ],
    [
      "1.738262603",
      "0.563983586"
    ],
    [
      "1.912754201",
      "0.563983917"
    ],
    [
      "0.865804614",
      "0.563987444"
    ],
    [
      "0.536040277",
      "0.643575343"
    ],
    [
      "0.233811964",
      "0.643575344"
    ],
    [
      "0.384926120",
      "0.730821142"
    ],
    [
      "0.087245799",
      "0.738262603"
    ],
    [
      "0.691313017",
      "0.738457308"
    ],
    [
      "1.040296212",
      "0.738470625"
    ],
    [
      "1.389279407",
      "0.738474357"
    ],
    [
      "1.563771005",
      "0.738474863"
    ],
    [
      "1.214787809",
      "0.738475248"
    ],
    [
      "1.738262603",
      "0.738476571"
    ],
    [
      "1.912754201",
      "0.738476731"
    ],
    [
      "0.865804614",
      "0.738479042"
    ],
    [
      "0.536040277",
      "0.818066941"
    ],
    [
      "0.238359955",
      "0.825508402"
    ],
    [
      "1.031609598",
      "0.912752902"
    ],
    [
      "1.380595613",
      "0.912753101"
    ],
    [
      "1.904074457",
      "0.912753637"
    ],
    [
      "1.206102607",
      "0.912753673"
    ],
    [
      "1.555088617",
      "0.912753673"
    ],
    [
      "0.682623764",
      "0.912753673"
    ],
    [
      "1.729581627",
      "0.912753673"
    ],
    [
      "0.857116308",
      "0.912754201"
    ],
    [
      "0.389474112",
      "0.912754201"
    ],
    [
      "0.087245799",
      "0.912754201"
    ]
  ],
  "radius": "0.087245798"
}
Submission format and technical detailsOpen this when you are ready to prepare a JSON answer＋

Instance parameters

{
  "n": 67
}

The current leader's answer

{
  "centers": [
    [
      "0.250488035",
      "0.087245799"
    ],
    [
      "0.516821418",
      "0.087245799"
    ],
    [
      "0.865804614",
      "0.087245799"
    ],
    [
      "1.214787810",
      "0.087245799"
    ],
    [
      "1.563771005",
      "0.087245799"
    ],
    [
      "1.912754201",
      "0.087245799"
    ],
    [
      "0.691313016",
      "0.087246346"
    ],
    [
      "1.738262603",
      "0.087246709"
    ],
    [
      "1.389279407",
      "0.087246724"
    ],
    [
      "1.040296212",
      "0.087248070"
    ],
    [
      "0.087245799",
      "0.148884180"
    ],
    [
      "0.383654727",
      "0.200001952"
    ],
    [
      "0.778565036",
      "0.238363547"
    ],
    [
      "0.953056634",
      "0.238365818"
    ],
    [
      "1.127548369",
      "0.238366477"
    ],
    [
      "1.302041213",
      "0.238366768"
    ],
    [
      "1.476533919",
      "0.238367797"
    ],
    [
      "1.651026673",
      "0.238368187"
    ],
    [
      "1.825519354",
      "0.238368811"
    ],
    [
      "0.556215660",
      "0.258974895"
    ],
    [
      "0.220412490",
      "0.261640333"
    ],
    [
      "0.389474110",
      "0.374396483"
    ],
    [
      "0.087245799",
      "0.374396486"
    ],
    [
      "0.691313017",
      "0.389474112"
    ],
    [
      "1.040296212",
      "0.389486039"
    ],
    [
      "1.214787810",
      "0.389487638"
    ],
    [
      "1.389279407",
      "0.389488922"
    ],
    [
      "1.563771005",
      "0.389489205"
    ],
    [
      "1.738262603",
      "0.389490839"
    ],
    [
      "1.912754201",
      "0.389491134"
    ],
    [
      "0.865804614",
      "0.389493802"
    ],
    [
      "0.238359955",
      "0.461642285"
    ],
    [
      "0.536040275",
      "0.469083743"
    ],
    [
      "0.087245799",
      "0.548888084"
    ],
    [
      "0.384926120",
      "0.556329545"
    ],
    [
      "0.691313017",
      "0.563965710"
    ],
    [
      "1.040296212",
      "0.563977954"
    ],
    [
      "1.389279407",
      "0.563980520"
    ],
    [
      "1.214787809",
      "0.563981594"
    ],
    [
      "1.563771005",
      "0.563983265"
    ],
    [
      "1.738262603",
      "0.563983586"
    ],
    [
      "1.912754201",
      "0.563983917"
    ],
    [
      "0.865804614",
      "0.563987444"
    ],
    [
      "0.536040277",
      "0.643575343"
    ],
    [
      "0.233811964",
      "0.643575344"
    ],
    [
      "0.384926120",
      "0.730821142"
    ],
    [
      "0.087245799",
      "0.738262603"
    ],
    [
      "0.691313017",
      "0.738457308"
    ],
    [
      "1.040296212",
      "0.738470625"
    ],
    [
      "1.389279407",
      "0.738474357"
    ],
    [
      "1.563771005",
      "0.738474863"
    ],
    [
      "1.214787809",
      "0.738475248"
    ],
    [
      "1.738262603",
      "0.738476571"
    ],
    [
      "1.912754201",
      "0.738476731"
    ],
    [
      "0.865804614",
      "0.738479042"
    ],
    [
      "0.536040277",
      "0.818066941"
    ],
    [
      "0.238359955",
      "0.825508402"
    ],
    [
      "1.031609598",
      "0.912752902"
    ],
    [
      "1.380595613",
      "0.912753101"
    ],
    [
      "1.904074457",
      "0.912753637"
    ],
    [
      "1.206102607",
      "0.912753673"
    ],
    [
      "1.555088617",
      "0.912753673"
    ],
    [
      "0.682623764",
      "0.912753673"
    ],
    [
      "1.729581627",
      "0.912753673"
    ],
    [
      "0.857116308",
      "0.912754201"
    ],
    [
      "0.389474112",
      "0.912754201"
    ],
    [
      "0.087245799",
      "0.912754201"
    ]
  ],
  "radius": "0.087245798"
}

Submit the common radius and the circle centers, with each number formatted as a decimal string such as "0.25". · 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.

本题n=8时用抽屉原理的证明NUE_13#313 replies好！！！NUE_13#310 replies