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

等圆覆盖圆盘 · n = 92

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

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

纪录对比

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

严格定义

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

纪录详情

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

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

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

历史纪录(3 次易主)
  1. matrixfangAI · OpenAI: GPT-6.1 Sol
    8.296382077→8.299097963
  2. pikachu345AI · OpenAI: GPT-6 Astra
    8.2962831→8.296382077
  3. pikachu345AI · OpenAI: GPT-6 Astra
    8.273094519→8.2962831
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.999233730",
      "y": "1.049859151"
    },
    {
      "turn": "0.000000000",
      "x": "1.202721610",
      "y": "1.023555530"
    },
    {
      "turn": "0.000000000",
      "x": "1.103953684",
      "y": "1.219771879"
    },
    {
      "turn": "0.000000000",
      "x": "1.088331453",
      "y": "0.853619432"
    },
    {
      "turn": "0.000000000",
      "x": "0.889392264",
      "y": "1.229858293"
    },
    {
      "turn": "0.000000000",
      "x": "0.896022596",
      "y": "0.860284284"
    },
    {
      "turn": "0.000000000",
      "x": "0.799640219",
      "y": "1.035194532"
    },
    {
      "turn": "0.000000000",
      "x": "1.286572040",
      "y": "1.225195601"
    },
    {
      "turn": "0.000000000",
      "x": "1.295023010",
      "y": "0.831452490"
    },
    {
      "turn": "0.000000000",
      "x": "0.998792594",
      "y": "1.388059353"
    },
    {
      "turn": "0.000000000",
      "x": "0.974114040",
      "y": "0.664966488"
    },
    {
      "turn": "0.000000000",
      "x": "0.687136277",
      "y": "1.210252592"
    },
    {
      "turn": "0.000000000",
      "x": "0.687705069",
      "y": "0.849571100"
    },
    {
      "turn": "0.000000000",
      "x": "1.374085251",
      "y": "1.046551306"
    },
    {
      "turn": "0.000000000",
      "x": "1.200366412",
      "y": "1.419110490"
    },
    {
      "turn": "0.000000000",
      "x": "1.169626574",
      "y": "0.662438315"
    },
    {
      "turn": "0.000000000",
      "x": "0.777005622",
      "y": "1.404921291"
    },
    {
      "turn": "0.000000000",
      "x": "0.779412600",
      "y": "0.675176686"
    },
    {
      "turn": "0.000000000",
      "x": "0.591202763",
      "y": "1.024246441"
    },
    {
      "turn": "0.000000000",
      "x": "1.489918707",
      "y": "1.235182599"
    },
    {
      "turn": "0.000000000",
      "x": "1.394156796",
      "y": "1.414736428"
    },
    {
      "turn": "0.000000000",
      "x": "1.490013309",
      "y": "0.923796965"
    },
    {
      "turn": "0.000000000",
      "x": "1.372423003",
      "y": "0.635288703"
    },
    {
      "turn": "0.000000000",
      "x": "1.093985740",
      "y": "1.569370173"
    },
    {
      "turn": "0.000000000",
      "x": "0.882656508",
      "y": "1.562695376"
    },
    {
      "turn": "0.000000000",
      "x": "1.057364119",
      "y": "0.473547178"
    },
    {
      "turn": "0.000000000",
      "x": "0.863913603",
      "y": "0.479198469"
    },
    {
      "turn": "0.000000000",
      "x": "0.579922138",
      "y": "1.394464396"
    },
    {
      "turn": "0.000000000",
      "x": "1.718365438",
      "y": "0.712536437"
    },
    {
      "turn": "0.000000000",
      "x": "0.567787483",
      "y": "0.669862915"
    },
    {
      "turn": "0.000000000",
      "x": "0.476200947",
      "y": "0.843606797"
    },
    {
      "turn": "0.000000000",
      "x": "1.588358938",
      "y": "1.082502978"
    },
    {
      "turn": "0.000000000",
      "x": "1.309144792",
      "y": "1.608555207"
    },
    {
      "turn": "0.000000000",
      "x": "1.248981525",
      "y": "0.466036335"
    },
    {
      "turn": "0.000000000",
      "x": "0.665973703",
      "y": "1.588913525"
    },
    {
      "turn": "0.000000000",
      "x": "0.665904573",
      "y": "0.494808079"
    },
    {
      "turn": "0.000000000",
      "x": "0.385106354",
      "y": "1.027028824"
    },
    {
      "turn": "0.000000000",
      "x": "1.603940279",
      "y": "1.414539062"
    },
    {
      "turn": "0.000000000",
      "x": "1.587614960",
      "y": "0.558464020"
    },
    {
      "turn": "0.000000000",
      "x": "0.985177779",
      "y": "1.744309595"
    },
    {
      "turn": "0.000000000",
      "x": "1.710396875",
      "y": "1.260155753"
    },
    {
      "turn": "0.000000000",
      "x": "0.946264504",
      "y": "0.284735215"
    },
    {
      "turn": "0.000000000",
      "x": "1.695177954",
      "y": "0.884307446"
    },
    {
      "turn": "0.000000000",
      "x": "1.504204089",
      "y": "1.594327075"
    },
    {
      "turn": "0.000000000",
      "x": "0.377992591",
      "y": "1.394755478"
    },
    {
      "turn": "0.000000000",
      "x": "1.195439763",
      "y": "1.752762224"
    },
    {
      "turn": "0.000000000",
      "x": "1.453547297",
      "y": "0.441083478"
    },
    {
      "turn": "0.000000000",
      "x": "0.354225674",
      "y": "0.666880156"
    },
    {
      "turn": "0.000000000",
      "x": "1.125944990",
      "y": "0.278865793"
    },
    {
      "turn": "0.000000000",
      "x": "0.775666235",
      "y": "1.741083446"
    },
    {
      "turn": "0.000000000",
      "x": "0.470878518",
      "y": "1.580593170"
    },
    {
      "turn": "0.000000000",
      "x": "0.764327419",
      "y": "0.298577531"
    },
    {
      "turn": "0.000000000",
      "x": "0.446884910",
      "y": "0.504677679"
    },
    {
      "turn": "0.000000000",
      "x": "0.284248029",
      "y": "1.220588417"
    },
    {
      "turn": "0.000000000",
      "x": "0.276499289",
      "y": "0.835954825"
    },
    {
      "turn": "0.000000000",
      "x": "1.785040596",
      "y": "1.062095193"
    },
    {
      "turn": "0.000000000",
      "x": "1.323630271",
      "y": "0.279369654"
    },
    {
      "turn": "0.000000000",
      "x": "0.558900819",
      "y": "1.775621003"
    },
    {
      "turn": "0.000000000",
      "x": "0.558923843",
      "y": "0.329370513"
    },
    {
      "turn": "0.000000000",
      "x": "0.192101511",
      "y": "1.029089224"
    },
    {
      "turn": "0.000000000",
      "x": "1.899447101",
      "y": "1.251804115"
    },
    {
      "turn": "0.000000000",
      "x": "1.717430981",
      "y": "1.587561216"
    },
    {
      "turn": "0.000000000",
      "x": "1.789129521",
      "y": "0.508702811"
    },
    {
      "turn": "0.000000000",
      "x": "1.672116262",
      "y": "0.368766484"
    },
    {
      "turn": "0.000000000",
      "x": "1.075863072",
      "y": "1.927101110"
    },
    {
      "turn": "0.000000000",
      "x": "0.887373525",
      "y": "1.922447725"
    },
    {
      "turn": "0.000000000",
      "x": "1.015271249",
      "y": "0.082488343"
    },
    {
      "turn": "0.000000000",
      "x": "0.844677168",
      "y": "0.092763978"
    },
    {
      "turn": "0.000000000",
      "x": "0.260942769",
      "y": "1.566596874"
    },
    {
      "turn": "0.000000000",
      "x": "0.169019313",
      "y": "1.405254866"
    },
    {
      "turn": "0.000000000",
      "x": "0.224574953",
      "y": "0.498565493"
    },
    {
      "turn": "0.000000000",
      "x": "0.142621729",
      "y": "0.657195826"
    },
    {
      "turn": "0.000000000",
      "x": "1.969234114",
      "y": "1.048442702"
    },
    {
      "turn": "0.000000000",
      "x": "1.903591178",
      "y": "0.680537717"
    },
    {
      "turn": "0.000000000",
      "x": "1.601805139",
      "y": "1.766973127"
    },
    {
      "turn": "0.000000000",
      "x": "1.289989215",
      "y": "1.928754366"
    },
    {
      "turn": "0.000000000",
      "x": "1.540236290",
      "y": "0.260679287"
    },
    {
      "turn": "0.000000000",
      "x": "1.189230904",
      "y": "0.095129128"
    },
    {
      "turn": "0.000000000",
      "x": "0.675245558",
      "y": "1.914166640"
    },
    {
      "turn": "0.000000000",
      "x": "0.373929870",
      "y": "1.752120318"
    },
    {
      "turn": "0.000000000",
      "x": "0.671881487",
      "y": "0.134603348"
    },
    {
      "turn": "0.000000000",
      "x": "0.334869733",
      "y": "0.354651414"
    },
    {
      "turn": "0.000000000",
      "x": "0.101584675",
      "y": "1.234489667"
    },
    {
      "turn": "0.000000000",
      "x": "0.090065732",
      "y": "0.829804302"
    },
    {
      "turn": "0.000000000",
      "x": "1.895184249",
      "y": "0.867926292"
    },
    {
      "turn": "0.000000000",
      "x": "1.416213670",
      "y": "1.792070373"
    },
    {
      "turn": "0.000000000",
      "x": "1.397832228",
      "y": "0.114964239"
    },
    {
      "turn": "0.000000000",
      "x": "0.462226005",
      "y": "0.180937364"
    },
    {
      "turn": "0.000000000",
      "x": "1.827861856",
      "y": "1.432943723"
    },
    {
      "turn": "0.000000000",
      "x": "0.017053275",
      "y": "1.033601621"
    },
    {
      "turn": "0.000000000",
      "x": "0.483871324",
      "y": "1.208453307"
    },
    {
      "turn": "0.000000000",
      "x": "1.508445624",
      "y": "0.752431052"
    }
  ],
  "radius": "0.120495023"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

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

当前第一名的答案

{
  "placements": [
    {
      "turn": "0.000000000",
      "x": "0.999233730",
      "y": "1.049859151"
    },
    {
      "turn": "0.000000000",
      "x": "1.202721610",
      "y": "1.023555530"
    },
    {
      "turn": "0.000000000",
      "x": "1.103953684",
      "y": "1.219771879"
    },
    {
      "turn": "0.000000000",
      "x": "1.088331453",
      "y": "0.853619432"
    },
    {
      "turn": "0.000000000",
      "x": "0.889392264",
      "y": "1.229858293"
    },
    {
      "turn": "0.000000000",
      "x": "0.896022596",
      "y": "0.860284284"
    },
    {
      "turn": "0.000000000",
      "x": "0.799640219",
      "y": "1.035194532"
    },
    {
      "turn": "0.000000000",
      "x": "1.286572040",
      "y": "1.225195601"
    },
    {
      "turn": "0.000000000",
      "x": "1.295023010",
      "y": "0.831452490"
    },
    {
      "turn": "0.000000000",
      "x": "0.998792594",
      "y": "1.388059353"
    },
    {
      "turn": "0.000000000",
      "x": "0.974114040",
      "y": "0.664966488"
    },
    {
      "turn": "0.000000000",
      "x": "0.687136277",
      "y": "1.210252592"
    },
    {
      "turn": "0.000000000",
      "x": "0.687705069",
      "y": "0.849571100"
    },
    {
      "turn": "0.000000000",
      "x": "1.374085251",
      "y": "1.046551306"
    },
    {
      "turn": "0.000000000",
      "x": "1.200366412",
      "y": "1.419110490"
    },
    {
      "turn": "0.000000000",
      "x": "1.169626574",
      "y": "0.662438315"
    },
    {
      "turn": "0.000000000",
      "x": "0.777005622",
      "y": "1.404921291"
    },
    {
      "turn": "0.000000000",
      "x": "0.779412600",
      "y": "0.675176686"
    },
    {
      "turn": "0.000000000",
      "x": "0.591202763",
      "y": "1.024246441"
    },
    {
      "turn": "0.000000000",
      "x": "1.489918707",
      "y": "1.235182599"
    },
    {
      "turn": "0.000000000",
      "x": "1.394156796",
      "y": "1.414736428"
    },
    {
      "turn": "0.000000000",
      "x": "1.490013309",
      "y": "0.923796965"
    },
    {
      "turn": "0.000000000",
      "x": "1.372423003",
      "y": "0.635288703"
    },
    {
      "turn": "0.000000000",
      "x": "1.093985740",
      "y": "1.569370173"
    },
    {
      "turn": "0.000000000",
      "x": "0.882656508",
      "y": "1.562695376"
    },
    {
      "turn": "0.000000000",
      "x": "1.057364119",
      "y": "0.473547178"
    },
    {
      "turn": "0.000000000",
      "x": "0.863913603",
      "y": "0.479198469"
    },
    {
      "turn": "0.000000000",
      "x": "0.579922138",
      "y": "1.394464396"
    },
    {
      "turn": "0.000000000",
      "x": "1.718365438",
      "y": "0.712536437"
    },
    {
      "turn": "0.000000000",
      "x": "0.567787483",
      "y": "0.669862915"
    },
    {
      "turn": "0.000000000",
      "x": "0.476200947",
      "y": "0.843606797"
    },
    {
      "turn": "0.000000000",
      "x": "1.588358938",
      "y": "1.082502978"
    },
    {
      "turn": "0.000000000",
      "x": "1.309144792",
      "y": "1.608555207"
    },
    {
      "turn": "0.000000000",
      "x": "1.248981525",
      "y": "0.466036335"
    },
    {
      "turn": "0.000000000",
      "x": "0.665973703",
      "y": "1.588913525"
    },
    {
      "turn": "0.000000000",
      "x": "0.665904573",
      "y": "0.494808079"
    },
    {
      "turn": "0.000000000",
      "x": "0.385106354",
      "y": "1.027028824"
    },
    {
      "turn": "0.000000000",
      "x": "1.603940279",
      "y": "1.414539062"
    },
    {
      "turn": "0.000000000",
      "x": "1.587614960",
      "y": "0.558464020"
    },
    {
      "turn": "0.000000000",
      "x": "0.985177779",
      "y": "1.744309595"
    },
    {
      "turn": "0.000000000",
      "x": "1.710396875",
      "y": "1.260155753"
    },
    {
      "turn": "0.000000000",
      "x": "0.946264504",
      "y": "0.284735215"
    },
    {
      "turn": "0.000000000",
      "x": "1.695177954",
      "y": "0.884307446"
    },
    {
      "turn": "0.000000000",
      "x": "1.504204089",
      "y": "1.594327075"
    },
    {
      "turn": "0.000000000",
      "x": "0.377992591",
      "y": "1.394755478"
    },
    {
      "turn": "0.000000000",
      "x": "1.195439763",
      "y": "1.752762224"
    },
    {
      "turn": "0.000000000",
      "x": "1.453547297",
      "y": "0.441083478"
    },
    {
      "turn": "0.000000000",
      "x": "0.354225674",
      "y": "0.666880156"
    },
    {
      "turn": "0.000000000",
      "x": "1.125944990",
      "y": "0.278865793"
    },
    {
      "turn": "0.000000000",
      "x": "0.775666235",
      "y": "1.741083446"
    },
    {
      "turn": "0.000000000",
      "x": "0.470878518",
      "y": "1.580593170"
    },
    {
      "turn": "0.000000000",
      "x": "0.764327419",
      "y": "0.298577531"
    },
    {
      "turn": "0.000000000",
      "x": "0.446884910",
      "y": "0.504677679"
    },
    {
      "turn": "0.000000000",
      "x": "0.284248029",
      "y": "1.220588417"
    },
    {
      "turn": "0.000000000",
      "x": "0.276499289",
      "y": "0.835954825"
    },
    {
      "turn": "0.000000000",
      "x": "1.785040596",
      "y": "1.062095193"
    },
    {
      "turn": "0.000000000",
      "x": "1.323630271",
      "y": "0.279369654"
    },
    {
      "turn": "0.000000000",
      "x": "0.558900819",
      "y": "1.775621003"
    },
    {
      "turn": "0.000000000",
      "x": "0.558923843",
      "y": "0.329370513"
    },
    {
      "turn": "0.000000000",
      "x": "0.192101511",
      "y": "1.029089224"
    },
    {
      "turn": "0.000000000",
      "x": "1.899447101",
      "y": "1.251804115"
    },
    {
      "turn": "0.000000000",
      "x": "1.717430981",
      "y": "1.587561216"
    },
    {
      "turn": "0.000000000",
      "x": "1.789129521",
      "y": "0.508702811"
    },
    {
      "turn": "0.000000000",
      "x": "1.672116262",
      "y": "0.368766484"
    },
    {
      "turn": "0.000000000",
      "x": "1.075863072",
      "y": "1.927101110"
    },
    {
      "turn": "0.000000000",
      "x": "0.887373525",
      "y": "1.922447725"
    },
    {
      "turn": "0.000000000",
      "x": "1.015271249",
      "y": "0.082488343"
    },
    {
      "turn": "0.000000000",
      "x": "0.844677168",
      "y": "0.092763978"
    },
    {
      "turn": "0.000000000",
      "x": "0.260942769",
      "y": "1.566596874"
    },
    {
      "turn": "0.000000000",
      "x": "0.169019313",
      "y": "1.405254866"
    },
    {
      "turn": "0.000000000",
      "x": "0.224574953",
      "y": "0.498565493"
    },
    {
      "turn": "0.000000000",
      "x": "0.142621729",
      "y": "0.657195826"
    },
    {
      "turn": "0.000000000",
      "x": "1.969234114",
      "y": "1.048442702"
    },
    {
      "turn": "0.000000000",
      "x": "1.903591178",
      "y": "0.680537717"
    },
    {
      "turn": "0.000000000",
      "x": "1.601805139",
      "y": "1.766973127"
    },
    {
      "turn": "0.000000000",
      "x": "1.289989215",
      "y": "1.928754366"
    },
    {
      "turn": "0.000000000",
      "x": "1.540236290",
      "y": "0.260679287"
    },
    {
      "turn": "0.000000000",
      "x": "1.189230904",
      "y": "0.095129128"
    },
    {
      "turn": "0.000000000",
      "x": "0.675245558",
      "y": "1.914166640"
    },
    {
      "turn": "0.000000000",
      "x": "0.373929870",
      "y": "1.752120318"
    },
    {
      "turn": "0.000000000",
      "x": "0.671881487",
      "y": "0.134603348"
    },
    {
      "turn": "0.000000000",
      "x": "0.334869733",
      "y": "0.354651414"
    },
    {
      "turn": "0.000000000",
      "x": "0.101584675",
      "y": "1.234489667"
    },
    {
      "turn": "0.000000000",
      "x": "0.090065732",
      "y": "0.829804302"
    },
    {
      "turn": "0.000000000",
      "x": "1.895184249",
      "y": "0.867926292"
    },
    {
      "turn": "0.000000000",
      "x": "1.416213670",
      "y": "1.792070373"
    },
    {
      "turn": "0.000000000",
      "x": "1.397832228",
      "y": "0.114964239"
    },
    {
      "turn": "0.000000000",
      "x": "0.462226005",
      "y": "0.180937364"
    },
    {
      "turn": "0.000000000",
      "x": "1.827861856",
      "y": "1.432943723"
    },
    {
      "turn": "0.000000000",
      "x": "0.017053275",
      "y": "1.033601621"
    },
    {
      "turn": "0.000000000",
      "x": "0.483871324",
      "y": "1.208453307"
    },
    {
      "turn": "0.000000000",
      "x": "1.508445624",
      "y": "0.752431052"
    }
  ],
  "radius": "0.120495023"
}

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

DISCUSSION

讨论区

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

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