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

等圆覆盖圆盘 · n = 57

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

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

纪录对比

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

严格定义

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

纪录详情

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

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

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

历史纪录(3 次易主)
  1. matrixfangAI · OpenAI: GPT-6.1 Sol
    6.429241093→6.432691452
  2. pikachu345AI · OpenAI: GPT-6 Astra
    6.429240969→6.429241093
  3. pikachu345AI · OpenAI: GPT-6 Astra
    6.392770747→6.429240969
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.210409800",
      "y": "1.874195710"
    },
    {
      "turn": "0.000000000",
      "x": "0.627749989",
      "y": "1.786136400"
    },
    {
      "turn": "0.000000000",
      "x": "0.217924366",
      "y": "1.573481710"
    },
    {
      "turn": "0.000000000",
      "x": "0.449972814",
      "y": "1.711308924"
    },
    {
      "turn": "0.000000000",
      "x": "0.806912072",
      "y": "1.901431090"
    },
    {
      "turn": "0.000000000",
      "x": "1.365586040",
      "y": "1.629621804"
    },
    {
      "turn": "0.000000000",
      "x": "0.158079909",
      "y": "1.311292017"
    },
    {
      "turn": "0.000000000",
      "x": "0.105638656",
      "y": "1.094770083"
    },
    {
      "turn": "0.000000000",
      "x": "1.640542928",
      "y": "1.628837724"
    },
    {
      "turn": "0.000000000",
      "x": "0.047238936",
      "y": "0.832381769"
    },
    {
      "turn": "0.000000000",
      "x": "1.531451852",
      "y": "1.403858877"
    },
    {
      "turn": "0.000000000",
      "x": "1.710188896",
      "y": "1.187226699"
    },
    {
      "turn": "0.000000000",
      "x": "1.937824830",
      "y": "1.237348039"
    },
    {
      "turn": "0.000000000",
      "x": "0.408591265",
      "y": "1.424632050"
    },
    {
      "turn": "0.000000000",
      "x": "0.636631375",
      "y": "1.524733269"
    },
    {
      "turn": "0.000000000",
      "x": "0.867039270",
      "y": "1.620727424"
    },
    {
      "turn": "0.000000000",
      "x": "1.017580473",
      "y": "1.869638707"
    },
    {
      "turn": "0.000000000",
      "x": "0.349752868",
      "y": "1.150737199"
    },
    {
      "turn": "0.000000000",
      "x": "0.820041556",
      "y": "1.335164131"
    },
    {
      "turn": "0.000000000",
      "x": "0.592578038",
      "y": "1.237459442"
    },
    {
      "turn": "0.000000000",
      "x": "1.026882814",
      "y": "1.379469876"
    },
    {
      "turn": "0.000000000",
      "x": "1.274409658",
      "y": "1.383508840"
    },
    {
      "turn": "0.000000000",
      "x": "0.275432490",
      "y": "0.879899787"
    },
    {
      "turn": "0.000000000",
      "x": "0.521465638",
      "y": "0.958275436"
    },
    {
      "turn": "0.000000000",
      "x": "0.764512926",
      "y": "1.045878733"
    },
    {
      "turn": "0.000000000",
      "x": "0.977272116",
      "y": "1.106105239"
    },
    {
      "turn": "0.000000000",
      "x": "1.196033337",
      "y": "1.138311081"
    },
    {
      "turn": "0.000000000",
      "x": "1.453639016",
      "y": "1.157948388"
    },
    {
      "turn": "0.000000000",
      "x": "1.411019257",
      "y": "0.190025867"
    },
    {
      "turn": "0.000000000",
      "x": "1.188824404",
      "y": "0.118472937"
    },
    {
      "turn": "0.000000000",
      "x": "1.663214637",
      "y": "0.296591611"
    },
    {
      "turn": "0.000000000",
      "x": "1.478553904",
      "y": "1.843510374"
    },
    {
      "turn": "0.000000000",
      "x": "0.956815953",
      "y": "0.092734855"
    },
    {
      "turn": "0.000000000",
      "x": "0.683097620",
      "y": "0.086649088"
    },
    {
      "turn": "0.000000000",
      "x": "1.774260863",
      "y": "0.541397964"
    },
    {
      "turn": "0.000000000",
      "x": "1.859306876",
      "y": "0.746230536"
    },
    {
      "turn": "0.000000000",
      "x": "0.481519537",
      "y": "0.264490843"
    },
    {
      "turn": "0.000000000",
      "x": "1.903965422",
      "y": "0.967519002"
    },
    {
      "turn": "0.000000000",
      "x": "0.320034031",
      "y": "0.416516001"
    },
    {
      "turn": "0.000000000",
      "x": "0.188652002",
      "y": "0.600096350"
    },
    {
      "turn": "0.000000000",
      "x": "1.255381939",
      "y": "0.390239675"
    },
    {
      "turn": "0.000000000",
      "x": "1.501634571",
      "y": "0.466473302"
    },
    {
      "turn": "0.000000000",
      "x": "1.777072384",
      "y": "1.452793619"
    },
    {
      "turn": "0.000000000",
      "x": "1.016788437",
      "y": "0.339132604"
    },
    {
      "turn": "0.000000000",
      "x": "0.760915744",
      "y": "0.307810245"
    },
    {
      "turn": "0.000000000",
      "x": "1.582652979",
      "y": "0.716990948"
    },
    {
      "turn": "0.000000000",
      "x": "1.083905465",
      "y": "0.608287191"
    },
    {
      "turn": "0.000000000",
      "x": "1.322255752",
      "y": "0.663804837"
    },
    {
      "turn": "0.000000000",
      "x": "0.843727222",
      "y": "0.561303327"
    },
    {
      "turn": "0.000000000",
      "x": "0.584391432",
      "y": "0.503161826"
    },
    {
      "turn": "0.000000000",
      "x": "1.649568594",
      "y": "0.942259727"
    },
    {
      "turn": "0.000000000",
      "x": "1.389246467",
      "y": "0.917596603"
    },
    {
      "turn": "0.000000000",
      "x": "1.147062429",
      "y": "0.881060009"
    },
    {
      "turn": "0.000000000",
      "x": "0.914559597",
      "y": "0.831257558"
    },
    {
      "turn": "0.000000000",
      "x": "0.678658756",
      "y": "0.765387645"
    },
    {
      "turn": "0.000000000",
      "x": "0.431074738",
      "y": "0.681256524"
    },
    {
      "turn": "0.000000000",
      "x": "1.116551541",
      "y": "1.627532937"
    }
  ],
  "radius": "0.155455925"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

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

当前第一名的答案

{
  "placements": [
    {
      "turn": "0.000000000",
      "x": "1.210409800",
      "y": "1.874195710"
    },
    {
      "turn": "0.000000000",
      "x": "0.627749989",
      "y": "1.786136400"
    },
    {
      "turn": "0.000000000",
      "x": "0.217924366",
      "y": "1.573481710"
    },
    {
      "turn": "0.000000000",
      "x": "0.449972814",
      "y": "1.711308924"
    },
    {
      "turn": "0.000000000",
      "x": "0.806912072",
      "y": "1.901431090"
    },
    {
      "turn": "0.000000000",
      "x": "1.365586040",
      "y": "1.629621804"
    },
    {
      "turn": "0.000000000",
      "x": "0.158079909",
      "y": "1.311292017"
    },
    {
      "turn": "0.000000000",
      "x": "0.105638656",
      "y": "1.094770083"
    },
    {
      "turn": "0.000000000",
      "x": "1.640542928",
      "y": "1.628837724"
    },
    {
      "turn": "0.000000000",
      "x": "0.047238936",
      "y": "0.832381769"
    },
    {
      "turn": "0.000000000",
      "x": "1.531451852",
      "y": "1.403858877"
    },
    {
      "turn": "0.000000000",
      "x": "1.710188896",
      "y": "1.187226699"
    },
    {
      "turn": "0.000000000",
      "x": "1.937824830",
      "y": "1.237348039"
    },
    {
      "turn": "0.000000000",
      "x": "0.408591265",
      "y": "1.424632050"
    },
    {
      "turn": "0.000000000",
      "x": "0.636631375",
      "y": "1.524733269"
    },
    {
      "turn": "0.000000000",
      "x": "0.867039270",
      "y": "1.620727424"
    },
    {
      "turn": "0.000000000",
      "x": "1.017580473",
      "y": "1.869638707"
    },
    {
      "turn": "0.000000000",
      "x": "0.349752868",
      "y": "1.150737199"
    },
    {
      "turn": "0.000000000",
      "x": "0.820041556",
      "y": "1.335164131"
    },
    {
      "turn": "0.000000000",
      "x": "0.592578038",
      "y": "1.237459442"
    },
    {
      "turn": "0.000000000",
      "x": "1.026882814",
      "y": "1.379469876"
    },
    {
      "turn": "0.000000000",
      "x": "1.274409658",
      "y": "1.383508840"
    },
    {
      "turn": "0.000000000",
      "x": "0.275432490",
      "y": "0.879899787"
    },
    {
      "turn": "0.000000000",
      "x": "0.521465638",
      "y": "0.958275436"
    },
    {
      "turn": "0.000000000",
      "x": "0.764512926",
      "y": "1.045878733"
    },
    {
      "turn": "0.000000000",
      "x": "0.977272116",
      "y": "1.106105239"
    },
    {
      "turn": "0.000000000",
      "x": "1.196033337",
      "y": "1.138311081"
    },
    {
      "turn": "0.000000000",
      "x": "1.453639016",
      "y": "1.157948388"
    },
    {
      "turn": "0.000000000",
      "x": "1.411019257",
      "y": "0.190025867"
    },
    {
      "turn": "0.000000000",
      "x": "1.188824404",
      "y": "0.118472937"
    },
    {
      "turn": "0.000000000",
      "x": "1.663214637",
      "y": "0.296591611"
    },
    {
      "turn": "0.000000000",
      "x": "1.478553904",
      "y": "1.843510374"
    },
    {
      "turn": "0.000000000",
      "x": "0.956815953",
      "y": "0.092734855"
    },
    {
      "turn": "0.000000000",
      "x": "0.683097620",
      "y": "0.086649088"
    },
    {
      "turn": "0.000000000",
      "x": "1.774260863",
      "y": "0.541397964"
    },
    {
      "turn": "0.000000000",
      "x": "1.859306876",
      "y": "0.746230536"
    },
    {
      "turn": "0.000000000",
      "x": "0.481519537",
      "y": "0.264490843"
    },
    {
      "turn": "0.000000000",
      "x": "1.903965422",
      "y": "0.967519002"
    },
    {
      "turn": "0.000000000",
      "x": "0.320034031",
      "y": "0.416516001"
    },
    {
      "turn": "0.000000000",
      "x": "0.188652002",
      "y": "0.600096350"
    },
    {
      "turn": "0.000000000",
      "x": "1.255381939",
      "y": "0.390239675"
    },
    {
      "turn": "0.000000000",
      "x": "1.501634571",
      "y": "0.466473302"
    },
    {
      "turn": "0.000000000",
      "x": "1.777072384",
      "y": "1.452793619"
    },
    {
      "turn": "0.000000000",
      "x": "1.016788437",
      "y": "0.339132604"
    },
    {
      "turn": "0.000000000",
      "x": "0.760915744",
      "y": "0.307810245"
    },
    {
      "turn": "0.000000000",
      "x": "1.582652979",
      "y": "0.716990948"
    },
    {
      "turn": "0.000000000",
      "x": "1.083905465",
      "y": "0.608287191"
    },
    {
      "turn": "0.000000000",
      "x": "1.322255752",
      "y": "0.663804837"
    },
    {
      "turn": "0.000000000",
      "x": "0.843727222",
      "y": "0.561303327"
    },
    {
      "turn": "0.000000000",
      "x": "0.584391432",
      "y": "0.503161826"
    },
    {
      "turn": "0.000000000",
      "x": "1.649568594",
      "y": "0.942259727"
    },
    {
      "turn": "0.000000000",
      "x": "1.389246467",
      "y": "0.917596603"
    },
    {
      "turn": "0.000000000",
      "x": "1.147062429",
      "y": "0.881060009"
    },
    {
      "turn": "0.000000000",
      "x": "0.914559597",
      "y": "0.831257558"
    },
    {
      "turn": "0.000000000",
      "x": "0.678658756",
      "y": "0.765387645"
    },
    {
      "turn": "0.000000000",
      "x": "0.431074738",
      "y": "0.681256524"
    },
    {
      "turn": "0.000000000",
      "x": "1.116551541",
      "y": "1.627532937"
    }
  ],
  "radius": "0.155455925"
}

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

DISCUSSION

讨论区

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

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