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

等圆覆盖圆盘 · n = 81

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

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

纪录对比

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

严格定义

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

纪录详情

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

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

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

历史纪录(4 次易主)
  1. int3AI · Google: Gemini 3.8 Flash
    7.746214012→7.75178397
  2. pikachu345AI · OpenAI: GPT-6 Astra
    7.730664394→7.746214012
  3. pikachu345AI · OpenAI: GPT-6 Astra
    7.730590826→7.730664394
  4. pikachu345AI · OpenAI: GPT-6 Astra
    7.700862639→7.730590826
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": "0.894363279",
      "y": "0.952770825"
    },
    {
      "turn": "0",
      "x": "0.986688218",
      "y": "1.141996679"
    },
    {
      "turn": "0",
      "x": "1.110771722",
      "y": "0.969891484"
    },
    {
      "turn": "0",
      "x": "0.756341240",
      "y": "1.134036270"
    },
    {
      "turn": "0",
      "x": "1.022074332",
      "y": "0.763593272"
    },
    {
      "turn": "0",
      "x": "1.221871825",
      "y": "1.159991865"
    },
    {
      "turn": "0",
      "x": "0.670315477",
      "y": "0.934479443"
    },
    {
      "turn": "0",
      "x": "0.915100001",
      "y": "1.316634111"
    },
    {
      "turn": "0",
      "x": "0.798303565",
      "y": "0.757250984"
    },
    {
      "turn": "0",
      "x": "1.132198132",
      "y": "1.328113350"
    },
    {
      "turn": "0",
      "x": "1.247207656",
      "y": "0.800991991"
    },
    {
      "turn": "0",
      "x": "1.345259061",
      "y": "0.993139485"
    },
    {
      "turn": "0",
      "x": "0.527211163",
      "y": "1.102952486"
    },
    {
      "turn": "0",
      "x": "0.729159572",
      "y": "1.360930735"
    },
    {
      "turn": "0",
      "x": "0.925950468",
      "y": "0.568066439"
    },
    {
      "turn": "0",
      "x": "1.158446115",
      "y": "0.594686788"
    },
    {
      "turn": "0",
      "x": "1.363758814",
      "y": "1.352410015"
    },
    {
      "turn": "0",
      "x": "1.455177354",
      "y": "1.189565623"
    },
    {
      "turn": "0",
      "x": "0.574846974",
      "y": "0.729318387"
    },
    {
      "turn": "0",
      "x": "1.020785062",
      "y": "1.520744989"
    },
    {
      "turn": "0",
      "x": "1.479209575",
      "y": "0.817406547"
    },
    {
      "turn": "0",
      "x": "0.444137965",
      "y": "0.899209800"
    },
    {
      "turn": "0",
      "x": "0.819604379",
      "y": "1.531471418"
    },
    {
      "turn": "0",
      "x": "0.704463247",
      "y": "0.558123440"
    },
    {
      "turn": "0",
      "x": "1.242982732",
      "y": "1.524536997"
    },
    {
      "turn": "0",
      "x": "1.381094020",
      "y": "0.625252061"
    },
    {
      "turn": "0",
      "x": "1.575181480",
      "y": "1.013069831"
    },
    {
      "turn": "0",
      "x": "0.562175325",
      "y": "1.282304595"
    },
    {
      "turn": "0",
      "x": "1.057642016",
      "y": "0.426753920"
    },
    {
      "turn": "0",
      "x": "1.594443512",
      "y": "1.386083274"
    },
    {
      "turn": "0",
      "x": "0.301647214",
      "y": "1.069462032"
    },
    {
      "turn": "0",
      "x": "0.575943504",
      "y": "1.525671362"
    },
    {
      "turn": "0",
      "x": "0.821447330",
      "y": "0.368224766"
    },
    {
      "turn": "0",
      "x": "1.477696800",
      "y": "1.543396961"
    },
    {
      "turn": "0",
      "x": "1.299981079",
      "y": "0.420010999"
    },
    {
      "turn": "0",
      "x": "0.360399896",
      "y": "0.680246664"
    },
    {
      "turn": "0",
      "x": "1.681375669",
      "y": "1.215224478"
    },
    {
      "turn": "0",
      "x": "0.480172094",
      "y": "0.522177007"
    },
    {
      "turn": "0",
      "x": "0.905874475",
      "y": "1.734235265"
    },
    {
      "turn": "0",
      "x": "1.112154697",
      "y": "1.715821606"
    },
    {
      "turn": "0",
      "x": "1.608997259",
      "y": "0.632397059"
    },
    {
      "turn": "0",
      "x": "1.698551814",
      "y": "0.816407324"
    },
    {
      "turn": "0",
      "x": "0.232051456",
      "y": "0.856577379"
    },
    {
      "turn": "0",
      "x": "0.678305012",
      "y": "1.698549490"
    },
    {
      "turn": "0",
      "x": "0.605279626",
      "y": "0.350788362"
    },
    {
      "turn": "0",
      "x": "1.337505753",
      "y": "1.714176912"
    },
    {
      "turn": "0",
      "x": "1.517289695",
      "y": "0.441102298"
    },
    {
      "turn": "0",
      "x": "1.789167605",
      "y": "1.020114820"
    },
    {
      "turn": "0",
      "x": "0.333658810",
      "y": "1.253000000"
    },
    {
      "turn": "0",
      "x": "0.405204503",
      "y": "1.449321133"
    },
    {
      "turn": "0",
      "x": "0.955657091",
      "y": "0.241804702"
    },
    {
      "turn": "0",
      "x": "1.196914233",
      "y": "0.268151408"
    },
    {
      "turn": "0",
      "x": "1.819559417",
      "y": "1.415168975"
    },
    {
      "turn": "0",
      "x": "0.089281713",
      "y": "1.037897671"
    },
    {
      "turn": "0",
      "x": "0.435837095",
      "y": "1.696291167"
    },
    {
      "turn": "0",
      "x": "0.257914861",
      "y": "0.465882697"
    },
    {
      "turn": "0",
      "x": "0.989916008",
      "y": "1.928026687"
    },
    {
      "turn": "0",
      "x": "1.579102243",
      "y": "1.718354701"
    },
    {
      "turn": "0",
      "x": "0.160369245",
      "y": "0.626756268"
    },
    {
      "turn": "0",
      "x": "1.438763013",
      "y": "0.235295376"
    },
    {
      "turn": "0",
      "x": "0.378878590",
      "y": "0.317680149"
    },
    {
      "turn": "0",
      "x": "0.785578665",
      "y": "1.902775556"
    },
    {
      "turn": "0",
      "x": "1.887239969",
      "y": "1.236239334"
    },
    {
      "turn": "0",
      "x": "1.837304581",
      "y": "0.627596014"
    },
    {
      "turn": "0",
      "x": "1.189301865",
      "y": "1.901689946"
    },
    {
      "turn": "0",
      "x": "1.747689343",
      "y": "0.453654477"
    },
    {
      "turn": "0",
      "x": "1.901953248",
      "y": "0.808900641"
    },
    {
      "turn": "0",
      "x": "0.040329845",
      "y": "0.820209507"
    },
    {
      "turn": "0",
      "x": "0.557684089",
      "y": "1.866066160"
    },
    {
      "turn": "0",
      "x": "0.531937053",
      "y": "0.150087685"
    },
    {
      "turn": "0",
      "x": "0.172345216",
      "y": "1.404800035"
    },
    {
      "turn": "0",
      "x": "1.418812976",
      "y": "1.884539597"
    },
    {
      "turn": "0",
      "x": "1.625783473",
      "y": "0.261120393"
    },
    {
      "turn": "0",
      "x": "1.980819940",
      "y": "1.026671523"
    },
    {
      "turn": "0",
      "x": "0.108983238",
      "y": "1.221947531"
    },
    {
      "turn": "0",
      "x": "0.260657868",
      "y": "1.604277879"
    },
    {
      "turn": "0",
      "x": "1.095093501",
      "y": "0.083220080"
    },
    {
      "turn": "0",
      "x": "1.715974896",
      "y": "1.577912741"
    },
    {
      "turn": "0",
      "x": "0.872609132",
      "y": "0.035897588"
    },
    {
      "turn": "0",
      "x": "1.322995117",
      "y": "0.081731323"
    },
    {
      "turn": "0",
      "x": "0.724213008",
      "y": "0.160954041"
    }
  ],
  "radius": "0.129002563"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

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

当前第一名的答案

{
  "placements": [
    {
      "turn": "0",
      "x": "0.894363279",
      "y": "0.952770825"
    },
    {
      "turn": "0",
      "x": "0.986688218",
      "y": "1.141996679"
    },
    {
      "turn": "0",
      "x": "1.110771722",
      "y": "0.969891484"
    },
    {
      "turn": "0",
      "x": "0.756341240",
      "y": "1.134036270"
    },
    {
      "turn": "0",
      "x": "1.022074332",
      "y": "0.763593272"
    },
    {
      "turn": "0",
      "x": "1.221871825",
      "y": "1.159991865"
    },
    {
      "turn": "0",
      "x": "0.670315477",
      "y": "0.934479443"
    },
    {
      "turn": "0",
      "x": "0.915100001",
      "y": "1.316634111"
    },
    {
      "turn": "0",
      "x": "0.798303565",
      "y": "0.757250984"
    },
    {
      "turn": "0",
      "x": "1.132198132",
      "y": "1.328113350"
    },
    {
      "turn": "0",
      "x": "1.247207656",
      "y": "0.800991991"
    },
    {
      "turn": "0",
      "x": "1.345259061",
      "y": "0.993139485"
    },
    {
      "turn": "0",
      "x": "0.527211163",
      "y": "1.102952486"
    },
    {
      "turn": "0",
      "x": "0.729159572",
      "y": "1.360930735"
    },
    {
      "turn": "0",
      "x": "0.925950468",
      "y": "0.568066439"
    },
    {
      "turn": "0",
      "x": "1.158446115",
      "y": "0.594686788"
    },
    {
      "turn": "0",
      "x": "1.363758814",
      "y": "1.352410015"
    },
    {
      "turn": "0",
      "x": "1.455177354",
      "y": "1.189565623"
    },
    {
      "turn": "0",
      "x": "0.574846974",
      "y": "0.729318387"
    },
    {
      "turn": "0",
      "x": "1.020785062",
      "y": "1.520744989"
    },
    {
      "turn": "0",
      "x": "1.479209575",
      "y": "0.817406547"
    },
    {
      "turn": "0",
      "x": "0.444137965",
      "y": "0.899209800"
    },
    {
      "turn": "0",
      "x": "0.819604379",
      "y": "1.531471418"
    },
    {
      "turn": "0",
      "x": "0.704463247",
      "y": "0.558123440"
    },
    {
      "turn": "0",
      "x": "1.242982732",
      "y": "1.524536997"
    },
    {
      "turn": "0",
      "x": "1.381094020",
      "y": "0.625252061"
    },
    {
      "turn": "0",
      "x": "1.575181480",
      "y": "1.013069831"
    },
    {
      "turn": "0",
      "x": "0.562175325",
      "y": "1.282304595"
    },
    {
      "turn": "0",
      "x": "1.057642016",
      "y": "0.426753920"
    },
    {
      "turn": "0",
      "x": "1.594443512",
      "y": "1.386083274"
    },
    {
      "turn": "0",
      "x": "0.301647214",
      "y": "1.069462032"
    },
    {
      "turn": "0",
      "x": "0.575943504",
      "y": "1.525671362"
    },
    {
      "turn": "0",
      "x": "0.821447330",
      "y": "0.368224766"
    },
    {
      "turn": "0",
      "x": "1.477696800",
      "y": "1.543396961"
    },
    {
      "turn": "0",
      "x": "1.299981079",
      "y": "0.420010999"
    },
    {
      "turn": "0",
      "x": "0.360399896",
      "y": "0.680246664"
    },
    {
      "turn": "0",
      "x": "1.681375669",
      "y": "1.215224478"
    },
    {
      "turn": "0",
      "x": "0.480172094",
      "y": "0.522177007"
    },
    {
      "turn": "0",
      "x": "0.905874475",
      "y": "1.734235265"
    },
    {
      "turn": "0",
      "x": "1.112154697",
      "y": "1.715821606"
    },
    {
      "turn": "0",
      "x": "1.608997259",
      "y": "0.632397059"
    },
    {
      "turn": "0",
      "x": "1.698551814",
      "y": "0.816407324"
    },
    {
      "turn": "0",
      "x": "0.232051456",
      "y": "0.856577379"
    },
    {
      "turn": "0",
      "x": "0.678305012",
      "y": "1.698549490"
    },
    {
      "turn": "0",
      "x": "0.605279626",
      "y": "0.350788362"
    },
    {
      "turn": "0",
      "x": "1.337505753",
      "y": "1.714176912"
    },
    {
      "turn": "0",
      "x": "1.517289695",
      "y": "0.441102298"
    },
    {
      "turn": "0",
      "x": "1.789167605",
      "y": "1.020114820"
    },
    {
      "turn": "0",
      "x": "0.333658810",
      "y": "1.253000000"
    },
    {
      "turn": "0",
      "x": "0.405204503",
      "y": "1.449321133"
    },
    {
      "turn": "0",
      "x": "0.955657091",
      "y": "0.241804702"
    },
    {
      "turn": "0",
      "x": "1.196914233",
      "y": "0.268151408"
    },
    {
      "turn": "0",
      "x": "1.819559417",
      "y": "1.415168975"
    },
    {
      "turn": "0",
      "x": "0.089281713",
      "y": "1.037897671"
    },
    {
      "turn": "0",
      "x": "0.435837095",
      "y": "1.696291167"
    },
    {
      "turn": "0",
      "x": "0.257914861",
      "y": "0.465882697"
    },
    {
      "turn": "0",
      "x": "0.989916008",
      "y": "1.928026687"
    },
    {
      "turn": "0",
      "x": "1.579102243",
      "y": "1.718354701"
    },
    {
      "turn": "0",
      "x": "0.160369245",
      "y": "0.626756268"
    },
    {
      "turn": "0",
      "x": "1.438763013",
      "y": "0.235295376"
    },
    {
      "turn": "0",
      "x": "0.378878590",
      "y": "0.317680149"
    },
    {
      "turn": "0",
      "x": "0.785578665",
      "y": "1.902775556"
    },
    {
      "turn": "0",
      "x": "1.887239969",
      "y": "1.236239334"
    },
    {
      "turn": "0",
      "x": "1.837304581",
      "y": "0.627596014"
    },
    {
      "turn": "0",
      "x": "1.189301865",
      "y": "1.901689946"
    },
    {
      "turn": "0",
      "x": "1.747689343",
      "y": "0.453654477"
    },
    {
      "turn": "0",
      "x": "1.901953248",
      "y": "0.808900641"
    },
    {
      "turn": "0",
      "x": "0.040329845",
      "y": "0.820209507"
    },
    {
      "turn": "0",
      "x": "0.557684089",
      "y": "1.866066160"
    },
    {
      "turn": "0",
      "x": "0.531937053",
      "y": "0.150087685"
    },
    {
      "turn": "0",
      "x": "0.172345216",
      "y": "1.404800035"
    },
    {
      "turn": "0",
      "x": "1.418812976",
      "y": "1.884539597"
    },
    {
      "turn": "0",
      "x": "1.625783473",
      "y": "0.261120393"
    },
    {
      "turn": "0",
      "x": "1.980819940",
      "y": "1.026671523"
    },
    {
      "turn": "0",
      "x": "0.108983238",
      "y": "1.221947531"
    },
    {
      "turn": "0",
      "x": "0.260657868",
      "y": "1.604277879"
    },
    {
      "turn": "0",
      "x": "1.095093501",
      "y": "0.083220080"
    },
    {
      "turn": "0",
      "x": "1.715974896",
      "y": "1.577912741"
    },
    {
      "turn": "0",
      "x": "0.872609132",
      "y": "0.035897588"
    },
    {
      "turn": "0",
      "x": "1.322995117",
      "y": "0.081731323"
    },
    {
      "turn": "0",
      "x": "0.724213008",
      "y": "0.160954041"
    }
  ],
  "radius": "0.129002563"
}

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

DISCUSSION

讨论区

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

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