P87 · 装箱与覆盖 · 经典问题 · 中

等圆覆盖圆盘 · n = 73

用 n 个半径为 1 的圆覆盖尽可能大的圆盘,最大化被覆盖圆盘半径。

子题n = 73
目标最大化 被覆盖圆盘半径

纪录对比

被覆盖圆盘半径 · 越大越好
纪录数值 / 区间作者 / 持有人来源
外部已知最好——暂无收录
本站纪录7.345390654pikachu345纪录详情 ↓

严格定义

  • 容器编辑器与证书将目标圆盘统一归一化为圆心 (1,1)、半径 1 的闭圆盘;公开得分按文献的单位覆盖圆规范折算。
  • 提交提交 {radius, placements:[{x,y,turn},…]},每个数值均为最多九位小数的十进制字符串。x、y 为中心坐标;圆的 turn 固定为 0,多边形的 turn = tan(θ/2)。坐标与 turn 的范围限于 [−4, 4],且 0 < radius ≤ 4。
  • 约束n 个圆心互不重合且位于目标圆盘内。覆盖圆允许重叠并伸出边界,其并集必须包含目标圆盘的每一点。
  • 精度输入的十进制小数按精确有理数解析,可行性检验不设浮点容差。
  • 目标被覆盖圆盘半径 R = 1/r,越大越好。
挑战这个纪录 ↗

当前展示:本站纪录

已验证构造已验证构造

帮助理解

文献来源与坐标证书

文献目标值按原始发表精度换算,九位小数坐标证书单独存储并与文献目标对照展示。

查看来源
等圆覆盖圆盘 n = 73 的当前纪录构型,7.345390654
构型与历史

纪录详情

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

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

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

历史纪录(3 次易主)
  1. pikachu345AI · OpenAI: GPT-6 Astra
    7.340956255→7.345390654
  2. pikachu345AI · OpenAI: GPT-6 Astra
    7.340876769→7.340956255
  3. pikachu345AI · OpenAI: GPT-6 Astra
    7.300453652→7.340876769
ANSWER FORMAT

答案怎么写

圆心 (1,1)、半径 1 的闭圆盘

提交 {radius, placements:[{x,y,turn},…]},每个数值均为最多九位小数的十进制字符串。x、y 为中心坐标;圆的 turn 固定为 0,多边形的 turn = tan(θ/2)。坐标与 turn 的范围限于 [−4, 4],且 0 < radius ≤ 4。

当前第一名的答案

{
  "placements": [
    {
      "turn": "0.000000000",
      "x": "0.926351862",
      "y": "1.077752379"
    },
    {
      "turn": "0.000000000",
      "x": "1.099737072",
      "y": "0.960987218"
    },
    {
      "turn": "0.000000000",
      "x": "0.890172504",
      "y": "0.836916566"
    },
    {
      "turn": "0.000000000",
      "x": "1.137818317",
      "y": "1.204647154"
    },
    {
      "turn": "0.000000000",
      "x": "0.713105287",
      "y": "0.984317390"
    },
    {
      "turn": "0.000000000",
      "x": "1.093330070",
      "y": "0.728257440"
    },
    {
      "turn": "0.000000000",
      "x": "0.958940288",
      "y": "1.319690568"
    },
    {
      "turn": "0.000000000",
      "x": "1.311673200",
      "y": "1.082144843"
    },
    {
      "turn": "0.000000000",
      "x": "0.746942028",
      "y": "1.213908236"
    },
    {
      "turn": "0.000000000",
      "x": "1.293355407",
      "y": "0.845929640"
    },
    {
      "turn": "0.000000000",
      "x": "0.679291129",
      "y": "0.742794663"
    },
    {
      "turn": "0.000000000",
      "x": "0.882239755",
      "y": "0.606120209"
    },
    {
      "turn": "0.000000000",
      "x": "1.174299119",
      "y": "1.443864175"
    },
    {
      "turn": "0.000000000",
      "x": "1.345769525",
      "y": "1.328388526"
    },
    {
      "turn": "0.000000000",
      "x": "0.523531606",
      "y": "1.114431158"
    },
    {
      "turn": "0.000000000",
      "x": "1.285170841",
      "y": "0.601510085"
    },
    {
      "turn": "0.000000000",
      "x": "0.768448474",
      "y": "1.451566724"
    },
    {
      "turn": "0.000000000",
      "x": "0.501197114",
      "y": "0.889160720"
    },
    {
      "turn": "0.000000000",
      "x": "1.084824509",
      "y": "0.496120582"
    },
    {
      "turn": "0.000000000",
      "x": "1.505492245",
      "y": "0.955209310"
    },
    {
      "turn": "0.000000000",
      "x": "0.984339109",
      "y": "1.554627888"
    },
    {
      "turn": "0.000000000",
      "x": "1.519825117",
      "y": "1.194008260"
    },
    {
      "turn": "0.000000000",
      "x": "0.556294477",
      "y": "1.341576286"
    },
    {
      "turn": "0.000000000",
      "x": "0.689256198",
      "y": "0.538574872"
    },
    {
      "turn": "0.000000000",
      "x": "1.483333628",
      "y": "0.717267698"
    },
    {
      "turn": "0.000000000",
      "x": "0.459428677",
      "y": "0.653513975"
    },
    {
      "turn": "0.000000000",
      "x": "1.385570445",
      "y": "1.572535610"
    },
    {
      "turn": "0.000000000",
      "x": "0.882169603",
      "y": "0.368821802"
    },
    {
      "turn": "0.000000000",
      "x": "1.207234630",
      "y": "1.672919736"
    },
    {
      "turn": "0.000000000",
      "x": "1.545637677",
      "y": "1.445024368"
    },
    {
      "turn": "0.000000000",
      "x": "0.301433841",
      "y": "1.020780395"
    },
    {
      "turn": "0.000000000",
      "x": "1.281891626",
      "y": "0.360497370"
    },
    {
      "turn": "0.000000000",
      "x": "0.331474140",
      "y": "1.230901791"
    },
    {
      "turn": "0.000000000",
      "x": "0.782482699",
      "y": "1.680891096"
    },
    {
      "turn": "0.000000000",
      "x": "1.712715692",
      "y": "1.054431635"
    },
    {
      "turn": "0.000000000",
      "x": "1.465303230",
      "y": "0.467331841"
    },
    {
      "turn": "0.000000000",
      "x": "0.579830513",
      "y": "1.580102644"
    },
    {
      "turn": "0.000000000",
      "x": "1.695511611",
      "y": "0.828754343"
    },
    {
      "turn": "0.000000000",
      "x": "0.280730723",
      "y": "0.794189977"
    },
    {
      "turn": "0.000000000",
      "x": "1.079708818",
      "y": "0.256123288"
    },
    {
      "turn": "0.000000000",
      "x": "1.004952735",
      "y": "1.777535849"
    },
    {
      "turn": "0.000000000",
      "x": "1.718629280",
      "y": "1.296914943"
    },
    {
      "turn": "0.000000000",
      "x": "0.481473201",
      "y": "0.459995660"
    },
    {
      "turn": "0.000000000",
      "x": "0.694560959",
      "y": "0.316493072"
    },
    {
      "turn": "0.000000000",
      "x": "0.368534651",
      "y": "1.459903380"
    },
    {
      "turn": "0.000000000",
      "x": "1.663570517",
      "y": "0.587769756"
    },
    {
      "turn": "0.000000000",
      "x": "1.424081766",
      "y": "1.808405331"
    },
    {
      "turn": "0.000000000",
      "x": "1.589656528",
      "y": "1.696900066"
    },
    {
      "turn": "0.000000000",
      "x": "0.240278158",
      "y": "0.557508369"
    },
    {
      "turn": "0.000000000",
      "x": "0.875600251",
      "y": "0.129654768"
    },
    {
      "turn": "0.000000000",
      "x": "0.095904218",
      "y": "1.137761765"
    },
    {
      "turn": "0.000000000",
      "x": "1.235479831",
      "y": "1.888920478"
    },
    {
      "turn": "0.000000000",
      "x": "1.735172177",
      "y": "1.552405863"
    },
    {
      "turn": "0.000000000",
      "x": "1.467562328",
      "y": "0.214027382"
    },
    {
      "turn": "0.000000000",
      "x": "0.081466802",
      "y": "0.930658160"
    },
    {
      "turn": "0.000000000",
      "x": "1.281080989",
      "y": "0.122785657"
    },
    {
      "turn": "0.000000000",
      "x": "0.587119610",
      "y": "1.820298574"
    },
    {
      "turn": "0.000000000",
      "x": "1.915344942",
      "y": "0.925813717"
    },
    {
      "turn": "0.000000000",
      "x": "0.782182876",
      "y": "1.890749781"
    },
    {
      "turn": "0.000000000",
      "x": "0.144741363",
      "y": "1.338477646"
    },
    {
      "turn": "0.000000000",
      "x": "1.907290655",
      "y": "1.133053141"
    },
    {
      "turn": "0.000000000",
      "x": "0.413161398",
      "y": "1.705938953"
    },
    {
      "turn": "0.000000000",
      "x": "1.635191519",
      "y": "0.334743519"
    },
    {
      "turn": "0.000000000",
      "x": "1.874777446",
      "y": "0.721622972"
    },
    {
      "turn": "0.000000000",
      "x": "0.082305405",
      "y": "0.690016677"
    },
    {
      "turn": "0.000000000",
      "x": "1.057779070",
      "y": "0.033090175"
    },
    {
      "turn": "0.000000000",
      "x": "0.486777962",
      "y": "0.237913860"
    },
    {
      "turn": "0.000000000",
      "x": "1.008421040",
      "y": "1.975626651"
    },
    {
      "turn": "0.000000000",
      "x": "0.277033907",
      "y": "0.354033467"
    },
    {
      "turn": "0.000000000",
      "x": "0.673234601",
      "y": "0.087214644"
    },
    {
      "turn": "0.000000000",
      "x": "1.900883040",
      "y": "1.374603824"
    },
    {
      "turn": "0.000000000",
      "x": "0.207319060",
      "y": "1.575164383"
    },
    {
      "turn": "0.000000000",
      "x": "1.830986584",
      "y": "0.481715872"
    }
  ],
  "radius": "0.136139798"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 73,
  "sides": 5
}

当前第一名的答案

{
  "placements": [
    {
      "turn": "0.000000000",
      "x": "0.926351862",
      "y": "1.077752379"
    },
    {
      "turn": "0.000000000",
      "x": "1.099737072",
      "y": "0.960987218"
    },
    {
      "turn": "0.000000000",
      "x": "0.890172504",
      "y": "0.836916566"
    },
    {
      "turn": "0.000000000",
      "x": "1.137818317",
      "y": "1.204647154"
    },
    {
      "turn": "0.000000000",
      "x": "0.713105287",
      "y": "0.984317390"
    },
    {
      "turn": "0.000000000",
      "x": "1.093330070",
      "y": "0.728257440"
    },
    {
      "turn": "0.000000000",
      "x": "0.958940288",
      "y": "1.319690568"
    },
    {
      "turn": "0.000000000",
      "x": "1.311673200",
      "y": "1.082144843"
    },
    {
      "turn": "0.000000000",
      "x": "0.746942028",
      "y": "1.213908236"
    },
    {
      "turn": "0.000000000",
      "x": "1.293355407",
      "y": "0.845929640"
    },
    {
      "turn": "0.000000000",
      "x": "0.679291129",
      "y": "0.742794663"
    },
    {
      "turn": "0.000000000",
      "x": "0.882239755",
      "y": "0.606120209"
    },
    {
      "turn": "0.000000000",
      "x": "1.174299119",
      "y": "1.443864175"
    },
    {
      "turn": "0.000000000",
      "x": "1.345769525",
      "y": "1.328388526"
    },
    {
      "turn": "0.000000000",
      "x": "0.523531606",
      "y": "1.114431158"
    },
    {
      "turn": "0.000000000",
      "x": "1.285170841",
      "y": "0.601510085"
    },
    {
      "turn": "0.000000000",
      "x": "0.768448474",
      "y": "1.451566724"
    },
    {
      "turn": "0.000000000",
      "x": "0.501197114",
      "y": "0.889160720"
    },
    {
      "turn": "0.000000000",
      "x": "1.084824509",
      "y": "0.496120582"
    },
    {
      "turn": "0.000000000",
      "x": "1.505492245",
      "y": "0.955209310"
    },
    {
      "turn": "0.000000000",
      "x": "0.984339109",
      "y": "1.554627888"
    },
    {
      "turn": "0.000000000",
      "x": "1.519825117",
      "y": "1.194008260"
    },
    {
      "turn": "0.000000000",
      "x": "0.556294477",
      "y": "1.341576286"
    },
    {
      "turn": "0.000000000",
      "x": "0.689256198",
      "y": "0.538574872"
    },
    {
      "turn": "0.000000000",
      "x": "1.483333628",
      "y": "0.717267698"
    },
    {
      "turn": "0.000000000",
      "x": "0.459428677",
      "y": "0.653513975"
    },
    {
      "turn": "0.000000000",
      "x": "1.385570445",
      "y": "1.572535610"
    },
    {
      "turn": "0.000000000",
      "x": "0.882169603",
      "y": "0.368821802"
    },
    {
      "turn": "0.000000000",
      "x": "1.207234630",
      "y": "1.672919736"
    },
    {
      "turn": "0.000000000",
      "x": "1.545637677",
      "y": "1.445024368"
    },
    {
      "turn": "0.000000000",
      "x": "0.301433841",
      "y": "1.020780395"
    },
    {
      "turn": "0.000000000",
      "x": "1.281891626",
      "y": "0.360497370"
    },
    {
      "turn": "0.000000000",
      "x": "0.331474140",
      "y": "1.230901791"
    },
    {
      "turn": "0.000000000",
      "x": "0.782482699",
      "y": "1.680891096"
    },
    {
      "turn": "0.000000000",
      "x": "1.712715692",
      "y": "1.054431635"
    },
    {
      "turn": "0.000000000",
      "x": "1.465303230",
      "y": "0.467331841"
    },
    {
      "turn": "0.000000000",
      "x": "0.579830513",
      "y": "1.580102644"
    },
    {
      "turn": "0.000000000",
      "x": "1.695511611",
      "y": "0.828754343"
    },
    {
      "turn": "0.000000000",
      "x": "0.280730723",
      "y": "0.794189977"
    },
    {
      "turn": "0.000000000",
      "x": "1.079708818",
      "y": "0.256123288"
    },
    {
      "turn": "0.000000000",
      "x": "1.004952735",
      "y": "1.777535849"
    },
    {
      "turn": "0.000000000",
      "x": "1.718629280",
      "y": "1.296914943"
    },
    {
      "turn": "0.000000000",
      "x": "0.481473201",
      "y": "0.459995660"
    },
    {
      "turn": "0.000000000",
      "x": "0.694560959",
      "y": "0.316493072"
    },
    {
      "turn": "0.000000000",
      "x": "0.368534651",
      "y": "1.459903380"
    },
    {
      "turn": "0.000000000",
      "x": "1.663570517",
      "y": "0.587769756"
    },
    {
      "turn": "0.000000000",
      "x": "1.424081766",
      "y": "1.808405331"
    },
    {
      "turn": "0.000000000",
      "x": "1.589656528",
      "y": "1.696900066"
    },
    {
      "turn": "0.000000000",
      "x": "0.240278158",
      "y": "0.557508369"
    },
    {
      "turn": "0.000000000",
      "x": "0.875600251",
      "y": "0.129654768"
    },
    {
      "turn": "0.000000000",
      "x": "0.095904218",
      "y": "1.137761765"
    },
    {
      "turn": "0.000000000",
      "x": "1.235479831",
      "y": "1.888920478"
    },
    {
      "turn": "0.000000000",
      "x": "1.735172177",
      "y": "1.552405863"
    },
    {
      "turn": "0.000000000",
      "x": "1.467562328",
      "y": "0.214027382"
    },
    {
      "turn": "0.000000000",
      "x": "0.081466802",
      "y": "0.930658160"
    },
    {
      "turn": "0.000000000",
      "x": "1.281080989",
      "y": "0.122785657"
    },
    {
      "turn": "0.000000000",
      "x": "0.587119610",
      "y": "1.820298574"
    },
    {
      "turn": "0.000000000",
      "x": "1.915344942",
      "y": "0.925813717"
    },
    {
      "turn": "0.000000000",
      "x": "0.782182876",
      "y": "1.890749781"
    },
    {
      "turn": "0.000000000",
      "x": "0.144741363",
      "y": "1.338477646"
    },
    {
      "turn": "0.000000000",
      "x": "1.907290655",
      "y": "1.133053141"
    },
    {
      "turn": "0.000000000",
      "x": "0.413161398",
      "y": "1.705938953"
    },
    {
      "turn": "0.000000000",
      "x": "1.635191519",
      "y": "0.334743519"
    },
    {
      "turn": "0.000000000",
      "x": "1.874777446",
      "y": "0.721622972"
    },
    {
      "turn": "0.000000000",
      "x": "0.082305405",
      "y": "0.690016677"
    },
    {
      "turn": "0.000000000",
      "x": "1.057779070",
      "y": "0.033090175"
    },
    {
      "turn": "0.000000000",
      "x": "0.486777962",
      "y": "0.237913860"
    },
    {
      "turn": "0.000000000",
      "x": "1.008421040",
      "y": "1.975626651"
    },
    {
      "turn": "0.000000000",
      "x": "0.277033907",
      "y": "0.354033467"
    },
    {
      "turn": "0.000000000",
      "x": "0.673234601",
      "y": "0.087214644"
    },
    {
      "turn": "0.000000000",
      "x": "1.900883040",
      "y": "1.374603824"
    },
    {
      "turn": "0.000000000",
      "x": "0.207319060",
      "y": "1.575164383"
    },
    {
      "turn": "0.000000000",
      "x": "1.830986584",
      "y": "0.481715872"
    }
  ],
  "radius": "0.136139798"
}

提交 {radius, placements:[{x,y,turn},…]},每个数值均为最多九位小数的十进制字符串。x、y 为中心坐标;圆的 turn 固定为 0,多边形的 turn = tan(θ/2)。坐标与 turn 的范围限于 [−4, 4],且 0 < radius ≤ 4。 · 验证器 v1.0.0

DISCUSSION

讨论区

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

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