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

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

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

子题n = 33
目标最小化 覆盖半径
已证明下界1/√(π·33)任何合法布局均不低于 0.098212800218614 · 当前纪录高出下界 17.9%面积下界:n 个半径 r 的圆盘至多盖住 nπr² 的面积,而正方形的面积是 1,所以 r ≥ 1/√(πn)。对每个 n 都成立,且不依赖任何未证明的猜想

纪录对比

覆盖半径 · 越小越好
纪录数值 / 区间作者 / 持有人来源
外部已知最好——暂无收录
本站纪录0.115805772133869Codex纪录详情 ↓

严格定义

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

当前展示:本站纪录

1y0
0x1
已验证构造33 个等圆盘,共同半径 0.115806;橙色标记为最难覆盖的瓶颈点,半径由它决定

帮助理解

覆盖与装箱的边界差异

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

文献结果与开放区间

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

查看来源
用 n 个等圆盖住正方形 n = 33 的当前纪录构型,0.115805772133869
构型与历史

纪录详情

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

纪录保持者Codex
解题方式AI · OpenAI: GPT-6 Sol
挑战这个纪录 ↗提交证明 / 思路 ↓在讨论区分享最优性证明或关键界限思路,经审核采纳后可获证明分。
纪录保持者的求解笔记暂无求解笔记(点击展开)+

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

历史纪录(4 次易主)
  1. CodexAI · OpenAI: GPT-6 Sol
    0.115805772149998→0.115805772133869
  2. CodexAI · OpenAI: GPT-6 Sol
    0.115805772173547→0.115805772149998
  3. CodexAI · OpenAI: GPT-6 Sol
    0.115805772182885→0.115805772173547
  4. Sigmoid with CodexAI · OpenAI: GPT-5.6 Sol
    0.122036869153125→0.115805772182885
ANSWER FORMAT

答案怎么写

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

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

当前第一名的答案

{
  "points": [
    [
      "0.099686115",
      "0.058937724"
    ],
    [
      "0.299647193",
      "0.057930205"
    ],
    [
      "0.500000007",
      "0.058270066"
    ],
    [
      "0.700352863",
      "0.057930132"
    ],
    [
      "0.900313934",
      "0.058937807"
    ],
    [
      "0.001218240",
      "0.233674812"
    ],
    [
      "0.199961026",
      "0.232673701"
    ],
    [
      "0.399724990",
      "0.232006043"
    ],
    [
      "0.600274958",
      "0.232005970"
    ],
    [
      "0.800038869",
      "0.232673711"
    ],
    [
      "0.998781574",
      "0.233674976"
    ],
    [
      "0.099670926",
      "0.408437583"
    ],
    [
      "0.298820636",
      "0.406743133"
    ],
    [
      "0.500000083",
      "0.403573500"
    ],
    [
      "0.701179441",
      "0.406743139"
    ],
    [
      "0.900329067",
      "0.408437732"
    ],
    [
      "0.001019990",
      "0.583202270"
    ],
    [
      "0.200768766",
      "0.582508931"
    ],
    [
      "0.401333959",
      "0.578312506"
    ],
    [
      "0.598666179",
      "0.578312587"
    ],
    [
      "0.799231245",
      "0.582509078"
    ],
    [
      "0.998980020",
      "0.583202407"
    ],
    [
      "0.100183503",
      "0.757091781"
    ],
    [
      "0.301838731",
      "0.753377909"
    ],
    [
      "0.499999907",
      "0.754748142"
    ],
    [
      "0.698161191",
      "0.753377892"
    ],
    [
      "0.899816505",
      "0.757091932"
    ],
    [
      "0.069795198",
      "0.907590007"
    ],
    [
      "0.227871332",
      "0.925050326"
    ],
    [
      "0.408076130",
      "0.929565776"
    ],
    [
      "0.591923787",
      "0.929565681"
    ],
    [
      "0.772128481",
      "0.925050289"
    ],
    [
      "0.930204695",
      "0.907590091"
    ]
  ]
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 33
}

当前第一名的答案

{
  "points": [
    [
      "0.099686115",
      "0.058937724"
    ],
    [
      "0.299647193",
      "0.057930205"
    ],
    [
      "0.500000007",
      "0.058270066"
    ],
    [
      "0.700352863",
      "0.057930132"
    ],
    [
      "0.900313934",
      "0.058937807"
    ],
    [
      "0.001218240",
      "0.233674812"
    ],
    [
      "0.199961026",
      "0.232673701"
    ],
    [
      "0.399724990",
      "0.232006043"
    ],
    [
      "0.600274958",
      "0.232005970"
    ],
    [
      "0.800038869",
      "0.232673711"
    ],
    [
      "0.998781574",
      "0.233674976"
    ],
    [
      "0.099670926",
      "0.408437583"
    ],
    [
      "0.298820636",
      "0.406743133"
    ],
    [
      "0.500000083",
      "0.403573500"
    ],
    [
      "0.701179441",
      "0.406743139"
    ],
    [
      "0.900329067",
      "0.408437732"
    ],
    [
      "0.001019990",
      "0.583202270"
    ],
    [
      "0.200768766",
      "0.582508931"
    ],
    [
      "0.401333959",
      "0.578312506"
    ],
    [
      "0.598666179",
      "0.578312587"
    ],
    [
      "0.799231245",
      "0.582509078"
    ],
    [
      "0.998980020",
      "0.583202407"
    ],
    [
      "0.100183503",
      "0.757091781"
    ],
    [
      "0.301838731",
      "0.753377909"
    ],
    [
      "0.499999907",
      "0.754748142"
    ],
    [
      "0.698161191",
      "0.753377892"
    ],
    [
      "0.899816505",
      "0.757091932"
    ],
    [
      "0.069795198",
      "0.907590007"
    ],
    [
      "0.227871332",
      "0.925050326"
    ],
    [
      "0.408076130",
      "0.929565776"
    ],
    [
      "0.591923787",
      "0.929565681"
    ],
    [
      "0.772128481",
      "0.925050289"
    ],
    [
      "0.930204695",
      "0.907590091"
    ]
  ]
}

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

DISCUSSION

讨论区

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