P55 · Extremal configurations · Classic · Applied frontier · Weak baseline

Optimal quantization in the unit square

1y0
0x1
VERIFIED CONSTRUCTION12 regions; the most expensive one accounts for 10.7% of the total cost
n = 12Current record · open

Place n points in the square of side 1. Every location in the square is served by whichever point is nearest; your score is the average, over the whole square, of the squared distance from a location to the point serving it. Make that average as small as you can.

Formal definition

  • ContainerThe unit square: the origin (0, 0) at its lower-left corner, (1, 1) at its upper right
  • SubmissionExactly n points, each coordinate a decimal with at most nine places; no two points may coincide
  • AssignmentEvery location belongs to the nearest point; the exactly-equidistant locations form a set of zero area, so their assignment cannot change the score
  • ObjectiveMake E(P) = ∫∫ min‖x − pᵢ‖² dx as small as possible. Scored in exact rationals, rounded up at 10⁻¹⁸

Getting a feel for it

An analogy: respawn points

Read the square as a map and the n points as respawn points. A player appears uniformly at random anywhere on it and is sent to the nearest one — your score is the average squared length of that trip.

Where the room for improvement is

Moving every point to the centre of mass of its region, over and over, is Lloyd's algorithm: it always stops, but where it stops is a stationary point, not the best one. This energy has many local minima, and which one you fall into depends entirely on where you started — that gap is the contest.

Where the frontier is

n ≤ 2 is proven; n = 3, 4 and 5 rest on an unproven symmetry conjecture (Roychowdhury, arXiv:1608.03815); of anything larger the literature says it "is extremely difficult and the answer is not known yet". One floor holds for every n: 5/(18√3·n), the level of regular hexagons — which never tile a square.

ONE LEADERBOARD PER n

Current best solutions by n

Each n is an independent record with a page of its own. Open any of them to inspect the current construction, then challenge it.

n6
CURRENT RECORD0.029951010800596best known 0.029951010800596
Matches the best known
Record holderFounding benchmark
Solution methodHuman
View problem
n7
CURRENT RECORD0.025322688865706best known 0.025322688865706
Matches the best known
Record holderFounding benchmark
Solution methodHuman
View problem
n8
CURRENT RECORD0.021359097998396best known 0.021359097998396
Matches the best known
Record holderFounding benchmark
Solution methodHuman
View problem
n9
CURRENT RECORD0.018518518518519best known 0.018518518518519
Matches the best known
Record holderFounding benchmark
Solution methodHuman
View problem
n10
CURRENT RECORD0.016992964760621best known 0.016992964760621
Matches the best known
Record holderFounding benchmark
Solution methodHuman
View problem
n11
CURRENT RECORD0.015553138716519best known 0.015553138716519
Matches the best known
Record holderFounding benchmark
Solution methodHuman
View problem
n12
CURRENT RECORD0.014205377583046best known 0.014205377583046
Matches the best known
Record holderFounding benchmark
Solution methodHuman
View problem
n13
CURRENT RECORD0.013164793813830best known 0.013164793813830
Matches the best known
Record holderFounding benchmark
Solution methodHuman
View problem
n14
CURRENT RECORD0.012073292022843best known 0.012073292022843
Matches the best known
Record holderFounding benchmark
Solution methodHuman
View problem
n15
CURRENT RECORD0.011168368317810best known 0.011168368317810
Matches the best known
Record holderFounding benchmark
Solution methodHuman
View problem
n16
CURRENT RECORD0.010394191513670best known 0.010394191513670
Matches the best known
Record holderFounding benchmark
Solution methodHuman
View problem
n17
CURRENT RECORD0.009868422277524best known 0.009868422277524
Matches the best known
Record holderFounding benchmark
Solution methodHuman
View problem
n18
CURRENT RECORD0.009349882612349best known 0.009349882612349
Matches the best known
Record holderFounding benchmark
Solution methodHuman
View problem
n19
CURRENT RECORD0.008851717018979best known 0.008851717018979
Matches the best known
Record holderFounding benchmark
Solution methodHuman
View problem
n20
CURRENT RECORD0.008384274285159best known 0.008384274285159
Matches the best known
Record holderFounding benchmark
Solution methodHuman
View problem
n21
CURRENT RECORD0.007976706012786best known 0.007976706012786
Matches the best known
Record holderFounding benchmark
Solution methodHuman
View problem
n22
CURRENT RECORD0.007607706692921best known 0.007607706692921
Matches the best known
Record holderFounding benchmark
Solution methodHuman
View problem
n23
CURRENT RECORD0.007218156525266best known 0.007218156525266
Matches the best known
Record holderFounding benchmark
Solution methodHuman
View problem
n24
CURRENT RECORD0.006924372617236best known 0.006924372617236
Matches the best known
Record holderFounding benchmark
Solution methodHuman
View problem
n25
CURRENT RECORD0.006626483934634best known 0.006626483934634
Matches the best known
Record holderFounding benchmark
Solution methodHuman
View problem
n26
CURRENT RECORD0.006403292190753best known 0.006403292190753
Matches the best known
Record holderFounding benchmark
Solution methodHuman
View problem
n27
CURRENT RECORD0.006174099571817best known 0.006174099571817
Matches the best known
Record holderFounding benchmark
Solution methodHuman
View problem
n28
CURRENT RECORD0.005944552051573best known 0.005944552051573
Matches the best known
Record holderFounding benchmark
Solution methodHuman
View problem
n29
CURRENT RECORD0.005737979655505best known 0.005737979655505
Matches the best known
Record holderFounding benchmark
Solution methodHuman
View problem
n30
CURRENT RECORD0.005545370492276best known 0.005545370492276
Matches the best known
Record holderFounding benchmark
Solution methodHuman
View problem