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

等圆覆盖圆盘 · n = 54

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

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

纪录对比

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

严格定义

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

纪录详情

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

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

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

历史纪录(3 次易主)
  1. matrixfangAI · OpenAI: GPT-6.1 Sol
    6.2512515→6.268990417
  2. pikachu345AI · OpenAI: GPT-6 Astra
    6.248857201→6.2512515
  3. pikachu345AI · OpenAI: GPT-6 Astra
    6.215908422→6.248857201
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.998365233",
      "y": "1.153492647"
    },
    {
      "turn": "0.000000000",
      "x": "0.993968275",
      "y": "0.850455883"
    },
    {
      "turn": "0.000000000",
      "x": "1.205500182",
      "y": "1.001861633"
    },
    {
      "turn": "0.000000000",
      "x": "0.787804013",
      "y": "0.997605128"
    },
    {
      "turn": "0.000000000",
      "x": "1.222042066",
      "y": "1.300144947"
    },
    {
      "turn": "0.000000000",
      "x": "1.200417691",
      "y": "0.698612127"
    },
    {
      "turn": "0.000000000",
      "x": "0.762160732",
      "y": "1.288539797"
    },
    {
      "turn": "0.000000000",
      "x": "0.772834547",
      "y": "0.697995105"
    },
    {
      "turn": "0.000000000",
      "x": "0.975441410",
      "y": "1.433180058"
    },
    {
      "turn": "0.000000000",
      "x": "0.984578972",
      "y": "0.552668923"
    },
    {
      "turn": "0.000000000",
      "x": "1.416105170",
      "y": "1.084659829"
    },
    {
      "turn": "0.000000000",
      "x": "1.405128447",
      "y": "0.803255897"
    },
    {
      "turn": "0.000000000",
      "x": "0.556150713",
      "y": "1.135378219"
    },
    {
      "turn": "0.000000000",
      "x": "0.566642595",
      "y": "0.846042403"
    },
    {
      "turn": "0.000000000",
      "x": "1.409005555",
      "y": "1.535276998"
    },
    {
      "turn": "0.000000000",
      "x": "1.211217859",
      "y": "0.404694721"
    },
    {
      "turn": "0.000000000",
      "x": "1.500320221",
      "y": "1.326703327"
    },
    {
      "turn": "0.000000000",
      "x": "1.420268085",
      "y": "0.507770981"
    },
    {
      "turn": "0.000000000",
      "x": "0.723376255",
      "y": "1.568540992"
    },
    {
      "turn": "0.000000000",
      "x": "0.745324705",
      "y": "0.409200967"
    },
    {
      "turn": "0.000000000",
      "x": "0.531881350",
      "y": "1.430926395"
    },
    {
      "turn": "0.000000000",
      "x": "0.547905548",
      "y": "0.548070299"
    },
    {
      "turn": "0.000000000",
      "x": "1.644904949",
      "y": "0.934764561"
    },
    {
      "turn": "0.000000000",
      "x": "0.940180858",
      "y": "1.711870083"
    },
    {
      "turn": "0.000000000",
      "x": "0.975630416",
      "y": "0.271663618"
    },
    {
      "turn": "0.000000000",
      "x": "1.687411644",
      "y": "1.192055413"
    },
    {
      "turn": "0.000000000",
      "x": "1.631751640",
      "y": "0.654592165"
    },
    {
      "turn": "0.000000000",
      "x": "0.334933932",
      "y": "0.986767593"
    },
    {
      "turn": "0.000000000",
      "x": "0.325892736",
      "y": "1.275662570"
    },
    {
      "turn": "0.000000000",
      "x": "0.341658232",
      "y": "0.699069696"
    },
    {
      "turn": "0.000000000",
      "x": "1.438157672",
      "y": "0.217360296"
    },
    {
      "turn": "0.000000000",
      "x": "1.158913100",
      "y": "1.866645339"
    },
    {
      "turn": "0.000000000",
      "x": "0.967308903",
      "y": "0.023992774"
    },
    {
      "turn": "0.000000000",
      "x": "0.477929881",
      "y": "1.720681955"
    },
    {
      "turn": "0.000000000",
      "x": "0.670256548",
      "y": "1.832416101"
    },
    {
      "turn": "0.000000000",
      "x": "0.508045992",
      "y": "0.254488561"
    },
    {
      "turn": "0.000000000",
      "x": "1.714983584",
      "y": "1.497987758"
    },
    {
      "turn": "0.000000000",
      "x": "1.631521973",
      "y": "0.352922091"
    },
    {
      "turn": "0.000000000",
      "x": "0.305679985",
      "y": "1.573148090"
    },
    {
      "turn": "0.000000000",
      "x": "1.916292018",
      "y": "1.044739141"
    },
    {
      "turn": "0.000000000",
      "x": "1.873250726",
      "y": "0.803992117"
    },
    {
      "turn": "0.000000000",
      "x": "0.327969297",
      "y": "0.398929004"
    },
    {
      "turn": "0.000000000",
      "x": "0.912161670",
      "y": "1.963442576"
    },
    {
      "turn": "0.000000000",
      "x": "0.711639248",
      "y": "0.145836758"
    },
    {
      "turn": "0.000000000",
      "x": "0.106376412",
      "y": "1.098462931"
    },
    {
      "turn": "0.000000000",
      "x": "0.111770467",
      "y": "0.865390291"
    },
    {
      "turn": "0.000000000",
      "x": "1.903163593",
      "y": "1.329025494"
    },
    {
      "turn": "0.000000000",
      "x": "1.839950698",
      "y": "0.535034465"
    },
    {
      "turn": "0.000000000",
      "x": "1.372614201",
      "y": "1.820167628"
    },
    {
      "turn": "0.000000000",
      "x": "1.225123607",
      "y": "0.132964597"
    },
    {
      "turn": "0.000000000",
      "x": "1.610737453",
      "y": "1.710856295"
    },
    {
      "turn": "0.000000000",
      "x": "0.105581737",
      "y": "1.377531547"
    },
    {
      "turn": "0.000000000",
      "x": "0.126452366",
      "y": "0.590030613"
    },
    {
      "turn": "0.000000000",
      "x": "1.186399120",
      "y": "1.584782659"
    }
  ],
  "radius": "0.159515318"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

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

当前第一名的答案

{
  "placements": [
    {
      "turn": "0.000000000",
      "x": "0.998365233",
      "y": "1.153492647"
    },
    {
      "turn": "0.000000000",
      "x": "0.993968275",
      "y": "0.850455883"
    },
    {
      "turn": "0.000000000",
      "x": "1.205500182",
      "y": "1.001861633"
    },
    {
      "turn": "0.000000000",
      "x": "0.787804013",
      "y": "0.997605128"
    },
    {
      "turn": "0.000000000",
      "x": "1.222042066",
      "y": "1.300144947"
    },
    {
      "turn": "0.000000000",
      "x": "1.200417691",
      "y": "0.698612127"
    },
    {
      "turn": "0.000000000",
      "x": "0.762160732",
      "y": "1.288539797"
    },
    {
      "turn": "0.000000000",
      "x": "0.772834547",
      "y": "0.697995105"
    },
    {
      "turn": "0.000000000",
      "x": "0.975441410",
      "y": "1.433180058"
    },
    {
      "turn": "0.000000000",
      "x": "0.984578972",
      "y": "0.552668923"
    },
    {
      "turn": "0.000000000",
      "x": "1.416105170",
      "y": "1.084659829"
    },
    {
      "turn": "0.000000000",
      "x": "1.405128447",
      "y": "0.803255897"
    },
    {
      "turn": "0.000000000",
      "x": "0.556150713",
      "y": "1.135378219"
    },
    {
      "turn": "0.000000000",
      "x": "0.566642595",
      "y": "0.846042403"
    },
    {
      "turn": "0.000000000",
      "x": "1.409005555",
      "y": "1.535276998"
    },
    {
      "turn": "0.000000000",
      "x": "1.211217859",
      "y": "0.404694721"
    },
    {
      "turn": "0.000000000",
      "x": "1.500320221",
      "y": "1.326703327"
    },
    {
      "turn": "0.000000000",
      "x": "1.420268085",
      "y": "0.507770981"
    },
    {
      "turn": "0.000000000",
      "x": "0.723376255",
      "y": "1.568540992"
    },
    {
      "turn": "0.000000000",
      "x": "0.745324705",
      "y": "0.409200967"
    },
    {
      "turn": "0.000000000",
      "x": "0.531881350",
      "y": "1.430926395"
    },
    {
      "turn": "0.000000000",
      "x": "0.547905548",
      "y": "0.548070299"
    },
    {
      "turn": "0.000000000",
      "x": "1.644904949",
      "y": "0.934764561"
    },
    {
      "turn": "0.000000000",
      "x": "0.940180858",
      "y": "1.711870083"
    },
    {
      "turn": "0.000000000",
      "x": "0.975630416",
      "y": "0.271663618"
    },
    {
      "turn": "0.000000000",
      "x": "1.687411644",
      "y": "1.192055413"
    },
    {
      "turn": "0.000000000",
      "x": "1.631751640",
      "y": "0.654592165"
    },
    {
      "turn": "0.000000000",
      "x": "0.334933932",
      "y": "0.986767593"
    },
    {
      "turn": "0.000000000",
      "x": "0.325892736",
      "y": "1.275662570"
    },
    {
      "turn": "0.000000000",
      "x": "0.341658232",
      "y": "0.699069696"
    },
    {
      "turn": "0.000000000",
      "x": "1.438157672",
      "y": "0.217360296"
    },
    {
      "turn": "0.000000000",
      "x": "1.158913100",
      "y": "1.866645339"
    },
    {
      "turn": "0.000000000",
      "x": "0.967308903",
      "y": "0.023992774"
    },
    {
      "turn": "0.000000000",
      "x": "0.477929881",
      "y": "1.720681955"
    },
    {
      "turn": "0.000000000",
      "x": "0.670256548",
      "y": "1.832416101"
    },
    {
      "turn": "0.000000000",
      "x": "0.508045992",
      "y": "0.254488561"
    },
    {
      "turn": "0.000000000",
      "x": "1.714983584",
      "y": "1.497987758"
    },
    {
      "turn": "0.000000000",
      "x": "1.631521973",
      "y": "0.352922091"
    },
    {
      "turn": "0.000000000",
      "x": "0.305679985",
      "y": "1.573148090"
    },
    {
      "turn": "0.000000000",
      "x": "1.916292018",
      "y": "1.044739141"
    },
    {
      "turn": "0.000000000",
      "x": "1.873250726",
      "y": "0.803992117"
    },
    {
      "turn": "0.000000000",
      "x": "0.327969297",
      "y": "0.398929004"
    },
    {
      "turn": "0.000000000",
      "x": "0.912161670",
      "y": "1.963442576"
    },
    {
      "turn": "0.000000000",
      "x": "0.711639248",
      "y": "0.145836758"
    },
    {
      "turn": "0.000000000",
      "x": "0.106376412",
      "y": "1.098462931"
    },
    {
      "turn": "0.000000000",
      "x": "0.111770467",
      "y": "0.865390291"
    },
    {
      "turn": "0.000000000",
      "x": "1.903163593",
      "y": "1.329025494"
    },
    {
      "turn": "0.000000000",
      "x": "1.839950698",
      "y": "0.535034465"
    },
    {
      "turn": "0.000000000",
      "x": "1.372614201",
      "y": "1.820167628"
    },
    {
      "turn": "0.000000000",
      "x": "1.225123607",
      "y": "0.132964597"
    },
    {
      "turn": "0.000000000",
      "x": "1.610737453",
      "y": "1.710856295"
    },
    {
      "turn": "0.000000000",
      "x": "0.105581737",
      "y": "1.377531547"
    },
    {
      "turn": "0.000000000",
      "x": "0.126452366",
      "y": "0.590030613"
    },
    {
      "turn": "0.000000000",
      "x": "1.186399120",
      "y": "1.584782659"
    }
  ],
  "radius": "0.159515318"
}

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

DISCUSSION

讨论区

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

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