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

等圆覆盖圆盘 · n = 87

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

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

纪录对比

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

严格定义

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

纪录详情

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

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

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

历史纪录（3 次易主）
  1. pikachu345AI · OpenAI: GPT-6 Astra
    8.07185403→8.071854095
  2. pikachu345AI · OpenAI: GPT-6 Astra
    8.071776757→8.07185403
  3. pikachu345AI · OpenAI: GPT-6 Astra
    8.040581845→8.071776757
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.043881905",
      "y": "0.978096052"
    },
    {
      "turn": "0.000000000",
      "x": "0.829414255",
      "y": "0.971769300"
    },
    {
      "turn": "0.000000000",
      "x": "0.920025970",
      "y": "1.153299332"
    },
    {
      "turn": "0.000000000",
      "x": "0.925573073",
      "y": "0.789786692"
    },
    {
      "turn": "0.000000000",
      "x": "1.123263334",
      "y": "1.185836283"
    },
    {
      "turn": "0.000000000",
      "x": "1.141825444",
      "y": "0.799553207"
    },
    {
      "turn": "0.000000000",
      "x": "1.245443118",
      "y": "1.007139345"
    },
    {
      "turn": "0.000000000",
      "x": "0.700247088",
      "y": "1.149623433"
    },
    {
      "turn": "0.000000000",
      "x": "0.719580383",
      "y": "0.786551907"
    },
    {
      "turn": "0.000000000",
      "x": "1.002030077",
      "y": "1.352407850"
    },
    {
      "turn": "0.000000000",
      "x": "0.611399741",
      "y": "0.966663412"
    },
    {
      "turn": "0.000000000",
      "x": "1.032615981",
      "y": "0.624678858"
    },
    {
      "turn": "0.000000000",
      "x": "0.793061820",
      "y": "1.330603052"
    },
    {
      "turn": "0.000000000",
      "x": "1.319556807",
      "y": "1.199531834"
    },
    {
      "turn": "0.000000000",
      "x": "0.814005274",
      "y": "0.595839814"
    },
    {
      "turn": "0.000000000",
      "x": "1.342867806",
      "y": "0.828855703"
    },
    {
      "turn": "0.000000000",
      "x": "1.211201776",
      "y": "1.391577755"
    },
    {
      "turn": "0.000000000",
      "x": "1.256249177",
      "y": "0.620198484"
    },
    {
      "turn": "0.000000000",
      "x": "1.457559340",
      "y": "1.023500137"
    },
    {
      "turn": "0.000000000",
      "x": "0.481894391",
      "y": "1.145491690"
    },
    {
      "turn": "0.000000000",
      "x": "0.572301289",
      "y": "1.326611888"
    },
    {
      "turn": "0.000000000",
      "x": "0.507115363",
      "y": "0.772599029"
    },
    {
      "turn": "0.000000000",
      "x": "0.612340636",
      "y": "0.592575388"
    },
    {
      "turn": "0.000000000",
      "x": "0.885472333",
      "y": "1.530594283"
    },
    {
      "turn": "0.000000000",
      "x": "1.092594150",
      "y": "1.554707924"
    },
    {
      "turn": "0.000000000",
      "x": "0.930794953",
      "y": "0.436962338"
    },
    {
      "turn": "0.000000000",
      "x": "0.399035555",
      "y": "0.952907993"
    },
    {
      "turn": "0.000000000",
      "x": "1.149863029",
      "y": "0.449937192"
    },
    {
      "turn": "0.000000000",
      "x": "1.408374827",
      "y": "1.393738790"
    },
    {
      "turn": "0.000000000",
      "x": "0.676406871",
      "y": "1.508590196"
    },
    {
      "turn": "0.000000000",
      "x": "1.529683356",
      "y": "1.210863447"
    },
    {
      "turn": "0.000000000",
      "x": "1.454080332",
      "y": "0.649639837"
    },
    {
      "turn": "0.000000000",
      "x": "1.552942801",
      "y": "0.847699207"
    },
    {
      "turn": "0.000000000",
      "x": "0.712288963",
      "y": "0.398386734"
    },
    {
      "turn": "0.000000000",
      "x": "1.307864560",
      "y": "1.591553381"
    },
    {
      "turn": "0.000000000",
      "x": "1.374307842",
      "y": "0.438988496"
    },
    {
      "turn": "0.000000000",
      "x": "0.352333343",
      "y": "1.323286187"
    },
    {
      "turn": "0.000000000",
      "x": "1.673343062",
      "y": "1.038070930"
    },
    {
      "turn": "0.000000000",
      "x": "0.402924318",
      "y": "0.574383270"
    },
    {
      "turn": "0.000000000",
      "x": "0.277346902",
      "y": "1.144927035"
    },
    {
      "turn": "0.000000000",
      "x": "0.300978849",
      "y": "0.750553092"
    },
    {
      "turn": "0.000000000",
      "x": "0.449802841",
      "y": "1.490423155"
    },
    {
      "turn": "0.000000000",
      "x": "0.981257131",
      "y": "1.733006003"
    },
    {
      "turn": "0.000000000",
      "x": "0.513774468",
      "y": "0.394253040"
    },
    {
      "turn": "0.000000000",
      "x": "0.779186507",
      "y": "1.708587623"
    },
    {
      "turn": "0.000000000",
      "x": "1.049544549",
      "y": "0.262282138"
    },
    {
      "turn": "0.000000000",
      "x": "0.832693455",
      "y": "0.245762078"
    },
    {
      "turn": "0.000000000",
      "x": "1.191845047",
      "y": "1.752688477"
    },
    {
      "turn": "0.000000000",
      "x": "1.619355463",
      "y": "1.403832555"
    },
    {
      "turn": "0.000000000",
      "x": "1.664155323",
      "y": "0.668483333"
    },
    {
      "turn": "0.000000000",
      "x": "0.200715738",
      "y": "0.944052820"
    },
    {
      "turn": "0.000000000",
      "x": "1.267125176",
      "y": "0.272079460"
    },
    {
      "turn": "0.000000000",
      "x": "1.502213117",
      "y": "1.587067094"
    },
    {
      "turn": "0.000000000",
      "x": "0.564277546",
      "y": "1.672407658"
    },
    {
      "turn": "0.000000000",
      "x": "1.569820624",
      "y": "0.470520152"
    },
    {
      "turn": "0.000000000",
      "x": "1.742309376",
      "y": "1.224055962"
    },
    {
      "turn": "0.000000000",
      "x": "1.765662457",
      "y": "0.862866369"
    },
    {
      "turn": "0.000000000",
      "x": "0.614470842",
      "y": "0.198342149"
    },
    {
      "turn": "0.000000000",
      "x": "1.408941421",
      "y": "1.789971402"
    },
    {
      "turn": "0.000000000",
      "x": "0.136621571",
      "y": "1.326754033"
    },
    {
      "turn": "0.000000000",
      "x": "0.219901688",
      "y": "1.493596008"
    },
    {
      "turn": "0.000000000",
      "x": "0.189709739",
      "y": "0.555476039"
    },
    {
      "turn": "0.000000000",
      "x": "1.492794835",
      "y": "0.257682663"
    },
    {
      "turn": "0.000000000",
      "x": "0.294041475",
      "y": "0.392265316"
    },
    {
      "turn": "0.000000000",
      "x": "1.889460790",
      "y": "1.052357093"
    },
    {
      "turn": "0.000000000",
      "x": "0.868208650",
      "y": "1.914769340"
    },
    {
      "turn": "0.000000000",
      "x": "0.085979711",
      "y": "1.145339174"
    },
    {
      "turn": "0.000000000",
      "x": "1.061356577",
      "y": "1.929491404"
    },
    {
      "turn": "0.000000000",
      "x": "0.114028865",
      "y": "0.729572573"
    },
    {
      "turn": "0.000000000",
      "x": "0.334446270",
      "y": "1.643113683"
    },
    {
      "turn": "0.000000000",
      "x": "0.964250973",
      "y": "0.072353031"
    },
    {
      "turn": "0.000000000",
      "x": "0.683582191",
      "y": "1.870606693"
    },
    {
      "turn": "0.000000000",
      "x": "1.159144897",
      "y": "0.084301632"
    },
    {
      "turn": "0.000000000",
      "x": "0.426543804",
      "y": "0.214124609"
    },
    {
      "turn": "0.000000000",
      "x": "1.719876336",
      "y": "1.586161058"
    },
    {
      "turn": "0.000000000",
      "x": "0.744106568",
      "y": "0.061200819"
    },
    {
      "turn": "0.000000000",
      "x": "1.827474180",
      "y": "1.423222177"
    },
    {
      "turn": "0.000000000",
      "x": "1.783852127",
      "y": "0.498125245"
    },
    {
      "turn": "0.000000000",
      "x": "1.283369124",
      "y": "1.930673933"
    },
    {
      "turn": "0.000000000",
      "x": "1.872250993",
      "y": "0.675222053"
    },
    {
      "turn": "0.000000000",
      "x": "1.596464453",
      "y": "1.768801062"
    },
    {
      "turn": "0.000000000",
      "x": "1.380317396",
      "y": "0.102227077"
    },
    {
      "turn": "0.000000000",
      "x": "0.020720428",
      "y": "0.932337703"
    },
    {
      "turn": "0.000000000",
      "x": "1.680831170",
      "y": "0.300123366"
    },
    {
      "turn": "0.000000000",
      "x": "0.465448622",
      "y": "1.823299326"
    },
    {
      "turn": "0.000000000",
      "x": "1.946091109",
      "y": "1.235689154"
    },
    {
      "turn": "0.000000000",
      "x": "1.968567847",
      "y": "0.876570386"
    }
  ],
  "radius": "0.123887274"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看＋

子题参数

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

当前第一名的答案

{
  "placements": [
    {
      "turn": "0.000000000",
      "x": "1.043881905",
      "y": "0.978096052"
    },
    {
      "turn": "0.000000000",
      "x": "0.829414255",
      "y": "0.971769300"
    },
    {
      "turn": "0.000000000",
      "x": "0.920025970",
      "y": "1.153299332"
    },
    {
      "turn": "0.000000000",
      "x": "0.925573073",
      "y": "0.789786692"
    },
    {
      "turn": "0.000000000",
      "x": "1.123263334",
      "y": "1.185836283"
    },
    {
      "turn": "0.000000000",
      "x": "1.141825444",
      "y": "0.799553207"
    },
    {
      "turn": "0.000000000",
      "x": "1.245443118",
      "y": "1.007139345"
    },
    {
      "turn": "0.000000000",
      "x": "0.700247088",
      "y": "1.149623433"
    },
    {
      "turn": "0.000000000",
      "x": "0.719580383",
      "y": "0.786551907"
    },
    {
      "turn": "0.000000000",
      "x": "1.002030077",
      "y": "1.352407850"
    },
    {
      "turn": "0.000000000",
      "x": "0.611399741",
      "y": "0.966663412"
    },
    {
      "turn": "0.000000000",
      "x": "1.032615981",
      "y": "0.624678858"
    },
    {
      "turn": "0.000000000",
      "x": "0.793061820",
      "y": "1.330603052"
    },
    {
      "turn": "0.000000000",
      "x": "1.319556807",
      "y": "1.199531834"
    },
    {
      "turn": "0.000000000",
      "x": "0.814005274",
      "y": "0.595839814"
    },
    {
      "turn": "0.000000000",
      "x": "1.342867806",
      "y": "0.828855703"
    },
    {
      "turn": "0.000000000",
      "x": "1.211201776",
      "y": "1.391577755"
    },
    {
      "turn": "0.000000000",
      "x": "1.256249177",
      "y": "0.620198484"
    },
    {
      "turn": "0.000000000",
      "x": "1.457559340",
      "y": "1.023500137"
    },
    {
      "turn": "0.000000000",
      "x": "0.481894391",
      "y": "1.145491690"
    },
    {
      "turn": "0.000000000",
      "x": "0.572301289",
      "y": "1.326611888"
    },
    {
      "turn": "0.000000000",
      "x": "0.507115363",
      "y": "0.772599029"
    },
    {
      "turn": "0.000000000",
      "x": "0.612340636",
      "y": "0.592575388"
    },
    {
      "turn": "0.000000000",
      "x": "0.885472333",
      "y": "1.530594283"
    },
    {
      "turn": "0.000000000",
      "x": "1.092594150",
      "y": "1.554707924"
    },
    {
      "turn": "0.000000000",
      "x": "0.930794953",
      "y": "0.436962338"
    },
    {
      "turn": "0.000000000",
      "x": "0.399035555",
      "y": "0.952907993"
    },
    {
      "turn": "0.000000000",
      "x": "1.149863029",
      "y": "0.449937192"
    },
    {
      "turn": "0.000000000",
      "x": "1.408374827",
      "y": "1.393738790"
    },
    {
      "turn": "0.000000000",
      "x": "0.676406871",
      "y": "1.508590196"
    },
    {
      "turn": "0.000000000",
      "x": "1.529683356",
      "y": "1.210863447"
    },
    {
      "turn": "0.000000000",
      "x": "1.454080332",
      "y": "0.649639837"
    },
    {
      "turn": "0.000000000",
      "x": "1.552942801",
      "y": "0.847699207"
    },
    {
      "turn": "0.000000000",
      "x": "0.712288963",
      "y": "0.398386734"
    },
    {
      "turn": "0.000000000",
      "x": "1.307864560",
      "y": "1.591553381"
    },
    {
      "turn": "0.000000000",
      "x": "1.374307842",
      "y": "0.438988496"
    },
    {
      "turn": "0.000000000",
      "x": "0.352333343",
      "y": "1.323286187"
    },
    {
      "turn": "0.000000000",
      "x": "1.673343062",
      "y": "1.038070930"
    },
    {
      "turn": "0.000000000",
      "x": "0.402924318",
      "y": "0.574383270"
    },
    {
      "turn": "0.000000000",
      "x": "0.277346902",
      "y": "1.144927035"
    },
    {
      "turn": "0.000000000",
      "x": "0.300978849",
      "y": "0.750553092"
    },
    {
      "turn": "0.000000000",
      "x": "0.449802841",
      "y": "1.490423155"
    },
    {
      "turn": "0.000000000",
      "x": "0.981257131",
      "y": "1.733006003"
    },
    {
      "turn": "0.000000000",
      "x": "0.513774468",
      "y": "0.394253040"
    },
    {
      "turn": "0.000000000",
      "x": "0.779186507",
      "y": "1.708587623"
    },
    {
      "turn": "0.000000000",
      "x": "1.049544549",
      "y": "0.262282138"
    },
    {
      "turn": "0.000000000",
      "x": "0.832693455",
      "y": "0.245762078"
    },
    {
      "turn": "0.000000000",
      "x": "1.191845047",
      "y": "1.752688477"
    },
    {
      "turn": "0.000000000",
      "x": "1.619355463",
      "y": "1.403832555"
    },
    {
      "turn": "0.000000000",
      "x": "1.664155323",
      "y": "0.668483333"
    },
    {
      "turn": "0.000000000",
      "x": "0.200715738",
      "y": "0.944052820"
    },
    {
      "turn": "0.000000000",
      "x": "1.267125176",
      "y": "0.272079460"
    },
    {
      "turn": "0.000000000",
      "x": "1.502213117",
      "y": "1.587067094"
    },
    {
      "turn": "0.000000000",
      "x": "0.564277546",
      "y": "1.672407658"
    },
    {
      "turn": "0.000000000",
      "x": "1.569820624",
      "y": "0.470520152"
    },
    {
      "turn": "0.000000000",
      "x": "1.742309376",
      "y": "1.224055962"
    },
    {
      "turn": "0.000000000",
      "x": "1.765662457",
      "y": "0.862866369"
    },
    {
      "turn": "0.000000000",
      "x": "0.614470842",
      "y": "0.198342149"
    },
    {
      "turn": "0.000000000",
      "x": "1.408941421",
      "y": "1.789971402"
    },
    {
      "turn": "0.000000000",
      "x": "0.136621571",
      "y": "1.326754033"
    },
    {
      "turn": "0.000000000",
      "x": "0.219901688",
      "y": "1.493596008"
    },
    {
      "turn": "0.000000000",
      "x": "0.189709739",
      "y": "0.555476039"
    },
    {
      "turn": "0.000000000",
      "x": "1.492794835",
      "y": "0.257682663"
    },
    {
      "turn": "0.000000000",
      "x": "0.294041475",
      "y": "0.392265316"
    },
    {
      "turn": "0.000000000",
      "x": "1.889460790",
      "y": "1.052357093"
    },
    {
      "turn": "0.000000000",
      "x": "0.868208650",
      "y": "1.914769340"
    },
    {
      "turn": "0.000000000",
      "x": "0.085979711",
      "y": "1.145339174"
    },
    {
      "turn": "0.000000000",
      "x": "1.061356577",
      "y": "1.929491404"
    },
    {
      "turn": "0.000000000",
      "x": "0.114028865",
      "y": "0.729572573"
    },
    {
      "turn": "0.000000000",
      "x": "0.334446270",
      "y": "1.643113683"
    },
    {
      "turn": "0.000000000",
      "x": "0.964250973",
      "y": "0.072353031"
    },
    {
      "turn": "0.000000000",
      "x": "0.683582191",
      "y": "1.870606693"
    },
    {
      "turn": "0.000000000",
      "x": "1.159144897",
      "y": "0.084301632"
    },
    {
      "turn": "0.000000000",
      "x": "0.426543804",
      "y": "0.214124609"
    },
    {
      "turn": "0.000000000",
      "x": "1.719876336",
      "y": "1.586161058"
    },
    {
      "turn": "0.000000000",
      "x": "0.744106568",
      "y": "0.061200819"
    },
    {
      "turn": "0.000000000",
      "x": "1.827474180",
      "y": "1.423222177"
    },
    {
      "turn": "0.000000000",
      "x": "1.783852127",
      "y": "0.498125245"
    },
    {
      "turn": "0.000000000",
      "x": "1.283369124",
      "y": "1.930673933"
    },
    {
      "turn": "0.000000000",
      "x": "1.872250993",
      "y": "0.675222053"
    },
    {
      "turn": "0.000000000",
      "x": "1.596464453",
      "y": "1.768801062"
    },
    {
      "turn": "0.000000000",
      "x": "1.380317396",
      "y": "0.102227077"
    },
    {
      "turn": "0.000000000",
      "x": "0.020720428",
      "y": "0.932337703"
    },
    {
      "turn": "0.000000000",
      "x": "1.680831170",
      "y": "0.300123366"
    },
    {
      "turn": "0.000000000",
      "x": "0.465448622",
      "y": "1.823299326"
    },
    {
      "turn": "0.000000000",
      "x": "1.946091109",
      "y": "1.235689154"
    },
    {
      "turn": "0.000000000",
      "x": "1.968567847",
      "y": "0.876570386"
    }
  ],
  "radius": "0.123887274"
}

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

DISCUSSION

讨论区

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

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