MinMax Arena
中/EN
P16 · Extremal configurations · Classic · Hard

Spreading points in a right triangle · n = 65

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

Instancen = 65
ObjectiveMaximize the smallest distance between two points

Record comparison

the smallest distance between two points · Higher is better
RecordValue / intervalAuthor / holderSource
External best known[0.103365958, 0.103365962]Claudia Orquídea López Soto, John E. Beasley2010-09Packomania ↗
Site record0.103365961matrixfangRecord 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)=min1≤i<j≤n‖pi−pj‖
  • ObjectiveMaximize the minimum pairwise distance δ(P)
Challenge this record ↗

Layout shown: site record

1y0
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.

The record-holding arrangement for Spreading points in a right triangle n = 65, 0.103365961
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 (2 changes)
  1. matrixfangAI · OpenAI: GPT-6.1 Sol
    0.1033659611→0.1033659612
  2. matrixfangAI · OpenAI: GPT-6.1 Sol
    0.09090909→0.103365961
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.178065274",
      "0.000000000"
    ],
    [
      "0.383054666",
      "0.000000000"
    ],
    [
      "0.486420628",
      "0.000000001"
    ],
    [
      "0.589786590",
      "0.000000000"
    ],
    [
      "0.800277875",
      "0.000000000"
    ],
    [
      "0.999999999",
      "0.000000000"
    ],
    [
      "0.694691179",
      "0.000063863"
    ],
    [
      "0.000065544",
      "0.000064661"
    ],
    [
      "0.280559970",
      "0.013392507"
    ],
    [
      "0.900138937",
      "0.026688767"
    ],
    [
      "0.089517546",
      "0.053327496"
    ],
    [
      "0.434737646",
      "0.089517549"
    ],
    [
      "0.635254280",
      "0.092828935"
    ],
    [
      "0.216457942",
      "0.096287596"
    ],
    [
      "0.773477851",
      "0.099831261"
    ],
    [
      "0.332242950",
      "0.102910056"
    ],
    [
      "0.000000000",
      "0.105010481"
    ],
    [
      "0.534581498",
      "0.116270627"
    ],
    [
      "0.873450170",
      "0.126549829"
    ],
    [
      "0.089517550",
      "0.156693459"
    ],
    [
      "0.700481200",
      "0.173016034"
    ],
    [
      "0.427574213",
      "0.192634993"
    ],
    [
      "0.281221669",
      "0.192806390"
    ],
    [
      "0.800359398",
      "0.199640602"
    ],
    [
      "0.000000000",
      "0.208376443"
    ],
    [
      "0.179035097",
      "0.208376442"
    ],
    [
      "0.527418065",
      "0.219388071"
    ],
    [
      "0.627295978",
      "0.246013717"
    ],
    [
      "0.089517549",
      "0.260059424"
    ],
    [
      "0.354483439",
      "0.265725764"
    ],
    [
      "0.727105768",
      "0.272894232"
    ],
    [
      "0.454327291",
      "0.292478845"
    ],
    [
      "0.000000000",
      "0.311742405"
    ],
    [
      "0.178384009",
      "0.312854066"
    ],
    [
      "0.554171143",
      "0.319231923"
    ],
    [
      "0.279036666",
      "0.336382020"
    ],
    [
      "0.654014995",
      "0.345985004"
    ],
    [
      "0.381236518",
      "0.365569617"
    ],
    [
      "0.097319747",
      "0.379026458"
    ],
    [
      "0.481080371",
      "0.392322697"
    ],
    [
      "0.208334532",
      "0.411785801"
    ],
    [
      "0.000000000",
      "0.415108367"
    ],
    [
      "0.580924223",
      "0.419075777"
    ],
    [
      "0.308145746",
      "0.438660390"
    ],
    [
      "0.407989598",
      "0.465413470"
    ],
    [
      "0.135243759",
      "0.484876573"
    ],
    [
      "0.507833450",
      "0.492166549"
    ],
    [
      "0.235054973",
      "0.511751163"
    ],
    [
      "0.035546294",
      "0.512170115"
    ],
    [
      "0.334898825",
      "0.538504242"
    ],
    [
      "0.434742678",
      "0.565257322"
    ],
    [
      "0.155770133",
      "0.586377072"
    ],
    [
      "0.000000000",
      "0.609231863"
    ],
    [
      "0.261808052",
      "0.611595015"
    ],
    [
      "0.361651905",
      "0.638348094"
    ],
    [
      "0.087337728",
      "0.664518781"
    ],
    [
      "0.188717281",
      "0.684685789"
    ],
    [
      "0.288561133",
      "0.711438867"
    ],
    [
      "0.000000000",
      "0.719805700"
    ],
    [
      "0.091548740",
      "0.767798931"
    ],
    [
      "0.215140616",
      "0.784835626"
    ],
    [
      "0.000000003",
      "0.823171662"
    ],
    [
      "0.141962808",
      "0.858037192"
    ],
    [
      "0.053548640",
      "0.911585832"
    ],
    [
      "0.000000000",
      "1.000000000"
    ]
  ]
}
Submission format and technical detailsOpen this when you are ready to prepare a JSON answer＋

Instance parameters

{
  "n": 65
}

The current leader's answer

{
  "points": [
    [
      "0.178065274",
      "0.000000000"
    ],
    [
      "0.383054666",
      "0.000000000"
    ],
    [
      "0.486420628",
      "0.000000001"
    ],
    [
      "0.589786590",
      "0.000000000"
    ],
    [
      "0.800277875",
      "0.000000000"
    ],
    [
      "0.999999999",
      "0.000000000"
    ],
    [
      "0.694691179",
      "0.000063863"
    ],
    [
      "0.000065544",
      "0.000064661"
    ],
    [
      "0.280559970",
      "0.013392507"
    ],
    [
      "0.900138937",
      "0.026688767"
    ],
    [
      "0.089517546",
      "0.053327496"
    ],
    [
      "0.434737646",
      "0.089517549"
    ],
    [
      "0.635254280",
      "0.092828935"
    ],
    [
      "0.216457942",
      "0.096287596"
    ],
    [
      "0.773477851",
      "0.099831261"
    ],
    [
      "0.332242950",
      "0.102910056"
    ],
    [
      "0.000000000",
      "0.105010481"
    ],
    [
      "0.534581498",
      "0.116270627"
    ],
    [
      "0.873450170",
      "0.126549829"
    ],
    [
      "0.089517550",
      "0.156693459"
    ],
    [
      "0.700481200",
      "0.173016034"
    ],
    [
      "0.427574213",
      "0.192634993"
    ],
    [
      "0.281221669",
      "0.192806390"
    ],
    [
      "0.800359398",
      "0.199640602"
    ],
    [
      "0.000000000",
      "0.208376443"
    ],
    [
      "0.179035097",
      "0.208376442"
    ],
    [
      "0.527418065",
      "0.219388071"
    ],
    [
      "0.627295978",
      "0.246013717"
    ],
    [
      "0.089517549",
      "0.260059424"
    ],
    [
      "0.354483439",
      "0.265725764"
    ],
    [
      "0.727105768",
      "0.272894232"
    ],
    [
      "0.454327291",
      "0.292478845"
    ],
    [
      "0.000000000",
      "0.311742405"
    ],
    [
      "0.178384009",
      "0.312854066"
    ],
    [
      "0.554171143",
      "0.319231923"
    ],
    [
      "0.279036666",
      "0.336382020"
    ],
    [
      "0.654014995",
      "0.345985004"
    ],
    [
      "0.381236518",
      "0.365569617"
    ],
    [
      "0.097319747",
      "0.379026458"
    ],
    [
      "0.481080371",
      "0.392322697"
    ],
    [
      "0.208334532",
      "0.411785801"
    ],
    [
      "0.000000000",
      "0.415108367"
    ],
    [
      "0.580924223",
      "0.419075777"
    ],
    [
      "0.308145746",
      "0.438660390"
    ],
    [
      "0.407989598",
      "0.465413470"
    ],
    [
      "0.135243759",
      "0.484876573"
    ],
    [
      "0.507833450",
      "0.492166549"
    ],
    [
      "0.235054973",
      "0.511751163"
    ],
    [
      "0.035546294",
      "0.512170115"
    ],
    [
      "0.334898825",
      "0.538504242"
    ],
    [
      "0.434742678",
      "0.565257322"
    ],
    [
      "0.155770133",
      "0.586377072"
    ],
    [
      "0.000000000",
      "0.609231863"
    ],
    [
      "0.261808052",
      "0.611595015"
    ],
    [
      "0.361651905",
      "0.638348094"
    ],
    [
      "0.087337728",
      "0.664518781"
    ],
    [
      "0.188717281",
      "0.684685789"
    ],
    [
      "0.288561133",
      "0.711438867"
    ],
    [
      "0.000000000",
      "0.719805700"
    ],
    [
      "0.091548740",
      "0.767798931"
    ],
    [
      "0.215140616",
      "0.784835626"
    ],
    [
      "0.000000003",
      "0.823171662"
    ],
    [
      "0.141962808",
      "0.858037192"
    ],
    [
      "0.053548640",
      "0.911585832"
    ],
    [
      "0.000000000",
      "1.000000000"
    ]
  ]
}

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 replies本题 n=4 已达最优的证明XSsMC#2502 replies本题n=4时用外接圆法的证明及对n=6情况的延伸NUE_13#313 replies问题等价Tmrg#341 replies