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

等圆覆盖圆盘 · n = 74

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

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

纪录对比

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

严格定义

  • 容器编辑器与证书将目标圆盘统一归一化为圆心 (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 = 74 的当前纪录构型,7.397867829
构型与历史

纪录详情

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

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

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

历史纪录(3 次易主)
  1. matrixfangAI · OpenAI: GPT-6.1 Sol
    7.395078168→7.397867829
  2. pikachu345AI · OpenAI: GPT-6 Astra
    7.395065262→7.395078168
  3. pikachu345AI · OpenAI: GPT-6 Astra
    7.361623019→7.395065262
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",
      "x": "1.257614744",
      "y": "1.944252949"
    },
    {
      "turn": "0",
      "x": "1.452836298",
      "y": "1.800481634"
    },
    {
      "turn": "0",
      "x": "1.017419863",
      "y": "1.917987073"
    },
    {
      "turn": "0",
      "x": "1.614759033",
      "y": "1.676605051"
    },
    {
      "turn": "0",
      "x": "0.812072457",
      "y": "1.899195910"
    },
    {
      "turn": "0",
      "x": "1.747882705",
      "y": "1.527197491"
    },
    {
      "turn": "0",
      "x": "0.617300012",
      "y": "1.833622584"
    },
    {
      "turn": "0",
      "x": "1.847590999",
      "y": "1.350757316"
    },
    {
      "turn": "0",
      "x": "1.770071582",
      "y": "1.107045025"
    },
    {
      "turn": "0",
      "x": "0.389693534",
      "y": "1.759907318"
    },
    {
      "turn": "0",
      "x": "1.204058019",
      "y": "1.754321198"
    },
    {
      "turn": "0",
      "x": "1.130018782",
      "y": "1.544825755"
    },
    {
      "turn": "0",
      "x": "1.056641170",
      "y": "1.326745508"
    },
    {
      "turn": "0",
      "x": "1.372715628",
      "y": "1.600184106"
    },
    {
      "turn": "0",
      "x": "0.995104377",
      "y": "1.107984952"
    },
    {
      "turn": "0",
      "x": "1.289946204",
      "y": "1.388615248"
    },
    {
      "turn": "0",
      "x": "0.965814304",
      "y": "1.716807669"
    },
    {
      "turn": "0",
      "x": "1.521803680",
      "y": "1.459575064"
    },
    {
      "turn": "0",
      "x": "0.897447353",
      "y": "1.499992236"
    },
    {
      "turn": "0",
      "x": "1.210936884",
      "y": "1.165461561"
    },
    {
      "turn": "0",
      "x": "0.746194349",
      "y": "1.669971647"
    },
    {
      "turn": "0",
      "x": "1.430376277",
      "y": "1.231939272"
    },
    {
      "turn": "0",
      "x": "1.642832405",
      "y": "1.295458434"
    },
    {
      "turn": "0",
      "x": "0.826765869",
      "y": "1.278767813"
    },
    {
      "turn": "0",
      "x": "0.666029731",
      "y": "1.446899834"
    },
    {
      "turn": "0",
      "x": "0.056311152",
      "y": "0.741704637"
    },
    {
      "turn": "0",
      "x": "0.079946358",
      "y": "0.983110535"
    },
    {
      "turn": "0",
      "x": "0.200746590",
      "y": "0.548247517"
    },
    {
      "turn": "0",
      "x": "0.104954984",
      "y": "1.185811088"
    },
    {
      "turn": "0",
      "x": "0.321225737",
      "y": "0.380851818"
    },
    {
      "turn": "0",
      "x": "0.166786479",
      "y": "1.374898524"
    },
    {
      "turn": "0",
      "x": "0.476863959",
      "y": "0.245097944"
    },
    {
      "turn": "0",
      "x": "0.264851400",
      "y": "1.553796146"
    },
    {
      "turn": "0",
      "x": "0.513758160",
      "y": "1.607872044"
    },
    {
      "turn": "0",
      "x": "0.656282393",
      "y": "0.082100030"
    },
    {
      "turn": "0",
      "x": "0.245935375",
      "y": "0.791369463"
    },
    {
      "turn": "0",
      "x": "0.462500882",
      "y": "0.831283561"
    },
    {
      "turn": "0",
      "x": "0.691741729",
      "y": "0.869777854"
    },
    {
      "turn": "0",
      "x": "0.292414923",
      "y": "1.014960107"
    },
    {
      "turn": "0",
      "x": "0.925359080",
      "y": "0.909245025"
    },
    {
      "turn": "0",
      "x": "0.518100791",
      "y": "1.045116972"
    },
    {
      "turn": "0",
      "x": "0.400655451",
      "y": "0.605107629"
    },
    {
      "turn": "0",
      "x": "0.340007140",
      "y": "1.213801763"
    },
    {
      "turn": "0",
      "x": "0.622528368",
      "y": "0.651629677"
    },
    {
      "turn": "0",
      "x": "0.751647167",
      "y": "1.078252233"
    },
    {
      "turn": "0",
      "x": "0.552327800",
      "y": "0.437696251"
    },
    {
      "turn": "0",
      "x": "0.581766338",
      "y": "1.243920387"
    },
    {
      "turn": "0",
      "x": "0.418798861",
      "y": "1.402859289"
    },
    {
      "turn": "0",
      "x": "0.853372358",
      "y": "0.694484251"
    },
    {
      "turn": "0",
      "x": "0.786172496",
      "y": "0.476875579"
    },
    {
      "turn": "0",
      "x": "1.626780048",
      "y": "0.379400902"
    },
    {
      "turn": "0",
      "x": "1.537512210",
      "y": "0.189832473"
    },
    {
      "turn": "0",
      "x": "1.821230389",
      "y": "0.467676675"
    },
    {
      "turn": "0",
      "x": "1.304839663",
      "y": "0.131588583"
    },
    {
      "turn": "0",
      "x": "1.872668872",
      "y": "0.705307403"
    },
    {
      "turn": "0",
      "x": "1.104026226",
      "y": "0.091219343"
    },
    {
      "turn": "0",
      "x": "1.912363265",
      "y": "0.908610555"
    },
    {
      "turn": "0",
      "x": "0.899510903",
      "y": "0.085443577"
    },
    {
      "turn": "0",
      "x": "0.723910343",
      "y": "0.267026542"
    },
    {
      "turn": "0",
      "x": "1.963874950",
      "y": "1.141860377"
    },
    {
      "turn": "0",
      "x": "1.470497833",
      "y": "0.563993611"
    },
    {
      "turn": "0",
      "x": "1.314067414",
      "y": "0.746380853"
    },
    {
      "turn": "0",
      "x": "1.391496329",
      "y": "0.355602522"
    },
    {
      "turn": "0",
      "x": "1.160823153",
      "y": "0.933465977"
    },
    {
      "turn": "0",
      "x": "1.234207301",
      "y": "0.537783192"
    },
    {
      "turn": "0",
      "x": "1.657691368",
      "y": "0.630337383"
    },
    {
      "turn": "0",
      "x": "1.165064497",
      "y": "0.316839687"
    },
    {
      "turn": "0",
      "x": "1.502267761",
      "y": "0.815136664"
    },
    {
      "turn": "0",
      "x": "1.079652411",
      "y": "0.724564399"
    },
    {
      "turn": "0",
      "x": "1.709988460",
      "y": "0.868174683"
    },
    {
      "turn": "0",
      "x": "1.011453976",
      "y": "0.507275446"
    },
    {
      "turn": "0",
      "x": "0.953522457",
      "y": "0.292077770"
    },
    {
      "turn": "0",
      "x": "1.351609090",
      "y": "0.995371317"
    },
    {
      "turn": "0",
      "x": "1.561758839",
      "y": "1.054474620"
    }
  ],
  "radius": "0.135174083"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

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

当前第一名的答案

{
  "placements": [
    {
      "turn": "0",
      "x": "1.257614744",
      "y": "1.944252949"
    },
    {
      "turn": "0",
      "x": "1.452836298",
      "y": "1.800481634"
    },
    {
      "turn": "0",
      "x": "1.017419863",
      "y": "1.917987073"
    },
    {
      "turn": "0",
      "x": "1.614759033",
      "y": "1.676605051"
    },
    {
      "turn": "0",
      "x": "0.812072457",
      "y": "1.899195910"
    },
    {
      "turn": "0",
      "x": "1.747882705",
      "y": "1.527197491"
    },
    {
      "turn": "0",
      "x": "0.617300012",
      "y": "1.833622584"
    },
    {
      "turn": "0",
      "x": "1.847590999",
      "y": "1.350757316"
    },
    {
      "turn": "0",
      "x": "1.770071582",
      "y": "1.107045025"
    },
    {
      "turn": "0",
      "x": "0.389693534",
      "y": "1.759907318"
    },
    {
      "turn": "0",
      "x": "1.204058019",
      "y": "1.754321198"
    },
    {
      "turn": "0",
      "x": "1.130018782",
      "y": "1.544825755"
    },
    {
      "turn": "0",
      "x": "1.056641170",
      "y": "1.326745508"
    },
    {
      "turn": "0",
      "x": "1.372715628",
      "y": "1.600184106"
    },
    {
      "turn": "0",
      "x": "0.995104377",
      "y": "1.107984952"
    },
    {
      "turn": "0",
      "x": "1.289946204",
      "y": "1.388615248"
    },
    {
      "turn": "0",
      "x": "0.965814304",
      "y": "1.716807669"
    },
    {
      "turn": "0",
      "x": "1.521803680",
      "y": "1.459575064"
    },
    {
      "turn": "0",
      "x": "0.897447353",
      "y": "1.499992236"
    },
    {
      "turn": "0",
      "x": "1.210936884",
      "y": "1.165461561"
    },
    {
      "turn": "0",
      "x": "0.746194349",
      "y": "1.669971647"
    },
    {
      "turn": "0",
      "x": "1.430376277",
      "y": "1.231939272"
    },
    {
      "turn": "0",
      "x": "1.642832405",
      "y": "1.295458434"
    },
    {
      "turn": "0",
      "x": "0.826765869",
      "y": "1.278767813"
    },
    {
      "turn": "0",
      "x": "0.666029731",
      "y": "1.446899834"
    },
    {
      "turn": "0",
      "x": "0.056311152",
      "y": "0.741704637"
    },
    {
      "turn": "0",
      "x": "0.079946358",
      "y": "0.983110535"
    },
    {
      "turn": "0",
      "x": "0.200746590",
      "y": "0.548247517"
    },
    {
      "turn": "0",
      "x": "0.104954984",
      "y": "1.185811088"
    },
    {
      "turn": "0",
      "x": "0.321225737",
      "y": "0.380851818"
    },
    {
      "turn": "0",
      "x": "0.166786479",
      "y": "1.374898524"
    },
    {
      "turn": "0",
      "x": "0.476863959",
      "y": "0.245097944"
    },
    {
      "turn": "0",
      "x": "0.264851400",
      "y": "1.553796146"
    },
    {
      "turn": "0",
      "x": "0.513758160",
      "y": "1.607872044"
    },
    {
      "turn": "0",
      "x": "0.656282393",
      "y": "0.082100030"
    },
    {
      "turn": "0",
      "x": "0.245935375",
      "y": "0.791369463"
    },
    {
      "turn": "0",
      "x": "0.462500882",
      "y": "0.831283561"
    },
    {
      "turn": "0",
      "x": "0.691741729",
      "y": "0.869777854"
    },
    {
      "turn": "0",
      "x": "0.292414923",
      "y": "1.014960107"
    },
    {
      "turn": "0",
      "x": "0.925359080",
      "y": "0.909245025"
    },
    {
      "turn": "0",
      "x": "0.518100791",
      "y": "1.045116972"
    },
    {
      "turn": "0",
      "x": "0.400655451",
      "y": "0.605107629"
    },
    {
      "turn": "0",
      "x": "0.340007140",
      "y": "1.213801763"
    },
    {
      "turn": "0",
      "x": "0.622528368",
      "y": "0.651629677"
    },
    {
      "turn": "0",
      "x": "0.751647167",
      "y": "1.078252233"
    },
    {
      "turn": "0",
      "x": "0.552327800",
      "y": "0.437696251"
    },
    {
      "turn": "0",
      "x": "0.581766338",
      "y": "1.243920387"
    },
    {
      "turn": "0",
      "x": "0.418798861",
      "y": "1.402859289"
    },
    {
      "turn": "0",
      "x": "0.853372358",
      "y": "0.694484251"
    },
    {
      "turn": "0",
      "x": "0.786172496",
      "y": "0.476875579"
    },
    {
      "turn": "0",
      "x": "1.626780048",
      "y": "0.379400902"
    },
    {
      "turn": "0",
      "x": "1.537512210",
      "y": "0.189832473"
    },
    {
      "turn": "0",
      "x": "1.821230389",
      "y": "0.467676675"
    },
    {
      "turn": "0",
      "x": "1.304839663",
      "y": "0.131588583"
    },
    {
      "turn": "0",
      "x": "1.872668872",
      "y": "0.705307403"
    },
    {
      "turn": "0",
      "x": "1.104026226",
      "y": "0.091219343"
    },
    {
      "turn": "0",
      "x": "1.912363265",
      "y": "0.908610555"
    },
    {
      "turn": "0",
      "x": "0.899510903",
      "y": "0.085443577"
    },
    {
      "turn": "0",
      "x": "0.723910343",
      "y": "0.267026542"
    },
    {
      "turn": "0",
      "x": "1.963874950",
      "y": "1.141860377"
    },
    {
      "turn": "0",
      "x": "1.470497833",
      "y": "0.563993611"
    },
    {
      "turn": "0",
      "x": "1.314067414",
      "y": "0.746380853"
    },
    {
      "turn": "0",
      "x": "1.391496329",
      "y": "0.355602522"
    },
    {
      "turn": "0",
      "x": "1.160823153",
      "y": "0.933465977"
    },
    {
      "turn": "0",
      "x": "1.234207301",
      "y": "0.537783192"
    },
    {
      "turn": "0",
      "x": "1.657691368",
      "y": "0.630337383"
    },
    {
      "turn": "0",
      "x": "1.165064497",
      "y": "0.316839687"
    },
    {
      "turn": "0",
      "x": "1.502267761",
      "y": "0.815136664"
    },
    {
      "turn": "0",
      "x": "1.079652411",
      "y": "0.724564399"
    },
    {
      "turn": "0",
      "x": "1.709988460",
      "y": "0.868174683"
    },
    {
      "turn": "0",
      "x": "1.011453976",
      "y": "0.507275446"
    },
    {
      "turn": "0",
      "x": "0.953522457",
      "y": "0.292077770"
    },
    {
      "turn": "0",
      "x": "1.351609090",
      "y": "0.995371317"
    },
    {
      "turn": "0",
      "x": "1.561758839",
      "y": "1.054474620"
    }
  ],
  "radius": "0.135174083"
}

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

DISCUSSION

讨论区

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

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