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

等圆覆盖圆盘 · n = 89

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

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

纪录对比

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

严格定义

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

纪录详情

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

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

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

历史纪录(4 次易主)
  1. pikachu345AI · OpenAI: GPT-6 Astra
    8.170051717→8.170051784
  2. pikachu345AI · OpenAI: GPT-6 Astra
    8.164240283→8.170051717
  3. pikachu345AI · OpenAI: GPT-6 Astra
    8.164142301→8.164240283
  4. pikachu345AI · OpenAI: GPT-6 Astra
    8.12588854→8.164142301
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.963025250",
      "y": "1.028979005"
    },
    {
      "turn": "0.000000000",
      "x": "1.056915535",
      "y": "0.831102004"
    },
    {
      "turn": "0.000000000",
      "x": "0.854636834",
      "y": "0.854773614"
    },
    {
      "turn": "0.000000000",
      "x": "1.177605414",
      "y": "0.985092515"
    },
    {
      "turn": "0.000000000",
      "x": "0.755807791",
      "y": "1.052649597"
    },
    {
      "turn": "0.000000000",
      "x": "1.106283921",
      "y": "1.175854895"
    },
    {
      "turn": "0.000000000",
      "x": "0.890524511",
      "y": "1.224537187"
    },
    {
      "turn": "0.000000000",
      "x": "0.938970812",
      "y": "0.653412465"
    },
    {
      "turn": "0.000000000",
      "x": "1.270764636",
      "y": "0.787788469"
    },
    {
      "turn": "0.000000000",
      "x": "0.646150399",
      "y": "0.881250328"
    },
    {
      "turn": "0.000000000",
      "x": "1.143912287",
      "y": "0.632983407"
    },
    {
      "turn": "0.000000000",
      "x": "0.733574482",
      "y": "0.683673817"
    },
    {
      "turn": "0.000000000",
      "x": "1.321963781",
      "y": "1.142080354"
    },
    {
      "turn": "0.000000000",
      "x": "0.694326706",
      "y": "1.239571136"
    },
    {
      "turn": "0.000000000",
      "x": "1.390772931",
      "y": "0.947957502"
    },
    {
      "turn": "0.000000000",
      "x": "0.543751038",
      "y": "1.074334396"
    },
    {
      "turn": "0.000000000",
      "x": "1.030755053",
      "y": "1.371974766"
    },
    {
      "turn": "0.000000000",
      "x": "1.243498405",
      "y": "1.334295400"
    },
    {
      "turn": "0.000000000",
      "x": "1.018808551",
      "y": "0.456028635"
    },
    {
      "turn": "0.000000000",
      "x": "0.816272468",
      "y": "0.482443134"
    },
    {
      "turn": "0.000000000",
      "x": "0.818795586",
      "y": "1.425269001"
    },
    {
      "turn": "0.000000000",
      "x": "1.358310282",
      "y": "0.590367320"
    },
    {
      "turn": "0.000000000",
      "x": "0.522612953",
      "y": "0.716254959"
    },
    {
      "turn": "0.000000000",
      "x": "1.483386158",
      "y": "0.749953916"
    },
    {
      "turn": "0.000000000",
      "x": "0.431618551",
      "y": "0.909039554"
    },
    {
      "turn": "0.000000000",
      "x": "1.224298921",
      "y": "0.436297025"
    },
    {
      "turn": "0.000000000",
      "x": "0.608401045",
      "y": "0.518808913"
    },
    {
      "turn": "0.000000000",
      "x": "1.532707102",
      "y": "1.111721456"
    },
    {
      "turn": "0.000000000",
      "x": "0.487576447",
      "y": "1.262253805"
    },
    {
      "turn": "0.000000000",
      "x": "1.458660641",
      "y": "1.302078305"
    },
    {
      "turn": "0.000000000",
      "x": "0.622896864",
      "y": "1.434911735"
    },
    {
      "turn": "0.000000000",
      "x": "1.161450564",
      "y": "1.531359963"
    },
    {
      "turn": "0.000000000",
      "x": "1.600970258",
      "y": "0.916899064"
    },
    {
      "turn": "0.000000000",
      "x": "0.952507155",
      "y": "1.573651273"
    },
    {
      "turn": "0.000000000",
      "x": "0.330866863",
      "y": "1.104395874"
    },
    {
      "turn": "0.000000000",
      "x": "1.083868040",
      "y": "0.262378299"
    },
    {
      "turn": "0.000000000",
      "x": "1.571162198",
      "y": "0.552352236"
    },
    {
      "turn": "0.000000000",
      "x": "1.373676292",
      "y": "1.495238044"
    },
    {
      "turn": "0.000000000",
      "x": "0.701817301",
      "y": "0.317123016"
    },
    {
      "turn": "0.000000000",
      "x": "0.738734999",
      "y": "1.624802618"
    },
    {
      "turn": "0.000000000",
      "x": "1.446564343",
      "y": "0.405015852"
    },
    {
      "turn": "0.000000000",
      "x": "0.307601609",
      "y": "0.745347160"
    },
    {
      "turn": "0.000000000",
      "x": "0.393597943",
      "y": "0.563541049"
    },
    {
      "turn": "0.000000000",
      "x": "1.684456981",
      "y": "0.708547492"
    },
    {
      "turn": "0.000000000",
      "x": "0.218254880",
      "y": "0.940404008"
    },
    {
      "turn": "0.000000000",
      "x": "1.672302835",
      "y": "1.276568913"
    },
    {
      "turn": "0.000000000",
      "x": "1.736293808",
      "y": "1.094820685"
    },
    {
      "turn": "0.000000000",
      "x": "0.416146618",
      "y": "1.457594421"
    },
    {
      "turn": "0.000000000",
      "x": "1.297225837",
      "y": "0.253981602"
    },
    {
      "turn": "0.000000000",
      "x": "0.490104305",
      "y": "0.365639791"
    },
    {
      "turn": "0.000000000",
      "x": "0.278285147",
      "y": "1.290614547"
    },
    {
      "turn": "0.000000000",
      "x": "1.081822926",
      "y": "1.733190714"
    },
    {
      "turn": "0.000000000",
      "x": "1.591841741",
      "y": "1.452721981"
    },
    {
      "turn": "0.000000000",
      "x": "0.545346265",
      "y": "1.631362986"
    },
    {
      "turn": "0.000000000",
      "x": "1.278911557",
      "y": "1.693129337"
    },
    {
      "turn": "0.000000000",
      "x": "0.871066828",
      "y": "1.773339133"
    },
    {
      "turn": "0.000000000",
      "x": "1.795430457",
      "y": "0.889650307"
    },
    {
      "turn": "0.000000000",
      "x": "0.892093897",
      "y": "0.281085639"
    },
    {
      "turn": "0.000000000",
      "x": "1.494140499",
      "y": "1.646708450"
    },
    {
      "turn": "0.000000000",
      "x": "1.922968375",
      "y": "1.079974489"
    },
    {
      "turn": "0.000000000",
      "x": "1.886282639",
      "y": "1.262828827"
    },
    {
      "turn": "0.000000000",
      "x": "1.816367893",
      "y": "1.434224570"
    },
    {
      "turn": "0.000000000",
      "x": "1.714594506",
      "y": "1.592325019"
    },
    {
      "turn": "0.000000000",
      "x": "1.600993878",
      "y": "1.785480033"
    },
    {
      "turn": "0.000000000",
      "x": "1.384957514",
      "y": "1.843933737"
    },
    {
      "turn": "0.000000000",
      "x": "1.205553671",
      "y": "1.903417478"
    },
    {
      "turn": "0.000000000",
      "x": "1.016440403",
      "y": "1.930084276"
    },
    {
      "turn": "0.000000000",
      "x": "0.797059351",
      "y": "1.958425200"
    },
    {
      "turn": "0.000000000",
      "x": "0.657490781",
      "y": "1.824727171"
    },
    {
      "turn": "0.000000000",
      "x": "0.466321718",
      "y": "1.817767967"
    },
    {
      "turn": "0.000000000",
      "x": "0.332076956",
      "y": "1.644891508"
    },
    {
      "turn": "0.000000000",
      "x": "0.214186523",
      "y": "1.494472818"
    },
    {
      "turn": "0.000000000",
      "x": "0.078396843",
      "y": "1.322807230"
    },
    {
      "turn": "0.000000000",
      "x": "0.117320217",
      "y": "1.135513340"
    },
    {
      "turn": "0.000000000",
      "x": "0.020846167",
      "y": "0.968040085"
    },
    {
      "turn": "0.000000000",
      "x": "0.100788422",
      "y": "0.761786646"
    },
    {
      "turn": "0.000000000",
      "x": "0.171872454",
      "y": "0.584524104"
    },
    {
      "turn": "0.000000000",
      "x": "0.272502606",
      "y": "0.424531531"
    },
    {
      "turn": "0.000000000",
      "x": "0.380886162",
      "y": "0.228721600"
    },
    {
      "turn": "0.000000000",
      "x": "0.595591032",
      "y": "0.164567415"
    },
    {
      "turn": "0.000000000",
      "x": "0.773430756",
      "y": "0.103521316"
    },
    {
      "turn": "0.000000000",
      "x": "0.956567884",
      "y": "0.076588036"
    },
    {
      "turn": "0.000000000",
      "x": "1.142891351",
      "y": "0.084659256"
    },
    {
      "turn": "0.000000000",
      "x": "1.361931616",
      "y": "0.089929881"
    },
    {
      "turn": "0.000000000",
      "x": "1.526488954",
      "y": "0.235834896"
    },
    {
      "turn": "0.000000000",
      "x": "1.666849534",
      "y": "0.360145389"
    },
    {
      "turn": "0.000000000",
      "x": "1.780666029",
      "y": "0.505366038"
    },
    {
      "turn": "0.000000000",
      "x": "1.867835356",
      "y": "0.671365182"
    },
    {
      "turn": "0.000000000",
      "x": "1.970191521",
      "y": "0.866020324"
    }
  ],
  "radius": "0.122398245"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

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

当前第一名的答案

{
  "placements": [
    {
      "turn": "0.000000000",
      "x": "0.963025250",
      "y": "1.028979005"
    },
    {
      "turn": "0.000000000",
      "x": "1.056915535",
      "y": "0.831102004"
    },
    {
      "turn": "0.000000000",
      "x": "0.854636834",
      "y": "0.854773614"
    },
    {
      "turn": "0.000000000",
      "x": "1.177605414",
      "y": "0.985092515"
    },
    {
      "turn": "0.000000000",
      "x": "0.755807791",
      "y": "1.052649597"
    },
    {
      "turn": "0.000000000",
      "x": "1.106283921",
      "y": "1.175854895"
    },
    {
      "turn": "0.000000000",
      "x": "0.890524511",
      "y": "1.224537187"
    },
    {
      "turn": "0.000000000",
      "x": "0.938970812",
      "y": "0.653412465"
    },
    {
      "turn": "0.000000000",
      "x": "1.270764636",
      "y": "0.787788469"
    },
    {
      "turn": "0.000000000",
      "x": "0.646150399",
      "y": "0.881250328"
    },
    {
      "turn": "0.000000000",
      "x": "1.143912287",
      "y": "0.632983407"
    },
    {
      "turn": "0.000000000",
      "x": "0.733574482",
      "y": "0.683673817"
    },
    {
      "turn": "0.000000000",
      "x": "1.321963781",
      "y": "1.142080354"
    },
    {
      "turn": "0.000000000",
      "x": "0.694326706",
      "y": "1.239571136"
    },
    {
      "turn": "0.000000000",
      "x": "1.390772931",
      "y": "0.947957502"
    },
    {
      "turn": "0.000000000",
      "x": "0.543751038",
      "y": "1.074334396"
    },
    {
      "turn": "0.000000000",
      "x": "1.030755053",
      "y": "1.371974766"
    },
    {
      "turn": "0.000000000",
      "x": "1.243498405",
      "y": "1.334295400"
    },
    {
      "turn": "0.000000000",
      "x": "1.018808551",
      "y": "0.456028635"
    },
    {
      "turn": "0.000000000",
      "x": "0.816272468",
      "y": "0.482443134"
    },
    {
      "turn": "0.000000000",
      "x": "0.818795586",
      "y": "1.425269001"
    },
    {
      "turn": "0.000000000",
      "x": "1.358310282",
      "y": "0.590367320"
    },
    {
      "turn": "0.000000000",
      "x": "0.522612953",
      "y": "0.716254959"
    },
    {
      "turn": "0.000000000",
      "x": "1.483386158",
      "y": "0.749953916"
    },
    {
      "turn": "0.000000000",
      "x": "0.431618551",
      "y": "0.909039554"
    },
    {
      "turn": "0.000000000",
      "x": "1.224298921",
      "y": "0.436297025"
    },
    {
      "turn": "0.000000000",
      "x": "0.608401045",
      "y": "0.518808913"
    },
    {
      "turn": "0.000000000",
      "x": "1.532707102",
      "y": "1.111721456"
    },
    {
      "turn": "0.000000000",
      "x": "0.487576447",
      "y": "1.262253805"
    },
    {
      "turn": "0.000000000",
      "x": "1.458660641",
      "y": "1.302078305"
    },
    {
      "turn": "0.000000000",
      "x": "0.622896864",
      "y": "1.434911735"
    },
    {
      "turn": "0.000000000",
      "x": "1.161450564",
      "y": "1.531359963"
    },
    {
      "turn": "0.000000000",
      "x": "1.600970258",
      "y": "0.916899064"
    },
    {
      "turn": "0.000000000",
      "x": "0.952507155",
      "y": "1.573651273"
    },
    {
      "turn": "0.000000000",
      "x": "0.330866863",
      "y": "1.104395874"
    },
    {
      "turn": "0.000000000",
      "x": "1.083868040",
      "y": "0.262378299"
    },
    {
      "turn": "0.000000000",
      "x": "1.571162198",
      "y": "0.552352236"
    },
    {
      "turn": "0.000000000",
      "x": "1.373676292",
      "y": "1.495238044"
    },
    {
      "turn": "0.000000000",
      "x": "0.701817301",
      "y": "0.317123016"
    },
    {
      "turn": "0.000000000",
      "x": "0.738734999",
      "y": "1.624802618"
    },
    {
      "turn": "0.000000000",
      "x": "1.446564343",
      "y": "0.405015852"
    },
    {
      "turn": "0.000000000",
      "x": "0.307601609",
      "y": "0.745347160"
    },
    {
      "turn": "0.000000000",
      "x": "0.393597943",
      "y": "0.563541049"
    },
    {
      "turn": "0.000000000",
      "x": "1.684456981",
      "y": "0.708547492"
    },
    {
      "turn": "0.000000000",
      "x": "0.218254880",
      "y": "0.940404008"
    },
    {
      "turn": "0.000000000",
      "x": "1.672302835",
      "y": "1.276568913"
    },
    {
      "turn": "0.000000000",
      "x": "1.736293808",
      "y": "1.094820685"
    },
    {
      "turn": "0.000000000",
      "x": "0.416146618",
      "y": "1.457594421"
    },
    {
      "turn": "0.000000000",
      "x": "1.297225837",
      "y": "0.253981602"
    },
    {
      "turn": "0.000000000",
      "x": "0.490104305",
      "y": "0.365639791"
    },
    {
      "turn": "0.000000000",
      "x": "0.278285147",
      "y": "1.290614547"
    },
    {
      "turn": "0.000000000",
      "x": "1.081822926",
      "y": "1.733190714"
    },
    {
      "turn": "0.000000000",
      "x": "1.591841741",
      "y": "1.452721981"
    },
    {
      "turn": "0.000000000",
      "x": "0.545346265",
      "y": "1.631362986"
    },
    {
      "turn": "0.000000000",
      "x": "1.278911557",
      "y": "1.693129337"
    },
    {
      "turn": "0.000000000",
      "x": "0.871066828",
      "y": "1.773339133"
    },
    {
      "turn": "0.000000000",
      "x": "1.795430457",
      "y": "0.889650307"
    },
    {
      "turn": "0.000000000",
      "x": "0.892093897",
      "y": "0.281085639"
    },
    {
      "turn": "0.000000000",
      "x": "1.494140499",
      "y": "1.646708450"
    },
    {
      "turn": "0.000000000",
      "x": "1.922968375",
      "y": "1.079974489"
    },
    {
      "turn": "0.000000000",
      "x": "1.886282639",
      "y": "1.262828827"
    },
    {
      "turn": "0.000000000",
      "x": "1.816367893",
      "y": "1.434224570"
    },
    {
      "turn": "0.000000000",
      "x": "1.714594506",
      "y": "1.592325019"
    },
    {
      "turn": "0.000000000",
      "x": "1.600993878",
      "y": "1.785480033"
    },
    {
      "turn": "0.000000000",
      "x": "1.384957514",
      "y": "1.843933737"
    },
    {
      "turn": "0.000000000",
      "x": "1.205553671",
      "y": "1.903417478"
    },
    {
      "turn": "0.000000000",
      "x": "1.016440403",
      "y": "1.930084276"
    },
    {
      "turn": "0.000000000",
      "x": "0.797059351",
      "y": "1.958425200"
    },
    {
      "turn": "0.000000000",
      "x": "0.657490781",
      "y": "1.824727171"
    },
    {
      "turn": "0.000000000",
      "x": "0.466321718",
      "y": "1.817767967"
    },
    {
      "turn": "0.000000000",
      "x": "0.332076956",
      "y": "1.644891508"
    },
    {
      "turn": "0.000000000",
      "x": "0.214186523",
      "y": "1.494472818"
    },
    {
      "turn": "0.000000000",
      "x": "0.078396843",
      "y": "1.322807230"
    },
    {
      "turn": "0.000000000",
      "x": "0.117320217",
      "y": "1.135513340"
    },
    {
      "turn": "0.000000000",
      "x": "0.020846167",
      "y": "0.968040085"
    },
    {
      "turn": "0.000000000",
      "x": "0.100788422",
      "y": "0.761786646"
    },
    {
      "turn": "0.000000000",
      "x": "0.171872454",
      "y": "0.584524104"
    },
    {
      "turn": "0.000000000",
      "x": "0.272502606",
      "y": "0.424531531"
    },
    {
      "turn": "0.000000000",
      "x": "0.380886162",
      "y": "0.228721600"
    },
    {
      "turn": "0.000000000",
      "x": "0.595591032",
      "y": "0.164567415"
    },
    {
      "turn": "0.000000000",
      "x": "0.773430756",
      "y": "0.103521316"
    },
    {
      "turn": "0.000000000",
      "x": "0.956567884",
      "y": "0.076588036"
    },
    {
      "turn": "0.000000000",
      "x": "1.142891351",
      "y": "0.084659256"
    },
    {
      "turn": "0.000000000",
      "x": "1.361931616",
      "y": "0.089929881"
    },
    {
      "turn": "0.000000000",
      "x": "1.526488954",
      "y": "0.235834896"
    },
    {
      "turn": "0.000000000",
      "x": "1.666849534",
      "y": "0.360145389"
    },
    {
      "turn": "0.000000000",
      "x": "1.780666029",
      "y": "0.505366038"
    },
    {
      "turn": "0.000000000",
      "x": "1.867835356",
      "y": "0.671365182"
    },
    {
      "turn": "0.000000000",
      "x": "1.970191521",
      "y": "0.866020324"
    }
  ],
  "radius": "0.122398245"
}

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

DISCUSSION

讨论区

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

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