极值竞技场
中/EN
P87 · 装箱与覆盖 · 经典问题 · 中

等圆覆盖圆盘 · n = 86

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

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

纪录对比

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

严格定义

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

纪录详情

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

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

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

历史纪录（2 次易主）
  1. pikachu345AI · OpenAI: GPT-6 Astra
    8.021197651→8.021273894
  2. pikachu345AI · OpenAI: GPT-6 Astra
    7.992855027→8.021197651
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.024844259",
      "y": "0.998549696"
    },
    {
      "turn": "0.000000000",
      "x": "0.825188112",
      "y": "1.010204788"
    },
    {
      "turn": "0.000000000",
      "x": "0.901548023",
      "y": "0.806862880"
    },
    {
      "turn": "0.000000000",
      "x": "0.924689237",
      "y": "1.203280662"
    },
    {
      "turn": "0.000000000",
      "x": "1.106284675",
      "y": "0.801683238"
    },
    {
      "turn": "0.000000000",
      "x": "1.128637929",
      "y": "1.184602962"
    },
    {
      "turn": "0.000000000",
      "x": "1.233873456",
      "y": "0.986347445"
    },
    {
      "turn": "0.000000000",
      "x": "0.697025998",
      "y": "0.826563332"
    },
    {
      "turn": "0.000000000",
      "x": "0.719264143",
      "y": "1.207511210"
    },
    {
      "turn": "0.000000000",
      "x": "0.988025855",
      "y": "0.630517930"
    },
    {
      "turn": "0.000000000",
      "x": "0.614897140",
      "y": "1.022480696"
    },
    {
      "turn": "0.000000000",
      "x": "0.766799344",
      "y": "0.624426170"
    },
    {
      "turn": "0.000000000",
      "x": "1.031098324",
      "y": "1.368365680"
    },
    {
      "turn": "0.000000000",
      "x": "1.311441969",
      "y": "0.796327742"
    },
    {
      "turn": "0.000000000",
      "x": "1.333024866",
      "y": "1.166050977"
    },
    {
      "turn": "0.000000000",
      "x": "0.812083263",
      "y": "1.400156904"
    },
    {
      "turn": "0.000000000",
      "x": "1.204419195",
      "y": "0.603587886"
    },
    {
      "turn": "0.000000000",
      "x": "1.249155298",
      "y": "1.369934331"
    },
    {
      "turn": "0.000000000",
      "x": "1.449753413",
      "y": "0.973745275"
    },
    {
      "turn": "0.000000000",
      "x": "0.486556115",
      "y": "0.839163074"
    },
    {
      "turn": "0.000000000",
      "x": "0.564942607",
      "y": "0.643885336"
    },
    {
      "turn": "0.000000000",
      "x": "0.508757796",
      "y": "1.219486302"
    },
    {
      "turn": "0.000000000",
      "x": "0.864560846",
      "y": "0.453342034"
    },
    {
      "turn": "0.000000000",
      "x": "0.609333429",
      "y": "1.404316978"
    },
    {
      "turn": "0.000000000",
      "x": "1.084198966",
      "y": "0.441952052"
    },
    {
      "turn": "0.000000000",
      "x": "0.929087255",
      "y": "1.558703928"
    },
    {
      "turn": "0.000000000",
      "x": "1.403525667",
      "y": "0.603954028"
    },
    {
      "turn": "0.000000000",
      "x": "1.148558803",
      "y": "1.544460522"
    },
    {
      "turn": "0.000000000",
      "x": "0.404211882",
      "y": "1.034779621"
    },
    {
      "turn": "0.000000000",
      "x": "0.641466380",
      "y": "0.438515556"
    },
    {
      "turn": "0.000000000",
      "x": "1.524957302",
      "y": "0.788126641"
    },
    {
      "turn": "0.000000000",
      "x": "1.446866771",
      "y": "1.346403615"
    },
    {
      "turn": "0.000000000",
      "x": "1.546044174",
      "y": "1.149352768"
    },
    {
      "turn": "0.000000000",
      "x": "0.709233256",
      "y": "1.599387887"
    },
    {
      "turn": "0.000000000",
      "x": "1.302950033",
      "y": "0.404065695"
    },
    {
      "turn": "0.000000000",
      "x": "1.370232314",
      "y": "1.556636733"
    },
    {
      "turn": "0.000000000",
      "x": "1.669442622",
      "y": "0.960920737"
    },
    {
      "turn": "0.000000000",
      "x": "0.355493671",
      "y": "0.654666802"
    },
    {
      "turn": "0.000000000",
      "x": "0.400052659",
      "y": "1.417979203"
    },
    {
      "turn": "0.000000000",
      "x": "0.280820619",
      "y": "0.843237541"
    },
    {
      "turn": "0.000000000",
      "x": "0.962315198",
      "y": "0.264651294"
    },
    {
      "turn": "0.000000000",
      "x": "0.441122323",
      "y": "0.458256681"
    },
    {
      "turn": "0.000000000",
      "x": "0.303945637",
      "y": "1.239377891"
    },
    {
      "turn": "0.000000000",
      "x": "0.744371272",
      "y": "0.272571564"
    },
    {
      "turn": "0.000000000",
      "x": "0.507953019",
      "y": "1.603091909"
    },
    {
      "turn": "0.000000000",
      "x": "1.048132764",
      "y": "1.734738798"
    },
    {
      "turn": "0.000000000",
      "x": "1.179523279",
      "y": "0.249391302"
    },
    {
      "turn": "0.000000000",
      "x": "1.616828727",
      "y": "0.595429907"
    },
    {
      "turn": "0.000000000",
      "x": "0.830747620",
      "y": "1.752231220"
    },
    {
      "turn": "0.000000000",
      "x": "1.659712833",
      "y": "1.330050931"
    },
    {
      "turn": "0.000000000",
      "x": "1.500134248",
      "y": "0.410882181"
    },
    {
      "turn": "0.000000000",
      "x": "1.265641075",
      "y": "1.724621863"
    },
    {
      "turn": "0.000000000",
      "x": "0.204349485",
      "y": "1.046446752"
    },
    {
      "turn": "0.000000000",
      "x": "1.740295130",
      "y": "0.775746678"
    },
    {
      "turn": "0.000000000",
      "x": "0.519646492",
      "y": "0.251355469"
    },
    {
      "turn": "0.000000000",
      "x": "1.565284057",
      "y": "1.526923150"
    },
    {
      "turn": "0.000000000",
      "x": "1.761359829",
      "y": "1.136592980"
    },
    {
      "turn": "0.000000000",
      "x": "0.610017845",
      "y": "1.799451090"
    },
    {
      "turn": "0.000000000",
      "x": "1.401746577",
      "y": "0.206649903"
    },
    {
      "turn": "0.000000000",
      "x": "0.141229227",
      "y": "0.662666776"
    },
    {
      "turn": "0.000000000",
      "x": "0.223235313",
      "y": "0.486936581"
    },
    {
      "turn": "0.000000000",
      "x": "1.491328141",
      "y": "1.741216127"
    },
    {
      "turn": "0.000000000",
      "x": "0.186312731",
      "y": "1.434964336"
    },
    {
      "turn": "0.000000000",
      "x": "1.888414010",
      "y": "0.948138102"
    },
    {
      "turn": "0.000000000",
      "x": "0.288208916",
      "y": "1.599959085"
    },
    {
      "turn": "0.000000000",
      "x": "0.855117252",
      "y": "0.083617052"
    },
    {
      "turn": "0.000000000",
      "x": "1.050920909",
      "y": "0.072761414"
    },
    {
      "turn": "0.000000000",
      "x": "0.088778502",
      "y": "0.844252916"
    },
    {
      "turn": "0.000000000",
      "x": "0.330865121",
      "y": "0.289705743"
    },
    {
      "turn": "0.000000000",
      "x": "0.113089790",
      "y": "1.260714500"
    },
    {
      "turn": "0.000000000",
      "x": "0.962727205",
      "y": "1.927016427"
    },
    {
      "turn": "0.000000000",
      "x": "0.633877211",
      "y": "0.098564586"
    },
    {
      "turn": "0.000000000",
      "x": "1.158464008",
      "y": "1.915015569"
    },
    {
      "turn": "0.000000000",
      "x": "1.718209086",
      "y": "0.410209942"
    },
    {
      "turn": "0.000000000",
      "x": "0.418056488",
      "y": "1.783326985"
    },
    {
      "turn": "0.000000000",
      "x": "1.826793702",
      "y": "0.575524484"
    },
    {
      "turn": "0.000000000",
      "x": "1.273154947",
      "y": "0.065889953"
    },
    {
      "turn": "0.000000000",
      "x": "1.781955877",
      "y": "1.502216696"
    },
    {
      "turn": "0.000000000",
      "x": "1.870567755",
      "y": "1.325390646"
    },
    {
      "turn": "0.000000000",
      "x": "0.741250676",
      "y": "1.937912837"
    },
    {
      "turn": "0.000000000",
      "x": "1.591683815",
      "y": "0.226644567"
    },
    {
      "turn": "0.000000000",
      "x": "1.379988090",
      "y": "1.895982286"
    },
    {
      "turn": "0.000000000",
      "x": "1.945370794",
      "y": "0.764615533"
    },
    {
      "turn": "0.000000000",
      "x": "0.021313918",
      "y": "1.057131604"
    },
    {
      "turn": "0.000000000",
      "x": "1.677648781",
      "y": "1.699257100"
    },
    {
      "turn": "0.000000000",
      "x": "1.966337718",
      "y": "1.123786913"
    }
  ],
  "radius": "0.124668477"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看＋

子题参数

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

当前第一名的答案

{
  "placements": [
    {
      "turn": "0.000000000",
      "x": "1.024844259",
      "y": "0.998549696"
    },
    {
      "turn": "0.000000000",
      "x": "0.825188112",
      "y": "1.010204788"
    },
    {
      "turn": "0.000000000",
      "x": "0.901548023",
      "y": "0.806862880"
    },
    {
      "turn": "0.000000000",
      "x": "0.924689237",
      "y": "1.203280662"
    },
    {
      "turn": "0.000000000",
      "x": "1.106284675",
      "y": "0.801683238"
    },
    {
      "turn": "0.000000000",
      "x": "1.128637929",
      "y": "1.184602962"
    },
    {
      "turn": "0.000000000",
      "x": "1.233873456",
      "y": "0.986347445"
    },
    {
      "turn": "0.000000000",
      "x": "0.697025998",
      "y": "0.826563332"
    },
    {
      "turn": "0.000000000",
      "x": "0.719264143",
      "y": "1.207511210"
    },
    {
      "turn": "0.000000000",
      "x": "0.988025855",
      "y": "0.630517930"
    },
    {
      "turn": "0.000000000",
      "x": "0.614897140",
      "y": "1.022480696"
    },
    {
      "turn": "0.000000000",
      "x": "0.766799344",
      "y": "0.624426170"
    },
    {
      "turn": "0.000000000",
      "x": "1.031098324",
      "y": "1.368365680"
    },
    {
      "turn": "0.000000000",
      "x": "1.311441969",
      "y": "0.796327742"
    },
    {
      "turn": "0.000000000",
      "x": "1.333024866",
      "y": "1.166050977"
    },
    {
      "turn": "0.000000000",
      "x": "0.812083263",
      "y": "1.400156904"
    },
    {
      "turn": "0.000000000",
      "x": "1.204419195",
      "y": "0.603587886"
    },
    {
      "turn": "0.000000000",
      "x": "1.249155298",
      "y": "1.369934331"
    },
    {
      "turn": "0.000000000",
      "x": "1.449753413",
      "y": "0.973745275"
    },
    {
      "turn": "0.000000000",
      "x": "0.486556115",
      "y": "0.839163074"
    },
    {
      "turn": "0.000000000",
      "x": "0.564942607",
      "y": "0.643885336"
    },
    {
      "turn": "0.000000000",
      "x": "0.508757796",
      "y": "1.219486302"
    },
    {
      "turn": "0.000000000",
      "x": "0.864560846",
      "y": "0.453342034"
    },
    {
      "turn": "0.000000000",
      "x": "0.609333429",
      "y": "1.404316978"
    },
    {
      "turn": "0.000000000",
      "x": "1.084198966",
      "y": "0.441952052"
    },
    {
      "turn": "0.000000000",
      "x": "0.929087255",
      "y": "1.558703928"
    },
    {
      "turn": "0.000000000",
      "x": "1.403525667",
      "y": "0.603954028"
    },
    {
      "turn": "0.000000000",
      "x": "1.148558803",
      "y": "1.544460522"
    },
    {
      "turn": "0.000000000",
      "x": "0.404211882",
      "y": "1.034779621"
    },
    {
      "turn": "0.000000000",
      "x": "0.641466380",
      "y": "0.438515556"
    },
    {
      "turn": "0.000000000",
      "x": "1.524957302",
      "y": "0.788126641"
    },
    {
      "turn": "0.000000000",
      "x": "1.446866771",
      "y": "1.346403615"
    },
    {
      "turn": "0.000000000",
      "x": "1.546044174",
      "y": "1.149352768"
    },
    {
      "turn": "0.000000000",
      "x": "0.709233256",
      "y": "1.599387887"
    },
    {
      "turn": "0.000000000",
      "x": "1.302950033",
      "y": "0.404065695"
    },
    {
      "turn": "0.000000000",
      "x": "1.370232314",
      "y": "1.556636733"
    },
    {
      "turn": "0.000000000",
      "x": "1.669442622",
      "y": "0.960920737"
    },
    {
      "turn": "0.000000000",
      "x": "0.355493671",
      "y": "0.654666802"
    },
    {
      "turn": "0.000000000",
      "x": "0.400052659",
      "y": "1.417979203"
    },
    {
      "turn": "0.000000000",
      "x": "0.280820619",
      "y": "0.843237541"
    },
    {
      "turn": "0.000000000",
      "x": "0.962315198",
      "y": "0.264651294"
    },
    {
      "turn": "0.000000000",
      "x": "0.441122323",
      "y": "0.458256681"
    },
    {
      "turn": "0.000000000",
      "x": "0.303945637",
      "y": "1.239377891"
    },
    {
      "turn": "0.000000000",
      "x": "0.744371272",
      "y": "0.272571564"
    },
    {
      "turn": "0.000000000",
      "x": "0.507953019",
      "y": "1.603091909"
    },
    {
      "turn": "0.000000000",
      "x": "1.048132764",
      "y": "1.734738798"
    },
    {
      "turn": "0.000000000",
      "x": "1.179523279",
      "y": "0.249391302"
    },
    {
      "turn": "0.000000000",
      "x": "1.616828727",
      "y": "0.595429907"
    },
    {
      "turn": "0.000000000",
      "x": "0.830747620",
      "y": "1.752231220"
    },
    {
      "turn": "0.000000000",
      "x": "1.659712833",
      "y": "1.330050931"
    },
    {
      "turn": "0.000000000",
      "x": "1.500134248",
      "y": "0.410882181"
    },
    {
      "turn": "0.000000000",
      "x": "1.265641075",
      "y": "1.724621863"
    },
    {
      "turn": "0.000000000",
      "x": "0.204349485",
      "y": "1.046446752"
    },
    {
      "turn": "0.000000000",
      "x": "1.740295130",
      "y": "0.775746678"
    },
    {
      "turn": "0.000000000",
      "x": "0.519646492",
      "y": "0.251355469"
    },
    {
      "turn": "0.000000000",
      "x": "1.565284057",
      "y": "1.526923150"
    },
    {
      "turn": "0.000000000",
      "x": "1.761359829",
      "y": "1.136592980"
    },
    {
      "turn": "0.000000000",
      "x": "0.610017845",
      "y": "1.799451090"
    },
    {
      "turn": "0.000000000",
      "x": "1.401746577",
      "y": "0.206649903"
    },
    {
      "turn": "0.000000000",
      "x": "0.141229227",
      "y": "0.662666776"
    },
    {
      "turn": "0.000000000",
      "x": "0.223235313",
      "y": "0.486936581"
    },
    {
      "turn": "0.000000000",
      "x": "1.491328141",
      "y": "1.741216127"
    },
    {
      "turn": "0.000000000",
      "x": "0.186312731",
      "y": "1.434964336"
    },
    {
      "turn": "0.000000000",
      "x": "1.888414010",
      "y": "0.948138102"
    },
    {
      "turn": "0.000000000",
      "x": "0.288208916",
      "y": "1.599959085"
    },
    {
      "turn": "0.000000000",
      "x": "0.855117252",
      "y": "0.083617052"
    },
    {
      "turn": "0.000000000",
      "x": "1.050920909",
      "y": "0.072761414"
    },
    {
      "turn": "0.000000000",
      "x": "0.088778502",
      "y": "0.844252916"
    },
    {
      "turn": "0.000000000",
      "x": "0.330865121",
      "y": "0.289705743"
    },
    {
      "turn": "0.000000000",
      "x": "0.113089790",
      "y": "1.260714500"
    },
    {
      "turn": "0.000000000",
      "x": "0.962727205",
      "y": "1.927016427"
    },
    {
      "turn": "0.000000000",
      "x": "0.633877211",
      "y": "0.098564586"
    },
    {
      "turn": "0.000000000",
      "x": "1.158464008",
      "y": "1.915015569"
    },
    {
      "turn": "0.000000000",
      "x": "1.718209086",
      "y": "0.410209942"
    },
    {
      "turn": "0.000000000",
      "x": "0.418056488",
      "y": "1.783326985"
    },
    {
      "turn": "0.000000000",
      "x": "1.826793702",
      "y": "0.575524484"
    },
    {
      "turn": "0.000000000",
      "x": "1.273154947",
      "y": "0.065889953"
    },
    {
      "turn": "0.000000000",
      "x": "1.781955877",
      "y": "1.502216696"
    },
    {
      "turn": "0.000000000",
      "x": "1.870567755",
      "y": "1.325390646"
    },
    {
      "turn": "0.000000000",
      "x": "0.741250676",
      "y": "1.937912837"
    },
    {
      "turn": "0.000000000",
      "x": "1.591683815",
      "y": "0.226644567"
    },
    {
      "turn": "0.000000000",
      "x": "1.379988090",
      "y": "1.895982286"
    },
    {
      "turn": "0.000000000",
      "x": "1.945370794",
      "y": "0.764615533"
    },
    {
      "turn": "0.000000000",
      "x": "0.021313918",
      "y": "1.057131604"
    },
    {
      "turn": "0.000000000",
      "x": "1.677648781",
      "y": "1.699257100"
    },
    {
      "turn": "0.000000000",
      "x": "1.966337718",
      "y": "1.123786913"
    }
  ],
  "radius": "0.124668477"
}

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

DISCUSSION

讨论区

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

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