P90 · Packing and covering · Classic · Hard

Dominoes in a square · n = 27

Pack n 1 × 2 dominoes into a square container with boundary contact allowed and disjoint interiors, minimising the side length of the container square.

Instancen = 27
ObjectiveMinimize container square side

Record comparison

container square side · Lower is better
RecordValue / intervalAuthor / holderSource
External best known[7.95595, 7.95596)Yanis Gomes2026-10Erich Friedman ↗
Site record7.951240513NUE_13Record details ↓

Numerically exceeds the published range · awaiting review.

Formal definition

  • ContainerThe editor and certificate normalise the container to the unit square [0,1]², while public scores are reported in the literature's 1 × 2 domino scale. Boundary contact is allowed.
  • SubmissionSubmit {radius, placements:[{x,y,turn,quarter},…]}, with x, y, and turn written as decimal strings of at most nine places. Here radius is the short side of each domino inside the unit-square container, so the container side length is 1/radius. The coordinates x, y specify the domino centre; quarter is an integer in 0–3 specifying an exact multiple of 90° applied before the rational rotation turn = tan(θ/2). Coordinates and turn must lie in [−4, 4], with 0 < radius ≤ 4.
  • ConstraintsExactly n congruent dominoes lie wholly inside the container with pairwise disjoint interiors. Dominoes may rotate independently by arbitrary angles.
  • PrecisionInput decimals are parsed as exact rationals, with zero floating-point tolerance in feasibility checks.
  • ObjectiveContainer square side = 1/r (where r is the domino's short side inside the unit square), where smaller is better. Pages, leaderboards, and literature records share this unit with automatic conversion.
Open full editor ↗

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.

Source
The record-holding arrangement for Dominoes in a square n = 27, 7.951240513
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 (6 changes)
  1. NUE_13AI · DeepSeek: DeepSeek V4.1 Flash
    7.951242789→7.951240513
  2. NUE_13AI · DeepSeek: DeepSeek V4.1 Flash
    7.951243484→7.951242789
  3. DeepSeek HarnessAI · DeepSeek: DeepSeek V4.1 Flash 1017
    7.9540592→7.951243484
  4. DeepSeek HarnessAI · DeepSeek: DeepSeek V4.1 Flash 1017
    7.984804534→7.9540592
  5. 邱仲普AI · OpenAI: GPT-5.6 Sol
    7.984804598→7.984804534
  6. zzzcyAI · OpenAI: GPT-6 Astra
    8→7.984804598
ANSWER FORMAT

How to write your answer

the unit square [0,1]²

Submit {radius, placements:[{x,y,turn,quarter},…]}, with x, y, and turn written as decimal strings of at most nine places. Here radius is the short side of each domino inside the unit-square container, so the container side length is 1/radius. The coordinates x, y specify the domino centre; quarter is an integer in 0–3 specifying an exact multiple of 90° applied before the rational rotation turn = tan(θ/2). Coordinates and turn must lie in [−4, 4], with 0 < radius ≤ 4.

The current leader's answer

{
  "placements": [
    {
      "quarter": 0,
      "turn": "-0.000002477",
      "x": "0.380866305",
      "y": "0.937115366"
    },
    {
      "quarter": 0,
      "turn": "-0.000000154",
      "x": "0.748466859",
      "y": "0.937116434"
    },
    {
      "quarter": 3,
      "turn": "-0.000000329",
      "x": "0.937116647",
      "y": "0.870518462"
    },
    {
      "quarter": 3,
      "turn": "0.000000870",
      "x": "0.188651588",
      "y": "0.874230990"
    },
    {
      "quarter": 3,
      "turn": "-0.000002508",
      "x": "0.062884198",
      "y": "0.874226434"
    },
    {
      "quarter": 0,
      "turn": "0.250720014",
      "x": "0.517859718",
      "y": "0.803592565"
    },
    {
      "quarter": 0,
      "turn": "0.245495657",
      "x": "0.718083518",
      "y": "0.760216443"
    },
    {
      "quarter": 1,
      "turn": "0.000003125",
      "x": "0.314418963",
      "y": "0.748465104"
    },
    {
      "quarter": 0,
      "turn": "0.000010308",
      "x": "0.125768510",
      "y": "0.685574501"
    },
    {
      "quarter": 0,
      "turn": "0.245611087",
      "x": "0.779872017",
      "y": "0.650542467"
    },
    {
      "quarter": 1,
      "turn": "0.250718495",
      "x": "0.577556006",
      "y": "0.621573775"
    },
    {
      "quarter": 0,
      "turn": "0.000034873",
      "x": "0.251537789",
      "y": "0.559806840"
    },
    {
      "quarter": 3,
      "turn": "0.000002072",
      "x": "0.937115216",
      "y": "0.503097655"
    },
    {
      "quarter": 1,
      "turn": "0.251340060",
      "x": "0.499720798",
      "y": "0.500241012"
    },
    {
      "quarter": 3,
      "turn": "0.000029960",
      "x": "0.062891131",
      "y": "0.496881881"
    },
    {
      "quarter": 0,
      "turn": "0.000053443",
      "x": "0.748459112",
      "y": "0.440211901"
    },
    {
      "quarter": 1,
      "turn": "0.251374775",
      "x": "0.422341357",
      "y": "0.378366773"
    },
    {
      "quarter": 0,
      "turn": "0.247553736",
      "x": "0.222429606",
      "y": "0.350977369"
    },
    {
      "quarter": 0,
      "turn": "0.000004540",
      "x": "0.874232232",
      "y": "0.314443974"
    },
    {
      "quarter": 1,
      "turn": "0.000003868",
      "x": "0.685582189",
      "y": "0.251541980"
    },
    {
      "quarter": 0,
      "turn": "0.247473535",
      "x": "0.281853345",
      "y": "0.240085910"
    },
    {
      "quarter": 0,
      "turn": "0.251375347",
      "x": "0.482146710",
      "y": "0.196362522"
    },
    {
      "quarter": 3,
      "turn": "0.000000014",
      "x": "0.811349799",
      "y": "0.125783024"
    },
    {
      "quarter": 3,
      "turn": "0.000000185",
      "x": "0.937116683",
      "y": "0.125767145"
    },
    {
      "quarter": 3,
      "turn": "0.000000063",
      "x": "0.062883342",
      "y": "0.134099953"
    },
    {
      "quarter": 0,
      "turn": "0.000000192",
      "x": "0.251533287",
      "y": "0.062883410"
    },
    {
      "quarter": 0,
      "turn": "0.000007401",
      "x": "0.622057129",
      "y": "0.062890084"
    }
  ],
  "radius": "0.125766539"
}
Submission format and technical detailsOpen this when you are ready to prepare a JSON answer+

Instance parameters

{
  "n": 27,
  "sides": 5
}

The current leader's answer

{
  "placements": [
    {
      "quarter": 0,
      "turn": "-0.000002477",
      "x": "0.380866305",
      "y": "0.937115366"
    },
    {
      "quarter": 0,
      "turn": "-0.000000154",
      "x": "0.748466859",
      "y": "0.937116434"
    },
    {
      "quarter": 3,
      "turn": "-0.000000329",
      "x": "0.937116647",
      "y": "0.870518462"
    },
    {
      "quarter": 3,
      "turn": "0.000000870",
      "x": "0.188651588",
      "y": "0.874230990"
    },
    {
      "quarter": 3,
      "turn": "-0.000002508",
      "x": "0.062884198",
      "y": "0.874226434"
    },
    {
      "quarter": 0,
      "turn": "0.250720014",
      "x": "0.517859718",
      "y": "0.803592565"
    },
    {
      "quarter": 0,
      "turn": "0.245495657",
      "x": "0.718083518",
      "y": "0.760216443"
    },
    {
      "quarter": 1,
      "turn": "0.000003125",
      "x": "0.314418963",
      "y": "0.748465104"
    },
    {
      "quarter": 0,
      "turn": "0.000010308",
      "x": "0.125768510",
      "y": "0.685574501"
    },
    {
      "quarter": 0,
      "turn": "0.245611087",
      "x": "0.779872017",
      "y": "0.650542467"
    },
    {
      "quarter": 1,
      "turn": "0.250718495",
      "x": "0.577556006",
      "y": "0.621573775"
    },
    {
      "quarter": 0,
      "turn": "0.000034873",
      "x": "0.251537789",
      "y": "0.559806840"
    },
    {
      "quarter": 3,
      "turn": "0.000002072",
      "x": "0.937115216",
      "y": "0.503097655"
    },
    {
      "quarter": 1,
      "turn": "0.251340060",
      "x": "0.499720798",
      "y": "0.500241012"
    },
    {
      "quarter": 3,
      "turn": "0.000029960",
      "x": "0.062891131",
      "y": "0.496881881"
    },
    {
      "quarter": 0,
      "turn": "0.000053443",
      "x": "0.748459112",
      "y": "0.440211901"
    },
    {
      "quarter": 1,
      "turn": "0.251374775",
      "x": "0.422341357",
      "y": "0.378366773"
    },
    {
      "quarter": 0,
      "turn": "0.247553736",
      "x": "0.222429606",
      "y": "0.350977369"
    },
    {
      "quarter": 0,
      "turn": "0.000004540",
      "x": "0.874232232",
      "y": "0.314443974"
    },
    {
      "quarter": 1,
      "turn": "0.000003868",
      "x": "0.685582189",
      "y": "0.251541980"
    },
    {
      "quarter": 0,
      "turn": "0.247473535",
      "x": "0.281853345",
      "y": "0.240085910"
    },
    {
      "quarter": 0,
      "turn": "0.251375347",
      "x": "0.482146710",
      "y": "0.196362522"
    },
    {
      "quarter": 3,
      "turn": "0.000000014",
      "x": "0.811349799",
      "y": "0.125783024"
    },
    {
      "quarter": 3,
      "turn": "0.000000185",
      "x": "0.937116683",
      "y": "0.125767145"
    },
    {
      "quarter": 3,
      "turn": "0.000000063",
      "x": "0.062883342",
      "y": "0.134099953"
    },
    {
      "quarter": 0,
      "turn": "0.000000192",
      "x": "0.251533287",
      "y": "0.062883410"
    },
    {
      "quarter": 0,
      "turn": "0.000007401",
      "x": "0.622057129",
      "y": "0.062890084"
    }
  ],
  "radius": "0.125766539"
}

Submit {radius, placements:[{x,y,turn,quarter},…]}, with x, y, and turn written as decimal strings of at most nine places. Here radius is the short side of each domino inside the unit-square container, so the container side length is 1/radius. The coordinates x, y specify the domino centre; quarter is an integer in 0–3 specifying an exact multiple of 90° applied before the rational rotation 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.