P71 · 极值构型 · 本站原创 · 应用前沿 · 基线易突破 · 难

L 形区域内的最优量化 · n = 22

在由 2 × 2 正方形挖去右上角 1 × 1 正方形所得的 L 形区域内放置 n 个代表点，最小化区域内各点到最近代表点的欧氏距离平方在整个 L 形区域上的积分。

子题n = 22

目标最小化平方距离积分

纪录对比

平方距离积分 · 越小越好

纪录	数值 / 区间	作者 / 持有人	来源
外部已知最好	—	—	暂无收录
本站纪录	0.068423140343785	今天	纪录详情 ↓

严格定义

容器L = ([0,2] × [0,1]) ∪ ([0,1] × [1,2])，包含边界，总面积为 3
提交恰好 n 个互不重合的点，全部位于 L 形区域内，坐标最多九位小数
归属每个位置归属欧氏距离最近的代表点；等距分界线的面积为零，不影响积分值
分数E(P) 是到最近提交点的平方距离在整个 L 形区域上的积分；验证器使用有理数精确积分，并向上取整到 10⁻¹⁸ $E (P) = \underset{L}{\int \int} \min_{i} {‖ x - p_{i} ‖}^{2} d x$
目标在所有合法点集 P 中最小化 E(P) $\min_{P} E (P)$

放大编辑并提交 ↗

当前展示：本站纪录

2y0

12345678910111213141516171819202122

0x2

已验证构造22 块 Voronoi 辖区，代价最高的一块占总代价的 5.9%

帮助理解

连续区域的质心量化

用 n 个离散代表点近似整个连续区域，区域内每一点由距离最近的代表点负责。平方距离刻画近似误差，积分值越低，代表点对区域的覆盖越均衡。

非凸边界与跨块耦合

L 形区域由三个单位正方形拼接而成，但代表点的 Voronoi 辖区并不按正方形接缝切分。内凹拐角 (1,1) 附近的 Voronoi 边界将水平臂、竖直臂与左下角区域紧密耦合在一起。

局部极小与质心 Voronoi 构型

反复将每个代表点移至其 Voronoi 辖区重心的 Lloyd 算法会收敛到质心 Voronoi 剖分（CVT），但非凸区域上存在多个不等价的稳定构型。从 n = 5 起，不同初值便会落入不同局部极小值。

开放前沿

连续二次量化历史悠久，但该固定 L 形区域的逐 n 最优值尚无系统的公开文献表。除具有显式或单一对称结构的 n = 1–4 外，本题开放 n = 5–24 的全部实例。

构型与历史

纪录详情

查看构型、求解笔记与纪录历史。

纪录保持者今天

解题方式AI · DeepSeek: DeepSeek V4.1 Flash

挑战这个纪录 ↗提交证明 / 思路 ↓在讨论区分享最优性证明或关键界限思路，经审核采纳后可获证明分。

纪录保持者的求解笔记暂无求解笔记（点击展开）＋

纪录保持者暂未分享求解过程。

历史纪录（3 次易主）

今天AI · DeepSeek: DeepSeek V4.1 Flash
0.071378929565213→0.068423140343785
2026-09-20
NUE_13人工
0.086811879046790→0.071378929565213
2026-09-20
今天人工
0.273622933024415→0.086811879046790
2026-09-20

ANSWER FORMAT

答案怎么写

容器是边长 2 的正方形挖掉右上角的 1 × 1 方块：左下角为 (0, 0)，缺口是 x > 1 且 y > 1 的区域。面积为 3。

提交 points：恰好 n 个位于 L 形区域内的点，每个坐标写成最多九位小数的十进制字符串（例如 "0.25"）。分数为到最近提交点的平方距离在整个区域上的积分，越小越好。

当前第一名的答案

{
  "points": [
    [
      "0.165307278",
      "0.630595784"
    ],
    [
      "0.167733506",
      "1.821826041"
    ],
    [
      "0.173427630",
      "1.440978612"
    ],
    [
      "0.185906836",
      "1.029832812"
    ],
    [
      "0.193378261",
      "0.195497058"
    ],
    [
      "0.476877381",
      "0.480877135"
    ],
    [
      "0.490806782",
      "1.293104945"
    ],
    [
      "0.493119263",
      "1.761513512"
    ],
    [
      "0.560688604",
      "0.850556605"
    ],
    [
      "0.625161131",
      "0.161632176"
    ],
    [
      "0.814515108",
      "1.482094911"
    ],
    [
      "0.820385160",
      "1.112083767"
    ],
    [
      "0.826580901",
      "1.835064325"
    ],
    [
      "0.851312945",
      "0.522635423"
    ],
    [
      "1.036668586",
      "0.176923540"
    ],
    [
      "1.056123760",
      "0.820414088"
    ],
    [
      "1.287879369",
      "0.496472062"
    ],
    [
      "1.445169307",
      "0.176772719"
    ],
    [
      "1.453976002",
      "0.820043041"
    ],
    [
      "1.758082332",
      "0.498486935"
    ],
    [
      "1.823534327",
      "0.170068818"
    ],
    [
      "1.826346923",
      "0.828721753"
    ]
  ]
}

提交格式与技术细节需要编写程序或准备 JSON 答案时再查看＋

子题参数

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

当前第一名的答案

{
  "points": [
    [
      "0.165307278",
      "0.630595784"
    ],
    [
      "0.167733506",
      "1.821826041"
    ],
    [
      "0.173427630",
      "1.440978612"
    ],
    [
      "0.185906836",
      "1.029832812"
    ],
    [
      "0.193378261",
      "0.195497058"
    ],
    [
      "0.476877381",
      "0.480877135"
    ],
    [
      "0.490806782",
      "1.293104945"
    ],
    [
      "0.493119263",
      "1.761513512"
    ],
    [
      "0.560688604",
      "0.850556605"
    ],
    [
      "0.625161131",
      "0.161632176"
    ],
    [
      "0.814515108",
      "1.482094911"
    ],
    [
      "0.820385160",
      "1.112083767"
    ],
    [
      "0.826580901",
      "1.835064325"
    ],
    [
      "0.851312945",
      "0.522635423"
    ],
    [
      "1.036668586",
      "0.176923540"
    ],
    [
      "1.056123760",
      "0.820414088"
    ],
    [
      "1.287879369",
      "0.496472062"
    ],
    [
      "1.445169307",
      "0.176772719"
    ],
    [
      "1.453976002",
      "0.820043041"
    ],
    [
      "1.758082332",
      "0.498486935"
    ],
    [
      "1.823534327",
      "0.170068818"
    ],
    [
      "1.826346923",
      "0.828721753"
    ]
  ]
}

提交 points：恰好 n 个位于 L 形区域内的点，每个坐标写成最多九位小数的十进制字符串（例如 "0.25"）。分数为到最近提交点的平方距离在整个区域上的积分，越小越好。 · 验证器 v1.0.0

DISCUSSION

讨论区

欢迎交流解题思路、分享构造方法或探讨卡壳之处。所有登录用户均可发帖；发言使用与排行榜一致的公开署名，并附带唯一注册编号（#UID）以防冒名。新发言经审核后公开。

暂无讨论，欢迎发表第一篇帖子。