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

等圆覆盖圆盘 · n = 88

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

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

纪录对比

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

严格定义

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

纪录详情

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

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

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

历史纪录(2 次易主)
  1. pikachu345AI · OpenAI: GPT-6 Astra
    8.125548301→8.125573193
  2. pikachu345AI · OpenAI: GPT-6 Astra
    8.092585719→8.125548301
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.026302181",
      "y": "1.050989519"
    },
    {
      "turn": "0.000000000",
      "x": "0.922245978",
      "y": "0.849265727"
    },
    {
      "turn": "0.000000000",
      "x": "0.817778039",
      "y": "1.017838202"
    },
    {
      "turn": "0.000000000",
      "x": "1.120164387",
      "y": "0.861856724"
    },
    {
      "turn": "0.000000000",
      "x": "0.892965436",
      "y": "1.218448724"
    },
    {
      "turn": "0.000000000",
      "x": "1.240047873",
      "y": "1.039411437"
    },
    {
      "turn": "0.000000000",
      "x": "1.117316861",
      "y": "1.227430961"
    },
    {
      "turn": "0.000000000",
      "x": "0.708817476",
      "y": "0.822367025"
    },
    {
      "turn": "0.000000000",
      "x": "1.024046048",
      "y": "0.659761078"
    },
    {
      "turn": "0.000000000",
      "x": "0.688625409",
      "y": "1.189376413"
    },
    {
      "turn": "0.000000000",
      "x": "1.334808445",
      "y": "0.856052555"
    },
    {
      "turn": "0.000000000",
      "x": "0.989917029",
      "y": "1.387031162"
    },
    {
      "turn": "0.000000000",
      "x": "0.821223279",
      "y": "0.653422696"
    },
    {
      "turn": "0.000000000",
      "x": "0.605904327",
      "y": "0.994633503"
    },
    {
      "turn": "0.000000000",
      "x": "1.321217183",
      "y": "1.216134930"
    },
    {
      "turn": "0.000000000",
      "x": "1.224073247",
      "y": "0.675760307"
    },
    {
      "turn": "0.000000000",
      "x": "0.764431952",
      "y": "1.392194372"
    },
    {
      "turn": "0.000000000",
      "x": "1.456131759",
      "y": "1.035391368"
    },
    {
      "turn": "0.000000000",
      "x": "1.213061134",
      "y": "1.413041212"
    },
    {
      "turn": "0.000000000",
      "x": "0.604535912",
      "y": "0.631189465"
    },
    {
      "turn": "0.000000000",
      "x": "0.494833128",
      "y": "0.802131018"
    },
    {
      "turn": "0.000000000",
      "x": "0.928714079",
      "y": "0.463967004"
    },
    {
      "turn": "0.000000000",
      "x": "0.481043387",
      "y": "1.174957100"
    },
    {
      "turn": "0.000000000",
      "x": "1.131597423",
      "y": "0.473665676"
    },
    {
      "turn": "0.000000000",
      "x": "0.563360121",
      "y": "1.369644573"
    },
    {
      "turn": "0.000000000",
      "x": "1.443388306",
      "y": "0.678545861"
    },
    {
      "turn": "0.000000000",
      "x": "0.868086254",
      "y": "1.559740111"
    },
    {
      "turn": "0.000000000",
      "x": "1.554312719",
      "y": "0.858476490"
    },
    {
      "turn": "0.000000000",
      "x": "1.088070233",
      "y": "1.569601019"
    },
    {
      "turn": "0.000000000",
      "x": "1.532570943",
      "y": "1.216975618"
    },
    {
      "turn": "0.000000000",
      "x": "1.413087601",
      "y": "1.401945668"
    },
    {
      "turn": "0.000000000",
      "x": "0.722632446",
      "y": "0.462294092"
    },
    {
      "turn": "0.000000000",
      "x": "0.396211669",
      "y": "0.983182882"
    },
    {
      "turn": "0.000000000",
      "x": "1.336295623",
      "y": "0.498254628"
    },
    {
      "turn": "0.000000000",
      "x": "0.645178932",
      "y": "1.573146815"
    },
    {
      "turn": "0.000000000",
      "x": "1.672708479",
      "y": "1.043111059"
    },
    {
      "turn": "0.000000000",
      "x": "1.310416473",
      "y": "1.601774681"
    },
    {
      "turn": "0.000000000",
      "x": "0.387581271",
      "y": "0.612691346"
    },
    {
      "turn": "0.000000000",
      "x": "1.039403367",
      "y": "0.276458662"
    },
    {
      "turn": "0.000000000",
      "x": "0.357470561",
      "y": "1.358263288"
    },
    {
      "turn": "0.000000000",
      "x": "0.497984335",
      "y": "0.453911554"
    },
    {
      "turn": "0.000000000",
      "x": "0.292613566",
      "y": "0.780915564"
    },
    {
      "turn": "0.000000000",
      "x": "0.846024103",
      "y": "0.274380443"
    },
    {
      "turn": "0.000000000",
      "x": "0.277271272",
      "y": "1.173363837"
    },
    {
      "turn": "0.000000000",
      "x": "1.664387044",
      "y": "0.684109958"
    },
    {
      "turn": "0.000000000",
      "x": "0.969177831",
      "y": "1.742499169"
    },
    {
      "turn": "0.000000000",
      "x": "1.231530980",
      "y": "0.296589052"
    },
    {
      "turn": "0.000000000",
      "x": "0.445799563",
      "y": "1.553635043"
    },
    {
      "turn": "0.000000000",
      "x": "1.622892241",
      "y": "1.405290363"
    },
    {
      "turn": "0.000000000",
      "x": "0.751160435",
      "y": "1.736845704"
    },
    {
      "turn": "0.000000000",
      "x": "1.772383903",
      "y": "0.869336343"
    },
    {
      "turn": "0.000000000",
      "x": "1.186982754",
      "y": "1.756116922"
    },
    {
      "turn": "0.000000000",
      "x": "1.744664045",
      "y": "1.224361719"
    },
    {
      "turn": "0.000000000",
      "x": "1.507733302",
      "y": "1.590662547"
    },
    {
      "turn": "0.000000000",
      "x": "0.631981726",
      "y": "0.286558224"
    },
    {
      "turn": "0.000000000",
      "x": "0.199912650",
      "y": "0.971824785"
    },
    {
      "turn": "0.000000000",
      "x": "1.440829477",
      "y": "0.331716391"
    },
    {
      "turn": "0.000000000",
      "x": "0.528483233",
      "y": "1.757211161"
    },
    {
      "turn": "0.000000000",
      "x": "1.890338527",
      "y": "1.054718467"
    },
    {
      "turn": "0.000000000",
      "x": "1.408773211",
      "y": "1.792449467"
    },
    {
      "turn": "0.000000000",
      "x": "0.272913068",
      "y": "0.429684367"
    },
    {
      "turn": "0.000000000",
      "x": "0.174330126",
      "y": "0.586686750"
    },
    {
      "turn": "0.000000000",
      "x": "0.956750038",
      "y": "0.076937289"
    },
    {
      "turn": "0.000000000",
      "x": "0.145500866",
      "y": "1.354624216"
    },
    {
      "turn": "0.000000000",
      "x": "1.141829190",
      "y": "0.087616822"
    },
    {
      "turn": "0.000000000",
      "x": "0.232062736",
      "y": "1.525961512"
    },
    {
      "turn": "0.000000000",
      "x": "1.784294595",
      "y": "0.509276970"
    },
    {
      "turn": "0.000000000",
      "x": "0.865397378",
      "y": "1.919590376"
    },
    {
      "turn": "0.000000000",
      "x": "0.401478186",
      "y": "0.292227966"
    },
    {
      "turn": "0.000000000",
      "x": "1.873731330",
      "y": "0.679131310"
    },
    {
      "turn": "0.000000000",
      "x": "0.104478155",
      "y": "0.760825785"
    },
    {
      "turn": "0.000000000",
      "x": "1.059895459",
      "y": "1.928310541"
    },
    {
      "turn": "0.000000000",
      "x": "0.770218111",
      "y": "0.102018989"
    },
    {
      "turn": "0.000000000",
      "x": "0.090386195",
      "y": "1.174369002"
    },
    {
      "turn": "0.000000000",
      "x": "1.827353622",
      "y": "1.423379628"
    },
    {
      "turn": "0.000000000",
      "x": "1.721714202",
      "y": "1.586921237"
    },
    {
      "turn": "0.000000000",
      "x": "1.324217610",
      "y": "0.131641421"
    },
    {
      "turn": "0.000000000",
      "x": "0.338302590",
      "y": "1.721618045"
    },
    {
      "turn": "0.000000000",
      "x": "1.669362041",
      "y": "0.359877917"
    },
    {
      "turn": "0.000000000",
      "x": "0.645121241",
      "y": "1.909067120"
    },
    {
      "turn": "0.000000000",
      "x": "1.971577825",
      "y": "0.879117432"
    },
    {
      "turn": "0.000000000",
      "x": "1.281242814",
      "y": "1.935653846"
    },
    {
      "turn": "0.000000000",
      "x": "1.946466605",
      "y": "1.237787568"
    },
    {
      "turn": "0.000000000",
      "x": "1.599389080",
      "y": "1.771542851"
    },
    {
      "turn": "0.000000000",
      "x": "0.550320305",
      "y": "0.128249050"
    },
    {
      "turn": "0.000000000",
      "x": "0.022196201",
      "y": "0.965243803"
    },
    {
      "turn": "0.000000000",
      "x": "1.538484173",
      "y": "0.183089320"
    },
    {
      "turn": "0.000000000",
      "x": "1.560210978",
      "y": "0.511578569"
    }
  ],
  "radius": "0.123068241"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

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

当前第一名的答案

{
  "placements": [
    {
      "turn": "0.000000000",
      "x": "1.026302181",
      "y": "1.050989519"
    },
    {
      "turn": "0.000000000",
      "x": "0.922245978",
      "y": "0.849265727"
    },
    {
      "turn": "0.000000000",
      "x": "0.817778039",
      "y": "1.017838202"
    },
    {
      "turn": "0.000000000",
      "x": "1.120164387",
      "y": "0.861856724"
    },
    {
      "turn": "0.000000000",
      "x": "0.892965436",
      "y": "1.218448724"
    },
    {
      "turn": "0.000000000",
      "x": "1.240047873",
      "y": "1.039411437"
    },
    {
      "turn": "0.000000000",
      "x": "1.117316861",
      "y": "1.227430961"
    },
    {
      "turn": "0.000000000",
      "x": "0.708817476",
      "y": "0.822367025"
    },
    {
      "turn": "0.000000000",
      "x": "1.024046048",
      "y": "0.659761078"
    },
    {
      "turn": "0.000000000",
      "x": "0.688625409",
      "y": "1.189376413"
    },
    {
      "turn": "0.000000000",
      "x": "1.334808445",
      "y": "0.856052555"
    },
    {
      "turn": "0.000000000",
      "x": "0.989917029",
      "y": "1.387031162"
    },
    {
      "turn": "0.000000000",
      "x": "0.821223279",
      "y": "0.653422696"
    },
    {
      "turn": "0.000000000",
      "x": "0.605904327",
      "y": "0.994633503"
    },
    {
      "turn": "0.000000000",
      "x": "1.321217183",
      "y": "1.216134930"
    },
    {
      "turn": "0.000000000",
      "x": "1.224073247",
      "y": "0.675760307"
    },
    {
      "turn": "0.000000000",
      "x": "0.764431952",
      "y": "1.392194372"
    },
    {
      "turn": "0.000000000",
      "x": "1.456131759",
      "y": "1.035391368"
    },
    {
      "turn": "0.000000000",
      "x": "1.213061134",
      "y": "1.413041212"
    },
    {
      "turn": "0.000000000",
      "x": "0.604535912",
      "y": "0.631189465"
    },
    {
      "turn": "0.000000000",
      "x": "0.494833128",
      "y": "0.802131018"
    },
    {
      "turn": "0.000000000",
      "x": "0.928714079",
      "y": "0.463967004"
    },
    {
      "turn": "0.000000000",
      "x": "0.481043387",
      "y": "1.174957100"
    },
    {
      "turn": "0.000000000",
      "x": "1.131597423",
      "y": "0.473665676"
    },
    {
      "turn": "0.000000000",
      "x": "0.563360121",
      "y": "1.369644573"
    },
    {
      "turn": "0.000000000",
      "x": "1.443388306",
      "y": "0.678545861"
    },
    {
      "turn": "0.000000000",
      "x": "0.868086254",
      "y": "1.559740111"
    },
    {
      "turn": "0.000000000",
      "x": "1.554312719",
      "y": "0.858476490"
    },
    {
      "turn": "0.000000000",
      "x": "1.088070233",
      "y": "1.569601019"
    },
    {
      "turn": "0.000000000",
      "x": "1.532570943",
      "y": "1.216975618"
    },
    {
      "turn": "0.000000000",
      "x": "1.413087601",
      "y": "1.401945668"
    },
    {
      "turn": "0.000000000",
      "x": "0.722632446",
      "y": "0.462294092"
    },
    {
      "turn": "0.000000000",
      "x": "0.396211669",
      "y": "0.983182882"
    },
    {
      "turn": "0.000000000",
      "x": "1.336295623",
      "y": "0.498254628"
    },
    {
      "turn": "0.000000000",
      "x": "0.645178932",
      "y": "1.573146815"
    },
    {
      "turn": "0.000000000",
      "x": "1.672708479",
      "y": "1.043111059"
    },
    {
      "turn": "0.000000000",
      "x": "1.310416473",
      "y": "1.601774681"
    },
    {
      "turn": "0.000000000",
      "x": "0.387581271",
      "y": "0.612691346"
    },
    {
      "turn": "0.000000000",
      "x": "1.039403367",
      "y": "0.276458662"
    },
    {
      "turn": "0.000000000",
      "x": "0.357470561",
      "y": "1.358263288"
    },
    {
      "turn": "0.000000000",
      "x": "0.497984335",
      "y": "0.453911554"
    },
    {
      "turn": "0.000000000",
      "x": "0.292613566",
      "y": "0.780915564"
    },
    {
      "turn": "0.000000000",
      "x": "0.846024103",
      "y": "0.274380443"
    },
    {
      "turn": "0.000000000",
      "x": "0.277271272",
      "y": "1.173363837"
    },
    {
      "turn": "0.000000000",
      "x": "1.664387044",
      "y": "0.684109958"
    },
    {
      "turn": "0.000000000",
      "x": "0.969177831",
      "y": "1.742499169"
    },
    {
      "turn": "0.000000000",
      "x": "1.231530980",
      "y": "0.296589052"
    },
    {
      "turn": "0.000000000",
      "x": "0.445799563",
      "y": "1.553635043"
    },
    {
      "turn": "0.000000000",
      "x": "1.622892241",
      "y": "1.405290363"
    },
    {
      "turn": "0.000000000",
      "x": "0.751160435",
      "y": "1.736845704"
    },
    {
      "turn": "0.000000000",
      "x": "1.772383903",
      "y": "0.869336343"
    },
    {
      "turn": "0.000000000",
      "x": "1.186982754",
      "y": "1.756116922"
    },
    {
      "turn": "0.000000000",
      "x": "1.744664045",
      "y": "1.224361719"
    },
    {
      "turn": "0.000000000",
      "x": "1.507733302",
      "y": "1.590662547"
    },
    {
      "turn": "0.000000000",
      "x": "0.631981726",
      "y": "0.286558224"
    },
    {
      "turn": "0.000000000",
      "x": "0.199912650",
      "y": "0.971824785"
    },
    {
      "turn": "0.000000000",
      "x": "1.440829477",
      "y": "0.331716391"
    },
    {
      "turn": "0.000000000",
      "x": "0.528483233",
      "y": "1.757211161"
    },
    {
      "turn": "0.000000000",
      "x": "1.890338527",
      "y": "1.054718467"
    },
    {
      "turn": "0.000000000",
      "x": "1.408773211",
      "y": "1.792449467"
    },
    {
      "turn": "0.000000000",
      "x": "0.272913068",
      "y": "0.429684367"
    },
    {
      "turn": "0.000000000",
      "x": "0.174330126",
      "y": "0.586686750"
    },
    {
      "turn": "0.000000000",
      "x": "0.956750038",
      "y": "0.076937289"
    },
    {
      "turn": "0.000000000",
      "x": "0.145500866",
      "y": "1.354624216"
    },
    {
      "turn": "0.000000000",
      "x": "1.141829190",
      "y": "0.087616822"
    },
    {
      "turn": "0.000000000",
      "x": "0.232062736",
      "y": "1.525961512"
    },
    {
      "turn": "0.000000000",
      "x": "1.784294595",
      "y": "0.509276970"
    },
    {
      "turn": "0.000000000",
      "x": "0.865397378",
      "y": "1.919590376"
    },
    {
      "turn": "0.000000000",
      "x": "0.401478186",
      "y": "0.292227966"
    },
    {
      "turn": "0.000000000",
      "x": "1.873731330",
      "y": "0.679131310"
    },
    {
      "turn": "0.000000000",
      "x": "0.104478155",
      "y": "0.760825785"
    },
    {
      "turn": "0.000000000",
      "x": "1.059895459",
      "y": "1.928310541"
    },
    {
      "turn": "0.000000000",
      "x": "0.770218111",
      "y": "0.102018989"
    },
    {
      "turn": "0.000000000",
      "x": "0.090386195",
      "y": "1.174369002"
    },
    {
      "turn": "0.000000000",
      "x": "1.827353622",
      "y": "1.423379628"
    },
    {
      "turn": "0.000000000",
      "x": "1.721714202",
      "y": "1.586921237"
    },
    {
      "turn": "0.000000000",
      "x": "1.324217610",
      "y": "0.131641421"
    },
    {
      "turn": "0.000000000",
      "x": "0.338302590",
      "y": "1.721618045"
    },
    {
      "turn": "0.000000000",
      "x": "1.669362041",
      "y": "0.359877917"
    },
    {
      "turn": "0.000000000",
      "x": "0.645121241",
      "y": "1.909067120"
    },
    {
      "turn": "0.000000000",
      "x": "1.971577825",
      "y": "0.879117432"
    },
    {
      "turn": "0.000000000",
      "x": "1.281242814",
      "y": "1.935653846"
    },
    {
      "turn": "0.000000000",
      "x": "1.946466605",
      "y": "1.237787568"
    },
    {
      "turn": "0.000000000",
      "x": "1.599389080",
      "y": "1.771542851"
    },
    {
      "turn": "0.000000000",
      "x": "0.550320305",
      "y": "0.128249050"
    },
    {
      "turn": "0.000000000",
      "x": "0.022196201",
      "y": "0.965243803"
    },
    {
      "turn": "0.000000000",
      "x": "1.538484173",
      "y": "0.183089320"
    },
    {
      "turn": "0.000000000",
      "x": "1.560210978",
      "y": "0.511578569"
    }
  ],
  "radius": "0.123068241"
}

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

DISCUSSION

讨论区

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

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