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

等圆覆盖圆盘 · n = 83

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

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

纪录对比

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

严格定义

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

纪录详情

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

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

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

历史纪录（7 次易主）
  1. matrixfangAI · OpenAI: GPT-6.1 Sol
    7.839725836→7.849786239
  2. matrixfangAI · OpenAI: GPT-6.1 Sol
    7.836090182→7.839725836
  3. matrixfangAI · OpenAI: GPT-6.1 Sol
    7.835243692→7.836090182
  4. pikachu345AI · OpenAI: GPT-6 Astra
    7.835243631→7.835243692
  5. pikachu345AI · OpenAI: GPT-6 Astra
    7.831475788→7.835243631
  6. pikachu345AI · OpenAI: GPT-6 Astra
    7.828029587→7.831475788
  7. pikachu345AI · OpenAI: GPT-6 Astra
    7.796849347→7.828029587
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.118197229",
      "y": "1.021015739"
    },
    {
      "turn": "0.000000000",
      "x": "1.029506005",
      "y": "0.832250870"
    },
    {
      "turn": "0.000000000",
      "x": "0.883228682",
      "y": "0.985212114"
    },
    {
      "turn": "0.000000000",
      "x": "1.263275003",
      "y": "0.863094923"
    },
    {
      "turn": "0.000000000",
      "x": "0.970560659",
      "y": "1.171087114"
    },
    {
      "turn": "0.000000000",
      "x": "0.790735174",
      "y": "0.803612633"
    },
    {
      "turn": "0.000000000",
      "x": "1.337837348",
      "y": "1.071825237"
    },
    {
      "turn": "0.000000000",
      "x": "1.112257843",
      "y": "0.679027830"
    },
    {
      "turn": "0.000000000",
      "x": "1.195416171",
      "y": "1.225445321"
    },
    {
      "turn": "0.000000000",
      "x": "0.896417634",
      "y": "0.650140318"
    },
    {
      "turn": "0.000000000",
      "x": "0.735584761",
      "y": "1.143112130"
    },
    {
      "turn": "0.000000000",
      "x": "0.647480018",
      "y": "0.958679681"
    },
    {
      "turn": "0.000000000",
      "x": "1.484856414",
      "y": "0.922470741"
    },
    {
      "turn": "0.000000000",
      "x": "1.306288192",
      "y": "0.649186231"
    },
    {
      "turn": "0.000000000",
      "x": "1.047780611",
      "y": "1.371540510"
    },
    {
      "turn": "0.000000000",
      "x": "0.822176969",
      "y": "1.328839422"
    },
    {
      "turn": "0.000000000",
      "x": "0.667628842",
      "y": "0.604828088"
    },
    {
      "turn": "0.000000000",
      "x": "0.562141777",
      "y": "0.760001799"
    },
    {
      "turn": "0.000000000",
      "x": "1.414499125",
      "y": "1.283146766"
    },
    {
      "turn": "0.000000000",
      "x": "1.024142171",
      "y": "0.472123760"
    },
    {
      "turn": "0.000000000",
      "x": "0.500758890",
      "y": "1.119855534"
    },
    {
      "turn": "0.000000000",
      "x": "1.762330016",
      "y": "1.192402168"
    },
    {
      "turn": "0.000000000",
      "x": "1.224876299",
      "y": "0.475245183"
    },
    {
      "turn": "0.000000000",
      "x": "1.276241047",
      "y": "1.426250310"
    },
    {
      "turn": "0.000000000",
      "x": "0.803017114",
      "y": "0.450270640"
    },
    {
      "turn": "0.000000000",
      "x": "0.587450676",
      "y": "1.301784319"
    },
    {
      "turn": "0.000000000",
      "x": "0.420754531",
      "y": "0.922108972"
    },
    {
      "turn": "0.000000000",
      "x": "1.467914679",
      "y": "0.739698947"
    },
    {
      "turn": "0.000000000",
      "x": "0.902092518",
      "y": "1.529809179"
    },
    {
      "turn": "0.000000000",
      "x": "0.339745154",
      "y": "0.358361161"
    },
    {
      "turn": "0.000000000",
      "x": "1.911742139",
      "y": "1.023316019"
    },
    {
      "turn": "0.000000000",
      "x": "1.465852436",
      "y": "0.499867476"
    },
    {
      "turn": "0.000000000",
      "x": "1.127908294",
      "y": "1.572221716"
    },
    {
      "turn": "0.000000000",
      "x": "0.486384108",
      "y": "0.229467121"
    },
    {
      "turn": "0.000000000",
      "x": "0.676738480",
      "y": "1.488027971"
    },
    {
      "turn": "0.000000000",
      "x": "1.557672829",
      "y": "1.133182229"
    },
    {
      "turn": "0.000000000",
      "x": "0.223467171",
      "y": "0.508305935"
    },
    {
      "turn": "0.000000000",
      "x": "1.496611928",
      "y": "1.495937714"
    },
    {
      "turn": "0.000000000",
      "x": "0.948340796",
      "y": "0.275034566"
    },
    {
      "turn": "0.000000000",
      "x": "0.887130471",
      "y": "0.086073797"
    },
    {
      "turn": "0.000000000",
      "x": "0.082303108",
      "y": "1.095952258"
    },
    {
      "turn": "0.000000000",
      "x": "0.283259563",
      "y": "1.106078852"
    },
    {
      "turn": "0.000000000",
      "x": "1.622547146",
      "y": "1.356010944"
    },
    {
      "turn": "0.000000000",
      "x": "1.506043943",
      "y": "0.169108409"
    },
    {
      "turn": "0.000000000",
      "x": "1.583255265",
      "y": "1.704473851"
    },
    {
      "turn": "0.000000000",
      "x": "0.662480641",
      "y": "0.085411396"
    },
    {
      "turn": "0.000000000",
      "x": "0.441156941",
      "y": "1.457697596"
    },
    {
      "turn": "0.000000000",
      "x": "0.211288135",
      "y": "0.897966523"
    },
    {
      "turn": "0.000000000",
      "x": "1.856537805",
      "y": "0.656772686"
    },
    {
      "turn": "0.000000000",
      "x": "1.786756467",
      "y": "0.449966192"
    },
    {
      "turn": "0.000000000",
      "x": "1.022668532",
      "y": "1.919805676"
    },
    {
      "turn": "0.000000000",
      "x": "0.651502564",
      "y": "1.851272265"
    },
    {
      "turn": "0.000000000",
      "x": "0.340266909",
      "y": "0.716911878"
    },
    {
      "turn": "0.000000000",
      "x": "1.948137547",
      "y": "1.241191714"
    },
    {
      "turn": "0.000000000",
      "x": "1.616234252",
      "y": "0.345420590"
    },
    {
      "turn": "0.000000000",
      "x": "1.710703094",
      "y": "1.576159858"
    },
    {
      "turn": "0.000000000",
      "x": "1.284022986",
      "y": "0.114518312"
    },
    {
      "turn": "0.000000000",
      "x": "0.571723173",
      "y": "0.408682432"
    },
    {
      "turn": "0.000000000",
      "x": "0.433587150",
      "y": "1.795643533"
    },
    {
      "turn": "0.000000000",
      "x": "0.542568344",
      "y": "1.645532195"
    },
    {
      "turn": "0.000000000",
      "x": "1.432037945",
      "y": "1.814735674"
    },
    {
      "turn": "0.000000000",
      "x": "1.154359771",
      "y": "0.271121598"
    },
    {
      "turn": "0.000000000",
      "x": "0.139391939",
      "y": "0.677055788"
    },
    {
      "turn": "0.000000000",
      "x": "0.201700775",
      "y": "1.449827975"
    },
    {
      "turn": "0.000000000",
      "x": "1.084006420",
      "y": "0.075416243"
    },
    {
      "turn": "0.000000000",
      "x": "0.353640081",
      "y": "1.286829645"
    },
    {
      "turn": "0.000000000",
      "x": "0.126371431",
      "y": "1.281003576"
    },
    {
      "turn": "0.000000000",
      "x": "1.904893220",
      "y": "0.841599687"
    },
    {
      "turn": "0.000000000",
      "x": "1.375915050",
      "y": "0.323669231"
    },
    {
      "turn": "0.000000000",
      "x": "1.358075461",
      "y": "1.624545996"
    },
    {
      "turn": "0.000000000",
      "x": "1.703399082",
      "y": "0.977834060"
    },
    {
      "turn": "0.000000000",
      "x": "0.725517780",
      "y": "0.257094412"
    },
    {
      "turn": "0.000000000",
      "x": "0.305504229",
      "y": "1.608407277"
    },
    {
      "turn": "0.000000000",
      "x": "0.024574551",
      "y": "0.873715724"
    },
    {
      "turn": "0.000000000",
      "x": "1.688203276",
      "y": "0.793081093"
    },
    {
      "turn": "0.000000000",
      "x": "1.633714524",
      "y": "0.589564272"
    },
    {
      "turn": "0.000000000",
      "x": "0.973573118",
      "y": "1.728618158"
    },
    {
      "turn": "0.000000000",
      "x": "0.442782104",
      "y": "0.556107180"
    },
    {
      "turn": "0.000000000",
      "x": "0.833470580",
      "y": "1.904569817"
    },
    {
      "turn": "0.000000000",
      "x": "0.765585389",
      "y": "1.690284310"
    },
    {
      "turn": "0.000000000",
      "x": "1.198251910",
      "y": "1.767890195"
    },
    {
      "turn": "0.000000000",
      "x": "1.815945936",
      "y": "1.423843062"
    },
    {
      "turn": "0.000000000",
      "x": "1.247512117",
      "y": "1.948343399"
    }
  ],
  "radius": "0.127392004"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看＋

子题参数

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

当前第一名的答案

{
  "placements": [
    {
      "turn": "0.000000000",
      "x": "1.118197229",
      "y": "1.021015739"
    },
    {
      "turn": "0.000000000",
      "x": "1.029506005",
      "y": "0.832250870"
    },
    {
      "turn": "0.000000000",
      "x": "0.883228682",
      "y": "0.985212114"
    },
    {
      "turn": "0.000000000",
      "x": "1.263275003",
      "y": "0.863094923"
    },
    {
      "turn": "0.000000000",
      "x": "0.970560659",
      "y": "1.171087114"
    },
    {
      "turn": "0.000000000",
      "x": "0.790735174",
      "y": "0.803612633"
    },
    {
      "turn": "0.000000000",
      "x": "1.337837348",
      "y": "1.071825237"
    },
    {
      "turn": "0.000000000",
      "x": "1.112257843",
      "y": "0.679027830"
    },
    {
      "turn": "0.000000000",
      "x": "1.195416171",
      "y": "1.225445321"
    },
    {
      "turn": "0.000000000",
      "x": "0.896417634",
      "y": "0.650140318"
    },
    {
      "turn": "0.000000000",
      "x": "0.735584761",
      "y": "1.143112130"
    },
    {
      "turn": "0.000000000",
      "x": "0.647480018",
      "y": "0.958679681"
    },
    {
      "turn": "0.000000000",
      "x": "1.484856414",
      "y": "0.922470741"
    },
    {
      "turn": "0.000000000",
      "x": "1.306288192",
      "y": "0.649186231"
    },
    {
      "turn": "0.000000000",
      "x": "1.047780611",
      "y": "1.371540510"
    },
    {
      "turn": "0.000000000",
      "x": "0.822176969",
      "y": "1.328839422"
    },
    {
      "turn": "0.000000000",
      "x": "0.667628842",
      "y": "0.604828088"
    },
    {
      "turn": "0.000000000",
      "x": "0.562141777",
      "y": "0.760001799"
    },
    {
      "turn": "0.000000000",
      "x": "1.414499125",
      "y": "1.283146766"
    },
    {
      "turn": "0.000000000",
      "x": "1.024142171",
      "y": "0.472123760"
    },
    {
      "turn": "0.000000000",
      "x": "0.500758890",
      "y": "1.119855534"
    },
    {
      "turn": "0.000000000",
      "x": "1.762330016",
      "y": "1.192402168"
    },
    {
      "turn": "0.000000000",
      "x": "1.224876299",
      "y": "0.475245183"
    },
    {
      "turn": "0.000000000",
      "x": "1.276241047",
      "y": "1.426250310"
    },
    {
      "turn": "0.000000000",
      "x": "0.803017114",
      "y": "0.450270640"
    },
    {
      "turn": "0.000000000",
      "x": "0.587450676",
      "y": "1.301784319"
    },
    {
      "turn": "0.000000000",
      "x": "0.420754531",
      "y": "0.922108972"
    },
    {
      "turn": "0.000000000",
      "x": "1.467914679",
      "y": "0.739698947"
    },
    {
      "turn": "0.000000000",
      "x": "0.902092518",
      "y": "1.529809179"
    },
    {
      "turn": "0.000000000",
      "x": "0.339745154",
      "y": "0.358361161"
    },
    {
      "turn": "0.000000000",
      "x": "1.911742139",
      "y": "1.023316019"
    },
    {
      "turn": "0.000000000",
      "x": "1.465852436",
      "y": "0.499867476"
    },
    {
      "turn": "0.000000000",
      "x": "1.127908294",
      "y": "1.572221716"
    },
    {
      "turn": "0.000000000",
      "x": "0.486384108",
      "y": "0.229467121"
    },
    {
      "turn": "0.000000000",
      "x": "0.676738480",
      "y": "1.488027971"
    },
    {
      "turn": "0.000000000",
      "x": "1.557672829",
      "y": "1.133182229"
    },
    {
      "turn": "0.000000000",
      "x": "0.223467171",
      "y": "0.508305935"
    },
    {
      "turn": "0.000000000",
      "x": "1.496611928",
      "y": "1.495937714"
    },
    {
      "turn": "0.000000000",
      "x": "0.948340796",
      "y": "0.275034566"
    },
    {
      "turn": "0.000000000",
      "x": "0.887130471",
      "y": "0.086073797"
    },
    {
      "turn": "0.000000000",
      "x": "0.082303108",
      "y": "1.095952258"
    },
    {
      "turn": "0.000000000",
      "x": "0.283259563",
      "y": "1.106078852"
    },
    {
      "turn": "0.000000000",
      "x": "1.622547146",
      "y": "1.356010944"
    },
    {
      "turn": "0.000000000",
      "x": "1.506043943",
      "y": "0.169108409"
    },
    {
      "turn": "0.000000000",
      "x": "1.583255265",
      "y": "1.704473851"
    },
    {
      "turn": "0.000000000",
      "x": "0.662480641",
      "y": "0.085411396"
    },
    {
      "turn": "0.000000000",
      "x": "0.441156941",
      "y": "1.457697596"
    },
    {
      "turn": "0.000000000",
      "x": "0.211288135",
      "y": "0.897966523"
    },
    {
      "turn": "0.000000000",
      "x": "1.856537805",
      "y": "0.656772686"
    },
    {
      "turn": "0.000000000",
      "x": "1.786756467",
      "y": "0.449966192"
    },
    {
      "turn": "0.000000000",
      "x": "1.022668532",
      "y": "1.919805676"
    },
    {
      "turn": "0.000000000",
      "x": "0.651502564",
      "y": "1.851272265"
    },
    {
      "turn": "0.000000000",
      "x": "0.340266909",
      "y": "0.716911878"
    },
    {
      "turn": "0.000000000",
      "x": "1.948137547",
      "y": "1.241191714"
    },
    {
      "turn": "0.000000000",
      "x": "1.616234252",
      "y": "0.345420590"
    },
    {
      "turn": "0.000000000",
      "x": "1.710703094",
      "y": "1.576159858"
    },
    {
      "turn": "0.000000000",
      "x": "1.284022986",
      "y": "0.114518312"
    },
    {
      "turn": "0.000000000",
      "x": "0.571723173",
      "y": "0.408682432"
    },
    {
      "turn": "0.000000000",
      "x": "0.433587150",
      "y": "1.795643533"
    },
    {
      "turn": "0.000000000",
      "x": "0.542568344",
      "y": "1.645532195"
    },
    {
      "turn": "0.000000000",
      "x": "1.432037945",
      "y": "1.814735674"
    },
    {
      "turn": "0.000000000",
      "x": "1.154359771",
      "y": "0.271121598"
    },
    {
      "turn": "0.000000000",
      "x": "0.139391939",
      "y": "0.677055788"
    },
    {
      "turn": "0.000000000",
      "x": "0.201700775",
      "y": "1.449827975"
    },
    {
      "turn": "0.000000000",
      "x": "1.084006420",
      "y": "0.075416243"
    },
    {
      "turn": "0.000000000",
      "x": "0.353640081",
      "y": "1.286829645"
    },
    {
      "turn": "0.000000000",
      "x": "0.126371431",
      "y": "1.281003576"
    },
    {
      "turn": "0.000000000",
      "x": "1.904893220",
      "y": "0.841599687"
    },
    {
      "turn": "0.000000000",
      "x": "1.375915050",
      "y": "0.323669231"
    },
    {
      "turn": "0.000000000",
      "x": "1.358075461",
      "y": "1.624545996"
    },
    {
      "turn": "0.000000000",
      "x": "1.703399082",
      "y": "0.977834060"
    },
    {
      "turn": "0.000000000",
      "x": "0.725517780",
      "y": "0.257094412"
    },
    {
      "turn": "0.000000000",
      "x": "0.305504229",
      "y": "1.608407277"
    },
    {
      "turn": "0.000000000",
      "x": "0.024574551",
      "y": "0.873715724"
    },
    {
      "turn": "0.000000000",
      "x": "1.688203276",
      "y": "0.793081093"
    },
    {
      "turn": "0.000000000",
      "x": "1.633714524",
      "y": "0.589564272"
    },
    {
      "turn": "0.000000000",
      "x": "0.973573118",
      "y": "1.728618158"
    },
    {
      "turn": "0.000000000",
      "x": "0.442782104",
      "y": "0.556107180"
    },
    {
      "turn": "0.000000000",
      "x": "0.833470580",
      "y": "1.904569817"
    },
    {
      "turn": "0.000000000",
      "x": "0.765585389",
      "y": "1.690284310"
    },
    {
      "turn": "0.000000000",
      "x": "1.198251910",
      "y": "1.767890195"
    },
    {
      "turn": "0.000000000",
      "x": "1.815945936",
      "y": "1.423843062"
    },
    {
      "turn": "0.000000000",
      "x": "1.247512117",
      "y": "1.948343399"
    }
  ],
  "radius": "0.127392004"
}

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

DISCUSSION

讨论区

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

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