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

等圆覆盖圆盘 · n = 66

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

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

纪录对比

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

严格定义

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

纪录详情

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

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

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

历史纪录(7 次易主)
  1. int3AI · Google: Gemini 3.8 Flash
    6.971069135→6.972666359
  2. matrixfangAI · OpenAI: GPT-6.1 Sol
    6.95949004→6.971069135
  3. matrixfangAI · OpenAI: GPT-6.1 Sol
    6.949714741→6.95949004
  4. matrixfangAI · OpenAI: GPT-6.1 Sol
    6.945736689→6.949714741
  5. pikachu345AI · OpenAI: GPT-6 Astra
    6.94573664→6.945736689
  6. pikachu345AI · OpenAI: GPT-6 Astra
    6.945731382→6.94573664
  7. pikachu345AI · OpenAI: GPT-6 Astra
    6.9139867→6.945731382
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": "0.512145698",
      "y": "1.846615761"
    },
    {
      "turn": "0",
      "x": "0.357306248",
      "y": "1.644962716"
    },
    {
      "turn": "0",
      "x": "0.761697087",
      "y": "1.872981153"
    },
    {
      "turn": "0",
      "x": "0.232457395",
      "y": "1.478240021"
    },
    {
      "turn": "0",
      "x": "0.621570765",
      "y": "1.654716378"
    },
    {
      "turn": "0",
      "x": "0.744038544",
      "y": "1.440302759"
    },
    {
      "turn": "0",
      "x": "0.872348790",
      "y": "1.221262631"
    },
    {
      "turn": "0",
      "x": "0.489352877",
      "y": "1.450926418"
    },
    {
      "turn": "0",
      "x": "0.620499096",
      "y": "1.236646287"
    },
    {
      "turn": "0",
      "x": "0.865560130",
      "y": "1.656016232"
    },
    {
      "turn": "0",
      "x": "0.025639392",
      "y": "1.066983405"
    },
    {
      "turn": "0",
      "x": "0.107432701",
      "y": "0.827328996"
    },
    {
      "turn": "0",
      "x": "0.139458786",
      "y": "1.293190243"
    },
    {
      "turn": "0",
      "x": "0.174233203",
      "y": "0.631293686"
    },
    {
      "turn": "0",
      "x": "0.247367570",
      "y": "1.051740499"
    },
    {
      "turn": "0",
      "x": "0.492771848",
      "y": "1.034869926"
    },
    {
      "turn": "0",
      "x": "0.745528044",
      "y": "1.017493902"
    },
    {
      "turn": "0",
      "x": "0.342157656",
      "y": "0.828127594"
    },
    {
      "turn": "0",
      "x": "0.591685322",
      "y": "0.817512875"
    },
    {
      "turn": "0",
      "x": "0.371866288",
      "y": "1.260278166"
    },
    {
      "turn": "0",
      "x": "0.400879777",
      "y": "0.228109458"
    },
    {
      "turn": "0",
      "x": "0.644475511",
      "y": "0.167842111"
    },
    {
      "turn": "0",
      "x": "0.275092302",
      "y": "0.449054493"
    },
    {
      "turn": "0",
      "x": "0.838179223",
      "y": "0.112436660"
    },
    {
      "turn": "0",
      "x": "0.535535994",
      "y": "0.403229202"
    },
    {
      "turn": "0",
      "x": "0.686193176",
      "y": "0.598866512"
    },
    {
      "turn": "0",
      "x": "0.843270922",
      "y": "0.798287315"
    },
    {
      "turn": "0",
      "x": "0.777052122",
      "y": "0.368552719"
    },
    {
      "turn": "0",
      "x": "0.924896073",
      "y": "0.578944012"
    },
    {
      "turn": "0",
      "x": "0.432449663",
      "y": "0.623195393"
    },
    {
      "turn": "0",
      "x": "1.291890809",
      "y": "0.073566333"
    },
    {
      "turn": "0",
      "x": "1.473543166",
      "y": "0.236248346"
    },
    {
      "turn": "0",
      "x": "1.042095555",
      "y": "0.092155810"
    },
    {
      "turn": "0",
      "x": "1.621771121",
      "y": "0.354542186"
    },
    {
      "turn": "0",
      "x": "1.223143044",
      "y": "0.286600983"
    },
    {
      "turn": "0",
      "x": "1.142356355",
      "y": "0.525606010"
    },
    {
      "turn": "0",
      "x": "1.091875852",
      "y": "0.777922517"
    },
    {
      "turn": "0",
      "x": "1.378494129",
      "y": "0.467781072"
    },
    {
      "turn": "0",
      "x": "1.285362813",
      "y": "0.713870661"
    },
    {
      "turn": "0",
      "x": "0.988024268",
      "y": "0.323864991"
    },
    {
      "turn": "0",
      "x": "1.905329296",
      "y": "0.707450230"
    },
    {
      "turn": "0",
      "x": "1.772014371",
      "y": "0.499436457"
    },
    {
      "turn": "0",
      "x": "1.894926424",
      "y": "0.938477441"
    },
    {
      "turn": "0",
      "x": "1.693362878",
      "y": "0.743767505"
    },
    {
      "turn": "0",
      "x": "1.449988313",
      "y": "0.844962823"
    },
    {
      "turn": "0",
      "x": "1.243185962",
      "y": "0.983281898"
    },
    {
      "turn": "0",
      "x": "1.670263039",
      "y": "0.945108181"
    },
    {
      "turn": "0",
      "x": "1.528347947",
      "y": "0.600347251"
    },
    {
      "turn": "0",
      "x": "1.936846370",
      "y": "1.165907663"
    },
    {
      "turn": "0",
      "x": "1.833251302",
      "y": "1.390208033"
    },
    {
      "turn": "0",
      "x": "1.704249553",
      "y": "1.554299230"
    },
    {
      "turn": "0",
      "x": "1.721904203",
      "y": "1.158938632"
    },
    {
      "turn": "0",
      "x": "1.466971119",
      "y": "1.091999888"
    },
    {
      "turn": "0",
      "x": "1.578068013",
      "y": "1.323591113"
    },
    {
      "turn": "0",
      "x": "1.321833659",
      "y": "1.244386949"
    },
    {
      "turn": "0",
      "x": "1.415922900",
      "y": "1.877774295"
    },
    {
      "turn": "0",
      "x": "1.165933742",
      "y": "1.893542986"
    },
    {
      "turn": "0",
      "x": "1.573604045",
      "y": "1.691764457"
    },
    {
      "turn": "0",
      "x": "0.961160459",
      "y": "1.901357926"
    },
    {
      "turn": "0",
      "x": "1.318669055",
      "y": "1.676151556"
    },
    {
      "turn": "0",
      "x": "1.205935654",
      "y": "1.450450234"
    },
    {
      "turn": "0",
      "x": "1.121401777",
      "y": "1.207415425"
    },
    {
      "turn": "0",
      "x": "1.080662794",
      "y": "1.671412986"
    },
    {
      "turn": "0",
      "x": "0.983222104",
      "y": "1.427372422"
    },
    {
      "turn": "0",
      "x": "1.447764994",
      "y": "1.475416891"
    },
    {
      "turn": "0",
      "x": "0.996207142",
      "y": "1.000260709"
    }
  ],
  "radius": "0.143417159"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

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

当前第一名的答案

{
  "placements": [
    {
      "turn": "0",
      "x": "0.512145698",
      "y": "1.846615761"
    },
    {
      "turn": "0",
      "x": "0.357306248",
      "y": "1.644962716"
    },
    {
      "turn": "0",
      "x": "0.761697087",
      "y": "1.872981153"
    },
    {
      "turn": "0",
      "x": "0.232457395",
      "y": "1.478240021"
    },
    {
      "turn": "0",
      "x": "0.621570765",
      "y": "1.654716378"
    },
    {
      "turn": "0",
      "x": "0.744038544",
      "y": "1.440302759"
    },
    {
      "turn": "0",
      "x": "0.872348790",
      "y": "1.221262631"
    },
    {
      "turn": "0",
      "x": "0.489352877",
      "y": "1.450926418"
    },
    {
      "turn": "0",
      "x": "0.620499096",
      "y": "1.236646287"
    },
    {
      "turn": "0",
      "x": "0.865560130",
      "y": "1.656016232"
    },
    {
      "turn": "0",
      "x": "0.025639392",
      "y": "1.066983405"
    },
    {
      "turn": "0",
      "x": "0.107432701",
      "y": "0.827328996"
    },
    {
      "turn": "0",
      "x": "0.139458786",
      "y": "1.293190243"
    },
    {
      "turn": "0",
      "x": "0.174233203",
      "y": "0.631293686"
    },
    {
      "turn": "0",
      "x": "0.247367570",
      "y": "1.051740499"
    },
    {
      "turn": "0",
      "x": "0.492771848",
      "y": "1.034869926"
    },
    {
      "turn": "0",
      "x": "0.745528044",
      "y": "1.017493902"
    },
    {
      "turn": "0",
      "x": "0.342157656",
      "y": "0.828127594"
    },
    {
      "turn": "0",
      "x": "0.591685322",
      "y": "0.817512875"
    },
    {
      "turn": "0",
      "x": "0.371866288",
      "y": "1.260278166"
    },
    {
      "turn": "0",
      "x": "0.400879777",
      "y": "0.228109458"
    },
    {
      "turn": "0",
      "x": "0.644475511",
      "y": "0.167842111"
    },
    {
      "turn": "0",
      "x": "0.275092302",
      "y": "0.449054493"
    },
    {
      "turn": "0",
      "x": "0.838179223",
      "y": "0.112436660"
    },
    {
      "turn": "0",
      "x": "0.535535994",
      "y": "0.403229202"
    },
    {
      "turn": "0",
      "x": "0.686193176",
      "y": "0.598866512"
    },
    {
      "turn": "0",
      "x": "0.843270922",
      "y": "0.798287315"
    },
    {
      "turn": "0",
      "x": "0.777052122",
      "y": "0.368552719"
    },
    {
      "turn": "0",
      "x": "0.924896073",
      "y": "0.578944012"
    },
    {
      "turn": "0",
      "x": "0.432449663",
      "y": "0.623195393"
    },
    {
      "turn": "0",
      "x": "1.291890809",
      "y": "0.073566333"
    },
    {
      "turn": "0",
      "x": "1.473543166",
      "y": "0.236248346"
    },
    {
      "turn": "0",
      "x": "1.042095555",
      "y": "0.092155810"
    },
    {
      "turn": "0",
      "x": "1.621771121",
      "y": "0.354542186"
    },
    {
      "turn": "0",
      "x": "1.223143044",
      "y": "0.286600983"
    },
    {
      "turn": "0",
      "x": "1.142356355",
      "y": "0.525606010"
    },
    {
      "turn": "0",
      "x": "1.091875852",
      "y": "0.777922517"
    },
    {
      "turn": "0",
      "x": "1.378494129",
      "y": "0.467781072"
    },
    {
      "turn": "0",
      "x": "1.285362813",
      "y": "0.713870661"
    },
    {
      "turn": "0",
      "x": "0.988024268",
      "y": "0.323864991"
    },
    {
      "turn": "0",
      "x": "1.905329296",
      "y": "0.707450230"
    },
    {
      "turn": "0",
      "x": "1.772014371",
      "y": "0.499436457"
    },
    {
      "turn": "0",
      "x": "1.894926424",
      "y": "0.938477441"
    },
    {
      "turn": "0",
      "x": "1.693362878",
      "y": "0.743767505"
    },
    {
      "turn": "0",
      "x": "1.449988313",
      "y": "0.844962823"
    },
    {
      "turn": "0",
      "x": "1.243185962",
      "y": "0.983281898"
    },
    {
      "turn": "0",
      "x": "1.670263039",
      "y": "0.945108181"
    },
    {
      "turn": "0",
      "x": "1.528347947",
      "y": "0.600347251"
    },
    {
      "turn": "0",
      "x": "1.936846370",
      "y": "1.165907663"
    },
    {
      "turn": "0",
      "x": "1.833251302",
      "y": "1.390208033"
    },
    {
      "turn": "0",
      "x": "1.704249553",
      "y": "1.554299230"
    },
    {
      "turn": "0",
      "x": "1.721904203",
      "y": "1.158938632"
    },
    {
      "turn": "0",
      "x": "1.466971119",
      "y": "1.091999888"
    },
    {
      "turn": "0",
      "x": "1.578068013",
      "y": "1.323591113"
    },
    {
      "turn": "0",
      "x": "1.321833659",
      "y": "1.244386949"
    },
    {
      "turn": "0",
      "x": "1.415922900",
      "y": "1.877774295"
    },
    {
      "turn": "0",
      "x": "1.165933742",
      "y": "1.893542986"
    },
    {
      "turn": "0",
      "x": "1.573604045",
      "y": "1.691764457"
    },
    {
      "turn": "0",
      "x": "0.961160459",
      "y": "1.901357926"
    },
    {
      "turn": "0",
      "x": "1.318669055",
      "y": "1.676151556"
    },
    {
      "turn": "0",
      "x": "1.205935654",
      "y": "1.450450234"
    },
    {
      "turn": "0",
      "x": "1.121401777",
      "y": "1.207415425"
    },
    {
      "turn": "0",
      "x": "1.080662794",
      "y": "1.671412986"
    },
    {
      "turn": "0",
      "x": "0.983222104",
      "y": "1.427372422"
    },
    {
      "turn": "0",
      "x": "1.447764994",
      "y": "1.475416891"
    },
    {
      "turn": "0",
      "x": "0.996207142",
      "y": "1.000260709"
    }
  ],
  "radius": "0.143417159"
}

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

DISCUSSION

讨论区

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

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