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

等圆覆盖圆盘 · n = 65

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

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

纪录对比

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

严格定义

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

纪录详情

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

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

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

历史纪录(7 次易主)
  1. int3AI · Google: Gemini 3.8 Flash
    6.916577601→6.917074014
  2. matrixfangAI · OpenAI: GPT-6.1 Sol
    6.914348063→6.916577601
  3. matrixfangAI · OpenAI: GPT-6.1 Sol
    6.914067345→6.914348063
  4. matrixfangAI · OpenAI: GPT-6.1 Sol
    6.8859192→6.914067345
  5. pikachu345AI · OpenAI: GPT-6 Astra
    6.885919152→6.8859192
  6. pikachu345AI · OpenAI: GPT-6 Astra
    6.885918962→6.885919152
  7. pikachu345AI · OpenAI: GPT-6 Astra
    6.861515877→6.885918962
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": "1.979986511",
      "y": "1.023978960"
    },
    {
      "turn": "0",
      "x": "1.872719767",
      "y": "1.258618576"
    },
    {
      "turn": "0",
      "x": "1.880946159",
      "y": "0.788347782"
    },
    {
      "turn": "0",
      "x": "1.784567730",
      "y": "1.450636319"
    },
    {
      "turn": "0",
      "x": "1.757914245",
      "y": "1.019282682"
    },
    {
      "turn": "0",
      "x": "1.510576887",
      "y": "1.013833614"
    },
    {
      "turn": "0",
      "x": "1.256492644",
      "y": "1.006407049"
    },
    {
      "turn": "0",
      "x": "1.638323660",
      "y": "1.235823221"
    },
    {
      "turn": "0",
      "x": "1.387248021",
      "y": "1.223445292"
    },
    {
      "turn": "0",
      "x": "1.641040602",
      "y": "0.800739458"
    },
    {
      "turn": "0",
      "x": "1.512784736",
      "y": "1.833526056"
    },
    {
      "turn": "0",
      "x": "1.259656707",
      "y": "1.869530754"
    },
    {
      "turn": "0",
      "x": "1.663311041",
      "y": "1.624413765"
    },
    {
      "turn": "0",
      "x": "1.053719087",
      "y": "1.902783341"
    },
    {
      "turn": "0",
      "x": "1.397697399",
      "y": "1.644792336"
    },
    {
      "turn": "0",
      "x": "1.268416940",
      "y": "1.433920065"
    },
    {
      "turn": "0",
      "x": "1.133711547",
      "y": "1.217092558"
    },
    {
      "turn": "0",
      "x": "1.149727583",
      "y": "1.659849834"
    },
    {
      "turn": "0",
      "x": "1.023886254",
      "y": "1.442700424"
    },
    {
      "turn": "0",
      "x": "1.525392544",
      "y": "1.433995661"
    },
    {
      "turn": "0",
      "x": "0.585545971",
      "y": "1.884808965"
    },
    {
      "turn": "0",
      "x": "0.417716290",
      "y": "1.694079196"
    },
    {
      "turn": "0",
      "x": "0.842204517",
      "y": "1.897238978"
    },
    {
      "turn": "0",
      "x": "0.274297802",
      "y": "1.542410713"
    },
    {
      "turn": "0",
      "x": "0.680237272",
      "y": "1.685022846"
    },
    {
      "turn": "0",
      "x": "0.785524655",
      "y": "1.460154851"
    },
    {
      "turn": "0",
      "x": "0.889087090",
      "y": "1.226034687"
    },
    {
      "turn": "0",
      "x": "0.536181734",
      "y": "1.484994299"
    },
    {
      "turn": "0",
      "x": "0.657189229",
      "y": "1.256268873"
    },
    {
      "turn": "0",
      "x": "0.925092892",
      "y": "1.676421281"
    },
    {
      "turn": "0",
      "x": "0.038391916",
      "y": "1.149294943"
    },
    {
      "turn": "0",
      "x": "0.111096633",
      "y": "0.917334393"
    },
    {
      "turn": "0",
      "x": "0.171353941",
      "y": "1.362391449"
    },
    {
      "turn": "0",
      "x": "0.149843566",
      "y": "0.744342985"
    },
    {
      "turn": "0",
      "x": "0.262006037",
      "y": "1.110177728"
    },
    {
      "turn": "0",
      "x": "0.509182646",
      "y": "1.086185996"
    },
    {
      "turn": "0",
      "x": "0.756420817",
      "y": "1.012392759"
    },
    {
      "turn": "0",
      "x": "0.363528115",
      "y": "0.880686018"
    },
    {
      "turn": "0",
      "x": "0.605656606",
      "y": "0.850227857"
    },
    {
      "turn": "0",
      "x": "0.398473827",
      "y": "1.316335479"
    },
    {
      "turn": "0",
      "x": "0.354706470",
      "y": "0.396797191"
    },
    {
      "turn": "0",
      "x": "0.186047385",
      "y": "0.528700911"
    },
    {
      "turn": "0",
      "x": "0.478922354",
      "y": "0.248601102"
    },
    {
      "turn": "0",
      "x": "0.655391177",
      "y": "0.678688460"
    },
    {
      "turn": "0",
      "x": "0.868630515",
      "y": "0.786644719"
    },
    {
      "turn": "0",
      "x": "0.564325315",
      "y": "0.463034620"
    },
    {
      "turn": "0",
      "x": "0.405485401",
      "y": "0.661719693"
    },
    {
      "turn": "0",
      "x": "0.677887719",
      "y": "0.098241902"
    },
    {
      "turn": "0",
      "x": "0.921170278",
      "y": "0.098569293"
    },
    {
      "turn": "0",
      "x": "1.128260950",
      "y": "0.103821416"
    },
    {
      "turn": "0",
      "x": "0.746104975",
      "y": "0.306784703"
    },
    {
      "turn": "0",
      "x": "0.830584190",
      "y": "0.522719774"
    },
    {
      "turn": "0",
      "x": "0.988627711",
      "y": "0.318441802"
    },
    {
      "turn": "0",
      "x": "1.035355682",
      "y": "0.584335726"
    },
    {
      "turn": "0",
      "x": "1.563650867",
      "y": "0.208742075"
    },
    {
      "turn": "0",
      "x": "1.699778745",
      "y": "0.421457836"
    },
    {
      "turn": "0",
      "x": "1.321717862",
      "y": "0.160692832"
    },
    {
      "turn": "0",
      "x": "1.806535064",
      "y": "0.597874709"
    },
    {
      "turn": "0",
      "x": "1.433155434",
      "y": "0.391849705"
    },
    {
      "turn": "0",
      "x": "1.282916328",
      "y": "0.592077012"
    },
    {
      "turn": "0",
      "x": "1.125994018",
      "y": "0.793459184"
    },
    {
      "turn": "0",
      "x": "1.543266091",
      "y": "0.603799109"
    },
    {
      "turn": "0",
      "x": "1.385345050",
      "y": "0.802893293"
    },
    {
      "turn": "0",
      "x": "1.189087450",
      "y": "0.371744556"
    },
    {
      "turn": "0",
      "x": "1.002862400",
      "y": "1.000216085"
    }
  ],
  "radius": "0.144569799"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

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

当前第一名的答案

{
  "placements": [
    {
      "turn": "0",
      "x": "1.979986511",
      "y": "1.023978960"
    },
    {
      "turn": "0",
      "x": "1.872719767",
      "y": "1.258618576"
    },
    {
      "turn": "0",
      "x": "1.880946159",
      "y": "0.788347782"
    },
    {
      "turn": "0",
      "x": "1.784567730",
      "y": "1.450636319"
    },
    {
      "turn": "0",
      "x": "1.757914245",
      "y": "1.019282682"
    },
    {
      "turn": "0",
      "x": "1.510576887",
      "y": "1.013833614"
    },
    {
      "turn": "0",
      "x": "1.256492644",
      "y": "1.006407049"
    },
    {
      "turn": "0",
      "x": "1.638323660",
      "y": "1.235823221"
    },
    {
      "turn": "0",
      "x": "1.387248021",
      "y": "1.223445292"
    },
    {
      "turn": "0",
      "x": "1.641040602",
      "y": "0.800739458"
    },
    {
      "turn": "0",
      "x": "1.512784736",
      "y": "1.833526056"
    },
    {
      "turn": "0",
      "x": "1.259656707",
      "y": "1.869530754"
    },
    {
      "turn": "0",
      "x": "1.663311041",
      "y": "1.624413765"
    },
    {
      "turn": "0",
      "x": "1.053719087",
      "y": "1.902783341"
    },
    {
      "turn": "0",
      "x": "1.397697399",
      "y": "1.644792336"
    },
    {
      "turn": "0",
      "x": "1.268416940",
      "y": "1.433920065"
    },
    {
      "turn": "0",
      "x": "1.133711547",
      "y": "1.217092558"
    },
    {
      "turn": "0",
      "x": "1.149727583",
      "y": "1.659849834"
    },
    {
      "turn": "0",
      "x": "1.023886254",
      "y": "1.442700424"
    },
    {
      "turn": "0",
      "x": "1.525392544",
      "y": "1.433995661"
    },
    {
      "turn": "0",
      "x": "0.585545971",
      "y": "1.884808965"
    },
    {
      "turn": "0",
      "x": "0.417716290",
      "y": "1.694079196"
    },
    {
      "turn": "0",
      "x": "0.842204517",
      "y": "1.897238978"
    },
    {
      "turn": "0",
      "x": "0.274297802",
      "y": "1.542410713"
    },
    {
      "turn": "0",
      "x": "0.680237272",
      "y": "1.685022846"
    },
    {
      "turn": "0",
      "x": "0.785524655",
      "y": "1.460154851"
    },
    {
      "turn": "0",
      "x": "0.889087090",
      "y": "1.226034687"
    },
    {
      "turn": "0",
      "x": "0.536181734",
      "y": "1.484994299"
    },
    {
      "turn": "0",
      "x": "0.657189229",
      "y": "1.256268873"
    },
    {
      "turn": "0",
      "x": "0.925092892",
      "y": "1.676421281"
    },
    {
      "turn": "0",
      "x": "0.038391916",
      "y": "1.149294943"
    },
    {
      "turn": "0",
      "x": "0.111096633",
      "y": "0.917334393"
    },
    {
      "turn": "0",
      "x": "0.171353941",
      "y": "1.362391449"
    },
    {
      "turn": "0",
      "x": "0.149843566",
      "y": "0.744342985"
    },
    {
      "turn": "0",
      "x": "0.262006037",
      "y": "1.110177728"
    },
    {
      "turn": "0",
      "x": "0.509182646",
      "y": "1.086185996"
    },
    {
      "turn": "0",
      "x": "0.756420817",
      "y": "1.012392759"
    },
    {
      "turn": "0",
      "x": "0.363528115",
      "y": "0.880686018"
    },
    {
      "turn": "0",
      "x": "0.605656606",
      "y": "0.850227857"
    },
    {
      "turn": "0",
      "x": "0.398473827",
      "y": "1.316335479"
    },
    {
      "turn": "0",
      "x": "0.354706470",
      "y": "0.396797191"
    },
    {
      "turn": "0",
      "x": "0.186047385",
      "y": "0.528700911"
    },
    {
      "turn": "0",
      "x": "0.478922354",
      "y": "0.248601102"
    },
    {
      "turn": "0",
      "x": "0.655391177",
      "y": "0.678688460"
    },
    {
      "turn": "0",
      "x": "0.868630515",
      "y": "0.786644719"
    },
    {
      "turn": "0",
      "x": "0.564325315",
      "y": "0.463034620"
    },
    {
      "turn": "0",
      "x": "0.405485401",
      "y": "0.661719693"
    },
    {
      "turn": "0",
      "x": "0.677887719",
      "y": "0.098241902"
    },
    {
      "turn": "0",
      "x": "0.921170278",
      "y": "0.098569293"
    },
    {
      "turn": "0",
      "x": "1.128260950",
      "y": "0.103821416"
    },
    {
      "turn": "0",
      "x": "0.746104975",
      "y": "0.306784703"
    },
    {
      "turn": "0",
      "x": "0.830584190",
      "y": "0.522719774"
    },
    {
      "turn": "0",
      "x": "0.988627711",
      "y": "0.318441802"
    },
    {
      "turn": "0",
      "x": "1.035355682",
      "y": "0.584335726"
    },
    {
      "turn": "0",
      "x": "1.563650867",
      "y": "0.208742075"
    },
    {
      "turn": "0",
      "x": "1.699778745",
      "y": "0.421457836"
    },
    {
      "turn": "0",
      "x": "1.321717862",
      "y": "0.160692832"
    },
    {
      "turn": "0",
      "x": "1.806535064",
      "y": "0.597874709"
    },
    {
      "turn": "0",
      "x": "1.433155434",
      "y": "0.391849705"
    },
    {
      "turn": "0",
      "x": "1.282916328",
      "y": "0.592077012"
    },
    {
      "turn": "0",
      "x": "1.125994018",
      "y": "0.793459184"
    },
    {
      "turn": "0",
      "x": "1.543266091",
      "y": "0.603799109"
    },
    {
      "turn": "0",
      "x": "1.385345050",
      "y": "0.802893293"
    },
    {
      "turn": "0",
      "x": "1.189087450",
      "y": "0.371744556"
    },
    {
      "turn": "0",
      "x": "1.002862400",
      "y": "1.000216085"
    }
  ],
  "radius": "0.144569799"
}

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

DISCUSSION

讨论区

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

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