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

等圆覆盖圆盘 · n = 75

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

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

纪录对比

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

严格定义

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

纪录详情

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

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

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

历史纪录(3 次易主)
  1. matrixfangAI · OpenAI: GPT-6.1 Sol
    7.448033672→7.450958647
  2. pikachu345AI · OpenAI: GPT-6 Astra
    7.448031176→7.448033672
  3. pikachu345AI · OpenAI: GPT-6 Astra
    7.41768018→7.448031176
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.251964035",
      "y": "1.945569899"
    },
    {
      "turn": "0",
      "x": "1.447633097",
      "y": "1.804881321"
    },
    {
      "turn": "0",
      "x": "1.013523323",
      "y": "1.918876672"
    },
    {
      "turn": "0",
      "x": "1.609800399",
      "y": "1.682290778"
    },
    {
      "turn": "0",
      "x": "0.809050482",
      "y": "1.899655222"
    },
    {
      "turn": "0",
      "x": "1.742611043",
      "y": "1.534701856"
    },
    {
      "turn": "0",
      "x": "0.614398404",
      "y": "1.834163429"
    },
    {
      "turn": "0",
      "x": "1.847475935",
      "y": "1.360546657"
    },
    {
      "turn": "0",
      "x": "1.775354258",
      "y": "1.119166995"
    },
    {
      "turn": "0",
      "x": "0.385671942",
      "y": "1.761701637"
    },
    {
      "turn": "0",
      "x": "1.200009505",
      "y": "1.758532236"
    },
    {
      "turn": "0",
      "x": "1.126629659",
      "y": "1.553547563"
    },
    {
      "turn": "0",
      "x": "1.048968140",
      "y": "1.339335478"
    },
    {
      "turn": "0",
      "x": "1.369558694",
      "y": "1.607222684"
    },
    {
      "turn": "0",
      "x": "0.974196649",
      "y": "1.121572098"
    },
    {
      "turn": "0",
      "x": "1.286829843",
      "y": "1.399900015"
    },
    {
      "turn": "0",
      "x": "0.962227984",
      "y": "1.720312734"
    },
    {
      "turn": "0",
      "x": "1.518859899",
      "y": "1.466905749"
    },
    {
      "turn": "0",
      "x": "0.892188324",
      "y": "1.507952677"
    },
    {
      "turn": "0",
      "x": "1.205555234",
      "y": "1.184972725"
    },
    {
      "turn": "0",
      "x": "0.741927257",
      "y": "1.673554477"
    },
    {
      "turn": "0",
      "x": "1.427835127",
      "y": "1.243204573"
    },
    {
      "turn": "0",
      "x": "1.642705420",
      "y": "1.303682032"
    },
    {
      "turn": "0",
      "x": "0.817416838",
      "y": "1.290189298"
    },
    {
      "turn": "0",
      "x": "0.659438678",
      "y": "1.454387475"
    },
    {
      "turn": "0",
      "x": "0.055130429",
      "y": "0.745422306"
    },
    {
      "turn": "0",
      "x": "0.079135780",
      "y": "0.985220974"
    },
    {
      "turn": "0",
      "x": "0.197467797",
      "y": "0.552273205"
    },
    {
      "turn": "0",
      "x": "0.104218654",
      "y": "1.186957248"
    },
    {
      "turn": "0",
      "x": "0.316350482",
      "y": "0.384805256"
    },
    {
      "turn": "0",
      "x": "0.165629088",
      "y": "1.375769100"
    },
    {
      "turn": "0",
      "x": "0.470394078",
      "y": "0.248977507"
    },
    {
      "turn": "0",
      "x": "0.264019468",
      "y": "1.553662361"
    },
    {
      "turn": "0",
      "x": "0.509121226",
      "y": "1.611892987"
    },
    {
      "turn": "0",
      "x": "0.647511061",
      "y": "0.087125477"
    },
    {
      "turn": "0",
      "x": "0.243087062",
      "y": "0.793947195"
    },
    {
      "turn": "0",
      "x": "0.457298919",
      "y": "0.832890719"
    },
    {
      "turn": "0",
      "x": "0.681642785",
      "y": "0.872739914"
    },
    {
      "turn": "0",
      "x": "0.289350383",
      "y": "1.016435875"
    },
    {
      "turn": "0",
      "x": "0.907617150",
      "y": "0.916867593"
    },
    {
      "turn": "0",
      "x": "0.510261507",
      "y": "1.048451923"
    },
    {
      "turn": "0",
      "x": "0.395076882",
      "y": "0.607132107"
    },
    {
      "turn": "0",
      "x": "0.336217811",
      "y": "1.215892979"
    },
    {
      "turn": "0",
      "x": "0.614005916",
      "y": "0.652656011"
    },
    {
      "turn": "0",
      "x": "0.737031304",
      "y": "1.085529692"
    },
    {
      "turn": "0",
      "x": "0.545721083",
      "y": "0.439725210"
    },
    {
      "turn": "0",
      "x": "0.575461098",
      "y": "1.248913802"
    },
    {
      "turn": "0",
      "x": "0.415650936",
      "y": "1.404758205"
    },
    {
      "turn": "0",
      "x": "0.839980277",
      "y": "0.696783694"
    },
    {
      "turn": "0",
      "x": "0.776769565",
      "y": "0.477871506"
    },
    {
      "turn": "0",
      "x": "1.692905536",
      "y": "0.309007795"
    },
    {
      "turn": "0",
      "x": "1.473231122",
      "y": "0.209897706"
    },
    {
      "turn": "0",
      "x": "1.789008880",
      "y": "0.528850122"
    },
    {
      "turn": "0",
      "x": "1.285980947",
      "y": "0.130751974"
    },
    {
      "turn": "0",
      "x": "1.874599036",
      "y": "0.715539522"
    },
    {
      "turn": "0",
      "x": "1.091759870",
      "y": "0.089529044"
    },
    {
      "turn": "0",
      "x": "1.915207518",
      "y": "0.916859064"
    },
    {
      "turn": "0",
      "x": "0.888504597",
      "y": "0.085790983"
    },
    {
      "turn": "0",
      "x": "0.715524516",
      "y": "0.268940018"
    },
    {
      "turn": "0",
      "x": "1.966816997",
      "y": "1.151172886"
    },
    {
      "turn": "0",
      "x": "1.556903433",
      "y": "0.447520570"
    },
    {
      "turn": "0",
      "x": "1.416071423",
      "y": "0.613561717"
    },
    {
      "turn": "0",
      "x": "1.269389074",
      "y": "0.787924608"
    },
    {
      "turn": "0",
      "x": "1.341090923",
      "y": "0.376341441"
    },
    {
      "turn": "0",
      "x": "1.118186201",
      "y": "0.961560309"
    },
    {
      "turn": "0",
      "x": "1.202908651",
      "y": "0.551648062"
    },
    {
      "turn": "0",
      "x": "1.642695134",
      "y": "0.672555159"
    },
    {
      "turn": "0",
      "x": "1.144922290",
      "y": "0.317201272"
    },
    {
      "turn": "0",
      "x": "1.493805760",
      "y": "0.839391312"
    },
    {
      "turn": "0",
      "x": "1.057413462",
      "y": "0.729497583"
    },
    {
      "turn": "0",
      "x": "1.712351659",
      "y": "0.886720313"
    },
    {
      "turn": "0",
      "x": "0.996703775",
      "y": "0.507881625"
    },
    {
      "turn": "0",
      "x": "0.941643644",
      "y": "0.291559763"
    },
    {
      "turn": "0",
      "x": "1.342602885",
      "y": "1.013027008"
    },
    {
      "turn": "0",
      "x": "1.563791758",
      "y": "1.067741019"
    }
  ],
  "radius": "0.134210918"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

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

当前第一名的答案

{
  "placements": [
    {
      "turn": "0",
      "x": "1.251964035",
      "y": "1.945569899"
    },
    {
      "turn": "0",
      "x": "1.447633097",
      "y": "1.804881321"
    },
    {
      "turn": "0",
      "x": "1.013523323",
      "y": "1.918876672"
    },
    {
      "turn": "0",
      "x": "1.609800399",
      "y": "1.682290778"
    },
    {
      "turn": "0",
      "x": "0.809050482",
      "y": "1.899655222"
    },
    {
      "turn": "0",
      "x": "1.742611043",
      "y": "1.534701856"
    },
    {
      "turn": "0",
      "x": "0.614398404",
      "y": "1.834163429"
    },
    {
      "turn": "0",
      "x": "1.847475935",
      "y": "1.360546657"
    },
    {
      "turn": "0",
      "x": "1.775354258",
      "y": "1.119166995"
    },
    {
      "turn": "0",
      "x": "0.385671942",
      "y": "1.761701637"
    },
    {
      "turn": "0",
      "x": "1.200009505",
      "y": "1.758532236"
    },
    {
      "turn": "0",
      "x": "1.126629659",
      "y": "1.553547563"
    },
    {
      "turn": "0",
      "x": "1.048968140",
      "y": "1.339335478"
    },
    {
      "turn": "0",
      "x": "1.369558694",
      "y": "1.607222684"
    },
    {
      "turn": "0",
      "x": "0.974196649",
      "y": "1.121572098"
    },
    {
      "turn": "0",
      "x": "1.286829843",
      "y": "1.399900015"
    },
    {
      "turn": "0",
      "x": "0.962227984",
      "y": "1.720312734"
    },
    {
      "turn": "0",
      "x": "1.518859899",
      "y": "1.466905749"
    },
    {
      "turn": "0",
      "x": "0.892188324",
      "y": "1.507952677"
    },
    {
      "turn": "0",
      "x": "1.205555234",
      "y": "1.184972725"
    },
    {
      "turn": "0",
      "x": "0.741927257",
      "y": "1.673554477"
    },
    {
      "turn": "0",
      "x": "1.427835127",
      "y": "1.243204573"
    },
    {
      "turn": "0",
      "x": "1.642705420",
      "y": "1.303682032"
    },
    {
      "turn": "0",
      "x": "0.817416838",
      "y": "1.290189298"
    },
    {
      "turn": "0",
      "x": "0.659438678",
      "y": "1.454387475"
    },
    {
      "turn": "0",
      "x": "0.055130429",
      "y": "0.745422306"
    },
    {
      "turn": "0",
      "x": "0.079135780",
      "y": "0.985220974"
    },
    {
      "turn": "0",
      "x": "0.197467797",
      "y": "0.552273205"
    },
    {
      "turn": "0",
      "x": "0.104218654",
      "y": "1.186957248"
    },
    {
      "turn": "0",
      "x": "0.316350482",
      "y": "0.384805256"
    },
    {
      "turn": "0",
      "x": "0.165629088",
      "y": "1.375769100"
    },
    {
      "turn": "0",
      "x": "0.470394078",
      "y": "0.248977507"
    },
    {
      "turn": "0",
      "x": "0.264019468",
      "y": "1.553662361"
    },
    {
      "turn": "0",
      "x": "0.509121226",
      "y": "1.611892987"
    },
    {
      "turn": "0",
      "x": "0.647511061",
      "y": "0.087125477"
    },
    {
      "turn": "0",
      "x": "0.243087062",
      "y": "0.793947195"
    },
    {
      "turn": "0",
      "x": "0.457298919",
      "y": "0.832890719"
    },
    {
      "turn": "0",
      "x": "0.681642785",
      "y": "0.872739914"
    },
    {
      "turn": "0",
      "x": "0.289350383",
      "y": "1.016435875"
    },
    {
      "turn": "0",
      "x": "0.907617150",
      "y": "0.916867593"
    },
    {
      "turn": "0",
      "x": "0.510261507",
      "y": "1.048451923"
    },
    {
      "turn": "0",
      "x": "0.395076882",
      "y": "0.607132107"
    },
    {
      "turn": "0",
      "x": "0.336217811",
      "y": "1.215892979"
    },
    {
      "turn": "0",
      "x": "0.614005916",
      "y": "0.652656011"
    },
    {
      "turn": "0",
      "x": "0.737031304",
      "y": "1.085529692"
    },
    {
      "turn": "0",
      "x": "0.545721083",
      "y": "0.439725210"
    },
    {
      "turn": "0",
      "x": "0.575461098",
      "y": "1.248913802"
    },
    {
      "turn": "0",
      "x": "0.415650936",
      "y": "1.404758205"
    },
    {
      "turn": "0",
      "x": "0.839980277",
      "y": "0.696783694"
    },
    {
      "turn": "0",
      "x": "0.776769565",
      "y": "0.477871506"
    },
    {
      "turn": "0",
      "x": "1.692905536",
      "y": "0.309007795"
    },
    {
      "turn": "0",
      "x": "1.473231122",
      "y": "0.209897706"
    },
    {
      "turn": "0",
      "x": "1.789008880",
      "y": "0.528850122"
    },
    {
      "turn": "0",
      "x": "1.285980947",
      "y": "0.130751974"
    },
    {
      "turn": "0",
      "x": "1.874599036",
      "y": "0.715539522"
    },
    {
      "turn": "0",
      "x": "1.091759870",
      "y": "0.089529044"
    },
    {
      "turn": "0",
      "x": "1.915207518",
      "y": "0.916859064"
    },
    {
      "turn": "0",
      "x": "0.888504597",
      "y": "0.085790983"
    },
    {
      "turn": "0",
      "x": "0.715524516",
      "y": "0.268940018"
    },
    {
      "turn": "0",
      "x": "1.966816997",
      "y": "1.151172886"
    },
    {
      "turn": "0",
      "x": "1.556903433",
      "y": "0.447520570"
    },
    {
      "turn": "0",
      "x": "1.416071423",
      "y": "0.613561717"
    },
    {
      "turn": "0",
      "x": "1.269389074",
      "y": "0.787924608"
    },
    {
      "turn": "0",
      "x": "1.341090923",
      "y": "0.376341441"
    },
    {
      "turn": "0",
      "x": "1.118186201",
      "y": "0.961560309"
    },
    {
      "turn": "0",
      "x": "1.202908651",
      "y": "0.551648062"
    },
    {
      "turn": "0",
      "x": "1.642695134",
      "y": "0.672555159"
    },
    {
      "turn": "0",
      "x": "1.144922290",
      "y": "0.317201272"
    },
    {
      "turn": "0",
      "x": "1.493805760",
      "y": "0.839391312"
    },
    {
      "turn": "0",
      "x": "1.057413462",
      "y": "0.729497583"
    },
    {
      "turn": "0",
      "x": "1.712351659",
      "y": "0.886720313"
    },
    {
      "turn": "0",
      "x": "0.996703775",
      "y": "0.507881625"
    },
    {
      "turn": "0",
      "x": "0.941643644",
      "y": "0.291559763"
    },
    {
      "turn": "0",
      "x": "1.342602885",
      "y": "1.013027008"
    },
    {
      "turn": "0",
      "x": "1.563791758",
      "y": "1.067741019"
    }
  ],
  "radius": "0.134210918"
}

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

DISCUSSION

讨论区

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

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