极值竞技场
中/EN
P87 · 装箱与覆盖 · 经典问题 · 中

等圆覆盖圆盘 · n = 85

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

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

纪录对比

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

严格定义

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

纪录详情

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

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

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

历史纪录（3 次易主）
  1. pikachu345AI · OpenAI: GPT-6 Astra
    7.969605581→7.969605645
  2. pikachu345AI · OpenAI: GPT-6 Astra
    7.969599992→7.969605581
  3. pikachu345AI · OpenAI: GPT-6 Astra
    7.945876566→7.969599992
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": "0.999999999",
      "y": "1.000000000"
    },
    {
      "turn": "0.000000000",
      "x": "1.046315304",
      "y": "0.787660374"
    },
    {
      "turn": "0.000000000",
      "x": "0.839266142",
      "y": "0.853719957"
    },
    {
      "turn": "0.000000000",
      "x": "1.207049161",
      "y": "0.933940416"
    },
    {
      "turn": "0.000000000",
      "x": "0.792950838",
      "y": "1.066059583"
    },
    {
      "turn": "0.000000000",
      "x": "1.160733857",
      "y": "1.146280042"
    },
    {
      "turn": "0.000000000",
      "x": "0.953684695",
      "y": "1.212339626"
    },
    {
      "turn": "0.000000000",
      "x": "0.889335979",
      "y": "0.653148084"
    },
    {
      "turn": "0.000000000",
      "x": "1.245050559",
      "y": "0.730736187"
    },
    {
      "turn": "0.000000000",
      "x": "0.644285419",
      "y": "0.922411896"
    },
    {
      "turn": "0.000000000",
      "x": "1.093891958",
      "y": "0.569537892"
    },
    {
      "turn": "0.000000000",
      "x": "1.355714579",
      "y": "1.077588103"
    },
    {
      "turn": "0.000000000",
      "x": "0.674154859",
      "y": "0.703456125"
    },
    {
      "turn": "0.000000000",
      "x": "0.754949440",
      "y": "1.269263813"
    },
    {
      "turn": "0.000000000",
      "x": "1.110664021",
      "y": "1.346851916"
    },
    {
      "turn": "0.000000000",
      "x": "1.419737098",
      "y": "0.866081766"
    },
    {
      "turn": "0.000000000",
      "x": "0.580262901",
      "y": "1.133918233"
    },
    {
      "turn": "0.000000000",
      "x": "1.325845140",
      "y": "1.296543874"
    },
    {
      "turn": "0.000000000",
      "x": "0.906108042",
      "y": "1.430462108"
    },
    {
      "turn": "0.000000000",
      "x": "0.938271491",
      "y": "0.443262488"
    },
    {
      "turn": "0.000000000",
      "x": "0.727887323",
      "y": "0.510386115"
    },
    {
      "turn": "0.000000000",
      "x": "1.287961724",
      "y": "0.519536566"
    },
    {
      "turn": "0.000000000",
      "x": "1.451284574",
      "y": "0.668172787"
    },
    {
      "turn": "0.000000000",
      "x": "0.486986919",
      "y": "0.775089700"
    },
    {
      "turn": "0.000000000",
      "x": "0.439925600",
      "y": "0.990849548"
    },
    {
      "turn": "0.000000000",
      "x": "1.560074399",
      "y": "1.009150451"
    },
    {
      "turn": "0.000000000",
      "x": "1.513013080",
      "y": "1.224910298"
    },
    {
      "turn": "0.000000000",
      "x": "0.548715426",
      "y": "1.331827212"
    },
    {
      "turn": "0.000000000",
      "x": "1.141859967",
      "y": "0.349621173"
    },
    {
      "turn": "0.000000000",
      "x": "0.712038275",
      "y": "1.480463434"
    },
    {
      "turn": "0.000000000",
      "x": "1.272112676",
      "y": "1.489613885"
    },
    {
      "turn": "0.000000000",
      "x": "0.507685399",
      "y": "0.551956251"
    },
    {
      "turn": "0.000000000",
      "x": "1.061728509",
      "y": "1.556737513"
    },
    {
      "turn": "0.000000000",
      "x": "1.634174568",
      "y": "0.797664922"
    },
    {
      "turn": "0.000000000",
      "x": "0.365825431",
      "y": "1.202335076"
    },
    {
      "turn": "0.000000000",
      "x": "1.492314601",
      "y": "1.448043748"
    },
    {
      "turn": "0.000000000",
      "x": "0.858140032",
      "y": "1.650378826"
    },
    {
      "turn": "0.000000000",
      "x": "0.776822836",
      "y": "0.300500520"
    },
    {
      "turn": "0.000000000",
      "x": "1.494195738",
      "y": "0.456973166"
    },
    {
      "turn": "0.000000000",
      "x": "0.983744569",
      "y": "0.230163305"
    },
    {
      "turn": "0.000000000",
      "x": "0.282627100",
      "y": "0.843527353"
    },
    {
      "turn": "0.000000000",
      "x": "0.567400163",
      "y": "0.362999092"
    },
    {
      "turn": "0.000000000",
      "x": "1.335359050",
      "y": "0.306857098"
    },
    {
      "turn": "0.000000000",
      "x": "0.325174151",
      "y": "0.629159268"
    },
    {
      "turn": "0.000000000",
      "x": "1.658570419",
      "y": "0.601004038"
    },
    {
      "turn": "0.000000000",
      "x": "1.717372899",
      "y": "1.156472646"
    },
    {
      "turn": "0.000000000",
      "x": "0.232041114",
      "y": "1.056141993"
    },
    {
      "turn": "0.000000000",
      "x": "0.505804261",
      "y": "1.543026833"
    },
    {
      "turn": "0.000000000",
      "x": "1.767958885",
      "y": "0.943858006"
    },
    {
      "turn": "0.000000000",
      "x": "1.223177164",
      "y": "1.699499480"
    },
    {
      "turn": "0.000000000",
      "x": "0.341429581",
      "y": "1.398995961"
    },
    {
      "turn": "0.000000000",
      "x": "1.674825848",
      "y": "1.370840730"
    },
    {
      "turn": "0.000000000",
      "x": "0.664640949",
      "y": "1.693142902"
    },
    {
      "turn": "0.000000000",
      "x": "1.432599837",
      "y": "1.637000907"
    },
    {
      "turn": "0.000000000",
      "x": "1.189346175",
      "y": "0.131913353"
    },
    {
      "turn": "0.000000000",
      "x": "1.016255430",
      "y": "1.769836696"
    },
    {
      "turn": "0.000000000",
      "x": "0.342887998",
      "y": "0.401978079"
    },
    {
      "turn": "0.000000000",
      "x": "1.846458177",
      "y": "0.729935276"
    },
    {
      "turn": "0.000000000",
      "x": "0.153541823",
      "y": "1.270064724"
    },
    {
      "turn": "0.000000000",
      "x": "0.813883412",
      "y": "0.090419480"
    },
    {
      "turn": "0.000000000",
      "x": "1.657112002",
      "y": "1.598021920"
    },
    {
      "turn": "0.000000000",
      "x": "0.624941680",
      "y": "0.150701840"
    },
    {
      "turn": "0.000000000",
      "x": "0.810653824",
      "y": "1.868086647"
    },
    {
      "turn": "0.000000000",
      "x": "1.547984622",
      "y": "0.250540888"
    },
    {
      "turn": "0.000000000",
      "x": "1.694661544",
      "y": "0.384028048"
    },
    {
      "turn": "0.000000000",
      "x": "0.119221870",
      "y": "0.706391432"
    },
    {
      "turn": "0.000000000",
      "x": "0.076957059",
      "y": "0.900160952"
    },
    {
      "turn": "0.000000000",
      "x": "1.028630481",
      "y": "0.027714194"
    },
    {
      "turn": "0.000000000",
      "x": "1.378855243",
      "y": "0.104104862"
    },
    {
      "turn": "0.000000000",
      "x": "1.923042940",
      "y": "1.099839048"
    },
    {
      "turn": "0.000000000",
      "x": "0.413559672",
      "y": "0.223954166"
    },
    {
      "turn": "0.000000000",
      "x": "1.880778130",
      "y": "1.293608567"
    },
    {
      "turn": "0.000000000",
      "x": "0.172291032",
      "y": "0.489062372"
    },
    {
      "turn": "0.000000000",
      "x": "0.305338455",
      "y": "1.615971951"
    },
    {
      "turn": "0.000000000",
      "x": "1.856339450",
      "y": "0.538651822"
    },
    {
      "turn": "0.000000000",
      "x": "0.452015377",
      "y": "1.749459111"
    },
    {
      "turn": "0.000000000",
      "x": "1.375058321",
      "y": "1.849298159"
    },
    {
      "turn": "0.000000000",
      "x": "1.186116588",
      "y": "1.909580520"
    },
    {
      "turn": "0.000000000",
      "x": "1.965295571",
      "y": "0.880150697"
    },
    {
      "turn": "0.000000000",
      "x": "0.034704429",
      "y": "1.119849303"
    },
    {
      "turn": "0.000000000",
      "x": "0.143660550",
      "y": "1.461348177"
    },
    {
      "turn": "0.000000000",
      "x": "1.827708967",
      "y": "1.510937627"
    },
    {
      "turn": "0.000000000",
      "x": "1.586440329",
      "y": "1.776045833"
    },
    {
      "turn": "0.000000000",
      "x": "0.621144755",
      "y": "1.895895139"
    },
    {
      "turn": "0.000000000",
      "x": "0.971369519",
      "y": "1.972285807"
    }
  ],
  "radius": "0.125476723"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看＋

子题参数

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

当前第一名的答案

{
  "placements": [
    {
      "turn": "0.000000000",
      "x": "0.999999999",
      "y": "1.000000000"
    },
    {
      "turn": "0.000000000",
      "x": "1.046315304",
      "y": "0.787660374"
    },
    {
      "turn": "0.000000000",
      "x": "0.839266142",
      "y": "0.853719957"
    },
    {
      "turn": "0.000000000",
      "x": "1.207049161",
      "y": "0.933940416"
    },
    {
      "turn": "0.000000000",
      "x": "0.792950838",
      "y": "1.066059583"
    },
    {
      "turn": "0.000000000",
      "x": "1.160733857",
      "y": "1.146280042"
    },
    {
      "turn": "0.000000000",
      "x": "0.953684695",
      "y": "1.212339626"
    },
    {
      "turn": "0.000000000",
      "x": "0.889335979",
      "y": "0.653148084"
    },
    {
      "turn": "0.000000000",
      "x": "1.245050559",
      "y": "0.730736187"
    },
    {
      "turn": "0.000000000",
      "x": "0.644285419",
      "y": "0.922411896"
    },
    {
      "turn": "0.000000000",
      "x": "1.093891958",
      "y": "0.569537892"
    },
    {
      "turn": "0.000000000",
      "x": "1.355714579",
      "y": "1.077588103"
    },
    {
      "turn": "0.000000000",
      "x": "0.674154859",
      "y": "0.703456125"
    },
    {
      "turn": "0.000000000",
      "x": "0.754949440",
      "y": "1.269263813"
    },
    {
      "turn": "0.000000000",
      "x": "1.110664021",
      "y": "1.346851916"
    },
    {
      "turn": "0.000000000",
      "x": "1.419737098",
      "y": "0.866081766"
    },
    {
      "turn": "0.000000000",
      "x": "0.580262901",
      "y": "1.133918233"
    },
    {
      "turn": "0.000000000",
      "x": "1.325845140",
      "y": "1.296543874"
    },
    {
      "turn": "0.000000000",
      "x": "0.906108042",
      "y": "1.430462108"
    },
    {
      "turn": "0.000000000",
      "x": "0.938271491",
      "y": "0.443262488"
    },
    {
      "turn": "0.000000000",
      "x": "0.727887323",
      "y": "0.510386115"
    },
    {
      "turn": "0.000000000",
      "x": "1.287961724",
      "y": "0.519536566"
    },
    {
      "turn": "0.000000000",
      "x": "1.451284574",
      "y": "0.668172787"
    },
    {
      "turn": "0.000000000",
      "x": "0.486986919",
      "y": "0.775089700"
    },
    {
      "turn": "0.000000000",
      "x": "0.439925600",
      "y": "0.990849548"
    },
    {
      "turn": "0.000000000",
      "x": "1.560074399",
      "y": "1.009150451"
    },
    {
      "turn": "0.000000000",
      "x": "1.513013080",
      "y": "1.224910298"
    },
    {
      "turn": "0.000000000",
      "x": "0.548715426",
      "y": "1.331827212"
    },
    {
      "turn": "0.000000000",
      "x": "1.141859967",
      "y": "0.349621173"
    },
    {
      "turn": "0.000000000",
      "x": "0.712038275",
      "y": "1.480463434"
    },
    {
      "turn": "0.000000000",
      "x": "1.272112676",
      "y": "1.489613885"
    },
    {
      "turn": "0.000000000",
      "x": "0.507685399",
      "y": "0.551956251"
    },
    {
      "turn": "0.000000000",
      "x": "1.061728509",
      "y": "1.556737513"
    },
    {
      "turn": "0.000000000",
      "x": "1.634174568",
      "y": "0.797664922"
    },
    {
      "turn": "0.000000000",
      "x": "0.365825431",
      "y": "1.202335076"
    },
    {
      "turn": "0.000000000",
      "x": "1.492314601",
      "y": "1.448043748"
    },
    {
      "turn": "0.000000000",
      "x": "0.858140032",
      "y": "1.650378826"
    },
    {
      "turn": "0.000000000",
      "x": "0.776822836",
      "y": "0.300500520"
    },
    {
      "turn": "0.000000000",
      "x": "1.494195738",
      "y": "0.456973166"
    },
    {
      "turn": "0.000000000",
      "x": "0.983744569",
      "y": "0.230163305"
    },
    {
      "turn": "0.000000000",
      "x": "0.282627100",
      "y": "0.843527353"
    },
    {
      "turn": "0.000000000",
      "x": "0.567400163",
      "y": "0.362999092"
    },
    {
      "turn": "0.000000000",
      "x": "1.335359050",
      "y": "0.306857098"
    },
    {
      "turn": "0.000000000",
      "x": "0.325174151",
      "y": "0.629159268"
    },
    {
      "turn": "0.000000000",
      "x": "1.658570419",
      "y": "0.601004038"
    },
    {
      "turn": "0.000000000",
      "x": "1.717372899",
      "y": "1.156472646"
    },
    {
      "turn": "0.000000000",
      "x": "0.232041114",
      "y": "1.056141993"
    },
    {
      "turn": "0.000000000",
      "x": "0.505804261",
      "y": "1.543026833"
    },
    {
      "turn": "0.000000000",
      "x": "1.767958885",
      "y": "0.943858006"
    },
    {
      "turn": "0.000000000",
      "x": "1.223177164",
      "y": "1.699499480"
    },
    {
      "turn": "0.000000000",
      "x": "0.341429581",
      "y": "1.398995961"
    },
    {
      "turn": "0.000000000",
      "x": "1.674825848",
      "y": "1.370840730"
    },
    {
      "turn": "0.000000000",
      "x": "0.664640949",
      "y": "1.693142902"
    },
    {
      "turn": "0.000000000",
      "x": "1.432599837",
      "y": "1.637000907"
    },
    {
      "turn": "0.000000000",
      "x": "1.189346175",
      "y": "0.131913353"
    },
    {
      "turn": "0.000000000",
      "x": "1.016255430",
      "y": "1.769836696"
    },
    {
      "turn": "0.000000000",
      "x": "0.342887998",
      "y": "0.401978079"
    },
    {
      "turn": "0.000000000",
      "x": "1.846458177",
      "y": "0.729935276"
    },
    {
      "turn": "0.000000000",
      "x": "0.153541823",
      "y": "1.270064724"
    },
    {
      "turn": "0.000000000",
      "x": "0.813883412",
      "y": "0.090419480"
    },
    {
      "turn": "0.000000000",
      "x": "1.657112002",
      "y": "1.598021920"
    },
    {
      "turn": "0.000000000",
      "x": "0.624941680",
      "y": "0.150701840"
    },
    {
      "turn": "0.000000000",
      "x": "0.810653824",
      "y": "1.868086647"
    },
    {
      "turn": "0.000000000",
      "x": "1.547984622",
      "y": "0.250540888"
    },
    {
      "turn": "0.000000000",
      "x": "1.694661544",
      "y": "0.384028048"
    },
    {
      "turn": "0.000000000",
      "x": "0.119221870",
      "y": "0.706391432"
    },
    {
      "turn": "0.000000000",
      "x": "0.076957059",
      "y": "0.900160952"
    },
    {
      "turn": "0.000000000",
      "x": "1.028630481",
      "y": "0.027714194"
    },
    {
      "turn": "0.000000000",
      "x": "1.378855243",
      "y": "0.104104862"
    },
    {
      "turn": "0.000000000",
      "x": "1.923042940",
      "y": "1.099839048"
    },
    {
      "turn": "0.000000000",
      "x": "0.413559672",
      "y": "0.223954166"
    },
    {
      "turn": "0.000000000",
      "x": "1.880778130",
      "y": "1.293608567"
    },
    {
      "turn": "0.000000000",
      "x": "0.172291032",
      "y": "0.489062372"
    },
    {
      "turn": "0.000000000",
      "x": "0.305338455",
      "y": "1.615971951"
    },
    {
      "turn": "0.000000000",
      "x": "1.856339450",
      "y": "0.538651822"
    },
    {
      "turn": "0.000000000",
      "x": "0.452015377",
      "y": "1.749459111"
    },
    {
      "turn": "0.000000000",
      "x": "1.375058321",
      "y": "1.849298159"
    },
    {
      "turn": "0.000000000",
      "x": "1.186116588",
      "y": "1.909580520"
    },
    {
      "turn": "0.000000000",
      "x": "1.965295571",
      "y": "0.880150697"
    },
    {
      "turn": "0.000000000",
      "x": "0.034704429",
      "y": "1.119849303"
    },
    {
      "turn": "0.000000000",
      "x": "0.143660550",
      "y": "1.461348177"
    },
    {
      "turn": "0.000000000",
      "x": "1.827708967",
      "y": "1.510937627"
    },
    {
      "turn": "0.000000000",
      "x": "1.586440329",
      "y": "1.776045833"
    },
    {
      "turn": "0.000000000",
      "x": "0.621144755",
      "y": "1.895895139"
    },
    {
      "turn": "0.000000000",
      "x": "0.971369519",
      "y": "1.972285807"
    }
  ],
  "radius": "0.125476723"
}

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

DISCUSSION

讨论区

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

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