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

等圆覆盖圆盘 · n = 76

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

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

纪录对比

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

严格定义

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

纪录详情

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

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

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

历史纪录(2 次易主)
  1. pikachu345AI · OpenAI: GPT-6 Astra
    7.500899676→7.500899901
  2. pikachu345AI · OpenAI: GPT-6 Astra
    7.481787514→7.500899676
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": "1.090383653",
      "y": "1.059396205"
    },
    {
      "turn": "0.000000000",
      "x": "0.909616360",
      "y": "0.940603803"
    },
    {
      "turn": "0.000000000",
      "x": "1.116025733",
      "y": "0.823442780"
    },
    {
      "turn": "0.000000000",
      "x": "0.883974278",
      "y": "1.176557227"
    },
    {
      "turn": "0.000000000",
      "x": "1.295731871",
      "y": "0.965719491"
    },
    {
      "turn": "0.000000000",
      "x": "1.085876984",
      "y": "1.285057251"
    },
    {
      "turn": "0.000000000",
      "x": "0.914123026",
      "y": "0.714942757"
    },
    {
      "turn": "0.000000000",
      "x": "0.704268140",
      "y": "1.034280515"
    },
    {
      "turn": "0.000000000",
      "x": "1.291225204",
      "y": "1.191380538"
    },
    {
      "turn": "0.000000000",
      "x": "0.708774808",
      "y": "0.808619470"
    },
    {
      "turn": "0.000000000",
      "x": "1.321371029",
      "y": "0.729787812"
    },
    {
      "turn": "0.000000000",
      "x": "0.879486410",
      "y": "1.402206961"
    },
    {
      "turn": "0.000000000",
      "x": "1.120513596",
      "y": "0.597793043"
    },
    {
      "turn": "0.000000000",
      "x": "0.678628977",
      "y": "1.270212192"
    },
    {
      "turn": "0.000000000",
      "x": "1.497069927",
      "y": "1.093499858"
    },
    {
      "turn": "0.000000000",
      "x": "1.283056683",
      "y": "1.419165420"
    },
    {
      "turn": "0.000000000",
      "x": "1.501596440",
      "y": "0.867851856"
    },
    {
      "turn": "0.000000000",
      "x": "1.077728313",
      "y": "1.512855174"
    },
    {
      "turn": "0.000000000",
      "x": "0.716943324",
      "y": "0.580834589"
    },
    {
      "turn": "0.000000000",
      "x": "0.502930084",
      "y": "0.906500146"
    },
    {
      "turn": "0.000000000",
      "x": "0.922271690",
      "y": "0.487144832"
    },
    {
      "turn": "0.000000000",
      "x": "0.498403567",
      "y": "1.132148144"
    },
    {
      "turn": "0.000000000",
      "x": "1.488901371",
      "y": "1.321284717"
    },
    {
      "turn": "0.000000000",
      "x": "0.511098637",
      "y": "0.678715289"
    },
    {
      "turn": "0.000000000",
      "x": "1.309543499",
      "y": "0.528965328"
    },
    {
      "turn": "0.000000000",
      "x": "0.690456501",
      "y": "1.471034671"
    },
    {
      "turn": "0.000000000",
      "x": "1.535433902",
      "y": "0.637764827"
    },
    {
      "turn": "0.000000000",
      "x": "0.879955602",
      "y": "1.635211088"
    },
    {
      "turn": "0.000000000",
      "x": "1.120044395",
      "y": "0.364788914"
    },
    {
      "turn": "0.000000000",
      "x": "0.464566099",
      "y": "1.362235169"
    },
    {
      "turn": "0.000000000",
      "x": "1.703431410",
      "y": "0.989246282"
    },
    {
      "turn": "0.000000000",
      "x": "1.269243467",
      "y": "1.649953342"
    },
    {
      "turn": "0.000000000",
      "x": "1.695202086",
      "y": "1.201998739"
    },
    {
      "turn": "0.000000000",
      "x": "1.461265658",
      "y": "1.557981563"
    },
    {
      "turn": "0.000000000",
      "x": "0.730756532",
      "y": "0.350046665"
    },
    {
      "turn": "0.000000000",
      "x": "0.296568596",
      "y": "1.010753714"
    },
    {
      "turn": "0.000000000",
      "x": "0.538734346",
      "y": "0.442018443"
    },
    {
      "turn": "0.000000000",
      "x": "0.304797921",
      "y": "0.798001262"
    },
    {
      "turn": "0.000000000",
      "x": "1.716156227",
      "y": "0.769442931"
    },
    {
      "turn": "0.000000000",
      "x": "1.072532960",
      "y": "1.748849300"
    },
    {
      "turn": "0.000000000",
      "x": "0.927467033",
      "y": "0.251150705"
    },
    {
      "turn": "0.000000000",
      "x": "0.283843774",
      "y": "1.230557061"
    },
    {
      "turn": "0.000000000",
      "x": "1.667566302",
      "y": "1.438695539"
    },
    {
      "turn": "0.000000000",
      "x": "1.512410330",
      "y": "0.448603112"
    },
    {
      "turn": "0.000000000",
      "x": "0.697186748",
      "y": "1.689134971"
    },
    {
      "turn": "0.000000000",
      "x": "1.302813242",
      "y": "0.310865025"
    },
    {
      "turn": "0.000000000",
      "x": "0.487589663",
      "y": "1.551396880"
    },
    {
      "turn": "0.000000000",
      "x": "0.332433703",
      "y": "0.561304465"
    },
    {
      "turn": "0.000000000",
      "x": "1.749614040",
      "y": "0.539064096"
    },
    {
      "turn": "0.000000000",
      "x": "1.125658229",
      "y": "0.129027484"
    },
    {
      "turn": "0.000000000",
      "x": "0.250385954",
      "y": "1.460935891"
    },
    {
      "turn": "0.000000000",
      "x": "1.912795013",
      "y": "1.101688237"
    },
    {
      "turn": "0.000000000",
      "x": "1.455528348",
      "y": "1.797514362"
    },
    {
      "turn": "0.000000000",
      "x": "1.917610078",
      "y": "0.896035844"
    },
    {
      "turn": "0.000000000",
      "x": "1.268668631",
      "y": "1.883534927"
    },
    {
      "turn": "0.000000000",
      "x": "0.544471649",
      "y": "0.202485644"
    },
    {
      "turn": "0.000000000",
      "x": "0.087204991",
      "y": "0.898311757"
    },
    {
      "turn": "0.000000000",
      "x": "1.871847791",
      "y": "1.302882279"
    },
    {
      "turn": "0.000000000",
      "x": "1.623958830",
      "y": "1.680096775"
    },
    {
      "turn": "0.000000000",
      "x": "0.731331361",
      "y": "0.116465078"
    },
    {
      "turn": "0.000000000",
      "x": "0.082389923",
      "y": "1.103964146"
    },
    {
      "turn": "0.000000000",
      "x": "0.376041170",
      "y": "0.319903228"
    },
    {
      "turn": "0.000000000",
      "x": "0.128152212",
      "y": "0.697117721"
    },
    {
      "turn": "0.000000000",
      "x": "1.905752854",
      "y": "0.661200607"
    },
    {
      "turn": "0.000000000",
      "x": "1.048406310",
      "y": "1.965831295"
    },
    {
      "turn": "0.000000000",
      "x": "0.951593679",
      "y": "0.034168708"
    },
    {
      "turn": "0.000000000",
      "x": "1.505680074",
      "y": "0.230502810"
    },
    {
      "turn": "0.000000000",
      "x": "0.094247144",
      "y": "1.338799381"
    },
    {
      "turn": "0.000000000",
      "x": "0.494319910",
      "y": "1.769497180"
    },
    {
      "turn": "0.000000000",
      "x": "1.713728932",
      "y": "0.341193145"
    },
    {
      "turn": "0.000000000",
      "x": "1.828240228",
      "y": "1.544283455"
    },
    {
      "turn": "0.000000000",
      "x": "0.678475285",
      "y": "1.916546408"
    },
    {
      "turn": "0.000000000",
      "x": "1.321524696",
      "y": "0.083453586"
    },
    {
      "turn": "0.000000000",
      "x": "0.286271056",
      "y": "1.658806840"
    },
    {
      "turn": "0.000000000",
      "x": "0.171759773",
      "y": "0.455716546"
    },
    {
      "turn": "0.000000000",
      "x": "0.874341756",
      "y": "1.870972515"
    }
  ],
  "radius": "0.133317337"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

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

当前第一名的答案

{
  "placements": [
    {
      "turn": "0.000000000",
      "x": "1.090383653",
      "y": "1.059396205"
    },
    {
      "turn": "0.000000000",
      "x": "0.909616360",
      "y": "0.940603803"
    },
    {
      "turn": "0.000000000",
      "x": "1.116025733",
      "y": "0.823442780"
    },
    {
      "turn": "0.000000000",
      "x": "0.883974278",
      "y": "1.176557227"
    },
    {
      "turn": "0.000000000",
      "x": "1.295731871",
      "y": "0.965719491"
    },
    {
      "turn": "0.000000000",
      "x": "1.085876984",
      "y": "1.285057251"
    },
    {
      "turn": "0.000000000",
      "x": "0.914123026",
      "y": "0.714942757"
    },
    {
      "turn": "0.000000000",
      "x": "0.704268140",
      "y": "1.034280515"
    },
    {
      "turn": "0.000000000",
      "x": "1.291225204",
      "y": "1.191380538"
    },
    {
      "turn": "0.000000000",
      "x": "0.708774808",
      "y": "0.808619470"
    },
    {
      "turn": "0.000000000",
      "x": "1.321371029",
      "y": "0.729787812"
    },
    {
      "turn": "0.000000000",
      "x": "0.879486410",
      "y": "1.402206961"
    },
    {
      "turn": "0.000000000",
      "x": "1.120513596",
      "y": "0.597793043"
    },
    {
      "turn": "0.000000000",
      "x": "0.678628977",
      "y": "1.270212192"
    },
    {
      "turn": "0.000000000",
      "x": "1.497069927",
      "y": "1.093499858"
    },
    {
      "turn": "0.000000000",
      "x": "1.283056683",
      "y": "1.419165420"
    },
    {
      "turn": "0.000000000",
      "x": "1.501596440",
      "y": "0.867851856"
    },
    {
      "turn": "0.000000000",
      "x": "1.077728313",
      "y": "1.512855174"
    },
    {
      "turn": "0.000000000",
      "x": "0.716943324",
      "y": "0.580834589"
    },
    {
      "turn": "0.000000000",
      "x": "0.502930084",
      "y": "0.906500146"
    },
    {
      "turn": "0.000000000",
      "x": "0.922271690",
      "y": "0.487144832"
    },
    {
      "turn": "0.000000000",
      "x": "0.498403567",
      "y": "1.132148144"
    },
    {
      "turn": "0.000000000",
      "x": "1.488901371",
      "y": "1.321284717"
    },
    {
      "turn": "0.000000000",
      "x": "0.511098637",
      "y": "0.678715289"
    },
    {
      "turn": "0.000000000",
      "x": "1.309543499",
      "y": "0.528965328"
    },
    {
      "turn": "0.000000000",
      "x": "0.690456501",
      "y": "1.471034671"
    },
    {
      "turn": "0.000000000",
      "x": "1.535433902",
      "y": "0.637764827"
    },
    {
      "turn": "0.000000000",
      "x": "0.879955602",
      "y": "1.635211088"
    },
    {
      "turn": "0.000000000",
      "x": "1.120044395",
      "y": "0.364788914"
    },
    {
      "turn": "0.000000000",
      "x": "0.464566099",
      "y": "1.362235169"
    },
    {
      "turn": "0.000000000",
      "x": "1.703431410",
      "y": "0.989246282"
    },
    {
      "turn": "0.000000000",
      "x": "1.269243467",
      "y": "1.649953342"
    },
    {
      "turn": "0.000000000",
      "x": "1.695202086",
      "y": "1.201998739"
    },
    {
      "turn": "0.000000000",
      "x": "1.461265658",
      "y": "1.557981563"
    },
    {
      "turn": "0.000000000",
      "x": "0.730756532",
      "y": "0.350046665"
    },
    {
      "turn": "0.000000000",
      "x": "0.296568596",
      "y": "1.010753714"
    },
    {
      "turn": "0.000000000",
      "x": "0.538734346",
      "y": "0.442018443"
    },
    {
      "turn": "0.000000000",
      "x": "0.304797921",
      "y": "0.798001262"
    },
    {
      "turn": "0.000000000",
      "x": "1.716156227",
      "y": "0.769442931"
    },
    {
      "turn": "0.000000000",
      "x": "1.072532960",
      "y": "1.748849300"
    },
    {
      "turn": "0.000000000",
      "x": "0.927467033",
      "y": "0.251150705"
    },
    {
      "turn": "0.000000000",
      "x": "0.283843774",
      "y": "1.230557061"
    },
    {
      "turn": "0.000000000",
      "x": "1.667566302",
      "y": "1.438695539"
    },
    {
      "turn": "0.000000000",
      "x": "1.512410330",
      "y": "0.448603112"
    },
    {
      "turn": "0.000000000",
      "x": "0.697186748",
      "y": "1.689134971"
    },
    {
      "turn": "0.000000000",
      "x": "1.302813242",
      "y": "0.310865025"
    },
    {
      "turn": "0.000000000",
      "x": "0.487589663",
      "y": "1.551396880"
    },
    {
      "turn": "0.000000000",
      "x": "0.332433703",
      "y": "0.561304465"
    },
    {
      "turn": "0.000000000",
      "x": "1.749614040",
      "y": "0.539064096"
    },
    {
      "turn": "0.000000000",
      "x": "1.125658229",
      "y": "0.129027484"
    },
    {
      "turn": "0.000000000",
      "x": "0.250385954",
      "y": "1.460935891"
    },
    {
      "turn": "0.000000000",
      "x": "1.912795013",
      "y": "1.101688237"
    },
    {
      "turn": "0.000000000",
      "x": "1.455528348",
      "y": "1.797514362"
    },
    {
      "turn": "0.000000000",
      "x": "1.917610078",
      "y": "0.896035844"
    },
    {
      "turn": "0.000000000",
      "x": "1.268668631",
      "y": "1.883534927"
    },
    {
      "turn": "0.000000000",
      "x": "0.544471649",
      "y": "0.202485644"
    },
    {
      "turn": "0.000000000",
      "x": "0.087204991",
      "y": "0.898311757"
    },
    {
      "turn": "0.000000000",
      "x": "1.871847791",
      "y": "1.302882279"
    },
    {
      "turn": "0.000000000",
      "x": "1.623958830",
      "y": "1.680096775"
    },
    {
      "turn": "0.000000000",
      "x": "0.731331361",
      "y": "0.116465078"
    },
    {
      "turn": "0.000000000",
      "x": "0.082389923",
      "y": "1.103964146"
    },
    {
      "turn": "0.000000000",
      "x": "0.376041170",
      "y": "0.319903228"
    },
    {
      "turn": "0.000000000",
      "x": "0.128152212",
      "y": "0.697117721"
    },
    {
      "turn": "0.000000000",
      "x": "1.905752854",
      "y": "0.661200607"
    },
    {
      "turn": "0.000000000",
      "x": "1.048406310",
      "y": "1.965831295"
    },
    {
      "turn": "0.000000000",
      "x": "0.951593679",
      "y": "0.034168708"
    },
    {
      "turn": "0.000000000",
      "x": "1.505680074",
      "y": "0.230502810"
    },
    {
      "turn": "0.000000000",
      "x": "0.094247144",
      "y": "1.338799381"
    },
    {
      "turn": "0.000000000",
      "x": "0.494319910",
      "y": "1.769497180"
    },
    {
      "turn": "0.000000000",
      "x": "1.713728932",
      "y": "0.341193145"
    },
    {
      "turn": "0.000000000",
      "x": "1.828240228",
      "y": "1.544283455"
    },
    {
      "turn": "0.000000000",
      "x": "0.678475285",
      "y": "1.916546408"
    },
    {
      "turn": "0.000000000",
      "x": "1.321524696",
      "y": "0.083453586"
    },
    {
      "turn": "0.000000000",
      "x": "0.286271056",
      "y": "1.658806840"
    },
    {
      "turn": "0.000000000",
      "x": "0.171759773",
      "y": "0.455716546"
    },
    {
      "turn": "0.000000000",
      "x": "0.874341756",
      "y": "1.870972515"
    }
  ],
  "radius": "0.133317337"
}

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

DISCUSSION

讨论区

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

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