P90 · Packing and covering · Classic

Dominoes in a square

VERIFIED CONSTRUCTIONVERIFIED CONSTRUCTION
n = 6Current record · open

Pack n 1 × 2 dominoes into a square. Contact is allowed; interiors cannot overlap. Minimise the container square side.

Formal definition

  • ContainerThe editor and certificate normalize to the unit square [0,1]². This is a coordinate convention only; scores use the literature's unit-piece scale. Boundary contact is allowed.
  • SubmissionSubmit {radius, placements:[{x,y,turn,quarter},…]}, with x, y and turn as decimal strings of at most nine places. radius is the piece's short side (the leg, the domino's short side, the cell side); the container side is 1/radius. x,y is the centre of the piece's bounding box; quarter is an integer 0–3, an exact number of right angles applied about the centre before the rational turn = tan(θ/2). Coordinates and turn lie in ±4; 0 < radius ≤ 4.
  • ConstraintsExactly n congruent shapes lie wholly in the container with pairwise disjoint interiors. Polygon rotations are independent, not limited to quarter turns.
  • PrecisionInput decimals are exact rationals; regular-polygon vertices are algebraic, not rounded templates. Feasibility has no floating-point tolerance. A finite-decimal certificate is not a continuous optimality proof.
  • Objectivecontainer square side = 1/r (r is the piece's short side inside the unit square), smaller is better. Pages, leaderboards and literature records share this unit; nothing is converted by hand.

Getting a feel for it

Source and certificate

External targets are converted with their printed precision; decimal coordinate certificates are separate. Reconstruction loss never lowers the literature target, and a source construction is not automatically an optimality proof.

Source
ONE LEADERBOARD PER n

Current best solutions by n

Each n is an independent record with a page of its own. Open any of them to inspect the current construction, then challenge it.

Discussion (0) ↓
n1
CURRENT RECORD2Source value unresolved
Hard
Answer sourceTrivial.
Solution methodPublished reference construction
n2
CURRENT RECORD2Source value unresolved
Hard
Answer sourceTrivial.
Solution methodPublished reference construction
n3
CURRENT RECORD3.000000004Source value unresolved
Hard
Answer sourceTrivial.
Solution methodPublished reference construction
n4
CURRENT RECORD3.000000004Source value unresolved
Hard
Answer sourceTrivial.
Solution methodPublished reference construction
n5
CURRENT RECORD3.767766991best known 3.76776
Matches the best known
Answer sourceJonathan Viquerat
Solution methodPublished reference construction
n6
CURRENT RECORD4Source value unresolved
Hard
Answer sourceTrivial.
Solution methodPublished reference construction
n7
CURRENT RECORD4Source value unresolved
Hard
Answer sourceTrivial.
Solution methodPublished reference construction
n8
CURRENT RECORD4Source value unresolved
Hard
Answer sourceTrivial.
Solution methodPublished reference construction
n9
CURRENT RECORD4.867843383best known 4.86784
Matches the best known
Answer sourceAapo Lipponen
Solution methodPublished reference construction
n10
CURRENT RECORD5Source value unresolved
Hard
Answer sourceTrivial.
Solution methodPublished reference construction
n11
CURRENT RECORD5Source value unresolved
Hard
Answer sourceTrivial.
Solution methodPublished reference construction
n12
CURRENT RECORD5Source value unresolved
Hard
Answer sourceTrivial.
Solution methodPublished reference construction
n13
CURRENT RECORD5.707106892best known 5.70710
Matches the best known
Answer sourceJonathan Viquerat
Solution methodPublished reference construction
n14
CURRENT RECORD5.828427236best known 5.82842
Matches the best known
Answer sourceMaurizio Morandi
Solution methodPublished reference construction
n15
CURRENT RECORD6.000000025Source value unresolved
Hard
Answer sourceTrivial.
Solution methodPublished reference construction
n16
CURRENT RECORD6.000000025Source value unresolved
Hard
Answer sourceTrivial.
Solution methodPublished reference construction
n17
CURRENT RECORD6.000000025Source value unresolved
Hard
Answer sourceTrivial.
Solution methodPublished reference construction
n18
CURRENT RECORD6.000000025Source value unresolved
Hard
Answer sourceTrivial.
Solution methodPublished reference construction
n19
CURRENT RECORD6.714285905best known 6.71428
Matches the best known
Answer sourceMaurizio Morandi
Solution methodPublished reference construction
n20
CURRENT RECORD6.914214826best known 6.91421
Matches the best known
Answer sourceMaurizio Morandi
Solution methodPublished reference construction
n21
CURRENT RECORD7.000000043Source value unresolved
Hard
Answer sourceTrivial.
Solution methodPublished reference construction
n22
CURRENT RECORD7.000000043Source value unresolved
Hard
Answer sourceTrivial.
Solution methodPublished reference construction
n23
CURRENT RECORD7.000000043Source value unresolved
Hard
Answer sourceTrivial.
Solution methodPublished reference construction
n24
CURRENT RECORD7.000000043Source value unresolved
Hard
Answer sourceTrivial.
Solution methodPublished reference construction
n25
CURRENT RECORD7.707106998best known 7.70710
Matches the best known
Answer sourceMaurizio Morandi
Solution methodPublished reference construction
n26
CURRENT RECORD7.828427303best known 7.82842
Matches the best known
Answer sourceMaurizio Morandi
Solution methodPublished reference construction
n27
CURRENT RECORD8Source value unresolved
Hard
Answer sourceTrivial.
Solution methodPublished reference construction
n28
CURRENT RECORD8Source value unresolved
Hard
Answer sourceTrivial.
Solution methodPublished reference construction
n29
CURRENT RECORD8Source value unresolved
Hard
Answer sourceTrivial.
Solution methodPublished reference construction
n30
CURRENT RECORD8Source value unresolved
Hard
Answer sourceTrivial.
Solution methodPublished reference construction
n31
CURRENT RECORD8Source value unresolved
Hard
Answer sourceTrivial.
Solution methodPublished reference construction
n32
CURRENT RECORD8Source value unresolved
Hard
Answer sourceTrivial.
Solution methodPublished reference construction

Data and citation

Every sub-problem in this family — authoritative scores, proof status, coordinates and sources — lives at the stable address below, published under CC BY 4.0. Scores move as records fall, so cite the generatedAt timestamp the file carries.

GET https://minmaxarena.com/data/dominoes-in-square.json

Cite the frozen 2026-08 edition: records move, a frozen edition never does, so the citation is still checkable years later.

GET https://minmaxarena.com/data/editions/2026-08/dominoes-in-square.json
BibTeX (click to copy)
@misc{minmaxarena-dominoes-in-square-2026-08,
  title  = {{Dominoes in a square} (P90)},
  author = {{MinMax Arena}},
  year   = {2026},
  note   = {Machine-verified records, 2026-08 edition},
  url    = {https://minmaxarena.com/data/editions/2026-08/dominoes-in-square.json},
  license = {CC BY 4.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?