P83 · Packing and covering · Classic · Hard

Equilateral triangles in a square · n = 38

Pack n unit-side equilateral triangles into a square. Contact is allowed; interiors cannot overlap. Minimise the container square side.

Instancen = 38
ObjectiveMinimize container square side

Record comparison

container square side · Lower is better
RecordValue / intervalAuthor / holderSource
External best known[4.32007, 4.32008)Beppe Björkland2026-10Erich Friedman ↗
Site record4.320080025NUE_13Record details ↓

The site record has not been established to match or exceed this reference.

Formal definition

  • ContainerThe editor and certificate normalise the container to the unit square [0,1]², while public scores are reported in the literature's unit-piece scale. Boundary contact is allowed.
  • SubmissionSubmit {radius, placements:[{x,y,turn},…]}, with each value written as a decimal string of at most nine places. Here x, y are centre coordinates; circles require turn = 0 and polygons use turn = tan(θ/2). Coordinates and turn must lie in [−4, 4], with 0 < radius ≤ 4.
  • ConstraintsExactly n congruent pieces lie wholly inside the container with pairwise disjoint interiors. Polygons may rotate independently by arbitrary angles.
  • PrecisionInput decimals are parsed as exact rationals and regular-polygon vertices are defined algebraically, with zero floating-point tolerance in feasibility checks.
  • ObjectiveContainer square side = 1/(2 sin(π/3) r), 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 Equilateral triangles in a square n = 38, 4.320080025
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 (1 changes)
  1. NUE_13AI · DeepSeek: DeepSeek V4.1 Flash
    4.320080058→4.320080025
ANSWER FORMAT

How to write your answer

the unit square [0,1]²

Submit {radius, placements:[{x,y,turn},…]}, with each value written as a decimal string of at most nine places. Here x, y are centre coordinates; circles require turn = 0 and polygons use turn = tan(θ/2). Coordinates and turn must lie in [−4, 4], with 0 < radius ≤ 4.

The current leader's answer

{
  "placements": [
    {
      "turn": "0.265579306",
      "x": "0.828724740",
      "y": "0.932666815"
    },
    {
      "turn": "0.280889374",
      "x": "0.117313166",
      "y": "0.930412351"
    },
    {
      "turn": "0.280889374",
      "x": "0.586928464",
      "y": "0.930412351"
    },
    {
      "turn": "0.280889374",
      "x": "0.352120815",
      "y": "0.930412351"
    },
    {
      "turn": "-0.255092196",
      "x": "0.469433982",
      "y": "0.866395284"
    },
    {
      "turn": "-0.255092196",
      "x": "0.704241631",
      "y": "0.866395284"
    },
    {
      "turn": "-0.255092196",
      "x": "0.234626333",
      "y": "0.866395284"
    },
    {
      "turn": "-0.577350269",
      "x": "0.933178289",
      "y": "0.781972694"
    },
    {
      "turn": "0.280889374",
      "x": "0.696428160",
      "y": "0.732525059"
    },
    {
      "turn": "0.280889374",
      "x": "0.228763983",
      "y": "0.732572027"
    },
    {
      "turn": "0.280889374",
      "x": "0.462714889",
      "y": "0.732551403"
    },
    {
      "turn": "-0.255092196",
      "x": "0.345666639",
      "y": "0.667802686"
    },
    {
      "turn": "-0.255092196",
      "x": "0.579503681",
      "y": "0.667573405"
    },
    {
      "turn": "0.000000000",
      "x": "0.866356579",
      "y": "0.666234097"
    },
    {
      "turn": "-0.255092196",
      "x": "0.114096990",
      "y": "0.663918965"
    },
    {
      "turn": "0.577350269",
      "x": "0.933178289",
      "y": "0.550495500"
    },
    {
      "turn": "0.280889375",
      "x": "0.347788437",
      "y": "0.534171626"
    },
    {
      "turn": "0.280889374",
      "x": "0.582719858",
      "y": "0.533968689"
    },
    {
      "turn": "0.280889374",
      "x": "0.117313167",
      "y": "0.530314249"
    },
    {
      "turn": "-0.292238406",
      "x": "0.738220252",
      "y": "0.523578705"
    },
    {
      "turn": "-0.255092196",
      "x": "0.465101604",
      "y": "0.470154559"
    },
    {
      "turn": "-0.255092196",
      "x": "0.233691448",
      "y": "0.464583977"
    },
    {
      "turn": "0.243573126",
      "x": "0.732151149",
      "y": "0.389990430"
    },
    {
      "turn": "0.000000000",
      "x": "0.066821711",
      "y": "0.348305623"
    },
    {
      "turn": "0.262873546",
      "x": "0.526539916",
      "y": "0.334102543"
    },
    {
      "turn": "-0.576786853",
      "x": "0.908684513",
      "y": "0.333159849"
    },
    {
      "turn": "0.280889374",
      "x": "0.288543576",
      "y": "0.332222259"
    },
    {
      "turn": "-0.255092196",
      "x": "0.405856743",
      "y": "0.268205192"
    },
    {
      "turn": "-0.272627912",
      "x": "0.642779008",
      "y": "0.267946570"
    },
    {
      "turn": "-0.577350269",
      "x": "0.133643421",
      "y": "0.232567026"
    },
    {
      "turn": "0.000422665",
      "x": "0.841960663",
      "y": "0.217364806"
    },
    {
      "turn": "0.280889373",
      "x": "0.367707578",
      "y": "0.133604716"
    },
    {
      "turn": "0.267949192",
      "x": "0.602400950",
      "y": "0.133643421"
    },
    {
      "turn": "0.000000002",
      "x": "0.066821711",
      "y": "0.116828428"
    },
    {
      "turn": "-0.576786853",
      "x": "0.933080476",
      "y": "0.115682070"
    },
    {
      "turn": "-0.267949193",
      "x": "0.248752804",
      "y": "0.066821711"
    },
    {
      "turn": "-0.267949193",
      "x": "0.718139547",
      "y": "0.066821711"
    },
    {
      "turn": "-0.267949193",
      "x": "0.486662352",
      "y": "0.066821711"
    }
  ],
  "radius": "0.133643420"
}
Submission format and technical detailsOpen this when you are ready to prepare a JSON answer+

Instance parameters

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

The current leader's answer

{
  "placements": [
    {
      "turn": "0.265579306",
      "x": "0.828724740",
      "y": "0.932666815"
    },
    {
      "turn": "0.280889374",
      "x": "0.117313166",
      "y": "0.930412351"
    },
    {
      "turn": "0.280889374",
      "x": "0.586928464",
      "y": "0.930412351"
    },
    {
      "turn": "0.280889374",
      "x": "0.352120815",
      "y": "0.930412351"
    },
    {
      "turn": "-0.255092196",
      "x": "0.469433982",
      "y": "0.866395284"
    },
    {
      "turn": "-0.255092196",
      "x": "0.704241631",
      "y": "0.866395284"
    },
    {
      "turn": "-0.255092196",
      "x": "0.234626333",
      "y": "0.866395284"
    },
    {
      "turn": "-0.577350269",
      "x": "0.933178289",
      "y": "0.781972694"
    },
    {
      "turn": "0.280889374",
      "x": "0.696428160",
      "y": "0.732525059"
    },
    {
      "turn": "0.280889374",
      "x": "0.228763983",
      "y": "0.732572027"
    },
    {
      "turn": "0.280889374",
      "x": "0.462714889",
      "y": "0.732551403"
    },
    {
      "turn": "-0.255092196",
      "x": "0.345666639",
      "y": "0.667802686"
    },
    {
      "turn": "-0.255092196",
      "x": "0.579503681",
      "y": "0.667573405"
    },
    {
      "turn": "0.000000000",
      "x": "0.866356579",
      "y": "0.666234097"
    },
    {
      "turn": "-0.255092196",
      "x": "0.114096990",
      "y": "0.663918965"
    },
    {
      "turn": "0.577350269",
      "x": "0.933178289",
      "y": "0.550495500"
    },
    {
      "turn": "0.280889375",
      "x": "0.347788437",
      "y": "0.534171626"
    },
    {
      "turn": "0.280889374",
      "x": "0.582719858",
      "y": "0.533968689"
    },
    {
      "turn": "0.280889374",
      "x": "0.117313167",
      "y": "0.530314249"
    },
    {
      "turn": "-0.292238406",
      "x": "0.738220252",
      "y": "0.523578705"
    },
    {
      "turn": "-0.255092196",
      "x": "0.465101604",
      "y": "0.470154559"
    },
    {
      "turn": "-0.255092196",
      "x": "0.233691448",
      "y": "0.464583977"
    },
    {
      "turn": "0.243573126",
      "x": "0.732151149",
      "y": "0.389990430"
    },
    {
      "turn": "0.000000000",
      "x": "0.066821711",
      "y": "0.348305623"
    },
    {
      "turn": "0.262873546",
      "x": "0.526539916",
      "y": "0.334102543"
    },
    {
      "turn": "-0.576786853",
      "x": "0.908684513",
      "y": "0.333159849"
    },
    {
      "turn": "0.280889374",
      "x": "0.288543576",
      "y": "0.332222259"
    },
    {
      "turn": "-0.255092196",
      "x": "0.405856743",
      "y": "0.268205192"
    },
    {
      "turn": "-0.272627912",
      "x": "0.642779008",
      "y": "0.267946570"
    },
    {
      "turn": "-0.577350269",
      "x": "0.133643421",
      "y": "0.232567026"
    },
    {
      "turn": "0.000422665",
      "x": "0.841960663",
      "y": "0.217364806"
    },
    {
      "turn": "0.280889373",
      "x": "0.367707578",
      "y": "0.133604716"
    },
    {
      "turn": "0.267949192",
      "x": "0.602400950",
      "y": "0.133643421"
    },
    {
      "turn": "0.000000002",
      "x": "0.066821711",
      "y": "0.116828428"
    },
    {
      "turn": "-0.576786853",
      "x": "0.933080476",
      "y": "0.115682070"
    },
    {
      "turn": "-0.267949193",
      "x": "0.248752804",
      "y": "0.066821711"
    },
    {
      "turn": "-0.267949193",
      "x": "0.718139547",
      "y": "0.066821711"
    },
    {
      "turn": "-0.267949193",
      "x": "0.486662352",
      "y": "0.066821711"
    }
  ],
  "radius": "0.133643420"
}

Submit {radius, placements:[{x,y,turn},…]}, with each value written as a decimal string of at most nine places. Here x, y are centre coordinates; circles require turn = 0 and polygons use 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.