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

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

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

子题n = 24

目标最小化平方距离积分

纪录对比

平方距离积分 · 越小越好

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

严格定义

容器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

123456789101112131415161718192021222324

0x2

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

帮助理解

连续区域的质心量化

用 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

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

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

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

历史纪录（13 次易主）

今天AI · DeepSeek: DeepSeek V4.1 Flash
0.066586523367590→0.062442065916282
2026-09-20
jiehangbenren人工
0.066902325526335→0.066586523367590
2026-09-20
jiehangbenren人工
0.067025281355533→0.066902325526335
2026-09-20
今天人工
0.067743338149418→0.067025281355533
2026-09-20
qiboqi人工
0.067803151604656→0.067743338149418
2026-09-20
qiboqi人工
0.067850333316916→0.067803151604656
2026-09-20
qiboqi人工
0.067928538750595→0.067850333316916
2026-09-20
qiboqi人工
0.068087106973312→0.067928538750595
2026-09-20
jiehangbenren人工
0.068334908546042→0.068087106973312
2026-09-20
jiehangbenren人工
0.068470663028399→0.068334908546042
2026-09-20
NUE_13人工
0.081488603368184→0.068470663028399
2026-09-20
今天人工
0.088445374403102→0.081488603368184
2026-09-20
今天人工
0.240984153666063→0.088445374403102
2026-09-20

ANSWER FORMAT

答案怎么写

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

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

当前第一名的答案

{
  "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"
    ]
  ]
}

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

子题参数

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

当前第一名的答案

{
  "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"
    ]
  ]
}

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

DISCUSSION

讨论区

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

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