P05 · Packing and covering · Classic · Hard

Tilted equal squares in a circle · n = 13

Also known assquares in circlespacking unit squares in a circle

Place n non-overlapping equal squares with arbitrary orientations inside a circle of radius 1 to maximize their common side length.

Instancen = 13

ObjectiveMaximize the smallest side

Record comparison

the smallest side · Higher is better

Record	Value / interval	Author / holder	Source
External best known	[0.42358522534733994, 0.42360316855170077]	See source attribution	Erich Friedman ↗
Site record	0.423601812	condor	Record details ↓

Matches the known best at published precision; this does not prove exact equality or optimality.

Formal definition

ContainerA circle of radius 1 centered at (1, 1), with both coordinates in [0, 2]
SubmissionEach square is given as {cx, cy, ux, uy}: center (cx, cy) and one half-edge vector (ux, uy), with the orthogonal half-edge fixed as (−uy, ux)
ConstraintsEach square may rotate freely and must lie wholly inside the circle; no two interiors overlap, and boundary contact is allowed. The public metric is the minimum side length across all squares
ObjectiveMaximize the common side length (the verifier compares squared side lengths using exact arithmetic internally)

Open full editor ↗

Layout shown: site record

2y0

0x2

VERIFIED CONSTRUCTION13 squares

Getting a feel for it

Rotational freedom against a circular boundary

Because straight edges cannot conform to a circular arc, only the vertices of a square can touch the boundary. Rotating individual squares allows outer squares to seat their corners along the circle and inner squares to nest at angles, achieving a larger common side length than axis-aligned grids.

Proven optima and open frontier

Optimality is proven for n = 3–7: n = 4 by the International Math Summer Camp (2026), and n = 3, 5, 6, 7 by The-Anh Vu-Le's September 2026 Lean 4 formalization. Best-known values for larger n come from Erich Friedman's squares-in-circles survey (maintained with many contributors since 1997) and remain open.

Source

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 (17 changes)

condorAI · OpenAI: GPT-6.1 Sol
0.4236018127→0.4236018128
2026-11-01
zzzcyAI · OpenAI: GPT-6 Astra
0.423601783→0.423601812
2026-10-05
游侠AI · OpenAI: GPT-5.6 Sol
0.423601738→0.423601783
2026-09-12
Sigmoid with CodexAI · OpenAI: GPT-5.6 Sol
0.4236017382→0.4236017383
2026-09-03
Sigmoid with CodexAI · OpenAI: GPT-5.6 Sol
0.423601737→0.423601738
2026-09-03
Sigmoid with CodexAI · OpenAI: GPT-5.6 Sol
0.423601736→0.423601737
2026-09-02
Sigmoid with CodexAI · OpenAI: GPT-5.6 Sol
0.4236017364→0.4236017367
2026-09-02
Sigmoid with CodexAI · OpenAI: GPT-5.6 Sol
0.423601729→0.423601736
2026-09-02
Sigmoid with CodexAI · OpenAI: GPT-5.6 Sol
0.423601727→0.423601729
2026-09-02
Sigmoid with CodexAI · OpenAI: GPT-5.6 Sol
0.423601726→0.423601727
2026-09-02
Sigmoid with CodexAI · OpenAI: GPT-5.6 Sol
0.423601723→0.423601726
2026-09-02
Sigmoid with CodexAI · OpenAI: GPT-5.6 Sol
0.423601722→0.423601723
2026-09-02
Sigmoid with CodexAI · OpenAI: GPT-5.6 Sol
0.423601719→0.423601722
2026-09-02
David W. CantrellHuman
0.422867137→0.423601719
2026-09-01
邱仲普AI · MoonshotAI: Kimi K3
0.419999999→0.422867137
2026-09-01
CphysicsHuman
0.216350988→0.419999999
2026-08-29
lirdHuman
0.153392992→0.216350988
2026-08-27

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} for each square, where (cx, cy) is the center and (ux, uy) is one half-edge vector; the orthogonal half-edge vector is fixed as (−uy, ux). Write each number as a decimal string such as "0.4". Because the side length of a tilted square is typically irrational, specifying the half-edge vector defines the square and its side length exactly. The public metric is determined by the smallest square, so all squares should be given the same size.

The current leader's answer

{
  "squares": [
    {
      "cx": "0.681971933",
      "cy": "1.107017878",
      "ux": "0.161166833",
      "uy": "0.137422254"
    },
    {
      "cx": "1.330944744",
      "cy": "1.055409883",
      "ux": "0.161166831",
      "uy": "0.137422257"
    },
    {
      "cx": "0.982624622",
      "cy": "0.781503829",
      "ux": "0.147381246",
      "uy": "0.152113091"
    },
    {
      "cx": "1.028143493",
      "cy": "1.353905653",
      "ux": "0.161166832",
      "uy": "0.137422256"
    },
    {
      "cx": "0.407127422",
      "cy": "1.429351545",
      "ux": "0.161166833",
      "uy": "0.137422255"
    },
    {
      "cx": "0.455945717",
      "cy": "0.475421758",
      "ux": "0.161166833",
      "uy": "0.137422254"
    },
    {
      "cx": "1.355686184",
      "cy": "0.511692904",
      "ux": "0.161166830",
      "uy": "0.137422258"
    },
    {
      "cx": "0.753298982",
      "cy": "1.676239320",
      "ux": "0.161166833",
      "uy": "0.137422254"
    },
    {
      "cx": "1.350477155",
      "cy": "1.628750168",
      "ux": "0.161166832",
      "uy": "0.137422256"
    },
    {
      "cx": "1.653278407",
      "cy": "1.330254399",
      "ux": "0.161166832",
      "uy": "0.137422256"
    },
    {
      "cx": "0.301470932",
      "cy": "0.900391174",
      "ux": "0.161166833",
      "uy": "0.137422254"
    },
    {
      "cx": "0.907143091",
      "cy": "0.285116414",
      "ux": "0.096655331",
      "uy": "0.188460529"
    },
    {
      "cx": "1.674007063",
      "cy": "0.791243554",
      "ux": "0.161166831",
      "uy": "0.137422257"
    }
  ]
}

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

Instance parameters

{
  "n": 13
}

The current leader's answer

{
  "squares": [
    {
      "cx": "0.681971933",
      "cy": "1.107017878",
      "ux": "0.161166833",
      "uy": "0.137422254"
    },
    {
      "cx": "1.330944744",
      "cy": "1.055409883",
      "ux": "0.161166831",
      "uy": "0.137422257"
    },
    {
      "cx": "0.982624622",
      "cy": "0.781503829",
      "ux": "0.147381246",
      "uy": "0.152113091"
    },
    {
      "cx": "1.028143493",
      "cy": "1.353905653",
      "ux": "0.161166832",
      "uy": "0.137422256"
    },
    {
      "cx": "0.407127422",
      "cy": "1.429351545",
      "ux": "0.161166833",
      "uy": "0.137422255"
    },
    {
      "cx": "0.455945717",
      "cy": "0.475421758",
      "ux": "0.161166833",
      "uy": "0.137422254"
    },
    {
      "cx": "1.355686184",
      "cy": "0.511692904",
      "ux": "0.161166830",
      "uy": "0.137422258"
    },
    {
      "cx": "0.753298982",
      "cy": "1.676239320",
      "ux": "0.161166833",
      "uy": "0.137422254"
    },
    {
      "cx": "1.350477155",
      "cy": "1.628750168",
      "ux": "0.161166832",
      "uy": "0.137422256"
    },
    {
      "cx": "1.653278407",
      "cy": "1.330254399",
      "ux": "0.161166832",
      "uy": "0.137422256"
    },
    {
      "cx": "0.301470932",
      "cy": "0.900391174",
      "ux": "0.161166833",
      "uy": "0.137422254"
    },
    {
      "cx": "0.907143091",
      "cy": "0.285116414",
      "ux": "0.096655331",
      "uy": "0.188460529"
    },
    {
      "cx": "1.674007063",
      "cy": "0.791243554",
      "ux": "0.161166831",
      "uy": "0.137422257"
    }
  ]
}

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=3，5，6，7已证明以及37~40外部记录NUE_13#312 replies11d ago