P71 · Extremal configurations · Formed here · Applied frontier · Weak baseline · Hard

Optimal quantization in an L-shaped region · n = 24

Place n representative points in the L-shaped region formed by removing the top-right 1 × 1 square from a 2 × 2 square so as to minimize the integral over L of the squared Euclidean distance to the nearest point.

Instancen = 24

ObjectiveMinimize squared-distance integral

Record comparison

squared-distance integral · Lower is better

Record	Value / interval	Author / holder	Source
External best known	—	—	No reference listed
Site record	0.062442065916282	今天	Record details ↓

Formal definition

ContainerL = ([0,2] × [0,1]) ∪ ([0,1] × [1,2]), boundary included, with total area 3
SubmissionExactly n distinct points in L, with coordinates of at most nine decimal places
AssignmentEvery location is assigned to its nearest point in Euclidean distance; equidistant boundaries have measure zero and do not affect the integral
ScoreE(P) is the integral of squared distance to the nearest submitted point over the L-shaped region; the verifier integrates in exact rationals and rounds upward at 10⁻¹⁸ $E (P) = \underset{L}{\int \int} \min_{i} {‖ x - p_{i} ‖}^{2} d x$
ObjectiveMinimize E(P) over all valid point sets P $\min_{P} E (P)$

Open full editor ↗

Layout shown: site record

2y0

123456789101112131415161718192021222324

0x2

VERIFIED CONSTRUCTION24 Voronoi cells; the costliest cell accounts for 5.4% of total cost

Getting a feel for it

Quantizing a continuous domain

Approximating a continuous domain by n discrete representatives assigns each location to its nearest point. Integrating the squared distance measures total quantization distortion across the domain.

Non-convex geometry and coupled arms

Although the L-shaped domain is the union of three unit squares, Voronoi cells cut freely across the seams between them. Near the re-entrant corner at (1,1), Voronoi edges couple the two arms directly to the corner square.

Local minima in Lloyd iteration

Lloyd's algorithm, which repeatedly moves each point to the centroid of its Voronoi cell, converges to a centroidal Voronoi tessellation (CVT). On a non-convex domain multiple inequivalent stable configurations exist, and from n = 5 onward different initializations settle into distinct local minima.

Open instances

While continuous quadratic quantization is classical, no systematic per-n table has been published for this L-shaped domain. Omitting the elementary cases n = 1–4, all instances from n = 5 to n = 24 are open.

LAYOUT & HISTORY

Record details

Inspect the layout, solver notes and record history.

Record holder今天

Solution methodAI · DeepSeek: DeepSeek V4.1 Flash

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

今天AI · DeepSeek: DeepSeek V4.1 Flash
0.066586523367590→0.062442065916282
2026-09-20
jiehangbenrenHuman
0.066902325526335→0.066586523367590
2026-09-20
jiehangbenrenHuman
0.067025281355533→0.066902325526335
2026-09-20
今天Human
0.067743338149418→0.067025281355533
2026-09-20
qiboqiHuman
0.067803151604656→0.067743338149418
2026-09-20
qiboqiHuman
0.067850333316916→0.067803151604656
2026-09-20
qiboqiHuman
0.067928538750595→0.067850333316916
2026-09-20
qiboqiHuman
0.068087106973312→0.067928538750595
2026-09-20
jiehangbenrenHuman
0.068334908546042→0.068087106973312
2026-09-20
jiehangbenrenHuman
0.068470663028399→0.068334908546042
2026-09-20
NUE_13Human
0.081488603368184→0.068470663028399
2026-09-20
今天Human
0.088445374403102→0.081488603368184
2026-09-20
今天Human
0.240984153666063→0.088445374403102
2026-09-20

ANSWER FORMAT

How to write your answer

The container is a square of side 2 with its top-right 1 × 1 square removed: the lower-left corner is (0, 0), and the missing region is where x > 1 and y > 1. Its area is 3.

Submit points: a list of n points inside the L-shaped region, with each coordinate written as a decimal string of at most nine places (for example, "0.25"). The score is the integral of squared distance to the nearest submitted point over the region; smaller is better.

The current leader's answer

{
  "points": [
    [
      "0.156619309",
      "1.384214706"
    ],
    [
      "0.159789921",
      "1.794999180"
    ],
    [
      "0.159939203",
      "0.604399537"
    ],
    [
      "0.175606343",
      "0.980769596"
    ],
    [
      "0.184833442",
      "0.186910579"
    ],
    [
      "0.452333972",
      "0.460799335"
    ],
    [
      "0.480386947",
      "1.183552521"
    ],
    [
      "0.481544260",
      "1.535992346"
    ],
    [
      "0.495651152",
      "1.853944354"
    ],
    [
      "0.556260276",
      "0.811987610"
    ],
    [
      "0.598947088",
      "0.155625595"
    ],
    [
      "0.807096625",
      "0.505960877"
    ],
    [
      "0.818712139",
      "1.099886881"
    ],
    [
      "0.826824093",
      "1.449566875"
    ],
    [
      "0.833301441",
      "1.813535146"
    ],
    [
      "0.993206908",
      "0.167111842"
    ],
    [
      "1.014173908",
      "0.818221918"
    ],
    [
      "1.182304370",
      "0.491341701"
    ],
    [
      "1.392502147",
      "0.162669048"
    ],
    [
      "1.399773814",
      "0.833929170"
    ],
    [
      "1.537397401",
      "0.497632908"
    ],
    [
      "1.796086937",
      "0.162304490"
    ],
    [
      "1.797954264",
      "0.836865586"
    ],
    [
      "1.856184466",
      "0.499484164"
    ]
  ]
}

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

Instance parameters

{
  "n": 24,
  "domain": "L-2x2-minus-1x1",
  "metric": "squared-euclidean",
  "measure": "uniform"
}

The current leader's answer

{
  "points": [
    [
      "0.156619309",
      "1.384214706"
    ],
    [
      "0.159789921",
      "1.794999180"
    ],
    [
      "0.159939203",
      "0.604399537"
    ],
    [
      "0.175606343",
      "0.980769596"
    ],
    [
      "0.184833442",
      "0.186910579"
    ],
    [
      "0.452333972",
      "0.460799335"
    ],
    [
      "0.480386947",
      "1.183552521"
    ],
    [
      "0.481544260",
      "1.535992346"
    ],
    [
      "0.495651152",
      "1.853944354"
    ],
    [
      "0.556260276",
      "0.811987610"
    ],
    [
      "0.598947088",
      "0.155625595"
    ],
    [
      "0.807096625",
      "0.505960877"
    ],
    [
      "0.818712139",
      "1.099886881"
    ],
    [
      "0.826824093",
      "1.449566875"
    ],
    [
      "0.833301441",
      "1.813535146"
    ],
    [
      "0.993206908",
      "0.167111842"
    ],
    [
      "1.014173908",
      "0.818221918"
    ],
    [
      "1.182304370",
      "0.491341701"
    ],
    [
      "1.392502147",
      "0.162669048"
    ],
    [
      "1.399773814",
      "0.833929170"
    ],
    [
      "1.537397401",
      "0.497632908"
    ],
    [
      "1.796086937",
      "0.162304490"
    ],
    [
      "1.797954264",
      "0.836865586"
    ],
    [
      "1.856184466",
      "0.499484164"
    ]
  ]
}

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.

No threads yet. Start the first discussion.