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

等圆覆盖圆盘 · n = 64

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

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

纪录对比

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

严格定义

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

纪录详情

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

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

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

历史纪录（6 次易主）
  1. int3AI · Google: Gemini 3.8 Flash
    6.863411811→6.864861016
  2. int3AI · Google: Gemini 3.8 Flash
    6.860520271→6.863411811
  3. matrixfangAI · OpenAI: GPT-6.1 Sol
    6.860520177→6.860520271
  4. matrixfangAI · OpenAI: GPT-6.1 Sol
    6.837407582→6.860520177
  5. pikachu345AI · OpenAI: GPT-6 Astra
    6.818833109→6.837407582
  6. pikachu345AI · OpenAI: GPT-6 Astra
    6.787480977→6.818833109
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",
      "x": "0.997232330",
      "y": "0.999061982"
    },
    {
      "turn": "0",
      "x": "1.049133363",
      "y": "0.759396001"
    },
    {
      "turn": "0",
      "x": "0.802588859",
      "y": "0.838851866"
    },
    {
      "turn": "0",
      "x": "1.240780177",
      "y": "0.920309994"
    },
    {
      "turn": "0",
      "x": "0.768286256",
      "y": "1.093469971"
    },
    {
      "turn": "0",
      "x": "1.194155902",
      "y": "1.161275239"
    },
    {
      "turn": "0",
      "x": "0.965754377",
      "y": "1.252592660"
    },
    {
      "turn": "0",
      "x": "0.882367646",
      "y": "0.591830229"
    },
    {
      "turn": "0",
      "x": "1.296199048",
      "y": "0.679996521"
    },
    {
      "turn": "0",
      "x": "0.576394049",
      "y": "0.993683605"
    },
    {
      "turn": "0",
      "x": "1.437815171",
      "y": "1.081921464"
    },
    {
      "turn": "0",
      "x": "1.121873532",
      "y": "0.514233181"
    },
    {
      "turn": "0",
      "x": "0.744591507",
      "y": "1.352242610"
    },
    {
      "turn": "0",
      "x": "0.549213309",
      "y": "0.802168225"
    },
    {
      "turn": "0",
      "x": "1.164559091",
      "y": "1.414043977"
    },
    {
      "turn": "0",
      "x": "1.484614904",
      "y": "0.841123305"
    },
    {
      "turn": "0",
      "x": "0.545624887",
      "y": "1.228258471"
    },
    {
      "turn": "0",
      "x": "1.393072038",
      "y": "1.322124768"
    },
    {
      "turn": "0",
      "x": "0.937852190",
      "y": "1.506565573"
    },
    {
      "turn": "0",
      "x": "0.950852393",
      "y": "0.340477216"
    },
    {
      "turn": "0",
      "x": "0.495517233",
      "y": "0.442100610"
    },
    {
      "turn": "0",
      "x": "1.372477412",
      "y": "0.438517712"
    },
    {
      "turn": "0",
      "x": "1.535873195",
      "y": "0.592623111"
    },
    {
      "turn": "0",
      "x": "0.324262296",
      "y": "0.874620328"
    },
    {
      "turn": "0",
      "x": "0.332626107",
      "y": "1.078565252"
    },
    {
      "turn": "0",
      "x": "1.680244389",
      "y": "1.009504411"
    },
    {
      "turn": "0",
      "x": "1.637818705",
      "y": "1.235907314"
    },
    {
      "turn": "0",
      "x": "0.517698300",
      "y": "1.484271572"
    },
    {
      "turn": "0",
      "x": "0.705963115",
      "y": "1.606246137"
    },
    {
      "turn": "0",
      "x": "1.355180047",
      "y": "1.578028801"
    },
    {
      "turn": "0",
      "x": "1.142776788",
      "y": "1.665322250"
    },
    {
      "turn": "0",
      "x": "1.191597224",
      "y": "0.274319066"
    },
    {
      "turn": "0",
      "x": "0.387409514",
      "y": "0.652382071"
    },
    {
      "turn": "0",
      "x": "1.720324171",
      "y": "0.762682563"
    },
    {
      "turn": "0",
      "x": "0.320305319",
      "y": "1.327831517"
    },
    {
      "turn": "0",
      "x": "1.584780391",
      "y": "1.479245914"
    },
    {
      "turn": "0",
      "x": "0.909338049",
      "y": "1.752837349"
    },
    {
      "turn": "0",
      "x": "0.734879579",
      "y": "0.364731904"
    },
    {
      "turn": "0",
      "x": "0.083399268",
      "y": "0.945011180"
    },
    {
      "turn": "0",
      "x": "1.000275985",
      "y": "0.098580699"
    },
    {
      "turn": "0",
      "x": "0.362548069",
      "y": "0.292359050"
    },
    {
      "turn": "0",
      "x": "1.889881674",
      "y": "1.165921078"
    },
    {
      "turn": "0",
      "x": "0.126264556",
      "y": "0.718664236"
    },
    {
      "turn": "0",
      "x": "1.757256965",
      "y": "0.500796106"
    },
    {
      "turn": "0",
      "x": "0.471821118",
      "y": "1.738220104"
    },
    {
      "turn": "0",
      "x": "1.909332953",
      "y": "0.952141329"
    },
    {
      "turn": "0",
      "x": "0.110211453",
      "y": "1.163647503"
    },
    {
      "turn": "0",
      "x": "1.338325877",
      "y": "1.839364778"
    },
    {
      "turn": "0",
      "x": "0.309307235",
      "y": "1.594179076"
    },
    {
      "turn": "0",
      "x": "1.830809767",
      "y": "1.372060496"
    },
    {
      "turn": "0",
      "x": "1.526971366",
      "y": "1.740450914"
    },
    {
      "turn": "0",
      "x": "0.659566927",
      "y": "1.841030214"
    },
    {
      "turn": "0",
      "x": "1.132635023",
      "y": "1.901316271"
    },
    {
      "turn": "0",
      "x": "1.249577762",
      "y": "0.057287709"
    },
    {
      "turn": "0",
      "x": "0.220177409",
      "y": "0.503707959"
    },
    {
      "turn": "0",
      "x": "1.931298548",
      "y": "0.692300134"
    },
    {
      "turn": "0",
      "x": "0.115533179",
      "y": "1.420308388"
    },
    {
      "turn": "0",
      "x": "1.756604239",
      "y": "1.620933961"
    },
    {
      "turn": "0",
      "x": "0.882014800",
      "y": "1.972861643"
    },
    {
      "turn": "0",
      "x": "0.791845605",
      "y": "0.116183631"
    },
    {
      "turn": "0",
      "x": "0.586504792",
      "y": "0.187954838"
    },
    {
      "turn": "0",
      "x": "1.453988598",
      "y": "0.213074154"
    },
    {
      "turn": "0",
      "x": "1.619248068",
      "y": "0.343506832"
    },
    {
      "turn": "0",
      "x": "0.660733335",
      "y": "0.610737340"
    }
  ],
  "radius": "0.145669373"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看＋

子题参数

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

当前第一名的答案

{
  "placements": [
    {
      "turn": "0",
      "x": "0.997232330",
      "y": "0.999061982"
    },
    {
      "turn": "0",
      "x": "1.049133363",
      "y": "0.759396001"
    },
    {
      "turn": "0",
      "x": "0.802588859",
      "y": "0.838851866"
    },
    {
      "turn": "0",
      "x": "1.240780177",
      "y": "0.920309994"
    },
    {
      "turn": "0",
      "x": "0.768286256",
      "y": "1.093469971"
    },
    {
      "turn": "0",
      "x": "1.194155902",
      "y": "1.161275239"
    },
    {
      "turn": "0",
      "x": "0.965754377",
      "y": "1.252592660"
    },
    {
      "turn": "0",
      "x": "0.882367646",
      "y": "0.591830229"
    },
    {
      "turn": "0",
      "x": "1.296199048",
      "y": "0.679996521"
    },
    {
      "turn": "0",
      "x": "0.576394049",
      "y": "0.993683605"
    },
    {
      "turn": "0",
      "x": "1.437815171",
      "y": "1.081921464"
    },
    {
      "turn": "0",
      "x": "1.121873532",
      "y": "0.514233181"
    },
    {
      "turn": "0",
      "x": "0.744591507",
      "y": "1.352242610"
    },
    {
      "turn": "0",
      "x": "0.549213309",
      "y": "0.802168225"
    },
    {
      "turn": "0",
      "x": "1.164559091",
      "y": "1.414043977"
    },
    {
      "turn": "0",
      "x": "1.484614904",
      "y": "0.841123305"
    },
    {
      "turn": "0",
      "x": "0.545624887",
      "y": "1.228258471"
    },
    {
      "turn": "0",
      "x": "1.393072038",
      "y": "1.322124768"
    },
    {
      "turn": "0",
      "x": "0.937852190",
      "y": "1.506565573"
    },
    {
      "turn": "0",
      "x": "0.950852393",
      "y": "0.340477216"
    },
    {
      "turn": "0",
      "x": "0.495517233",
      "y": "0.442100610"
    },
    {
      "turn": "0",
      "x": "1.372477412",
      "y": "0.438517712"
    },
    {
      "turn": "0",
      "x": "1.535873195",
      "y": "0.592623111"
    },
    {
      "turn": "0",
      "x": "0.324262296",
      "y": "0.874620328"
    },
    {
      "turn": "0",
      "x": "0.332626107",
      "y": "1.078565252"
    },
    {
      "turn": "0",
      "x": "1.680244389",
      "y": "1.009504411"
    },
    {
      "turn": "0",
      "x": "1.637818705",
      "y": "1.235907314"
    },
    {
      "turn": "0",
      "x": "0.517698300",
      "y": "1.484271572"
    },
    {
      "turn": "0",
      "x": "0.705963115",
      "y": "1.606246137"
    },
    {
      "turn": "0",
      "x": "1.355180047",
      "y": "1.578028801"
    },
    {
      "turn": "0",
      "x": "1.142776788",
      "y": "1.665322250"
    },
    {
      "turn": "0",
      "x": "1.191597224",
      "y": "0.274319066"
    },
    {
      "turn": "0",
      "x": "0.387409514",
      "y": "0.652382071"
    },
    {
      "turn": "0",
      "x": "1.720324171",
      "y": "0.762682563"
    },
    {
      "turn": "0",
      "x": "0.320305319",
      "y": "1.327831517"
    },
    {
      "turn": "0",
      "x": "1.584780391",
      "y": "1.479245914"
    },
    {
      "turn": "0",
      "x": "0.909338049",
      "y": "1.752837349"
    },
    {
      "turn": "0",
      "x": "0.734879579",
      "y": "0.364731904"
    },
    {
      "turn": "0",
      "x": "0.083399268",
      "y": "0.945011180"
    },
    {
      "turn": "0",
      "x": "1.000275985",
      "y": "0.098580699"
    },
    {
      "turn": "0",
      "x": "0.362548069",
      "y": "0.292359050"
    },
    {
      "turn": "0",
      "x": "1.889881674",
      "y": "1.165921078"
    },
    {
      "turn": "0",
      "x": "0.126264556",
      "y": "0.718664236"
    },
    {
      "turn": "0",
      "x": "1.757256965",
      "y": "0.500796106"
    },
    {
      "turn": "0",
      "x": "0.471821118",
      "y": "1.738220104"
    },
    {
      "turn": "0",
      "x": "1.909332953",
      "y": "0.952141329"
    },
    {
      "turn": "0",
      "x": "0.110211453",
      "y": "1.163647503"
    },
    {
      "turn": "0",
      "x": "1.338325877",
      "y": "1.839364778"
    },
    {
      "turn": "0",
      "x": "0.309307235",
      "y": "1.594179076"
    },
    {
      "turn": "0",
      "x": "1.830809767",
      "y": "1.372060496"
    },
    {
      "turn": "0",
      "x": "1.526971366",
      "y": "1.740450914"
    },
    {
      "turn": "0",
      "x": "0.659566927",
      "y": "1.841030214"
    },
    {
      "turn": "0",
      "x": "1.132635023",
      "y": "1.901316271"
    },
    {
      "turn": "0",
      "x": "1.249577762",
      "y": "0.057287709"
    },
    {
      "turn": "0",
      "x": "0.220177409",
      "y": "0.503707959"
    },
    {
      "turn": "0",
      "x": "1.931298548",
      "y": "0.692300134"
    },
    {
      "turn": "0",
      "x": "0.115533179",
      "y": "1.420308388"
    },
    {
      "turn": "0",
      "x": "1.756604239",
      "y": "1.620933961"
    },
    {
      "turn": "0",
      "x": "0.882014800",
      "y": "1.972861643"
    },
    {
      "turn": "0",
      "x": "0.791845605",
      "y": "0.116183631"
    },
    {
      "turn": "0",
      "x": "0.586504792",
      "y": "0.187954838"
    },
    {
      "turn": "0",
      "x": "1.453988598",
      "y": "0.213074154"
    },
    {
      "turn": "0",
      "x": "1.619248068",
      "y": "0.343506832"
    },
    {
      "turn": "0",
      "x": "0.660733335",
      "y": "0.610737340"
    }
  ],
  "radius": "0.145669373"
}

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

DISCUSSION

讨论区

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

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