P20 · Extremal configurations · Formed here

Spreading points in a half-disc

1y0
0x2
VERIFIED CONSTRUCTIONthe closest pair
n = 8Current record · open

Place n points inside a semicircle of radius 1 so that the minimum distance between any two points is as large as possible.

Formal definition

  • ContainerAn upper half-disk of radius 1: its diameter lies along y = 0 from (0, 0) to (2, 0), centered at (1, 0), with the circular arc in y ≥ 0
  • SubmissionExactly n distinct points
  • ConstraintsEvery point lies inside the half-disk 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)

Getting a feel for it

Sector partitions and boundary anchors

Bounded by a diameter of length 2 and an arc of length π, the half-disk offers natural anchor positions at the endpoints (0, 0), (2, 0) and the center (1, 0). Partitioning the half-disk into circular sectors centered at (1, 0) yields tight upper bounds for small n, while larger point sets alternate between the arc, the diameter, and the interior.

Exact optima for four and five points

Using a partition into three 60° sectors, HwaterB #40 proved that the continuous optimal distance for both n = 4 and n = 5 is 1. Four points attain 1 with rational coordinates, whereas the unique five-point optimum requires the irrational coordinate √3/2; finite-decimal certificates can only approach 1 (the displayed 0.999999999 is strictly less than 1 and does not establish grid optimality). All cases n ≥ 6 remain open.

Source
ONE LEADERBOARD PER n

Current best solutions by n

Each parameter n is an independently scored sub-problem. Select any card to inspect the current record construction or submit a stronger solution.

Discussion (1) ↓
n4
CURRENT RECORD1
Optimal
Record holderHwaterB
Solution methodHuman
n5
CURRENT RECORD0.999999999proven optimum 1
Hard
Record holderHwaterB
Solution methodHuman
n6
CURRENT RECORD0.765366864
Medium
Record holderHwaterB
Solution methodHuman
n7
CURRENT RECORD0.685866352
Medium
Record holderSigmoid with Codex
Solution methodAI · OpenAI: GPT-5.6 Sol
n8
CURRENT RECORD0.618033988
Medium
Record holderSigmoid with Codex
Solution methodAI · OpenAI: GPT-5.6 Sol
n9
CURRENT RECORD0.600104486
Medium
Record holderSigmoid with Codex
Solution methodAI · OpenAI: GPT-5.6 Sol
n10
CURRENT RECORD0.53451466
Medium
Record holderSigmoid with Codex
Solution methodAI · OpenAI: GPT-5.6 Sol
n11
CURRENT RECORD0.51763809
Medium
Record holderHwaterB
Solution methodHuman
n12
CURRENT RECORD0.500895805
Medium
Record holderSigmoid with Codex
Solution methodAI · OpenAI: GPT-5.6 Sol
n13
CURRENT RECORD0.454334209
Medium
Record holderSigmoid with Codex
Solution methodAI · OpenAI: GPT-5.6 Sol
n14
CURRENT RECORD0.439373658
Medium
Record holderSigmoid with Codex
Solution methodAI · OpenAI: GPT-5.6 Sol
n15
CURRENT RECORD0.419480387
Medium
Record holderSigmoid with Codex
Solution methodAI · OpenAI: GPT-5.6 Sol
n16
CURRENT RECORD0.403158257
Medium
Record holderSigmoid with Codex
Solution methodAI · OpenAI: GPT-5.6 Sol
n17
CURRENT RECORD0.388370924
Medium
Record holderSigmoid with Codex
Solution methodAI · OpenAI: GPT-5.6 Sol
n18
CURRENT RECORD0.379263613
Medium
Record holderSigmoid with Codex
Solution methodAI · OpenAI: GPT-5.6 Sol

Data and citation

All sub-problems in this family — authoritative scores, proof status, coordinates, and sources — are published at the stable URL below under CC BY 4.0. Because scores update as records fall, please cite the file's generatedAt timestamp.

GET https://minmaxarena.com/data/spread-points-in-a-semicircle.json

Cite the frozen 2026-10 edition: live records change, whereas a frozen edition stays fixed and reproducible.

GET https://minmaxarena.com/data/editions/2026-10/spread-points-in-a-semicircle.json
BibTeX (click to copy)
@misc{minmaxarena-spread-points-in-a-semicircle-2026-10,
  title  = {{Spreading points in a half-disc} (P20)},
  author = {{MinMax Arena}},
  year   = {2026},
  note   = {Machine-verified records, 2026-10 edition},
  url    = {https://minmaxarena.com/data/editions/2026-10/spread-points-in-a-semicircle.json},
  license = {CC BY 4.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.