P31 · Extremal configurations · Formed here · Medium

Spreading points in a quadrant · n = 16

Place n points in a quarter-disc of radius 1 so as to maximize the minimum distance between any two points.

Instancen = 16

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	—	—	No reference listed
Site record	0.28237381	Sigmoid with Codex	Record details ↓

Formal definition

ContainerA quarter-disc of radius 1 centered at the origin (0, 0), with straight edges along the axes from 0 to 1 and the arc in the first quadrant
SubmissionExactly n distinct points
ConstraintsEvery point lies inside the container or on its boundary
Scoreδ(P) is the minimum Euclidean distance over all point pairs; internally, the verifier compares δ(P)² in exact arithmetic $δ (P) = \min_{1 \leq i < j \leq n} ‖ p_{i} - p_{j} ‖$
ObjectiveMaximize δ(P)

Open full editor ↗

Layout shown: site record

1y0

12345678910111213141516

0x1

VERIFIED CONSTRUCTIONthe closest pair

Getting a feel for it

Connection to circle packing

Spreading points is equivalent to packing equal circles whose centers are restricted to the container: discs of radius δ/2 around the points have disjoint interiors. Optimal configurations are governed by rigid contacts between point pairs and the container boundary.

Known results

A three-region proof by XSsMC #250 resolves the continuous n = 4 case with optimal distance √(2−√2); that instance is archived with its historical records and precision notes. All larger instances remain open.

LAYOUT & HISTORY

Record details

Inspect the layout, solver notes and record history.

Record holderSigmoid with Codex

Solution methodAI · OpenAI: GPT-5.6 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)

Sigmoid with CodexAI · OpenAI: GPT-5.6 Sol
0.2823738100→0.2823738108
2026-09-02
邱仲普AI · MoonshotAI: Kimi K3
0.2→0.28237381
2026-09-01

ANSWER FORMAT

How to write your answer

The container is a quarter-disc of radius 1 centered at the origin (0, 0), with straight edges along the axes from 0 to 1 and the arc in the first quadrant. Write coordinates as decimal strings such as "0.5", with at most nine decimal places.

Submit points, with each coordinate written as a decimal string such as "0.5".

The current leader's answer

{
  "points": [
    [
      "0.000000000",
      "0.000000000"
    ],
    [
      "0.282373812",
      "0.000000000"
    ],
    [
      "0.564747623",
      "0.000000000"
    ],
    [
      "0.847121438",
      "0.000000000"
    ],
    [
      "0.119611132",
      "0.255789262"
    ],
    [
      "0.401984943",
      "0.255789262"
    ],
    [
      "0.684358754",
      "0.255789262"
    ],
    [
      "0.966732565",
      "0.255789264"
    ],
    [
      "0.000000000",
      "0.511578524"
    ],
    [
      "0.287384828",
      "0.513862474"
    ],
    [
      "0.569758639",
      "0.513862474"
    ],
    [
      "0.853640474",
      "0.514527220"
    ],
    [
      "0.000000000",
      "1.000000000"
    ],
    [
      "0.141760660",
      "0.755789262"
    ],
    [
      "0.362383696",
      "0.932029000"
    ],
    [
      "0.608480660",
      "0.793568703"
    ]
  ]
}

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

Instance parameters

{
  "n": 16
}

The current leader's answer

{
  "points": [
    [
      "0.000000000",
      "0.000000000"
    ],
    [
      "0.282373812",
      "0.000000000"
    ],
    [
      "0.564747623",
      "0.000000000"
    ],
    [
      "0.847121438",
      "0.000000000"
    ],
    [
      "0.119611132",
      "0.255789262"
    ],
    [
      "0.401984943",
      "0.255789262"
    ],
    [
      "0.684358754",
      "0.255789262"
    ],
    [
      "0.966732565",
      "0.255789264"
    ],
    [
      "0.000000000",
      "0.511578524"
    ],
    [
      "0.287384828",
      "0.513862474"
    ],
    [
      "0.569758639",
      "0.513862474"
    ],
    [
      "0.853640474",
      "0.514527220"
    ],
    [
      "0.000000000",
      "1.000000000"
    ],
    [
      "0.141760660",
      "0.755789262"
    ],
    [
      "0.362383696",
      "0.932029000"
    ],
    [
      "0.608480660",
      "0.793568703"
    ]
  ]
}

Submit points, with each coordinate written 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.

问题与P30等价NUE_13#311 replies23d ago 本题 n=4 已达最优的证明XSsMC#2501 replies45d ago