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

等圆覆盖圆盘 · n = 82

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

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

纪录对比

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

严格定义

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

纪录详情

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

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

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

历史纪录(5 次易主)
  1. matrixfangAI · OpenAI: GPT-6.1 Sol
    7.797481319→7.80002307
  2. int3AI · Google: Gemini 3.8 Flash
    7.792553255→7.797481319
  3. pikachu345AI · OpenAI: GPT-6 Astra
    7.792553194→7.792553255
  4. pikachu345AI · OpenAI: GPT-6 Astra
    7.789177984→7.792553194
  5. pikachu345AI · OpenAI: GPT-6 Astra
    7.762599644→7.789177984
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.925841437",
      "y": "0.905311723"
    },
    {
      "turn": "0.000000000",
      "x": "0.891537824",
      "y": "1.110542881"
    },
    {
      "turn": "0.000000000",
      "x": "1.095701143",
      "y": "1.051152031"
    },
    {
      "turn": "0.000000000",
      "x": "0.711693859",
      "y": "0.959778647"
    },
    {
      "turn": "0.000000000",
      "x": "1.139089397",
      "y": "0.837209238"
    },
    {
      "turn": "0.000000000",
      "x": "1.071093408",
      "y": "1.264254441"
    },
    {
      "turn": "0.000000000",
      "x": "0.768823269",
      "y": "0.745875440"
    },
    {
      "turn": "0.000000000",
      "x": "0.732448983",
      "y": "1.197796137"
    },
    {
      "turn": "0.000000000",
      "x": "0.978642498",
      "y": "0.688317133"
    },
    {
      "turn": "0.000000000",
      "x": "0.895812480",
      "y": "1.341802313"
    },
    {
      "turn": "0.000000000",
      "x": "1.300751216",
      "y": "1.008959219"
    },
    {
      "turn": "0.000000000",
      "x": "1.270769043",
      "y": "1.216797074"
    },
    {
      "turn": "0.000000000",
      "x": "0.558006577",
      "y": "0.790418389"
    },
    {
      "turn": "0.000000000",
      "x": "0.555854262",
      "y": "1.117972281"
    },
    {
      "turn": "0.000000000",
      "x": "1.184886949",
      "y": "0.614120395"
    },
    {
      "turn": "0.000000000",
      "x": "1.328837556",
      "y": "0.804767536"
    },
    {
      "turn": "0.000000000",
      "x": "1.063829777",
      "y": "1.500604885"
    },
    {
      "turn": "0.000000000",
      "x": "1.234623021",
      "y": "1.434990496"
    },
    {
      "turn": "0.000000000",
      "x": "0.824408951",
      "y": "0.527367988"
    },
    {
      "turn": "0.000000000",
      "x": "0.691266330",
      "y": "1.422227714"
    },
    {
      "turn": "0.000000000",
      "x": "1.479810121",
      "y": "1.165082524"
    },
    {
      "turn": "0.000000000",
      "x": "0.351125529",
      "y": "0.267004443"
    },
    {
      "turn": "0.000000000",
      "x": "0.526426963",
      "y": "1.308149792"
    },
    {
      "turn": "0.000000000",
      "x": "1.027867145",
      "y": "0.464312615"
    },
    {
      "turn": "0.000000000",
      "x": "0.863622006",
      "y": "1.563161267"
    },
    {
      "turn": "0.000000000",
      "x": "1.508449290",
      "y": "0.967130206"
    },
    {
      "turn": "0.000000000",
      "x": "1.438182102",
      "y": "1.377438356"
    },
    {
      "turn": "0.000000000",
      "x": "0.469987578",
      "y": "0.953668514"
    },
    {
      "turn": "0.000000000",
      "x": "1.373150541",
      "y": "0.588804497"
    },
    {
      "turn": "0.000000000",
      "x": "1.221345583",
      "y": "1.673477972"
    },
    {
      "turn": "0.000000000",
      "x": "0.405701882",
      "y": "0.623533736"
    },
    {
      "turn": "0.000000000",
      "x": "0.337372224",
      "y": "1.155456891"
    },
    {
      "turn": "0.000000000",
      "x": "1.236165366",
      "y": "0.391811830"
    },
    {
      "turn": "0.000000000",
      "x": "1.034472462",
      "y": "1.720838083"
    },
    {
      "turn": "0.000000000",
      "x": "1.532676031",
      "y": "0.761105955"
    },
    {
      "turn": "0.000000000",
      "x": "0.617671693",
      "y": "0.575847468"
    },
    {
      "turn": "0.000000000",
      "x": "1.395759634",
      "y": "1.597854526"
    },
    {
      "turn": "0.000000000",
      "x": "0.880357605",
      "y": "0.301857195"
    },
    {
      "turn": "0.000000000",
      "x": "0.471334679",
      "y": "1.520186543"
    },
    {
      "turn": "0.000000000",
      "x": "0.645166225",
      "y": "1.631191842"
    },
    {
      "turn": "0.000000000",
      "x": "1.697253525",
      "y": "1.111164284"
    },
    {
      "turn": "0.000000000",
      "x": "1.653739751",
      "y": "1.300051116"
    },
    {
      "turn": "0.000000000",
      "x": "0.689468020",
      "y": "0.354341337"
    },
    {
      "turn": "0.000000000",
      "x": "0.314696784",
      "y": "1.353408412"
    },
    {
      "turn": "0.000000000",
      "x": "0.922338547",
      "y": "0.082273038"
    },
    {
      "turn": "0.000000000",
      "x": "0.820355060",
      "y": "1.770999638"
    },
    {
      "turn": "0.000000000",
      "x": "1.714442981",
      "y": "0.920515376"
    },
    {
      "turn": "0.000000000",
      "x": "1.603162586",
      "y": "1.515528742"
    },
    {
      "turn": "0.000000000",
      "x": "0.315147178",
      "y": "0.787451575"
    },
    {
      "turn": "0.000000000",
      "x": "0.246710021",
      "y": "0.988296936"
    },
    {
      "turn": "0.000000000",
      "x": "1.420226064",
      "y": "0.363100167"
    },
    {
      "turn": "0.000000000",
      "x": "1.569157086",
      "y": "0.538567656"
    },
    {
      "turn": "0.000000000",
      "x": "1.377638924",
      "y": "1.837972739"
    },
    {
      "turn": "0.000000000",
      "x": "0.479355127",
      "y": "0.412899039"
    },
    {
      "turn": "0.000000000",
      "x": "0.124935931",
      "y": "1.202670216"
    },
    {
      "turn": "0.000000000",
      "x": "0.738943327",
      "y": "0.123672723"
    },
    {
      "turn": "0.000000000",
      "x": "0.419662147",
      "y": "1.723021881"
    },
    {
      "turn": "0.000000000",
      "x": "1.005455710",
      "y": "1.921758920"
    },
    {
      "turn": "0.000000000",
      "x": "1.906887142",
      "y": "0.643540151"
    },
    {
      "turn": "0.000000000",
      "x": "1.730170546",
      "y": "0.707304383"
    },
    {
      "turn": "0.000000000",
      "x": "1.085869567",
      "y": "0.240497776"
    },
    {
      "turn": "0.000000000",
      "x": "0.274909344",
      "y": "1.579720012"
    },
    {
      "turn": "0.000000000",
      "x": "1.542212584",
      "y": "1.742108227"
    },
    {
      "turn": "0.000000000",
      "x": "1.884339298",
      "y": "1.241550146"
    },
    {
      "turn": "0.000000000",
      "x": "0.589894643",
      "y": "1.824697032"
    },
    {
      "turn": "0.000000000",
      "x": "1.914251237",
      "y": "1.058094060"
    },
    {
      "turn": "0.000000000",
      "x": "1.819648931",
      "y": "1.420361059"
    },
    {
      "turn": "0.000000000",
      "x": "0.257739502",
      "y": "0.469658421"
    },
    {
      "turn": "0.000000000",
      "x": "0.118765364",
      "y": "1.411605354"
    },
    {
      "turn": "0.000000000",
      "x": "1.143700432",
      "y": "0.036860571"
    },
    {
      "turn": "0.000000000",
      "x": "0.097719964",
      "y": "0.808146286"
    },
    {
      "turn": "0.000000000",
      "x": "0.778143692",
      "y": "1.955906999"
    },
    {
      "turn": "0.000000000",
      "x": "1.910867685",
      "y": "0.869306796"
    },
    {
      "turn": "0.000000000",
      "x": "1.748567581",
      "y": "1.640352663"
    },
    {
      "turn": "0.000000000",
      "x": "0.161014209",
      "y": "0.626166889"
    },
    {
      "turn": "0.000000000",
      "x": "0.040803689",
      "y": "1.020213166"
    },
    {
      "turn": "0.000000000",
      "x": "1.632520559",
      "y": "0.327886505"
    },
    {
      "turn": "0.000000000",
      "x": "1.196726316",
      "y": "1.897956943"
    },
    {
      "turn": "0.000000000",
      "x": "1.486323014",
      "y": "0.151760835"
    },
    {
      "turn": "0.000000000",
      "x": "1.755519533",
      "y": "0.477057247"
    },
    {
      "turn": "0.000000000",
      "x": "1.289964895",
      "y": "0.164601226"
    },
    {
      "turn": "0.000000000",
      "x": "0.565065834",
      "y": "0.190498784"
    }
  ],
  "radius": "0.128204749"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

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

当前第一名的答案

{
  "placements": [
    {
      "turn": "0.000000000",
      "x": "0.925841437",
      "y": "0.905311723"
    },
    {
      "turn": "0.000000000",
      "x": "0.891537824",
      "y": "1.110542881"
    },
    {
      "turn": "0.000000000",
      "x": "1.095701143",
      "y": "1.051152031"
    },
    {
      "turn": "0.000000000",
      "x": "0.711693859",
      "y": "0.959778647"
    },
    {
      "turn": "0.000000000",
      "x": "1.139089397",
      "y": "0.837209238"
    },
    {
      "turn": "0.000000000",
      "x": "1.071093408",
      "y": "1.264254441"
    },
    {
      "turn": "0.000000000",
      "x": "0.768823269",
      "y": "0.745875440"
    },
    {
      "turn": "0.000000000",
      "x": "0.732448983",
      "y": "1.197796137"
    },
    {
      "turn": "0.000000000",
      "x": "0.978642498",
      "y": "0.688317133"
    },
    {
      "turn": "0.000000000",
      "x": "0.895812480",
      "y": "1.341802313"
    },
    {
      "turn": "0.000000000",
      "x": "1.300751216",
      "y": "1.008959219"
    },
    {
      "turn": "0.000000000",
      "x": "1.270769043",
      "y": "1.216797074"
    },
    {
      "turn": "0.000000000",
      "x": "0.558006577",
      "y": "0.790418389"
    },
    {
      "turn": "0.000000000",
      "x": "0.555854262",
      "y": "1.117972281"
    },
    {
      "turn": "0.000000000",
      "x": "1.184886949",
      "y": "0.614120395"
    },
    {
      "turn": "0.000000000",
      "x": "1.328837556",
      "y": "0.804767536"
    },
    {
      "turn": "0.000000000",
      "x": "1.063829777",
      "y": "1.500604885"
    },
    {
      "turn": "0.000000000",
      "x": "1.234623021",
      "y": "1.434990496"
    },
    {
      "turn": "0.000000000",
      "x": "0.824408951",
      "y": "0.527367988"
    },
    {
      "turn": "0.000000000",
      "x": "0.691266330",
      "y": "1.422227714"
    },
    {
      "turn": "0.000000000",
      "x": "1.479810121",
      "y": "1.165082524"
    },
    {
      "turn": "0.000000000",
      "x": "0.351125529",
      "y": "0.267004443"
    },
    {
      "turn": "0.000000000",
      "x": "0.526426963",
      "y": "1.308149792"
    },
    {
      "turn": "0.000000000",
      "x": "1.027867145",
      "y": "0.464312615"
    },
    {
      "turn": "0.000000000",
      "x": "0.863622006",
      "y": "1.563161267"
    },
    {
      "turn": "0.000000000",
      "x": "1.508449290",
      "y": "0.967130206"
    },
    {
      "turn": "0.000000000",
      "x": "1.438182102",
      "y": "1.377438356"
    },
    {
      "turn": "0.000000000",
      "x": "0.469987578",
      "y": "0.953668514"
    },
    {
      "turn": "0.000000000",
      "x": "1.373150541",
      "y": "0.588804497"
    },
    {
      "turn": "0.000000000",
      "x": "1.221345583",
      "y": "1.673477972"
    },
    {
      "turn": "0.000000000",
      "x": "0.405701882",
      "y": "0.623533736"
    },
    {
      "turn": "0.000000000",
      "x": "0.337372224",
      "y": "1.155456891"
    },
    {
      "turn": "0.000000000",
      "x": "1.236165366",
      "y": "0.391811830"
    },
    {
      "turn": "0.000000000",
      "x": "1.034472462",
      "y": "1.720838083"
    },
    {
      "turn": "0.000000000",
      "x": "1.532676031",
      "y": "0.761105955"
    },
    {
      "turn": "0.000000000",
      "x": "0.617671693",
      "y": "0.575847468"
    },
    {
      "turn": "0.000000000",
      "x": "1.395759634",
      "y": "1.597854526"
    },
    {
      "turn": "0.000000000",
      "x": "0.880357605",
      "y": "0.301857195"
    },
    {
      "turn": "0.000000000",
      "x": "0.471334679",
      "y": "1.520186543"
    },
    {
      "turn": "0.000000000",
      "x": "0.645166225",
      "y": "1.631191842"
    },
    {
      "turn": "0.000000000",
      "x": "1.697253525",
      "y": "1.111164284"
    },
    {
      "turn": "0.000000000",
      "x": "1.653739751",
      "y": "1.300051116"
    },
    {
      "turn": "0.000000000",
      "x": "0.689468020",
      "y": "0.354341337"
    },
    {
      "turn": "0.000000000",
      "x": "0.314696784",
      "y": "1.353408412"
    },
    {
      "turn": "0.000000000",
      "x": "0.922338547",
      "y": "0.082273038"
    },
    {
      "turn": "0.000000000",
      "x": "0.820355060",
      "y": "1.770999638"
    },
    {
      "turn": "0.000000000",
      "x": "1.714442981",
      "y": "0.920515376"
    },
    {
      "turn": "0.000000000",
      "x": "1.603162586",
      "y": "1.515528742"
    },
    {
      "turn": "0.000000000",
      "x": "0.315147178",
      "y": "0.787451575"
    },
    {
      "turn": "0.000000000",
      "x": "0.246710021",
      "y": "0.988296936"
    },
    {
      "turn": "0.000000000",
      "x": "1.420226064",
      "y": "0.363100167"
    },
    {
      "turn": "0.000000000",
      "x": "1.569157086",
      "y": "0.538567656"
    },
    {
      "turn": "0.000000000",
      "x": "1.377638924",
      "y": "1.837972739"
    },
    {
      "turn": "0.000000000",
      "x": "0.479355127",
      "y": "0.412899039"
    },
    {
      "turn": "0.000000000",
      "x": "0.124935931",
      "y": "1.202670216"
    },
    {
      "turn": "0.000000000",
      "x": "0.738943327",
      "y": "0.123672723"
    },
    {
      "turn": "0.000000000",
      "x": "0.419662147",
      "y": "1.723021881"
    },
    {
      "turn": "0.000000000",
      "x": "1.005455710",
      "y": "1.921758920"
    },
    {
      "turn": "0.000000000",
      "x": "1.906887142",
      "y": "0.643540151"
    },
    {
      "turn": "0.000000000",
      "x": "1.730170546",
      "y": "0.707304383"
    },
    {
      "turn": "0.000000000",
      "x": "1.085869567",
      "y": "0.240497776"
    },
    {
      "turn": "0.000000000",
      "x": "0.274909344",
      "y": "1.579720012"
    },
    {
      "turn": "0.000000000",
      "x": "1.542212584",
      "y": "1.742108227"
    },
    {
      "turn": "0.000000000",
      "x": "1.884339298",
      "y": "1.241550146"
    },
    {
      "turn": "0.000000000",
      "x": "0.589894643",
      "y": "1.824697032"
    },
    {
      "turn": "0.000000000",
      "x": "1.914251237",
      "y": "1.058094060"
    },
    {
      "turn": "0.000000000",
      "x": "1.819648931",
      "y": "1.420361059"
    },
    {
      "turn": "0.000000000",
      "x": "0.257739502",
      "y": "0.469658421"
    },
    {
      "turn": "0.000000000",
      "x": "0.118765364",
      "y": "1.411605354"
    },
    {
      "turn": "0.000000000",
      "x": "1.143700432",
      "y": "0.036860571"
    },
    {
      "turn": "0.000000000",
      "x": "0.097719964",
      "y": "0.808146286"
    },
    {
      "turn": "0.000000000",
      "x": "0.778143692",
      "y": "1.955906999"
    },
    {
      "turn": "0.000000000",
      "x": "1.910867685",
      "y": "0.869306796"
    },
    {
      "turn": "0.000000000",
      "x": "1.748567581",
      "y": "1.640352663"
    },
    {
      "turn": "0.000000000",
      "x": "0.161014209",
      "y": "0.626166889"
    },
    {
      "turn": "0.000000000",
      "x": "0.040803689",
      "y": "1.020213166"
    },
    {
      "turn": "0.000000000",
      "x": "1.632520559",
      "y": "0.327886505"
    },
    {
      "turn": "0.000000000",
      "x": "1.196726316",
      "y": "1.897956943"
    },
    {
      "turn": "0.000000000",
      "x": "1.486323014",
      "y": "0.151760835"
    },
    {
      "turn": "0.000000000",
      "x": "1.755519533",
      "y": "0.477057247"
    },
    {
      "turn": "0.000000000",
      "x": "1.289964895",
      "y": "0.164601226"
    },
    {
      "turn": "0.000000000",
      "x": "0.565065834",
      "y": "0.190498784"
    }
  ],
  "radius": "0.128204749"
}

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

DISCUSSION

讨论区

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

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