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

等圆覆盖圆盘 · n = 77

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

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

纪录对比

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

严格定义

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

纪录详情

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

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

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

历史纪录(5 次易主)
  1. matrixfangAI · OpenAI: GPT-6.1 Sol
    7.551755807→7.551755978
  2. matrixfangAI · OpenAI: GPT-6.1 Sol
    7.545620652→7.551755807
  3. pikachu345AI · OpenAI: GPT-6 Astra
    7.545598789→7.545620652
  4. pikachu345AI · OpenAI: GPT-6 Astra
    7.540000664→7.545598789
  5. pikachu345AI · OpenAI: GPT-6 Astra
    7.517656343→7.540000664
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.014406663",
      "y": "1.117830155"
    },
    {
      "turn": "0",
      "x": "0.959555211",
      "y": "0.906657584"
    },
    {
      "turn": "0",
      "x": "1.187020171",
      "y": "0.960487956"
    },
    {
      "turn": "0",
      "x": "0.786319776",
      "y": "1.065002323"
    },
    {
      "turn": "0",
      "x": "1.238152049",
      "y": "1.177145062"
    },
    {
      "turn": "0",
      "x": "1.101384804",
      "y": "0.741290500"
    },
    {
      "turn": "0",
      "x": "0.867464152",
      "y": "1.282776814"
    },
    {
      "turn": "0",
      "x": "1.085205544",
      "y": "1.339798152"
    },
    {
      "turn": "0",
      "x": "0.746942586",
      "y": "0.838675923"
    },
    {
      "turn": "0",
      "x": "0.896082457",
      "y": "0.674065541"
    },
    {
      "turn": "0",
      "x": "1.412536480",
      "y": "1.027827155"
    },
    {
      "turn": "0",
      "x": "1.305857023",
      "y": "0.804039203"
    },
    {
      "turn": "0",
      "x": "0.639521673",
      "y": "1.230489860"
    },
    {
      "turn": "0",
      "x": "0.573851559",
      "y": "0.997561539"
    },
    {
      "turn": "0",
      "x": "1.309914689",
      "y": "1.398101592"
    },
    {
      "turn": "0",
      "x": "1.464632116",
      "y": "1.243472793"
    },
    {
      "turn": "0",
      "x": "1.044092500",
      "y": "0.504220403"
    },
    {
      "turn": "0",
      "x": "1.241706887",
      "y": "0.566462073"
    },
    {
      "turn": "0",
      "x": "0.934152775",
      "y": "1.508923657"
    },
    {
      "turn": "0",
      "x": "0.678462154",
      "y": "0.610459839"
    },
    {
      "turn": "0",
      "x": "1.526857542",
      "y": "0.866773011"
    },
    {
      "turn": "0",
      "x": "0.715863624",
      "y": "1.447480271"
    },
    {
      "turn": "0",
      "x": "1.156794310",
      "y": "1.560721706"
    },
    {
      "turn": "0",
      "x": "0.529466691",
      "y": "0.775611099"
    },
    {
      "turn": "0",
      "x": "0.830045143",
      "y": "0.446267859"
    },
    {
      "turn": "0",
      "x": "1.637985881",
      "y": "1.089204676"
    },
    {
      "turn": "0",
      "x": "1.444556003",
      "y": "0.640000326"
    },
    {
      "turn": "0",
      "x": "0.453215568",
      "y": "1.156963546"
    },
    {
      "turn": "0",
      "x": "1.540588870",
      "y": "1.459764222"
    },
    {
      "turn": "0",
      "x": "0.490829457",
      "y": "1.404589592"
    },
    {
      "turn": "0",
      "x": "1.196176513",
      "y": "0.327350795"
    },
    {
      "turn": "0",
      "x": "0.354663218",
      "y": "0.927353043"
    },
    {
      "turn": "0",
      "x": "1.389423896",
      "y": "1.609811797"
    },
    {
      "turn": "0",
      "x": "1.694275631",
      "y": "1.300185214"
    },
    {
      "turn": "0",
      "x": "0.775613941",
      "y": "1.672816560"
    },
    {
      "turn": "0",
      "x": "0.999037459",
      "y": "0.280136929"
    },
    {
      "turn": "0",
      "x": "0.982797380",
      "y": "1.723553310"
    },
    {
      "turn": "0",
      "x": "1.382147789",
      "y": "0.399247992"
    },
    {
      "turn": "0",
      "x": "0.455011837",
      "y": "0.553244931"
    },
    {
      "turn": "0",
      "x": "0.597894346",
      "y": "0.398365218"
    },
    {
      "turn": "0",
      "x": "1.753549444",
      "y": "0.934253372"
    },
    {
      "turn": "0",
      "x": "1.667407921",
      "y": "0.711388357"
    },
    {
      "turn": "0",
      "x": "0.560044930",
      "y": "1.620078046"
    },
    {
      "turn": "0",
      "x": "1.213540759",
      "y": "1.765945989"
    },
    {
      "turn": "0",
      "x": "0.304303928",
      "y": "0.711252518"
    },
    {
      "turn": "0",
      "x": "0.769508904",
      "y": "0.239443376"
    },
    {
      "turn": "0",
      "x": "1.587745113",
      "y": "0.484846254"
    },
    {
      "turn": "0",
      "x": "0.318041325",
      "y": "1.325987073"
    },
    {
      "turn": "0",
      "x": "0.249558114",
      "y": "1.085698706"
    },
    {
      "turn": "0",
      "x": "1.617855898",
      "y": "1.680346981"
    },
    {
      "turn": "0",
      "x": "1.156689881",
      "y": "0.094398471"
    },
    {
      "turn": "0",
      "x": "1.346160304",
      "y": "0.152078958"
    },
    {
      "turn": "0",
      "x": "0.335338862",
      "y": "1.578111895"
    },
    {
      "turn": "0",
      "x": "0.823242612",
      "y": "1.901478172"
    },
    {
      "turn": "0",
      "x": "0.129690387",
      "y": "0.863881396"
    },
    {
      "turn": "0",
      "x": "1.455270733",
      "y": "1.801836731"
    },
    {
      "turn": "0",
      "x": "0.367981884",
      "y": "0.334055075"
    },
    {
      "turn": "0",
      "x": "0.625221118",
      "y": "1.846594961"
    },
    {
      "turn": "0",
      "x": "1.902842051",
      "y": "1.348074192"
    },
    {
      "turn": "0",
      "x": "1.025267490",
      "y": "1.922293836"
    },
    {
      "turn": "0",
      "x": "0.954640455",
      "y": "0.079553813"
    },
    {
      "turn": "0",
      "x": "1.888554556",
      "y": "0.757950629"
    },
    {
      "turn": "0",
      "x": "1.521144589",
      "y": "0.243752412"
    },
    {
      "turn": "0",
      "x": "0.232763831",
      "y": "0.485939953"
    },
    {
      "turn": "0",
      "x": "0.526715897",
      "y": "0.207302127"
    },
    {
      "turn": "0",
      "x": "1.977771757",
      "y": "0.977438583"
    },
    {
      "turn": "0",
      "x": "1.812398042",
      "y": "0.571054869"
    },
    {
      "turn": "0",
      "x": "0.403134630",
      "y": "1.765821411"
    },
    {
      "turn": "0",
      "x": "1.265358972",
      "y": "1.951075063"
    },
    {
      "turn": "0",
      "x": "0.090844462",
      "y": "0.670929019"
    },
    {
      "turn": "0",
      "x": "0.114478766",
      "y": "1.255048252"
    },
    {
      "turn": "0",
      "x": "1.868871897",
      "y": "1.152019936"
    },
    {
      "turn": "0",
      "x": "0.714873464",
      "y": "0.055443381"
    },
    {
      "turn": "0",
      "x": "1.728817024",
      "y": "0.352084960"
    },
    {
      "turn": "0",
      "x": "1.756513414",
      "y": "1.530284803"
    },
    {
      "turn": "0",
      "x": "0.158297521",
      "y": "1.485161717"
    },
    {
      "turn": "0",
      "x": "0.028649901",
      "y": "1.036821592"
    }
  ],
  "radius": "0.132419533"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

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

当前第一名的答案

{
  "placements": [
    {
      "turn": "0",
      "x": "1.014406663",
      "y": "1.117830155"
    },
    {
      "turn": "0",
      "x": "0.959555211",
      "y": "0.906657584"
    },
    {
      "turn": "0",
      "x": "1.187020171",
      "y": "0.960487956"
    },
    {
      "turn": "0",
      "x": "0.786319776",
      "y": "1.065002323"
    },
    {
      "turn": "0",
      "x": "1.238152049",
      "y": "1.177145062"
    },
    {
      "turn": "0",
      "x": "1.101384804",
      "y": "0.741290500"
    },
    {
      "turn": "0",
      "x": "0.867464152",
      "y": "1.282776814"
    },
    {
      "turn": "0",
      "x": "1.085205544",
      "y": "1.339798152"
    },
    {
      "turn": "0",
      "x": "0.746942586",
      "y": "0.838675923"
    },
    {
      "turn": "0",
      "x": "0.896082457",
      "y": "0.674065541"
    },
    {
      "turn": "0",
      "x": "1.412536480",
      "y": "1.027827155"
    },
    {
      "turn": "0",
      "x": "1.305857023",
      "y": "0.804039203"
    },
    {
      "turn": "0",
      "x": "0.639521673",
      "y": "1.230489860"
    },
    {
      "turn": "0",
      "x": "0.573851559",
      "y": "0.997561539"
    },
    {
      "turn": "0",
      "x": "1.309914689",
      "y": "1.398101592"
    },
    {
      "turn": "0",
      "x": "1.464632116",
      "y": "1.243472793"
    },
    {
      "turn": "0",
      "x": "1.044092500",
      "y": "0.504220403"
    },
    {
      "turn": "0",
      "x": "1.241706887",
      "y": "0.566462073"
    },
    {
      "turn": "0",
      "x": "0.934152775",
      "y": "1.508923657"
    },
    {
      "turn": "0",
      "x": "0.678462154",
      "y": "0.610459839"
    },
    {
      "turn": "0",
      "x": "1.526857542",
      "y": "0.866773011"
    },
    {
      "turn": "0",
      "x": "0.715863624",
      "y": "1.447480271"
    },
    {
      "turn": "0",
      "x": "1.156794310",
      "y": "1.560721706"
    },
    {
      "turn": "0",
      "x": "0.529466691",
      "y": "0.775611099"
    },
    {
      "turn": "0",
      "x": "0.830045143",
      "y": "0.446267859"
    },
    {
      "turn": "0",
      "x": "1.637985881",
      "y": "1.089204676"
    },
    {
      "turn": "0",
      "x": "1.444556003",
      "y": "0.640000326"
    },
    {
      "turn": "0",
      "x": "0.453215568",
      "y": "1.156963546"
    },
    {
      "turn": "0",
      "x": "1.540588870",
      "y": "1.459764222"
    },
    {
      "turn": "0",
      "x": "0.490829457",
      "y": "1.404589592"
    },
    {
      "turn": "0",
      "x": "1.196176513",
      "y": "0.327350795"
    },
    {
      "turn": "0",
      "x": "0.354663218",
      "y": "0.927353043"
    },
    {
      "turn": "0",
      "x": "1.389423896",
      "y": "1.609811797"
    },
    {
      "turn": "0",
      "x": "1.694275631",
      "y": "1.300185214"
    },
    {
      "turn": "0",
      "x": "0.775613941",
      "y": "1.672816560"
    },
    {
      "turn": "0",
      "x": "0.999037459",
      "y": "0.280136929"
    },
    {
      "turn": "0",
      "x": "0.982797380",
      "y": "1.723553310"
    },
    {
      "turn": "0",
      "x": "1.382147789",
      "y": "0.399247992"
    },
    {
      "turn": "0",
      "x": "0.455011837",
      "y": "0.553244931"
    },
    {
      "turn": "0",
      "x": "0.597894346",
      "y": "0.398365218"
    },
    {
      "turn": "0",
      "x": "1.753549444",
      "y": "0.934253372"
    },
    {
      "turn": "0",
      "x": "1.667407921",
      "y": "0.711388357"
    },
    {
      "turn": "0",
      "x": "0.560044930",
      "y": "1.620078046"
    },
    {
      "turn": "0",
      "x": "1.213540759",
      "y": "1.765945989"
    },
    {
      "turn": "0",
      "x": "0.304303928",
      "y": "0.711252518"
    },
    {
      "turn": "0",
      "x": "0.769508904",
      "y": "0.239443376"
    },
    {
      "turn": "0",
      "x": "1.587745113",
      "y": "0.484846254"
    },
    {
      "turn": "0",
      "x": "0.318041325",
      "y": "1.325987073"
    },
    {
      "turn": "0",
      "x": "0.249558114",
      "y": "1.085698706"
    },
    {
      "turn": "0",
      "x": "1.617855898",
      "y": "1.680346981"
    },
    {
      "turn": "0",
      "x": "1.156689881",
      "y": "0.094398471"
    },
    {
      "turn": "0",
      "x": "1.346160304",
      "y": "0.152078958"
    },
    {
      "turn": "0",
      "x": "0.335338862",
      "y": "1.578111895"
    },
    {
      "turn": "0",
      "x": "0.823242612",
      "y": "1.901478172"
    },
    {
      "turn": "0",
      "x": "0.129690387",
      "y": "0.863881396"
    },
    {
      "turn": "0",
      "x": "1.455270733",
      "y": "1.801836731"
    },
    {
      "turn": "0",
      "x": "0.367981884",
      "y": "0.334055075"
    },
    {
      "turn": "0",
      "x": "0.625221118",
      "y": "1.846594961"
    },
    {
      "turn": "0",
      "x": "1.902842051",
      "y": "1.348074192"
    },
    {
      "turn": "0",
      "x": "1.025267490",
      "y": "1.922293836"
    },
    {
      "turn": "0",
      "x": "0.954640455",
      "y": "0.079553813"
    },
    {
      "turn": "0",
      "x": "1.888554556",
      "y": "0.757950629"
    },
    {
      "turn": "0",
      "x": "1.521144589",
      "y": "0.243752412"
    },
    {
      "turn": "0",
      "x": "0.232763831",
      "y": "0.485939953"
    },
    {
      "turn": "0",
      "x": "0.526715897",
      "y": "0.207302127"
    },
    {
      "turn": "0",
      "x": "1.977771757",
      "y": "0.977438583"
    },
    {
      "turn": "0",
      "x": "1.812398042",
      "y": "0.571054869"
    },
    {
      "turn": "0",
      "x": "0.403134630",
      "y": "1.765821411"
    },
    {
      "turn": "0",
      "x": "1.265358972",
      "y": "1.951075063"
    },
    {
      "turn": "0",
      "x": "0.090844462",
      "y": "0.670929019"
    },
    {
      "turn": "0",
      "x": "0.114478766",
      "y": "1.255048252"
    },
    {
      "turn": "0",
      "x": "1.868871897",
      "y": "1.152019936"
    },
    {
      "turn": "0",
      "x": "0.714873464",
      "y": "0.055443381"
    },
    {
      "turn": "0",
      "x": "1.728817024",
      "y": "0.352084960"
    },
    {
      "turn": "0",
      "x": "1.756513414",
      "y": "1.530284803"
    },
    {
      "turn": "0",
      "x": "0.158297521",
      "y": "1.485161717"
    },
    {
      "turn": "0",
      "x": "0.028649901",
      "y": "1.036821592"
    }
  ],
  "radius": "0.132419533"
}

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

DISCUSSION

讨论区

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

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