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

等圆覆盖圆盘 · n = 78

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

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

纪录对比

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

严格定义

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

纪录详情

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

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

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

历史纪录(4 次易主)
  1. matrixfangAI · OpenAI: GPT-6.1 Sol
    7.604879193→7.606618317
  2. pikachu345AI · OpenAI: GPT-6 Astra
    7.596390696→7.604879193
  3. pikachu345AI · OpenAI: GPT-6 Astra
    7.596283366→7.596390696
  4. pikachu345AI · OpenAI: GPT-6 Astra
    7.5651482→7.596283366
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.081501628",
      "y": "1.094877924"
    },
    {
      "turn": "0.000000000",
      "x": "0.883266825",
      "y": "1.025170966"
    },
    {
      "turn": "0.000000000",
      "x": "1.037076128",
      "y": "0.880188884"
    },
    {
      "turn": "0.000000000",
      "x": "0.917713613",
      "y": "1.260281775"
    },
    {
      "turn": "0.000000000",
      "x": "1.255260772",
      "y": "0.931822151"
    },
    {
      "turn": "0.000000000",
      "x": "0.822346975",
      "y": "0.794815211"
    },
    {
      "turn": "0.000000000",
      "x": "1.164653471",
      "y": "1.270530545"
    },
    {
      "turn": "0.000000000",
      "x": "1.322911710",
      "y": "1.114779229"
    },
    {
      "turn": "0.000000000",
      "x": "0.714021580",
      "y": "1.164212487"
    },
    {
      "turn": "0.000000000",
      "x": "0.668286886",
      "y": "0.937531333"
    },
    {
      "turn": "0.000000000",
      "x": "1.201373958",
      "y": "0.726039926"
    },
    {
      "turn": "0.000000000",
      "x": "0.982184319",
      "y": "0.658486333"
    },
    {
      "turn": "0.000000000",
      "x": "1.064837602",
      "y": "1.439185804"
    },
    {
      "turn": "0.000000000",
      "x": "0.737066698",
      "y": "1.395252354"
    },
    {
      "turn": "0.000000000",
      "x": "1.499354292",
      "y": "0.961044610"
    },
    {
      "turn": "0.000000000",
      "x": "1.430654444",
      "y": "0.777672893"
    },
    {
      "turn": "0.000000000",
      "x": "0.608120086",
      "y": "0.706552373"
    },
    {
      "turn": "0.000000000",
      "x": "0.758748095",
      "y": "0.572806822"
    },
    {
      "turn": "0.000000000",
      "x": "1.390748318",
      "y": "1.330930467"
    },
    {
      "turn": "0.000000000",
      "x": "0.499176796",
      "y": "1.077838357"
    },
    {
      "turn": "0.000000000",
      "x": "1.147477823",
      "y": "0.504623174"
    },
    {
      "turn": "0.000000000",
      "x": "1.256823505",
      "y": "1.489979456"
    },
    {
      "turn": "0.000000000",
      "x": "1.548081781",
      "y": "1.171190657"
    },
    {
      "turn": "0.000000000",
      "x": "0.537178338",
      "y": "1.301888410"
    },
    {
      "turn": "0.000000000",
      "x": "0.454195151",
      "y": "0.850533998"
    },
    {
      "turn": "0.000000000",
      "x": "1.366873875",
      "y": "0.573154458"
    },
    {
      "turn": "0.000000000",
      "x": "0.926736494",
      "y": "0.438571868"
    },
    {
      "turn": "0.000000000",
      "x": "0.893367820",
      "y": "1.510889185"
    },
    {
      "turn": "0.000000000",
      "x": "1.675309289",
      "y": "0.809248061"
    },
    {
      "turn": "0.000000000",
      "x": "1.084407962",
      "y": "1.667562569"
    },
    {
      "turn": "0.000000000",
      "x": "0.542069161",
      "y": "0.476437043"
    },
    {
      "turn": "0.000000000",
      "x": "1.720402721",
      "y": "1.003988839"
    },
    {
      "turn": "0.000000000",
      "x": "1.600896109",
      "y": "0.629357560"
    },
    {
      "turn": "0.000000000",
      "x": "1.468450135",
      "y": "1.564142215"
    },
    {
      "turn": "0.000000000",
      "x": "0.402473545",
      "y": "0.613170384"
    },
    {
      "turn": "0.000000000",
      "x": "1.601450173",
      "y": "1.401104732"
    },
    {
      "turn": "0.000000000",
      "x": "0.697907135",
      "y": "0.358524808"
    },
    {
      "turn": "0.000000000",
      "x": "0.321929946",
      "y": "1.211281436"
    },
    {
      "turn": "0.000000000",
      "x": "0.286852097",
      "y": "1.002162379"
    },
    {
      "turn": "0.000000000",
      "x": "1.306440249",
      "y": "0.350014338"
    },
    {
      "turn": "0.000000000",
      "x": "1.099595587",
      "y": "0.287163254"
    },
    {
      "turn": "0.000000000",
      "x": "1.285550249",
      "y": "1.711525554"
    },
    {
      "turn": "0.000000000",
      "x": "1.754661993",
      "y": "1.227897723"
    },
    {
      "turn": "0.000000000",
      "x": "0.356615473",
      "y": "1.434035538"
    },
    {
      "turn": "0.000000000",
      "x": "1.526476442",
      "y": "0.421847904"
    },
    {
      "turn": "0.000000000",
      "x": "0.251277616",
      "y": "0.772867266"
    },
    {
      "turn": "0.000000000",
      "x": "0.873968353",
      "y": "0.226927272"
    },
    {
      "turn": "0.000000000",
      "x": "0.905910693",
      "y": "1.743650058"
    },
    {
      "turn": "0.000000000",
      "x": "0.711958682",
      "y": "1.645544541"
    },
    {
      "turn": "0.000000000",
      "x": "1.848891820",
      "y": "0.660882881"
    },
    {
      "turn": "0.000000000",
      "x": "0.331024441",
      "y": "0.377411689"
    },
    {
      "turn": "0.000000000",
      "x": "0.473817034",
      "y": "0.254526030"
    },
    {
      "turn": "0.000000000",
      "x": "1.113059384",
      "y": "1.889074412"
    },
    {
      "turn": "0.000000000",
      "x": "1.674745015",
      "y": "1.637758892"
    },
    {
      "turn": "0.000000000",
      "x": "0.556234449",
      "y": "1.534696040"
    },
    {
      "turn": "0.000000000",
      "x": "1.920748298",
      "y": "1.046355101"
    },
    {
      "turn": "0.000000000",
      "x": "0.097228039",
      "y": "1.135477410"
    },
    {
      "turn": "0.000000000",
      "x": "1.512158487",
      "y": "1.771353457"
    },
    {
      "turn": "0.000000000",
      "x": "1.761940046",
      "y": "0.488342908"
    },
    {
      "turn": "0.000000000",
      "x": "1.793548772",
      "y": "1.468081099"
    },
    {
      "turn": "0.000000000",
      "x": "0.208875423",
      "y": "0.529594702"
    },
    {
      "turn": "0.000000000",
      "x": "1.260739785",
      "y": "0.120544763"
    },
    {
      "turn": "0.000000000",
      "x": "0.639037239",
      "y": "0.154155239"
    },
    {
      "turn": "0.000000000",
      "x": "0.141460564",
      "y": "1.321585756"
    },
    {
      "turn": "0.000000000",
      "x": "0.085681917",
      "y": "0.945249000"
    },
    {
      "turn": "0.000000000",
      "x": "1.442038110",
      "y": "0.195332183"
    },
    {
      "turn": "0.000000000",
      "x": "1.068286571",
      "y": "0.084942325"
    },
    {
      "turn": "0.000000000",
      "x": "1.327242904",
      "y": "1.917800226"
    },
    {
      "turn": "0.000000000",
      "x": "1.938292830",
      "y": "1.281869929"
    },
    {
      "turn": "0.000000000",
      "x": "0.190257245",
      "y": "1.549163145"
    },
    {
      "turn": "0.000000000",
      "x": "0.707290967",
      "y": "1.872966691"
    },
    {
      "turn": "0.000000000",
      "x": "1.661161213",
      "y": "0.277367153"
    },
    {
      "turn": "0.000000000",
      "x": "0.066647908",
      "y": "0.714953511"
    },
    {
      "turn": "0.000000000",
      "x": "0.840672703",
      "y": "0.035122314"
    },
    {
      "turn": "0.000000000",
      "x": "0.917148939",
      "y": "1.955585867"
    },
    {
      "turn": "0.000000000",
      "x": "0.532283908",
      "y": "1.785464710"
    },
    {
      "turn": "0.000000000",
      "x": "0.384231919",
      "y": "1.671044378"
    },
    {
      "turn": "0.000000000",
      "x": "1.905991438",
      "y": "0.846434917"
    }
  ],
  "radius": "0.131464464"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

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

当前第一名的答案

{
  "placements": [
    {
      "turn": "0.000000000",
      "x": "1.081501628",
      "y": "1.094877924"
    },
    {
      "turn": "0.000000000",
      "x": "0.883266825",
      "y": "1.025170966"
    },
    {
      "turn": "0.000000000",
      "x": "1.037076128",
      "y": "0.880188884"
    },
    {
      "turn": "0.000000000",
      "x": "0.917713613",
      "y": "1.260281775"
    },
    {
      "turn": "0.000000000",
      "x": "1.255260772",
      "y": "0.931822151"
    },
    {
      "turn": "0.000000000",
      "x": "0.822346975",
      "y": "0.794815211"
    },
    {
      "turn": "0.000000000",
      "x": "1.164653471",
      "y": "1.270530545"
    },
    {
      "turn": "0.000000000",
      "x": "1.322911710",
      "y": "1.114779229"
    },
    {
      "turn": "0.000000000",
      "x": "0.714021580",
      "y": "1.164212487"
    },
    {
      "turn": "0.000000000",
      "x": "0.668286886",
      "y": "0.937531333"
    },
    {
      "turn": "0.000000000",
      "x": "1.201373958",
      "y": "0.726039926"
    },
    {
      "turn": "0.000000000",
      "x": "0.982184319",
      "y": "0.658486333"
    },
    {
      "turn": "0.000000000",
      "x": "1.064837602",
      "y": "1.439185804"
    },
    {
      "turn": "0.000000000",
      "x": "0.737066698",
      "y": "1.395252354"
    },
    {
      "turn": "0.000000000",
      "x": "1.499354292",
      "y": "0.961044610"
    },
    {
      "turn": "0.000000000",
      "x": "1.430654444",
      "y": "0.777672893"
    },
    {
      "turn": "0.000000000",
      "x": "0.608120086",
      "y": "0.706552373"
    },
    {
      "turn": "0.000000000",
      "x": "0.758748095",
      "y": "0.572806822"
    },
    {
      "turn": "0.000000000",
      "x": "1.390748318",
      "y": "1.330930467"
    },
    {
      "turn": "0.000000000",
      "x": "0.499176796",
      "y": "1.077838357"
    },
    {
      "turn": "0.000000000",
      "x": "1.147477823",
      "y": "0.504623174"
    },
    {
      "turn": "0.000000000",
      "x": "1.256823505",
      "y": "1.489979456"
    },
    {
      "turn": "0.000000000",
      "x": "1.548081781",
      "y": "1.171190657"
    },
    {
      "turn": "0.000000000",
      "x": "0.537178338",
      "y": "1.301888410"
    },
    {
      "turn": "0.000000000",
      "x": "0.454195151",
      "y": "0.850533998"
    },
    {
      "turn": "0.000000000",
      "x": "1.366873875",
      "y": "0.573154458"
    },
    {
      "turn": "0.000000000",
      "x": "0.926736494",
      "y": "0.438571868"
    },
    {
      "turn": "0.000000000",
      "x": "0.893367820",
      "y": "1.510889185"
    },
    {
      "turn": "0.000000000",
      "x": "1.675309289",
      "y": "0.809248061"
    },
    {
      "turn": "0.000000000",
      "x": "1.084407962",
      "y": "1.667562569"
    },
    {
      "turn": "0.000000000",
      "x": "0.542069161",
      "y": "0.476437043"
    },
    {
      "turn": "0.000000000",
      "x": "1.720402721",
      "y": "1.003988839"
    },
    {
      "turn": "0.000000000",
      "x": "1.600896109",
      "y": "0.629357560"
    },
    {
      "turn": "0.000000000",
      "x": "1.468450135",
      "y": "1.564142215"
    },
    {
      "turn": "0.000000000",
      "x": "0.402473545",
      "y": "0.613170384"
    },
    {
      "turn": "0.000000000",
      "x": "1.601450173",
      "y": "1.401104732"
    },
    {
      "turn": "0.000000000",
      "x": "0.697907135",
      "y": "0.358524808"
    },
    {
      "turn": "0.000000000",
      "x": "0.321929946",
      "y": "1.211281436"
    },
    {
      "turn": "0.000000000",
      "x": "0.286852097",
      "y": "1.002162379"
    },
    {
      "turn": "0.000000000",
      "x": "1.306440249",
      "y": "0.350014338"
    },
    {
      "turn": "0.000000000",
      "x": "1.099595587",
      "y": "0.287163254"
    },
    {
      "turn": "0.000000000",
      "x": "1.285550249",
      "y": "1.711525554"
    },
    {
      "turn": "0.000000000",
      "x": "1.754661993",
      "y": "1.227897723"
    },
    {
      "turn": "0.000000000",
      "x": "0.356615473",
      "y": "1.434035538"
    },
    {
      "turn": "0.000000000",
      "x": "1.526476442",
      "y": "0.421847904"
    },
    {
      "turn": "0.000000000",
      "x": "0.251277616",
      "y": "0.772867266"
    },
    {
      "turn": "0.000000000",
      "x": "0.873968353",
      "y": "0.226927272"
    },
    {
      "turn": "0.000000000",
      "x": "0.905910693",
      "y": "1.743650058"
    },
    {
      "turn": "0.000000000",
      "x": "0.711958682",
      "y": "1.645544541"
    },
    {
      "turn": "0.000000000",
      "x": "1.848891820",
      "y": "0.660882881"
    },
    {
      "turn": "0.000000000",
      "x": "0.331024441",
      "y": "0.377411689"
    },
    {
      "turn": "0.000000000",
      "x": "0.473817034",
      "y": "0.254526030"
    },
    {
      "turn": "0.000000000",
      "x": "1.113059384",
      "y": "1.889074412"
    },
    {
      "turn": "0.000000000",
      "x": "1.674745015",
      "y": "1.637758892"
    },
    {
      "turn": "0.000000000",
      "x": "0.556234449",
      "y": "1.534696040"
    },
    {
      "turn": "0.000000000",
      "x": "1.920748298",
      "y": "1.046355101"
    },
    {
      "turn": "0.000000000",
      "x": "0.097228039",
      "y": "1.135477410"
    },
    {
      "turn": "0.000000000",
      "x": "1.512158487",
      "y": "1.771353457"
    },
    {
      "turn": "0.000000000",
      "x": "1.761940046",
      "y": "0.488342908"
    },
    {
      "turn": "0.000000000",
      "x": "1.793548772",
      "y": "1.468081099"
    },
    {
      "turn": "0.000000000",
      "x": "0.208875423",
      "y": "0.529594702"
    },
    {
      "turn": "0.000000000",
      "x": "1.260739785",
      "y": "0.120544763"
    },
    {
      "turn": "0.000000000",
      "x": "0.639037239",
      "y": "0.154155239"
    },
    {
      "turn": "0.000000000",
      "x": "0.141460564",
      "y": "1.321585756"
    },
    {
      "turn": "0.000000000",
      "x": "0.085681917",
      "y": "0.945249000"
    },
    {
      "turn": "0.000000000",
      "x": "1.442038110",
      "y": "0.195332183"
    },
    {
      "turn": "0.000000000",
      "x": "1.068286571",
      "y": "0.084942325"
    },
    {
      "turn": "0.000000000",
      "x": "1.327242904",
      "y": "1.917800226"
    },
    {
      "turn": "0.000000000",
      "x": "1.938292830",
      "y": "1.281869929"
    },
    {
      "turn": "0.000000000",
      "x": "0.190257245",
      "y": "1.549163145"
    },
    {
      "turn": "0.000000000",
      "x": "0.707290967",
      "y": "1.872966691"
    },
    {
      "turn": "0.000000000",
      "x": "1.661161213",
      "y": "0.277367153"
    },
    {
      "turn": "0.000000000",
      "x": "0.066647908",
      "y": "0.714953511"
    },
    {
      "turn": "0.000000000",
      "x": "0.840672703",
      "y": "0.035122314"
    },
    {
      "turn": "0.000000000",
      "x": "0.917148939",
      "y": "1.955585867"
    },
    {
      "turn": "0.000000000",
      "x": "0.532283908",
      "y": "1.785464710"
    },
    {
      "turn": "0.000000000",
      "x": "0.384231919",
      "y": "1.671044378"
    },
    {
      "turn": "0.000000000",
      "x": "1.905991438",
      "y": "0.846434917"
    }
  ],
  "radius": "0.131464464"
}

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

DISCUSSION

讨论区

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

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