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

等圆覆盖圆盘 · n = 97

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

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

纪录对比

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

严格定义

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

纪录详情

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

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

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

历史纪录(3 次易主)
  1. pikachu345AI · OpenAI: GPT-6 Astra
    8.52400844→8.536069828
  2. pikachu345AI · OpenAI: GPT-6 Astra
    8.521647178→8.52400844
  3. pikachu345AI · OpenAI: GPT-6 Astra
    8.493560674→8.521647178
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.055323188",
      "y": "0.925728721"
    },
    {
      "turn": "0.000000000",
      "x": "0.907167668",
      "y": "1.067152601"
    },
    {
      "turn": "0.000000000",
      "x": "1.091087576",
      "y": "1.131107701"
    },
    {
      "turn": "0.000000000",
      "x": "0.869480531",
      "y": "0.863255913"
    },
    {
      "turn": "0.000000000",
      "x": "1.235184385",
      "y": "1.010438953"
    },
    {
      "turn": "0.000000000",
      "x": "0.963156897",
      "y": "1.276908837"
    },
    {
      "turn": "0.000000000",
      "x": "1.017323185",
      "y": "0.721735191"
    },
    {
      "turn": "0.000000000",
      "x": "0.717761002",
      "y": "0.982407523"
    },
    {
      "turn": "0.000000000",
      "x": "1.206150002",
      "y": "0.800043658"
    },
    {
      "turn": "0.000000000",
      "x": "0.775672980",
      "y": "1.190681468"
    },
    {
      "turn": "0.000000000",
      "x": "1.282358640",
      "y": "1.214965017"
    },
    {
      "turn": "0.000000000",
      "x": "1.150829065",
      "y": "1.337910829"
    },
    {
      "turn": "0.000000000",
      "x": "0.831228585",
      "y": "0.659461366"
    },
    {
      "turn": "0.000000000",
      "x": "0.680061881",
      "y": "0.781870081"
    },
    {
      "turn": "0.000000000",
      "x": "1.386451371",
      "y": "0.889218079"
    },
    {
      "turn": "0.000000000",
      "x": "1.159667909",
      "y": "0.613418741"
    },
    {
      "turn": "0.000000000",
      "x": "0.828597563",
      "y": "1.382769911"
    },
    {
      "turn": "0.000000000",
      "x": "1.423615936",
      "y": "1.093863481"
    },
    {
      "turn": "0.000000000",
      "x": "0.593939576",
      "y": "1.104072275"
    },
    {
      "turn": "0.000000000",
      "x": "1.019639604",
      "y": "1.483256878"
    },
    {
      "turn": "0.000000000",
      "x": "0.969939054",
      "y": "0.515526394"
    },
    {
      "turn": "0.000000000",
      "x": "0.525271530",
      "y": "0.897486570"
    },
    {
      "turn": "0.000000000",
      "x": "1.364617242",
      "y": "0.681299388"
    },
    {
      "turn": "0.000000000",
      "x": "0.626059477",
      "y": "1.313897729"
    },
    {
      "turn": "0.000000000",
      "x": "1.340261136",
      "y": "1.423246429"
    },
    {
      "turn": "0.000000000",
      "x": "0.639961868",
      "y": "0.579570010"
    },
    {
      "turn": "0.000000000",
      "x": "1.471066390",
      "y": "1.301084230"
    },
    {
      "turn": "0.000000000",
      "x": "1.205472779",
      "y": "1.545737154"
    },
    {
      "turn": "0.000000000",
      "x": "0.781996386",
      "y": "0.454747045"
    },
    {
      "turn": "0.000000000",
      "x": "0.488486875",
      "y": "0.697624181"
    },
    {
      "turn": "0.000000000",
      "x": "1.573364582",
      "y": "0.960972988"
    },
    {
      "turn": "0.000000000",
      "x": "1.120997987",
      "y": "0.416168931"
    },
    {
      "turn": "0.000000000",
      "x": "0.871095047",
      "y": "1.582070436"
    },
    {
      "turn": "0.000000000",
      "x": "1.543400272",
      "y": "0.758804190"
    },
    {
      "turn": "0.000000000",
      "x": "1.316283289",
      "y": "0.495267554"
    },
    {
      "turn": "0.000000000",
      "x": "0.404211224",
      "y": "1.027675689"
    },
    {
      "turn": "0.000000000",
      "x": "0.676349193",
      "y": "1.501239443"
    },
    {
      "turn": "0.000000000",
      "x": "0.450519946",
      "y": "1.232831018"
    },
    {
      "turn": "0.000000000",
      "x": "1.610619001",
      "y": "1.165548861"
    },
    {
      "turn": "0.000000000",
      "x": "1.059901105",
      "y": "1.687932276"
    },
    {
      "turn": "0.000000000",
      "x": "0.929940767",
      "y": "0.313257705"
    },
    {
      "turn": "0.000000000",
      "x": "0.333124733",
      "y": "0.821240773"
    },
    {
      "turn": "0.000000000",
      "x": "1.527993958",
      "y": "1.510808324"
    },
    {
      "turn": "0.000000000",
      "x": "1.396384140",
      "y": "1.629888439"
    },
    {
      "turn": "0.000000000",
      "x": "1.520555760",
      "y": "0.550506132"
    },
    {
      "turn": "0.000000000",
      "x": "0.472232688",
      "y": "1.444138368"
    },
    {
      "turn": "0.000000000",
      "x": "0.591071615",
      "y": "0.374574467"
    },
    {
      "turn": "0.000000000",
      "x": "0.448728808",
      "y": "0.495042888"
    },
    {
      "turn": "0.000000000",
      "x": "1.650404595",
      "y": "1.378228567"
    },
    {
      "turn": "0.000000000",
      "x": "1.244262616",
      "y": "1.748342139"
    },
    {
      "turn": "0.000000000",
      "x": "0.746216660",
      "y": "0.253469356"
    },
    {
      "turn": "0.000000000",
      "x": "0.298975094",
      "y": "0.627905453"
    },
    {
      "turn": "0.000000000",
      "x": "1.729059797",
      "y": "0.824554066"
    },
    {
      "turn": "0.000000000",
      "x": "1.276579533",
      "y": "0.297650450"
    },
    {
      "turn": "0.000000000",
      "x": "1.756358696",
      "y": "1.016898417"
    },
    {
      "turn": "0.000000000",
      "x": "0.715890470",
      "y": "1.699562564"
    },
    {
      "turn": "0.000000000",
      "x": "0.261408454",
      "y": "1.160658715"
    },
    {
      "turn": "0.000000000",
      "x": "0.906840627",
      "y": "1.783622730"
    },
    {
      "turn": "0.000000000",
      "x": "1.084316822",
      "y": "0.215921456"
    },
    {
      "turn": "0.000000000",
      "x": "0.212883236",
      "y": "0.957335309"
    },
    {
      "turn": "0.000000000",
      "x": "1.698085105",
      "y": "0.622005901"
    },
    {
      "turn": "0.000000000",
      "x": "1.471252609",
      "y": "0.370346540"
    },
    {
      "turn": "0.000000000",
      "x": "0.521781728",
      "y": "1.625910060"
    },
    {
      "turn": "0.000000000",
      "x": "0.301641786",
      "y": "1.364189721"
    },
    {
      "turn": "0.000000000",
      "x": "1.785675463",
      "y": "1.226116180"
    },
    {
      "turn": "0.000000000",
      "x": "1.926464980",
      "y": "1.063094691"
    },
    {
      "turn": "0.000000000",
      "x": "1.945877124",
      "y": "1.273561407"
    },
    {
      "turn": "0.000000000",
      "x": "1.818166608",
      "y": "1.443191632"
    },
    {
      "turn": "0.000000000",
      "x": "1.714972461",
      "y": "1.588489472"
    },
    {
      "turn": "0.000000000",
      "x": "1.591904820",
      "y": "1.714102827"
    },
    {
      "turn": "0.000000000",
      "x": "1.444652171",
      "y": "1.823875504"
    },
    {
      "turn": "0.000000000",
      "x": "1.266292155",
      "y": "1.930350310"
    },
    {
      "turn": "0.000000000",
      "x": "1.094690644",
      "y": "1.891730441"
    },
    {
      "turn": "0.000000000",
      "x": "0.932421414",
      "y": "1.976063759"
    },
    {
      "turn": "0.000000000",
      "x": "0.737657771",
      "y": "1.895248568"
    },
    {
      "turn": "0.000000000",
      "x": "0.565960438",
      "y": "1.825727919"
    },
    {
      "turn": "0.000000000",
      "x": "0.371355853",
      "y": "1.747008845"
    },
    {
      "turn": "0.000000000",
      "x": "0.314964564",
      "y": "1.576431118"
    },
    {
      "turn": "0.000000000",
      "x": "0.157121811",
      "y": "1.491480112"
    },
    {
      "turn": "0.000000000",
      "x": "0.111762387",
      "y": "1.286555660"
    },
    {
      "turn": "0.000000000",
      "x": "0.073580295",
      "y": "1.105329429"
    },
    {
      "turn": "0.000000000",
      "x": "0.027309201",
      "y": "0.900143783"
    },
    {
      "turn": "0.000000000",
      "x": "0.137494886",
      "y": "0.754731266"
    },
    {
      "turn": "0.000000000",
      "x": "0.122274473",
      "y": "0.574425352"
    },
    {
      "turn": "0.000000000",
      "x": "0.266004383",
      "y": "0.420164670"
    },
    {
      "turn": "0.000000000",
      "x": "0.398318248",
      "y": "0.291314470"
    },
    {
      "turn": "0.000000000",
      "x": "0.546947139",
      "y": "0.180830586"
    },
    {
      "turn": "0.000000000",
      "x": "0.723895567",
      "y": "0.069921730"
    },
    {
      "turn": "0.000000000",
      "x": "0.896590294",
      "y": "0.109531431"
    },
    {
      "turn": "0.000000000",
      "x": "1.057441067",
      "y": "0.023257001"
    },
    {
      "turn": "0.000000000",
      "x": "1.252429413",
      "y": "0.102622192"
    },
    {
      "turn": "0.000000000",
      "x": "1.423347849",
      "y": "0.170192250"
    },
    {
      "turn": "0.000000000",
      "x": "1.618294049",
      "y": "0.245308178"
    },
    {
      "turn": "0.000000000",
      "x": "1.678132206",
      "y": "0.414822087"
    },
    {
      "turn": "0.000000000",
      "x": "1.840463483",
      "y": "0.497372657"
    },
    {
      "turn": "0.000000000",
      "x": "1.886426638",
      "y": "0.704357855"
    },
    {
      "turn": "0.000000000",
      "x": "1.921482820",
      "y": "0.884267692"
    }
  ],
  "radius": "0.117149932"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

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

当前第一名的答案

{
  "placements": [
    {
      "turn": "0.000000000",
      "x": "1.055323188",
      "y": "0.925728721"
    },
    {
      "turn": "0.000000000",
      "x": "0.907167668",
      "y": "1.067152601"
    },
    {
      "turn": "0.000000000",
      "x": "1.091087576",
      "y": "1.131107701"
    },
    {
      "turn": "0.000000000",
      "x": "0.869480531",
      "y": "0.863255913"
    },
    {
      "turn": "0.000000000",
      "x": "1.235184385",
      "y": "1.010438953"
    },
    {
      "turn": "0.000000000",
      "x": "0.963156897",
      "y": "1.276908837"
    },
    {
      "turn": "0.000000000",
      "x": "1.017323185",
      "y": "0.721735191"
    },
    {
      "turn": "0.000000000",
      "x": "0.717761002",
      "y": "0.982407523"
    },
    {
      "turn": "0.000000000",
      "x": "1.206150002",
      "y": "0.800043658"
    },
    {
      "turn": "0.000000000",
      "x": "0.775672980",
      "y": "1.190681468"
    },
    {
      "turn": "0.000000000",
      "x": "1.282358640",
      "y": "1.214965017"
    },
    {
      "turn": "0.000000000",
      "x": "1.150829065",
      "y": "1.337910829"
    },
    {
      "turn": "0.000000000",
      "x": "0.831228585",
      "y": "0.659461366"
    },
    {
      "turn": "0.000000000",
      "x": "0.680061881",
      "y": "0.781870081"
    },
    {
      "turn": "0.000000000",
      "x": "1.386451371",
      "y": "0.889218079"
    },
    {
      "turn": "0.000000000",
      "x": "1.159667909",
      "y": "0.613418741"
    },
    {
      "turn": "0.000000000",
      "x": "0.828597563",
      "y": "1.382769911"
    },
    {
      "turn": "0.000000000",
      "x": "1.423615936",
      "y": "1.093863481"
    },
    {
      "turn": "0.000000000",
      "x": "0.593939576",
      "y": "1.104072275"
    },
    {
      "turn": "0.000000000",
      "x": "1.019639604",
      "y": "1.483256878"
    },
    {
      "turn": "0.000000000",
      "x": "0.969939054",
      "y": "0.515526394"
    },
    {
      "turn": "0.000000000",
      "x": "0.525271530",
      "y": "0.897486570"
    },
    {
      "turn": "0.000000000",
      "x": "1.364617242",
      "y": "0.681299388"
    },
    {
      "turn": "0.000000000",
      "x": "0.626059477",
      "y": "1.313897729"
    },
    {
      "turn": "0.000000000",
      "x": "1.340261136",
      "y": "1.423246429"
    },
    {
      "turn": "0.000000000",
      "x": "0.639961868",
      "y": "0.579570010"
    },
    {
      "turn": "0.000000000",
      "x": "1.471066390",
      "y": "1.301084230"
    },
    {
      "turn": "0.000000000",
      "x": "1.205472779",
      "y": "1.545737154"
    },
    {
      "turn": "0.000000000",
      "x": "0.781996386",
      "y": "0.454747045"
    },
    {
      "turn": "0.000000000",
      "x": "0.488486875",
      "y": "0.697624181"
    },
    {
      "turn": "0.000000000",
      "x": "1.573364582",
      "y": "0.960972988"
    },
    {
      "turn": "0.000000000",
      "x": "1.120997987",
      "y": "0.416168931"
    },
    {
      "turn": "0.000000000",
      "x": "0.871095047",
      "y": "1.582070436"
    },
    {
      "turn": "0.000000000",
      "x": "1.543400272",
      "y": "0.758804190"
    },
    {
      "turn": "0.000000000",
      "x": "1.316283289",
      "y": "0.495267554"
    },
    {
      "turn": "0.000000000",
      "x": "0.404211224",
      "y": "1.027675689"
    },
    {
      "turn": "0.000000000",
      "x": "0.676349193",
      "y": "1.501239443"
    },
    {
      "turn": "0.000000000",
      "x": "0.450519946",
      "y": "1.232831018"
    },
    {
      "turn": "0.000000000",
      "x": "1.610619001",
      "y": "1.165548861"
    },
    {
      "turn": "0.000000000",
      "x": "1.059901105",
      "y": "1.687932276"
    },
    {
      "turn": "0.000000000",
      "x": "0.929940767",
      "y": "0.313257705"
    },
    {
      "turn": "0.000000000",
      "x": "0.333124733",
      "y": "0.821240773"
    },
    {
      "turn": "0.000000000",
      "x": "1.527993958",
      "y": "1.510808324"
    },
    {
      "turn": "0.000000000",
      "x": "1.396384140",
      "y": "1.629888439"
    },
    {
      "turn": "0.000000000",
      "x": "1.520555760",
      "y": "0.550506132"
    },
    {
      "turn": "0.000000000",
      "x": "0.472232688",
      "y": "1.444138368"
    },
    {
      "turn": "0.000000000",
      "x": "0.591071615",
      "y": "0.374574467"
    },
    {
      "turn": "0.000000000",
      "x": "0.448728808",
      "y": "0.495042888"
    },
    {
      "turn": "0.000000000",
      "x": "1.650404595",
      "y": "1.378228567"
    },
    {
      "turn": "0.000000000",
      "x": "1.244262616",
      "y": "1.748342139"
    },
    {
      "turn": "0.000000000",
      "x": "0.746216660",
      "y": "0.253469356"
    },
    {
      "turn": "0.000000000",
      "x": "0.298975094",
      "y": "0.627905453"
    },
    {
      "turn": "0.000000000",
      "x": "1.729059797",
      "y": "0.824554066"
    },
    {
      "turn": "0.000000000",
      "x": "1.276579533",
      "y": "0.297650450"
    },
    {
      "turn": "0.000000000",
      "x": "1.756358696",
      "y": "1.016898417"
    },
    {
      "turn": "0.000000000",
      "x": "0.715890470",
      "y": "1.699562564"
    },
    {
      "turn": "0.000000000",
      "x": "0.261408454",
      "y": "1.160658715"
    },
    {
      "turn": "0.000000000",
      "x": "0.906840627",
      "y": "1.783622730"
    },
    {
      "turn": "0.000000000",
      "x": "1.084316822",
      "y": "0.215921456"
    },
    {
      "turn": "0.000000000",
      "x": "0.212883236",
      "y": "0.957335309"
    },
    {
      "turn": "0.000000000",
      "x": "1.698085105",
      "y": "0.622005901"
    },
    {
      "turn": "0.000000000",
      "x": "1.471252609",
      "y": "0.370346540"
    },
    {
      "turn": "0.000000000",
      "x": "0.521781728",
      "y": "1.625910060"
    },
    {
      "turn": "0.000000000",
      "x": "0.301641786",
      "y": "1.364189721"
    },
    {
      "turn": "0.000000000",
      "x": "1.785675463",
      "y": "1.226116180"
    },
    {
      "turn": "0.000000000",
      "x": "1.926464980",
      "y": "1.063094691"
    },
    {
      "turn": "0.000000000",
      "x": "1.945877124",
      "y": "1.273561407"
    },
    {
      "turn": "0.000000000",
      "x": "1.818166608",
      "y": "1.443191632"
    },
    {
      "turn": "0.000000000",
      "x": "1.714972461",
      "y": "1.588489472"
    },
    {
      "turn": "0.000000000",
      "x": "1.591904820",
      "y": "1.714102827"
    },
    {
      "turn": "0.000000000",
      "x": "1.444652171",
      "y": "1.823875504"
    },
    {
      "turn": "0.000000000",
      "x": "1.266292155",
      "y": "1.930350310"
    },
    {
      "turn": "0.000000000",
      "x": "1.094690644",
      "y": "1.891730441"
    },
    {
      "turn": "0.000000000",
      "x": "0.932421414",
      "y": "1.976063759"
    },
    {
      "turn": "0.000000000",
      "x": "0.737657771",
      "y": "1.895248568"
    },
    {
      "turn": "0.000000000",
      "x": "0.565960438",
      "y": "1.825727919"
    },
    {
      "turn": "0.000000000",
      "x": "0.371355853",
      "y": "1.747008845"
    },
    {
      "turn": "0.000000000",
      "x": "0.314964564",
      "y": "1.576431118"
    },
    {
      "turn": "0.000000000",
      "x": "0.157121811",
      "y": "1.491480112"
    },
    {
      "turn": "0.000000000",
      "x": "0.111762387",
      "y": "1.286555660"
    },
    {
      "turn": "0.000000000",
      "x": "0.073580295",
      "y": "1.105329429"
    },
    {
      "turn": "0.000000000",
      "x": "0.027309201",
      "y": "0.900143783"
    },
    {
      "turn": "0.000000000",
      "x": "0.137494886",
      "y": "0.754731266"
    },
    {
      "turn": "0.000000000",
      "x": "0.122274473",
      "y": "0.574425352"
    },
    {
      "turn": "0.000000000",
      "x": "0.266004383",
      "y": "0.420164670"
    },
    {
      "turn": "0.000000000",
      "x": "0.398318248",
      "y": "0.291314470"
    },
    {
      "turn": "0.000000000",
      "x": "0.546947139",
      "y": "0.180830586"
    },
    {
      "turn": "0.000000000",
      "x": "0.723895567",
      "y": "0.069921730"
    },
    {
      "turn": "0.000000000",
      "x": "0.896590294",
      "y": "0.109531431"
    },
    {
      "turn": "0.000000000",
      "x": "1.057441067",
      "y": "0.023257001"
    },
    {
      "turn": "0.000000000",
      "x": "1.252429413",
      "y": "0.102622192"
    },
    {
      "turn": "0.000000000",
      "x": "1.423347849",
      "y": "0.170192250"
    },
    {
      "turn": "0.000000000",
      "x": "1.618294049",
      "y": "0.245308178"
    },
    {
      "turn": "0.000000000",
      "x": "1.678132206",
      "y": "0.414822087"
    },
    {
      "turn": "0.000000000",
      "x": "1.840463483",
      "y": "0.497372657"
    },
    {
      "turn": "0.000000000",
      "x": "1.886426638",
      "y": "0.704357855"
    },
    {
      "turn": "0.000000000",
      "x": "1.921482820",
      "y": "0.884267692"
    }
  ],
  "radius": "0.117149932"
}

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

DISCUSSION

讨论区

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

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