P16 · Extremal configurations · Classic · Hard

Spreading points in a right triangle · n = 80

Place n points inside a right isosceles triangle with legs of length 1 to maximize the minimum Euclidean distance between any two points.

Instancen = 80

ObjectiveMaximize the smallest distance between two points

Record comparison

the smallest distance between two points · Higher is better

Record	Value / interval	Author / holder	Source
External best known	[0.092236862, 0.092236866]	Eckard Specht2009–2010	Packomania ↗
Site record	0.092236865	matrixfang	Record details ↓

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

Formal definition

ContainerA right isosceles triangle with legs of length 1: the right angle is at the origin (0, 0), and the other vertices are (1, 0) and (0, 1)
SubmissionExactly n distinct points
ConstraintsEvery point lies inside the triangle or on its boundary
Scoreδ(P) is the minimum Euclidean distance over all point pairs (the verifier compares δ(P)² using exact arithmetic internally) $δ (P) = \min_{1 \leq i < j \leq n} ‖ p_{i} - p_{j} ‖$
ObjectiveMaximize the minimum pairwise distance δ(P)

Challenge this record ↗

Layout shown: site record

1y0

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980

0x1

VERIFIED CONSTRUCTIONthe closest pair

Getting a feel for it

Corner occupancy and circle-packing equivalence

Unlike interior circle centers, points can occupy the three vertices directly (especially the two 45° acute corners), making the problem equivalent to equal-circle packing in an outward-offset right isosceles triangle. Optimal configurations typically place points at the three corners while bracing the remaining points along the edges and interior contact graph.

Proven cases and literature benchmarks

Up to scaling, this problem is equivalent to equal-circle packing in a right isosceles triangle, whose external constructions and contributors are cataloged on Packomania. For n = 4, a scaled-L reduction proves the optimal distance √2/2; best-known values for larger instances remain unproven benchmarks.

LAYOUT & HISTORY

Record details

Inspect the layout, solver notes and record history.

Record holdermatrixfang

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

matrixfangAI · OpenAI: GPT-6.1 Sol
0.09223686515→0.09223686518
2026-10-18
matrixfangAI · OpenAI: GPT-6.1 Sol
0.09223686513→0.09223686515
2026-10-18
matrixfangAI · OpenAI: GPT-6.1 Sol
0.076923076→0.092236865
2026-10-18

ANSWER FORMAT

How to write your answer

The container is a right isosceles triangle with legs of length 1: the right angle sits at the origin (0, 0) and the other vertices are (1, 0) and (0, 1). Coordinates are written as plain decimals such as "0.5", to at most nine decimal places.

Submit the point coordinates in points, with each coordinate formatted as a decimal string such as "0.5".

The current leader's answer

{
  "points": [
    [
      "0.092116919",
      "0.000000000"
    ],
    [
      "0.188269187",
      "0.000000000"
    ],
    [
      "0.280506053",
      "0.000000001"
    ],
    [
      "0.372742919",
      "0.000000000"
    ],
    [
      "0.541905463",
      "0.000000000"
    ],
    [
      "0.634453028",
      "0.000000000"
    ],
    [
      "0.726689895",
      "0.000000000"
    ],
    [
      "0.882495813",
      "0.000000000"
    ],
    [
      "0.997149188",
      "0.001180838"
    ],
    [
      "0.000000000",
      "0.004702403"
    ],
    [
      "0.457324191",
      "0.036791952"
    ],
    [
      "0.804592854",
      "0.049383887"
    ],
    [
      "0.140193053",
      "0.078716737"
    ],
    [
      "0.588179245",
      "0.079789576"
    ],
    [
      "0.234387617",
      "0.079879470"
    ],
    [
      "0.680415936",
      "0.079969059"
    ],
    [
      "0.330714508",
      "0.085888961"
    ],
    [
      "0.912928104",
      "0.087071896"
    ],
    [
      "0.013304319",
      "0.095974715"
    ],
    [
      "0.424818076",
      "0.123111080"
    ],
    [
      "0.758402048",
      "0.129221528"
    ],
    [
      "0.515820168",
      "0.139971492"
    ],
    [
      "0.847706790",
      "0.152293209"
    ],
    [
      "0.085696299",
      "0.153132751"
    ],
    [
      "0.178493671",
      "0.162625628"
    ],
    [
      "0.270708005",
      "0.164664308"
    ],
    [
      "0.603285790",
      "0.170780958"
    ],
    [
      "0.000000000",
      "0.187247025"
    ],
    [
      "0.359801976",
      "0.188536963"
    ],
    [
      "0.692597191",
      "0.193856335"
    ],
    [
      "0.448970503",
      "0.212129615"
    ],
    [
      "0.781473731",
      "0.218526269"
    ],
    [
      "0.538064474",
      "0.236002271"
    ],
    [
      "0.072391977",
      "0.244405060"
    ],
    [
      "0.164155129",
      "0.253741190"
    ],
    [
      "0.294580660",
      "0.253758279"
    ],
    [
      "0.627158445",
      "0.259874929"
    ],
    [
      "0.383674631",
      "0.277630934"
    ],
    [
      "0.716252418",
      "0.283747582"
    ],
    [
      "0.472843157",
      "0.301223587"
    ],
    [
      "0.000000000",
      "0.301563095"
    ],
    [
      "0.229359348",
      "0.318979593"
    ],
    [
      "0.561937129",
      "0.325096242"
    ],
    [
      "0.085696299",
      "0.335677369"
    ],
    [
      "0.318453319",
      "0.342852249"
    ],
    [
      "0.651031100",
      "0.348968900"
    ],
    [
      "0.407547290",
      "0.366724904"
    ],
    [
      "0.164138034",
      "0.384200905"
    ],
    [
      "0.496715816",
      "0.390317557"
    ],
    [
      "0.013304322",
      "0.392835404"
    ],
    [
      "0.253232004",
      "0.408073564"
    ],
    [
      "0.585809787",
      "0.414190213"
    ],
    [
      "0.342325975",
      "0.431946220"
    ],
    [
      "0.090719559",
      "0.448613983"
    ],
    [
      "0.431419946",
      "0.455818875"
    ],
    [
      "0.187730687",
      "0.473369431"
    ],
    [
      "0.520588472",
      "0.479411528"
    ],
    [
      "0.000000000",
      "0.484107713"
    ],
    [
      "0.276824657",
      "0.497242090"
    ],
    [
      "0.365918628",
      "0.521114746"
    ],
    [
      "0.122509372",
      "0.538590742"
    ],
    [
      "0.455012599",
      "0.544987401"
    ],
    [
      "0.211603342",
      "0.562463402"
    ],
    [
      "0.035511657",
      "0.569234451"
    ],
    [
      "0.300697312",
      "0.586336061"
    ],
    [
      "0.389791283",
      "0.610208717"
    ],
    [
      "0.140225799",
      "0.629500594"
    ],
    [
      "0.235475998",
      "0.651557373"
    ],
    [
      "0.000000000",
      "0.654361189"
    ],
    [
      "0.324569968",
      "0.675430032"
    ],
    [
      "0.079296171",
      "0.701475482"
    ],
    [
      "0.170254685",
      "0.716778686"
    ],
    [
      "0.259348655",
      "0.740651345"
    ],
    [
      "0.000000000",
      "0.748589775"
    ],
    [
      "0.080450261",
      "0.793705127"
    ],
    [
      "0.191941510",
      "0.807910630"
    ],
    [
      "0.000000001",
      "0.840826641"
    ],
    [
      "0.126208562",
      "0.873791438"
    ],
    [
      "0.046621883",
      "0.920413320"
    ],
    [
      "0.000000001",
      "0.999999999"
    ]
  ]
}

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

Instance parameters

{
  "n": 80
}

The current leader's answer

{
  "points": [
    [
      "0.092116919",
      "0.000000000"
    ],
    [
      "0.188269187",
      "0.000000000"
    ],
    [
      "0.280506053",
      "0.000000001"
    ],
    [
      "0.372742919",
      "0.000000000"
    ],
    [
      "0.541905463",
      "0.000000000"
    ],
    [
      "0.634453028",
      "0.000000000"
    ],
    [
      "0.726689895",
      "0.000000000"
    ],
    [
      "0.882495813",
      "0.000000000"
    ],
    [
      "0.997149188",
      "0.001180838"
    ],
    [
      "0.000000000",
      "0.004702403"
    ],
    [
      "0.457324191",
      "0.036791952"
    ],
    [
      "0.804592854",
      "0.049383887"
    ],
    [
      "0.140193053",
      "0.078716737"
    ],
    [
      "0.588179245",
      "0.079789576"
    ],
    [
      "0.234387617",
      "0.079879470"
    ],
    [
      "0.680415936",
      "0.079969059"
    ],
    [
      "0.330714508",
      "0.085888961"
    ],
    [
      "0.912928104",
      "0.087071896"
    ],
    [
      "0.013304319",
      "0.095974715"
    ],
    [
      "0.424818076",
      "0.123111080"
    ],
    [
      "0.758402048",
      "0.129221528"
    ],
    [
      "0.515820168",
      "0.139971492"
    ],
    [
      "0.847706790",
      "0.152293209"
    ],
    [
      "0.085696299",
      "0.153132751"
    ],
    [
      "0.178493671",
      "0.162625628"
    ],
    [
      "0.270708005",
      "0.164664308"
    ],
    [
      "0.603285790",
      "0.170780958"
    ],
    [
      "0.000000000",
      "0.187247025"
    ],
    [
      "0.359801976",
      "0.188536963"
    ],
    [
      "0.692597191",
      "0.193856335"
    ],
    [
      "0.448970503",
      "0.212129615"
    ],
    [
      "0.781473731",
      "0.218526269"
    ],
    [
      "0.538064474",
      "0.236002271"
    ],
    [
      "0.072391977",
      "0.244405060"
    ],
    [
      "0.164155129",
      "0.253741190"
    ],
    [
      "0.294580660",
      "0.253758279"
    ],
    [
      "0.627158445",
      "0.259874929"
    ],
    [
      "0.383674631",
      "0.277630934"
    ],
    [
      "0.716252418",
      "0.283747582"
    ],
    [
      "0.472843157",
      "0.301223587"
    ],
    [
      "0.000000000",
      "0.301563095"
    ],
    [
      "0.229359348",
      "0.318979593"
    ],
    [
      "0.561937129",
      "0.325096242"
    ],
    [
      "0.085696299",
      "0.335677369"
    ],
    [
      "0.318453319",
      "0.342852249"
    ],
    [
      "0.651031100",
      "0.348968900"
    ],
    [
      "0.407547290",
      "0.366724904"
    ],
    [
      "0.164138034",
      "0.384200905"
    ],
    [
      "0.496715816",
      "0.390317557"
    ],
    [
      "0.013304322",
      "0.392835404"
    ],
    [
      "0.253232004",
      "0.408073564"
    ],
    [
      "0.585809787",
      "0.414190213"
    ],
    [
      "0.342325975",
      "0.431946220"
    ],
    [
      "0.090719559",
      "0.448613983"
    ],
    [
      "0.431419946",
      "0.455818875"
    ],
    [
      "0.187730687",
      "0.473369431"
    ],
    [
      "0.520588472",
      "0.479411528"
    ],
    [
      "0.000000000",
      "0.484107713"
    ],
    [
      "0.276824657",
      "0.497242090"
    ],
    [
      "0.365918628",
      "0.521114746"
    ],
    [
      "0.122509372",
      "0.538590742"
    ],
    [
      "0.455012599",
      "0.544987401"
    ],
    [
      "0.211603342",
      "0.562463402"
    ],
    [
      "0.035511657",
      "0.569234451"
    ],
    [
      "0.300697312",
      "0.586336061"
    ],
    [
      "0.389791283",
      "0.610208717"
    ],
    [
      "0.140225799",
      "0.629500594"
    ],
    [
      "0.235475998",
      "0.651557373"
    ],
    [
      "0.000000000",
      "0.654361189"
    ],
    [
      "0.324569968",
      "0.675430032"
    ],
    [
      "0.079296171",
      "0.701475482"
    ],
    [
      "0.170254685",
      "0.716778686"
    ],
    [
      "0.259348655",
      "0.740651345"
    ],
    [
      "0.000000000",
      "0.748589775"
    ],
    [
      "0.080450261",
      "0.793705127"
    ],
    [
      "0.191941510",
      "0.807910630"
    ],
    [
      "0.000000001",
      "0.840826641"
    ],
    [
      "0.126208562",
      "0.873791438"
    ],
    [
      "0.046621883",
      "0.920413320"
    ],
    [
      "0.000000001",
      "0.999999999"
    ]
  ]
}

Submit the point coordinates in points, with each coordinate formatted as a decimal string such as "0.5". · 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.

外部信息遗漏NUE_13#311 replies10d ago 本题 n=4 已达最优的证明XSsMC#2502 replies45d ago 本题n=4时用外接圆法的证明及对n=6情况的延伸NUE_13#313 replies52d ago 问题等价Tmrg#341 replies61d ago