P05 · Packing and covering · Classic · Easy

Tilted equal squares in a circle · n = 40

Also known assquares in circlespacking unit squares in a circle

Place n freely rotatable squares of one common side inside a circle of radius 1, none overlapping, making that side as large as possible.

Instancen = 40

ObjectiveMaximize the smallest side

Formal definition

ContainerA circle of radius 1 centred at (1, 1), so both coordinates run from 0 to 2
SubmissionEach square is {cx, cy, ux, uy}: a centre plus one half-edge vector, the other fixed as (−uy, ux)
ConstraintsEvery square tilts freely; all lie inside the container; no two overlap in their interiors, touching allowed. Only the smallest square is scored, so unequal sides gain nothing
ObjectiveMake the common side as large as possible; compared internally by its square, exactly

Open the full editor ↗

2y0

0x2

VERIFIED CONSTRUCTION40 squares

Getting a feel for it

Where the room for improvement is

A circular container has no corners: straight sides cannot hug the arc, so optima are almost always tilted, squares bracing corner against corner.

Where the frontier is

n = 4 is proven; the other best known values up to n = 35 come from Friedman's squares-in-circles survey (many contributors since 1997), none of them proven; n = 36–40 have no public record at all.

Source

Current leader

0.049984378

the smallest side

Record holderFounding benchmark

Solution methodHuman

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

Record holder's solver noteNo solver note yet (expand)＋

The record holder has not shared a solver note yet.

ANSWER FORMAT

How to write your answer

The container is a circle of radius 1 centred at (1, 1), so coordinates run from 0 to 2. Coordinates and vectors share one unit and are written as plain decimals such as "0.4", to at most nine decimal places.

Submit {cx,cy,ux,uy} per square: a centre plus one half-edge vector, the other half-edge being (-uy,ux). Write every number as a decimal string such as "0.4", every angle is free, and the smallest square is the one scored, so writing them equal is the winning move. The side is almost always irrational, so what you write is the half-edge vector and the side follows from it exactly.

The current leader's answer

{
  "squares": [
    {
      "cx": "0.025304629",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "0.075289007",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "0.125273385",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "0.175257763",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "0.225242141",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "0.275226519",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "0.325210897",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "0.375195275",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "0.425179653",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "0.475164031",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "0.525148409",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "0.575132787",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "0.625117165",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "0.675101543",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "0.725085921",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "0.775070299",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "0.825054677",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "0.875039055",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "0.925023433",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "0.975007811",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "1.024992189",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "1.074976567",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "1.124960945",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "1.174945323",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "1.224929701",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "1.274914079",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "1.324898457",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "1.374882835",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "1.424867213",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "1.474851591",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "1.524835969",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "1.574820347",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "1.624804725",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "1.674789103",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "1.724773481",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "1.774757859",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "1.824742237",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "1.874726615",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "1.924710993",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "1.974695371",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    }
  ]
}

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

Instance parameters

{
  "n": 40
}

The current leader's answer

{
  "squares": [
    {
      "cx": "0.025304629",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "0.075289007",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "0.125273385",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "0.175257763",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "0.225242141",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "0.275226519",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "0.325210897",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "0.375195275",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "0.425179653",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "0.475164031",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "0.525148409",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "0.575132787",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "0.625117165",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "0.675101543",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "0.725085921",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "0.775070299",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "0.825054677",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "0.875039055",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "0.925023433",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "0.975007811",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "1.024992189",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "1.074976567",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "1.124960945",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "1.174945323",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "1.224929701",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "1.274914079",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "1.324898457",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "1.374882835",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "1.424867213",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "1.474851591",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "1.524835969",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "1.574820347",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "1.624804725",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "1.674789103",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "1.724773481",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "1.774757859",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "1.824742237",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "1.874726615",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "1.924710993",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "0"
    },
    {
      "cx": "1.974695371",
      "cy": "1",
      "ux": "0.024992189",
      "uy": "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.

No threads yet. Be the first to talk about this problem?