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

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

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

子题n = 12

目标最小化平方距离积分

纪录对比

平方距离积分 · 越小越好

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

严格定义

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

123456789101112

0x2

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

帮助理解

连续区域的质心量化

用 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.185202918814503→0.124965712231884
2026-09-20
今天人工
0.274778613379940→0.185202918814503
2026-09-20
今天人工
0.461200260429692→0.274778613379940
2026-09-20

ANSWER FORMAT

答案怎么写

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

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

当前第一名的答案

{
  "points": [
    [
      "0.235681557",
      "0.777203865"
    ],
    [
      "0.250052317",
      "1.761412958"
    ],
    [
      "0.254524821",
      "1.277100357"
    ],
    [
      "0.257736740",
      "0.257736740"
    ],
    [
      "0.712592035",
      "0.712592035"
    ],
    [
      "0.750534024",
      "1.737719078"
    ],
    [
      "0.753479201",
      "1.218146194"
    ],
    [
      "0.777203865",
      "0.235681557"
    ],
    [
      "1.218146194",
      "0.753479201"
    ],
    [
      "1.277100357",
      "0.254524821"
    ],
    [
      "1.737719078",
      "0.750534024"
    ],
    [
      "1.761412958",
      "0.250052317"
    ]
  ]
}

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

子题参数

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

当前第一名的答案

{
  "points": [
    [
      "0.235681557",
      "0.777203865"
    ],
    [
      "0.250052317",
      "1.761412958"
    ],
    [
      "0.254524821",
      "1.277100357"
    ],
    [
      "0.257736740",
      "0.257736740"
    ],
    [
      "0.712592035",
      "0.712592035"
    ],
    [
      "0.750534024",
      "1.737719078"
    ],
    [
      "0.753479201",
      "1.218146194"
    ],
    [
      "0.777203865",
      "0.235681557"
    ],
    [
      "1.218146194",
      "0.753479201"
    ],
    [
      "1.277100357",
      "0.254524821"
    ],
    [
      "1.737719078",
      "0.750534024"
    ],
    [
      "1.761412958",
      "0.250052317"
    ]
  ]
}

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

DISCUSSION

讨论区

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

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