P77 · Extremal configurations · Classic · Hard

Covering an equilateral triangle with n equilateral triangles · n = 11

Continuously cover the unit equilateral triangle with n congruent equilateral triangles. Overlap and protrusion are allowed; minimise the common side.

Instancen = 11

ObjectiveMinimize the common side

Record comparison

the common side · Lower is better

Record	Value / interval	Author / holder	Source
External best known	4/13	See source attribution	Erich Friedman ↗
Site record	No player record yet	—	—

Formal definition

ContainerThe closed equilateral triangle K = conv{(0,0),(1,0),(0.5,√3/2)}
SubmissionA common side s and exactly n {x,y,turn,down} placements, each independently rotatable and flippable
CoverEvery point of K belongs to at least one closed covering triangle $K \subseteq T_{1} \cup \dots \cup T_{n}$
Exact continuous verificationThe verifier computes all container edges, piece edges, and intersections exactly in Q(√3), then performs a vertical sweep to verify full coverage
ScoreThe common side s shared by all covering triangles; smaller is better $s (T) = s$
ObjectiveMinimise s over all valid covers $\min_{T} s (T)$

Open full editor ↗

Layout shown: starter layout

VERIFIED CONSTRUCTIONcommon side 0.307692309

Getting a feel for it

Non-square piece counts

Only when n is a perfect square can a regular triangular grid tile the container without overlap or protrusion. Other values of n require overlapping, rotated, or protruding pieces, and adding one piece often alters the layered structure.

Known constructions and literature data

Friedman's table lists constructions for n = 6–9 and n = 11–15; at n = 9, the 3 × 3 triangular grid meets the area lower bound and is provably optimal. For n = 10, the table uses the n = 9 grid plus one redundant piece as an initial baseline. All other instances are reconstructed from the published diagrams, with literature values and nine-decimal certificate scores listed separately.

Source

LAYOUT & HISTORY

Starter layout

Inspect the layout, solver notes and record history.

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

ANSWER FORMAT

How to write your answer

The container has vertices (0,0), (1,0), and (0.5,√3/2). Coordinates mark one reference-edge midpoint; covering pieces may protrude.

Submit side and triangles, each as {x,y,turn,down}. The editor allows entering or dragging the angle θ° and automatically converts it to turn = tan(θ/2).

Starter answer

{
  "side": "0.307692309",
  "triangles": [
    {
      "down": false,
      "turn": "0",
      "x": "0.615384615",
      "y": "0"
    },
    {
      "down": false,
      "turn": "0",
      "x": "0.153846154",
      "y": "0"
    },
    {
      "down": false,
      "turn": "0",
      "x": "0.653846154",
      "y": "0.333086694"
    },
    {
      "down": true,
      "turn": "0",
      "x": "0.5",
      "y": "0.599556049"
    },
    {
      "down": false,
      "turn": "0",
      "x": "0.5",
      "y": "0.599556049"
    },
    {
      "down": true,
      "turn": "0",
      "x": "0.730769231",
      "y": "0.333086694"
    },
    {
      "down": false,
      "turn": "0",
      "x": "0.384615385",
      "y": "0"
    },
    {
      "down": false,
      "turn": "0",
      "x": "0.846153846",
      "y": "0"
    },
    {
      "down": true,
      "turn": "0",
      "x": "0.269230769",
      "y": "0.333086694"
    },
    {
      "down": false,
      "turn": "0",
      "x": "0.346153846",
      "y": "0.333086694"
    },
    {
      "down": true,
      "turn": "0",
      "x": "0.5",
      "y": "0.333086694"
    }
  ]
}

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

Instance parameters

{
  "n": 11
}

Starter answer

{
  "side": "0.307692309",
  "triangles": [
    {
      "down": false,
      "turn": "0",
      "x": "0.615384615",
      "y": "0"
    },
    {
      "down": false,
      "turn": "0",
      "x": "0.153846154",
      "y": "0"
    },
    {
      "down": false,
      "turn": "0",
      "x": "0.653846154",
      "y": "0.333086694"
    },
    {
      "down": true,
      "turn": "0",
      "x": "0.5",
      "y": "0.599556049"
    },
    {
      "down": false,
      "turn": "0",
      "x": "0.5",
      "y": "0.599556049"
    },
    {
      "down": true,
      "turn": "0",
      "x": "0.730769231",
      "y": "0.333086694"
    },
    {
      "down": false,
      "turn": "0",
      "x": "0.384615385",
      "y": "0"
    },
    {
      "down": false,
      "turn": "0",
      "x": "0.846153846",
      "y": "0"
    },
    {
      "down": true,
      "turn": "0",
      "x": "0.269230769",
      "y": "0.333086694"
    },
    {
      "down": false,
      "turn": "0",
      "x": "0.346153846",
      "y": "0.333086694"
    },
    {
      "down": true,
      "turn": "0",
      "x": "0.5",
      "y": "0.333086694"
    }
  ]
}

Submit side and triangles, each as {x,y,turn,down}. The editor allows entering or dragging the angle θ° and automatically converts it to turn = tan(θ/2). · 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.

论n=10的最优解hadsajnc#1463 replies30d ago