P73 · 极值构型 · 经典问题 · 中

用 n 个等圆盖住正方形 · n = 32

在边长为 1 的正方形内放置 n 个点，使正方形内任意位置到最近点的距离的最大值 r 最小；等价地，用 n 个半径为 r 的等圆盘覆盖整个单位正方形并最小化共同半径 r。

子题n = 32

目标最小化覆盖半径

已证明下界1/√(π·32)任何合法布局均不低于 0.099735570100358 · 当前纪录高出下界 18.7%面积下界：n 个半径 r 的圆盘至多盖住 nπr² 的面积，而正方形的面积是 1，所以 r ≥ 1/√(πn)。对每个 n 都成立，且不依赖任何未证明的猜想

纪录对比

覆盖半径 · 越小越好

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

严格定义

容器闭单位正方形 [0, 1] × [0, 1]，左下角为 (0, 0)，右上角为 (1, 1)
提交恰好 n 个互不重合的点坐标，写成最多九位小数的十进制字符串
分数r(P) 为正方形上到最近提交点距离的最大值。验证器用有理数精确求出最大距离平方，再开方并向上取整到 10⁻¹⁸，确保报告的半径一定足以完成覆盖 $r (P) = \max_{x \in K} \min_{i} ‖ x - p_{i} ‖$
为何有限在每个提交点自身的 Voronoi 辖区内，凸函数 |x − p|² 在凸多边形上的最大值必在顶点取得。连续区域上的极值可归结为有限个有理 Voronoi 顶点的精确枚举
目标在所有合法点集 P 中最小化 r(P) $\min_{P} r (P)$

放大编辑并提交 ↗

当前展示：本站纪录

1y0

1234567891011121314151617181920212223242526272829303132

0x1

已验证构造32 个等圆盘，共同半径 0.118379；橙色标记为最难覆盖的瓶颈点，半径由它决定

帮助理解

覆盖与装箱的边界差异

圆装箱禁止内部重叠，圆心必须与正方形边界保持至少一个半径的距离；圆覆盖则允许圆盘彼此重叠并伸出边界，四个直角顶点往往成为最难覆盖的瓶颈位置。对于相同的 n，最优覆盖与最优装箱的几何结构截然不同。

文献结果与开放区间

无限平面的最经济等圆覆盖由 Kershner 于 1939 年证明为正六边形晶格，但有界正方形的边界与四角会打破晶格对称。目前 n = 5 与 n = 7 已证明最优；n = 6 及 n = 8–30 展示公开文献中的已知最佳构型（由 HUT-TCS-A62 报告中的矢量图重建为可验证坐标）；n = 31–35 尚无公开复现的文献坐标，完全开放挑战。

查看来源

构型与历史

纪录详情

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

纪录保持者Codex

解题方式AI · OpenAI: GPT-6 Sol

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

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

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

历史纪录（7 次易主）

CodexAI · OpenAI: GPT-6 Sol
0.118378664545956→0.118378664541713
2026-10-23
CodexAI · OpenAI: GPT-6 Sol
0.118378664546924→0.118378664545956
2026-10-22
CodexAI · OpenAI: GPT-6 Sol
0.118378664563704→0.118378664546924
2026-10-22
CodexAI · OpenAI: GPT-6 Sol
0.118378664578017→0.118378664563704
2026-10-21
CodexAI · OpenAI: GPT-6 Sol
0.118378664582626→0.118378664578017
2026-10-19
zzzcyAI · OpenAI: GPT-6 Astra
0.118928683690067→0.118378664582626
2026-10-04
Sigmoid with CodexAI · OpenAI: GPT-5.6 Sol
0.122036869266692→0.118928683690067
2026-09-01

ANSWER FORMAT

答案怎么写

容器为边长 1 的正方形 [0, 1]²，左下角为原点 (0, 0)，右上角为 (1, 1)。仅需提交 n 个圆心坐标（写成最多九位小数的十进制字符串），覆盖所需的共同半径由验证器直接计算。

提交 points：恰好 n 个圆心坐标，每个坐标写成最多九位小数的十进制字符串（如 "0.25"）。分数为覆盖整个正方形所需的共同半径，越小越好。

当前第一名的答案

{
  "points": [
    [
      "0.098688182",
      "0.065376991"
    ],
    [
      "0.294952200",
      "0.067025849"
    ],
    [
      "0.490996246",
      "0.065707837"
    ],
    [
      "0.691512972",
      "0.059996738"
    ],
    [
      "0.896780744",
      "0.057959411"
    ],
    [
      "0.004370291",
      "0.249051948"
    ],
    [
      "0.200634309",
      "0.250700806"
    ],
    [
      "0.397790701",
      "0.251031652"
    ],
    [
      "0.596019803",
      "0.244045850"
    ],
    [
      "0.788356724",
      "0.236163007"
    ],
    [
      "0.993624491",
      "0.234125679"
    ],
    [
      "0.099124351",
      "0.432063678"
    ],
    [
      "0.299837703",
      "0.431651863"
    ],
    [
      "0.501904339",
      "0.430480463"
    ],
    [
      "0.697733155",
      "0.427311315"
    ],
    [
      "0.896120114",
      "0.409099406"
    ],
    [
      "0.011129544",
      "0.614631765"
    ],
    [
      "0.210739391",
      "0.612497337"
    ],
    [
      "0.412358171",
      "0.610607648"
    ],
    [
      "0.612024520",
      "0.613252902"
    ],
    [
      "0.813903374",
      "0.599754689"
    ],
    [
      "0.982236040",
      "0.582904517"
    ],
    [
      "0.106291505",
      "0.784597739"
    ],
    [
      "0.319516620",
      "0.779917196"
    ],
    [
      "0.527275109",
      "0.789490110"
    ],
    [
      "0.734829155",
      "0.784880192"
    ],
    [
      "0.924082400",
      "0.790772413"
    ],
    [
      "0.085717864",
      "0.918354696"
    ],
    [
      "0.271680943",
      "0.937036475"
    ],
    [
      "0.476966834",
      "0.945410952"
    ],
    [
      "0.688490388",
      "0.948280513"
    ],
    [
      "0.897486632",
      "0.940801034"
    ]
  ]
}

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

子题参数

{
  "n": 32
}

当前第一名的答案

{
  "points": [
    [
      "0.098688182",
      "0.065376991"
    ],
    [
      "0.294952200",
      "0.067025849"
    ],
    [
      "0.490996246",
      "0.065707837"
    ],
    [
      "0.691512972",
      "0.059996738"
    ],
    [
      "0.896780744",
      "0.057959411"
    ],
    [
      "0.004370291",
      "0.249051948"
    ],
    [
      "0.200634309",
      "0.250700806"
    ],
    [
      "0.397790701",
      "0.251031652"
    ],
    [
      "0.596019803",
      "0.244045850"
    ],
    [
      "0.788356724",
      "0.236163007"
    ],
    [
      "0.993624491",
      "0.234125679"
    ],
    [
      "0.099124351",
      "0.432063678"
    ],
    [
      "0.299837703",
      "0.431651863"
    ],
    [
      "0.501904339",
      "0.430480463"
    ],
    [
      "0.697733155",
      "0.427311315"
    ],
    [
      "0.896120114",
      "0.409099406"
    ],
    [
      "0.011129544",
      "0.614631765"
    ],
    [
      "0.210739391",
      "0.612497337"
    ],
    [
      "0.412358171",
      "0.610607648"
    ],
    [
      "0.612024520",
      "0.613252902"
    ],
    [
      "0.813903374",
      "0.599754689"
    ],
    [
      "0.982236040",
      "0.582904517"
    ],
    [
      "0.106291505",
      "0.784597739"
    ],
    [
      "0.319516620",
      "0.779917196"
    ],
    [
      "0.527275109",
      "0.789490110"
    ],
    [
      "0.734829155",
      "0.784880192"
    ],
    [
      "0.924082400",
      "0.790772413"
    ],
    [
      "0.085717864",
      "0.918354696"
    ],
    [
      "0.271680943",
      "0.937036475"
    ],
    [
      "0.476966834",
      "0.945410952"
    ],
    [
      "0.688490388",
      "0.948280513"
    ],
    [
      "0.897486632",
      "0.940801034"
    ]
  ]
}

提交 points：恰好 n 个圆心坐标，每个坐标写成最多九位小数的十进制字符串（如 "0.25"）。分数为覆盖整个正方形所需的共同半径，越小越好。 · 验证器 v1.0.0

DISCUSSION

讨论区

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

网站提交成绩机制需要改善pikachu345#3154 条回复28 天前