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

Equal-circle packing in a unit square · n = 143

Also known ascircle packing in a squarepacking equal circles in a unit squarecsq

Place n non-overlapping circles of one common radius inside the unit square, making that radius as large as possible.

Instancen = 143
ObjectiveMaximize common radius

Record comparison

common radius · Higher is better
RecordValue / intervalAuthor / holderSource
External best known[0.0435305119145, 0.0435305119155]See source attributionpackomania.com ↗
Site recordNo player record yet——

Formal definition

  • ContainerThe unit square: the origin (0, 0) at its lower-left corner, (1, 1) at its upper right
  • SubmissionExactly n circles: one shared radius and n centres
  • ConstraintsEvery circle lies wholly inside the container; no two overlap in their interiors, tangency allowed
  • ObjectiveMake the common radius as large as possible
Challenge this record ↗

Layout shown: starter layout

1y0
0x1
VERIFIED CONSTRUCTIONr = 0.043530511

Getting a feel for it

Where the room for improvement is

Optimal packings are jammed contact structures: circles brace against each other and the boundary, with tilted rows, offsets, and the odd rattler touching nothing. Neat grids are almost never optimal.

Where the frontier is

The optima for n = 1–30 are proved and make a compact gallery of classic contact structures. For n = 31–300 the public Packomania frontier is imported; optimality remains open except at n = 36. The large instances share one dense table for algorithmic challenges.

Source
The current arrangement for Equal-circle packing in a unit square n = 143
LAYOUT & HISTORY

Starter layout

Inspect the layout, solver notes and record history.

Challenge this record ↗Submit a proof / idea ↓Share a proof or idea in the discussion. Accepted contributions can earn proof points.
ANSWER FORMAT

How to write your answer

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

Submit radius and centers. Write every number as a decimal string, for example "0.25".

Starter answer

{
  "centers": [
    [
      "0.043530512",
      "0.043530512"
    ],
    [
      "0.195687008",
      "0.043530512"
    ],
    [
      "0.347843504",
      "0.043530512"
    ],
    [
      "0.5",
      "0.043530512"
    ],
    [
      "0.652156496",
      "0.043530512"
    ],
    [
      "0.804312992",
      "0.043530512"
    ],
    [
      "0.956469488",
      "0.043530512"
    ],
    [
      "0.11960876",
      "0.08585925"
    ],
    [
      "0.271765256",
      "0.08585925"
    ],
    [
      "0.423921752",
      "0.08585925"
    ],
    [
      "0.576078248",
      "0.08585925"
    ],
    [
      "0.728234744",
      "0.08585925"
    ],
    [
      "0.88039124",
      "0.08585925"
    ],
    [
      "0.043530512",
      "0.130591536"
    ],
    [
      "0.195687008",
      "0.130591536"
    ],
    [
      "0.347843504",
      "0.130591536"
    ],
    [
      "0.5",
      "0.130591536"
    ],
    [
      "0.652156496",
      "0.130591536"
    ],
    [
      "0.804312992",
      "0.130591536"
    ],
    [
      "0.956469488",
      "0.130591536"
    ],
    [
      "0.11960876",
      "0.172920274"
    ],
    [
      "0.271765256",
      "0.172920274"
    ],
    [
      "0.423921752",
      "0.172920274"
    ],
    [
      "0.576078248",
      "0.172920274"
    ],
    [
      "0.728234744",
      "0.172920274"
    ],
    [
      "0.88039124",
      "0.172920274"
    ],
    [
      "0.043530512",
      "0.21765256"
    ],
    [
      "0.195687008",
      "0.21765256"
    ],
    [
      "0.347843504",
      "0.21765256"
    ],
    [
      "0.5",
      "0.21765256"
    ],
    [
      "0.652156496",
      "0.21765256"
    ],
    [
      "0.804312992",
      "0.21765256"
    ],
    [
      "0.956469488",
      "0.21765256"
    ],
    [
      "0.11960876",
      "0.259981297"
    ],
    [
      "0.271765256",
      "0.259981297"
    ],
    [
      "0.423921752",
      "0.259981297"
    ],
    [
      "0.576078248",
      "0.259981297"
    ],
    [
      "0.728234744",
      "0.259981297"
    ],
    [
      "0.88039124",
      "0.259981297"
    ],
    [
      "0.043530512",
      "0.304713583"
    ],
    [
      "0.195687008",
      "0.304713583"
    ],
    [
      "0.347843504",
      "0.304713583"
    ],
    [
      "0.5",
      "0.304713583"
    ],
    [
      "0.652156496",
      "0.304713583"
    ],
    [
      "0.804312992",
      "0.304713583"
    ],
    [
      "0.956469488",
      "0.304713583"
    ],
    [
      "0.11960876",
      "0.347042321"
    ],
    [
      "0.271765256",
      "0.347042321"
    ],
    [
      "0.423921752",
      "0.347042321"
    ],
    [
      "0.576078248",
      "0.347042321"
    ],
    [
      "0.728234744",
      "0.347042321"
    ],
    [
      "0.88039124",
      "0.347042321"
    ],
    [
      "0.043530512",
      "0.391774607"
    ],
    [
      "0.195687008",
      "0.391774607"
    ],
    [
      "0.347843504",
      "0.391774607"
    ],
    [
      "0.5",
      "0.391774607"
    ],
    [
      "0.652156496",
      "0.391774607"
    ],
    [
      "0.804312992",
      "0.391774607"
    ],
    [
      "0.956469488",
      "0.391774607"
    ],
    [
      "0.11960876",
      "0.434103345"
    ],
    [
      "0.271765256",
      "0.434103345"
    ],
    [
      "0.423921752",
      "0.434103345"
    ],
    [
      "0.576078248",
      "0.434103345"
    ],
    [
      "0.728234744",
      "0.434103345"
    ],
    [
      "0.88039124",
      "0.434103345"
    ],
    [
      "0.043530512",
      "0.478835631"
    ],
    [
      "0.195687008",
      "0.478835631"
    ],
    [
      "0.347843504",
      "0.478835631"
    ],
    [
      "0.5",
      "0.478835631"
    ],
    [
      "0.652156496",
      "0.478835631"
    ],
    [
      "0.804312992",
      "0.478835631"
    ],
    [
      "0.956469488",
      "0.478835631"
    ],
    [
      "0.11960876",
      "0.521164369"
    ],
    [
      "0.271765256",
      "0.521164369"
    ],
    [
      "0.423921752",
      "0.521164369"
    ],
    [
      "0.576078248",
      "0.521164369"
    ],
    [
      "0.728234744",
      "0.521164369"
    ],
    [
      "0.88039124",
      "0.521164369"
    ],
    [
      "0.043530512",
      "0.565896655"
    ],
    [
      "0.195687008",
      "0.565896655"
    ],
    [
      "0.347843504",
      "0.565896655"
    ],
    [
      "0.5",
      "0.565896655"
    ],
    [
      "0.652156496",
      "0.565896655"
    ],
    [
      "0.804312992",
      "0.565896655"
    ],
    [
      "0.956469488",
      "0.565896655"
    ],
    [
      "0.11960876",
      "0.608225393"
    ],
    [
      "0.271765256",
      "0.608225393"
    ],
    [
      "0.423921752",
      "0.608225393"
    ],
    [
      "0.576078248",
      "0.608225393"
    ],
    [
      "0.728234744",
      "0.608225393"
    ],
    [
      "0.88039124",
      "0.608225393"
    ],
    [
      "0.043530512",
      "0.652957679"
    ],
    [
      "0.195687008",
      "0.652957679"
    ],
    [
      "0.347843504",
      "0.652957679"
    ],
    [
      "0.5",
      "0.652957679"
    ],
    [
      "0.652156496",
      "0.652957679"
    ],
    [
      "0.804312992",
      "0.652957679"
    ],
    [
      "0.956469488",
      "0.652957679"
    ],
    [
      "0.11960876",
      "0.695286417"
    ],
    [
      "0.271765256",
      "0.695286417"
    ],
    [
      "0.423921752",
      "0.695286417"
    ],
    [
      "0.576078248",
      "0.695286417"
    ],
    [
      "0.728234744",
      "0.695286417"
    ],
    [
      "0.88039124",
      "0.695286417"
    ],
    [
      "0.043530512",
      "0.740018703"
    ],
    [
      "0.195687008",
      "0.740018703"
    ],
    [
      "0.347843504",
      "0.740018703"
    ],
    [
      "0.5",
      "0.740018703"
    ],
    [
      "0.652156496",
      "0.740018703"
    ],
    [
      "0.804312992",
      "0.740018703"
    ],
    [
      "0.956469488",
      "0.740018703"
    ],
    [
      "0.11960876",
      "0.78234744"
    ],
    [
      "0.271765256",
      "0.78234744"
    ],
    [
      "0.423921752",
      "0.78234744"
    ],
    [
      "0.576078248",
      "0.78234744"
    ],
    [
      "0.728234744",
      "0.78234744"
    ],
    [
      "0.88039124",
      "0.78234744"
    ],
    [
      "0.043530512",
      "0.827079726"
    ],
    [
      "0.195687008",
      "0.827079726"
    ],
    [
      "0.347843504",
      "0.827079726"
    ],
    [
      "0.5",
      "0.827079726"
    ],
    [
      "0.652156496",
      "0.827079726"
    ],
    [
      "0.804312992",
      "0.827079726"
    ],
    [
      "0.956469488",
      "0.827079726"
    ],
    [
      "0.11960876",
      "0.869408464"
    ],
    [
      "0.271765256",
      "0.869408464"
    ],
    [
      "0.423921752",
      "0.869408464"
    ],
    [
      "0.576078248",
      "0.869408464"
    ],
    [
      "0.728234744",
      "0.869408464"
    ],
    [
      "0.88039124",
      "0.869408464"
    ],
    [
      "0.043530512",
      "0.91414075"
    ],
    [
      "0.195687008",
      "0.91414075"
    ],
    [
      "0.347843504",
      "0.91414075"
    ],
    [
      "0.5",
      "0.91414075"
    ],
    [
      "0.652156496",
      "0.91414075"
    ],
    [
      "0.804312992",
      "0.91414075"
    ],
    [
      "0.956469488",
      "0.91414075"
    ],
    [
      "0.11960876",
      "0.956469488"
    ],
    [
      "0.271765256",
      "0.956469488"
    ],
    [
      "0.423921752",
      "0.956469488"
    ],
    [
      "0.576078248",
      "0.956469488"
    ],
    [
      "0.728234744",
      "0.956469488"
    ],
    [
      "0.88039124",
      "0.956469488"
    ]
  ],
  "radius": "0.043530511"
}
Submission format and technical detailsOpen this when you are ready to prepare a JSON answer＋

Instance parameters

{
  "n": 143
}

Starter answer

{
  "centers": [
    [
      "0.043530512",
      "0.043530512"
    ],
    [
      "0.195687008",
      "0.043530512"
    ],
    [
      "0.347843504",
      "0.043530512"
    ],
    [
      "0.5",
      "0.043530512"
    ],
    [
      "0.652156496",
      "0.043530512"
    ],
    [
      "0.804312992",
      "0.043530512"
    ],
    [
      "0.956469488",
      "0.043530512"
    ],
    [
      "0.11960876",
      "0.08585925"
    ],
    [
      "0.271765256",
      "0.08585925"
    ],
    [
      "0.423921752",
      "0.08585925"
    ],
    [
      "0.576078248",
      "0.08585925"
    ],
    [
      "0.728234744",
      "0.08585925"
    ],
    [
      "0.88039124",
      "0.08585925"
    ],
    [
      "0.043530512",
      "0.130591536"
    ],
    [
      "0.195687008",
      "0.130591536"
    ],
    [
      "0.347843504",
      "0.130591536"
    ],
    [
      "0.5",
      "0.130591536"
    ],
    [
      "0.652156496",
      "0.130591536"
    ],
    [
      "0.804312992",
      "0.130591536"
    ],
    [
      "0.956469488",
      "0.130591536"
    ],
    [
      "0.11960876",
      "0.172920274"
    ],
    [
      "0.271765256",
      "0.172920274"
    ],
    [
      "0.423921752",
      "0.172920274"
    ],
    [
      "0.576078248",
      "0.172920274"
    ],
    [
      "0.728234744",
      "0.172920274"
    ],
    [
      "0.88039124",
      "0.172920274"
    ],
    [
      "0.043530512",
      "0.21765256"
    ],
    [
      "0.195687008",
      "0.21765256"
    ],
    [
      "0.347843504",
      "0.21765256"
    ],
    [
      "0.5",
      "0.21765256"
    ],
    [
      "0.652156496",
      "0.21765256"
    ],
    [
      "0.804312992",
      "0.21765256"
    ],
    [
      "0.956469488",
      "0.21765256"
    ],
    [
      "0.11960876",
      "0.259981297"
    ],
    [
      "0.271765256",
      "0.259981297"
    ],
    [
      "0.423921752",
      "0.259981297"
    ],
    [
      "0.576078248",
      "0.259981297"
    ],
    [
      "0.728234744",
      "0.259981297"
    ],
    [
      "0.88039124",
      "0.259981297"
    ],
    [
      "0.043530512",
      "0.304713583"
    ],
    [
      "0.195687008",
      "0.304713583"
    ],
    [
      "0.347843504",
      "0.304713583"
    ],
    [
      "0.5",
      "0.304713583"
    ],
    [
      "0.652156496",
      "0.304713583"
    ],
    [
      "0.804312992",
      "0.304713583"
    ],
    [
      "0.956469488",
      "0.304713583"
    ],
    [
      "0.11960876",
      "0.347042321"
    ],
    [
      "0.271765256",
      "0.347042321"
    ],
    [
      "0.423921752",
      "0.347042321"
    ],
    [
      "0.576078248",
      "0.347042321"
    ],
    [
      "0.728234744",
      "0.347042321"
    ],
    [
      "0.88039124",
      "0.347042321"
    ],
    [
      "0.043530512",
      "0.391774607"
    ],
    [
      "0.195687008",
      "0.391774607"
    ],
    [
      "0.347843504",
      "0.391774607"
    ],
    [
      "0.5",
      "0.391774607"
    ],
    [
      "0.652156496",
      "0.391774607"
    ],
    [
      "0.804312992",
      "0.391774607"
    ],
    [
      "0.956469488",
      "0.391774607"
    ],
    [
      "0.11960876",
      "0.434103345"
    ],
    [
      "0.271765256",
      "0.434103345"
    ],
    [
      "0.423921752",
      "0.434103345"
    ],
    [
      "0.576078248",
      "0.434103345"
    ],
    [
      "0.728234744",
      "0.434103345"
    ],
    [
      "0.88039124",
      "0.434103345"
    ],
    [
      "0.043530512",
      "0.478835631"
    ],
    [
      "0.195687008",
      "0.478835631"
    ],
    [
      "0.347843504",
      "0.478835631"
    ],
    [
      "0.5",
      "0.478835631"
    ],
    [
      "0.652156496",
      "0.478835631"
    ],
    [
      "0.804312992",
      "0.478835631"
    ],
    [
      "0.956469488",
      "0.478835631"
    ],
    [
      "0.11960876",
      "0.521164369"
    ],
    [
      "0.271765256",
      "0.521164369"
    ],
    [
      "0.423921752",
      "0.521164369"
    ],
    [
      "0.576078248",
      "0.521164369"
    ],
    [
      "0.728234744",
      "0.521164369"
    ],
    [
      "0.88039124",
      "0.521164369"
    ],
    [
      "0.043530512",
      "0.565896655"
    ],
    [
      "0.195687008",
      "0.565896655"
    ],
    [
      "0.347843504",
      "0.565896655"
    ],
    [
      "0.5",
      "0.565896655"
    ],
    [
      "0.652156496",
      "0.565896655"
    ],
    [
      "0.804312992",
      "0.565896655"
    ],
    [
      "0.956469488",
      "0.565896655"
    ],
    [
      "0.11960876",
      "0.608225393"
    ],
    [
      "0.271765256",
      "0.608225393"
    ],
    [
      "0.423921752",
      "0.608225393"
    ],
    [
      "0.576078248",
      "0.608225393"
    ],
    [
      "0.728234744",
      "0.608225393"
    ],
    [
      "0.88039124",
      "0.608225393"
    ],
    [
      "0.043530512",
      "0.652957679"
    ],
    [
      "0.195687008",
      "0.652957679"
    ],
    [
      "0.347843504",
      "0.652957679"
    ],
    [
      "0.5",
      "0.652957679"
    ],
    [
      "0.652156496",
      "0.652957679"
    ],
    [
      "0.804312992",
      "0.652957679"
    ],
    [
      "0.956469488",
      "0.652957679"
    ],
    [
      "0.11960876",
      "0.695286417"
    ],
    [
      "0.271765256",
      "0.695286417"
    ],
    [
      "0.423921752",
      "0.695286417"
    ],
    [
      "0.576078248",
      "0.695286417"
    ],
    [
      "0.728234744",
      "0.695286417"
    ],
    [
      "0.88039124",
      "0.695286417"
    ],
    [
      "0.043530512",
      "0.740018703"
    ],
    [
      "0.195687008",
      "0.740018703"
    ],
    [
      "0.347843504",
      "0.740018703"
    ],
    [
      "0.5",
      "0.740018703"
    ],
    [
      "0.652156496",
      "0.740018703"
    ],
    [
      "0.804312992",
      "0.740018703"
    ],
    [
      "0.956469488",
      "0.740018703"
    ],
    [
      "0.11960876",
      "0.78234744"
    ],
    [
      "0.271765256",
      "0.78234744"
    ],
    [
      "0.423921752",
      "0.78234744"
    ],
    [
      "0.576078248",
      "0.78234744"
    ],
    [
      "0.728234744",
      "0.78234744"
    ],
    [
      "0.88039124",
      "0.78234744"
    ],
    [
      "0.043530512",
      "0.827079726"
    ],
    [
      "0.195687008",
      "0.827079726"
    ],
    [
      "0.347843504",
      "0.827079726"
    ],
    [
      "0.5",
      "0.827079726"
    ],
    [
      "0.652156496",
      "0.827079726"
    ],
    [
      "0.804312992",
      "0.827079726"
    ],
    [
      "0.956469488",
      "0.827079726"
    ],
    [
      "0.11960876",
      "0.869408464"
    ],
    [
      "0.271765256",
      "0.869408464"
    ],
    [
      "0.423921752",
      "0.869408464"
    ],
    [
      "0.576078248",
      "0.869408464"
    ],
    [
      "0.728234744",
      "0.869408464"
    ],
    [
      "0.88039124",
      "0.869408464"
    ],
    [
      "0.043530512",
      "0.91414075"
    ],
    [
      "0.195687008",
      "0.91414075"
    ],
    [
      "0.347843504",
      "0.91414075"
    ],
    [
      "0.5",
      "0.91414075"
    ],
    [
      "0.652156496",
      "0.91414075"
    ],
    [
      "0.804312992",
      "0.91414075"
    ],
    [
      "0.956469488",
      "0.91414075"
    ],
    [
      "0.11960876",
      "0.956469488"
    ],
    [
      "0.271765256",
      "0.956469488"
    ],
    [
      "0.423921752",
      "0.956469488"
    ],
    [
      "0.576078248",
      "0.956469488"
    ],
    [
      "0.728234744",
      "0.956469488"
    ],
    [
      "0.88039124",
      "0.956469488"
    ]
  ],
  "radius": "0.043530511"
}

Submit radius and centers. Write every number as a decimal string, for example "0.25". · Verifier v1.0.0

DISCUSSION

Discussion

Talk strategy, share methods, ask why you are stuck. Every signed-in user can post. Posts carry your public byline, the same name your records use; the #number after it is the account's signup ordinal, so a name cannot be worn by someone else. New posts appear after an automated review.

啊？？！NUE_13#310 replies空悲切/.lird#282 replies