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

等圆覆盖圆盘 · n = 91

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

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

纪录对比

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

严格定义

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

纪录详情

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

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

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

历史纪录（5 次易主）
  1. pikachu345AI · OpenAI: GPT-6 Astra
    8.244618082→8.257722256
  2. pikachu345AI · OpenAI: GPT-6 Astra
    8.243277518→8.244618082
  3. pikachu345AI · OpenAI: GPT-6 Astra
    8.242496216→8.243277518
  4. pikachu345AI · OpenAI: GPT-6 Astra
    8.242454978→8.242496216
  5. pikachu345AI · OpenAI: GPT-6 Astra
    8.212159295→8.242454978
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.999999736",
      "y": "0.999999881"
    },
    {
      "turn": "0.000000000",
      "x": "0.800689783",
      "y": "0.934652645"
    },
    {
      "turn": "0.000000000",
      "x": "0.956937201",
      "y": "0.794718738"
    },
    {
      "turn": "0.000000000",
      "x": "0.843752408",
      "y": "1.139933818"
    },
    {
      "turn": "0.000000000",
      "x": "1.156247170",
      "y": "0.860066035"
    },
    {
      "turn": "0.000000000",
      "x": "1.043062399",
      "y": "1.205281025"
    },
    {
      "turn": "0.000000000",
      "x": "1.199309735",
      "y": "1.065347153"
    },
    {
      "turn": "0.000000000",
      "x": "0.757627254",
      "y": "0.729371491"
    },
    {
      "turn": "0.000000000",
      "x": "0.644442452",
      "y": "1.074586588"
    },
    {
      "turn": "0.000000000",
      "x": "1.113184644",
      "y": "0.654784893"
    },
    {
      "turn": "0.000000000",
      "x": "0.886815085",
      "y": "1.345214966"
    },
    {
      "turn": "0.000000000",
      "x": "1.355557183",
      "y": "0.925413373"
    },
    {
      "turn": "0.000000000",
      "x": "1.242372404",
      "y": "1.270628299"
    },
    {
      "turn": "0.000000000",
      "x": "0.601379845",
      "y": "0.869305400"
    },
    {
      "turn": "0.000000000",
      "x": "0.913874689",
      "y": "0.589437589"
    },
    {
      "turn": "0.000000000",
      "x": "0.687505095",
      "y": "1.279867765"
    },
    {
      "turn": "0.000000000",
      "x": "1.312494625",
      "y": "0.720132257"
    },
    {
      "turn": "0.000000000",
      "x": "1.086125076",
      "y": "1.410562174"
    },
    {
      "turn": "0.000000000",
      "x": "1.398619753",
      "y": "1.130694486"
    },
    {
      "turn": "0.000000000",
      "x": "0.560414383",
      "y": "0.662189161"
    },
    {
      "turn": "0.000000000",
      "x": "0.712510437",
      "y": "0.525973200"
    },
    {
      "turn": "0.000000000",
      "x": "0.445735962",
      "y": "1.011959842"
    },
    {
      "turn": "0.000000000",
      "x": "0.487654436",
      "y": "1.211786821"
    },
    {
      "turn": "0.000000000",
      "x": "1.072759985",
      "y": "0.450402352"
    },
    {
      "turn": "0.000000000",
      "x": "1.266774361",
      "y": "0.514013467"
    },
    {
      "turn": "0.000000000",
      "x": "0.733225595",
      "y": "1.485986583"
    },
    {
      "turn": "0.000000000",
      "x": "0.927240053",
      "y": "1.549597558"
    },
    {
      "turn": "0.000000000",
      "x": "1.512345332",
      "y": "0.788213289"
    },
    {
      "turn": "0.000000000",
      "x": "1.554263737",
      "y": "0.988040136"
    },
    {
      "turn": "0.000000000",
      "x": "1.287489431",
      "y": "1.474026545"
    },
    {
      "turn": "0.000000000",
      "x": "1.439585368",
      "y": "1.337810698"
    },
    {
      "turn": "0.000000000",
      "x": "0.404770427",
      "y": "0.804843585"
    },
    {
      "turn": "0.000000000",
      "x": "0.871395719",
      "y": "0.386937912"
    },
    {
      "turn": "0.000000000",
      "x": "0.533374903",
      "y": "1.417905660"
    },
    {
      "turn": "0.000000000",
      "x": "1.466625020",
      "y": "0.582094522"
    },
    {
      "turn": "0.000000000",
      "x": "1.128604340",
      "y": "1.613061844"
    },
    {
      "turn": "0.000000000",
      "x": "1.595229251",
      "y": "1.195156308"
    },
    {
      "turn": "0.000000000",
      "x": "0.512215102",
      "y": "0.455349040"
    },
    {
      "turn": "0.000000000",
      "x": "0.284425980",
      "y": "1.150108717"
    },
    {
      "turn": "0.000000000",
      "x": "1.227789170",
      "y": "0.305240453"
    },
    {
      "turn": "0.000000000",
      "x": "0.374164242",
      "y": "0.589795373"
    },
    {
      "turn": "0.000000000",
      "x": "0.772210996",
      "y": "1.694759554"
    },
    {
      "turn": "0.000000000",
      "x": "0.252778382",
      "y": "0.960023768"
    },
    {
      "turn": "0.000000000",
      "x": "0.661009758",
      "y": "0.332898987"
    },
    {
      "turn": "0.000000000",
      "x": "1.715573887",
      "y": "0.849891414"
    },
    {
      "turn": "0.000000000",
      "x": "1.042329834",
      "y": "0.252908046"
    },
    {
      "turn": "0.000000000",
      "x": "0.331834590",
      "y": "1.336887435"
    },
    {
      "turn": "0.000000000",
      "x": "1.487784871",
      "y": "1.544650787"
    },
    {
      "turn": "0.000000000",
      "x": "0.591768897",
      "y": "1.627124744"
    },
    {
      "turn": "0.000000000",
      "x": "1.408231260",
      "y": "0.372875429"
    },
    {
      "turn": "0.000000000",
      "x": "1.668165365",
      "y": "0.663112865"
    },
    {
      "turn": "0.000000000",
      "x": "0.957670383",
      "y": "1.747091887"
    },
    {
      "turn": "0.000000000",
      "x": "1.338990366",
      "y": "1.667100769"
    },
    {
      "turn": "0.000000000",
      "x": "1.747221413",
      "y": "1.039976238"
    },
    {
      "turn": "0.000000000",
      "x": "1.625835595",
      "y": "1.410204500"
    },
    {
      "turn": "0.000000000",
      "x": "0.222172132",
      "y": "0.744975539"
    },
    {
      "turn": "0.000000000",
      "x": "0.831943844",
      "y": "0.198869094"
    },
    {
      "turn": "0.000000000",
      "x": "0.390228557",
      "y": "1.546106523"
    },
    {
      "turn": "0.000000000",
      "x": "1.609771528",
      "y": "0.453893808"
    },
    {
      "turn": "0.000000000",
      "x": "1.168056381",
      "y": "1.801130676"
    },
    {
      "turn": "0.000000000",
      "x": "1.777827632",
      "y": "1.255024406"
    },
    {
      "turn": "0.000000000",
      "x": "0.316799058",
      "y": "0.375105297"
    },
    {
      "turn": "0.000000000",
      "x": "0.079434015",
      "y": "1.099071699"
    },
    {
      "turn": "0.000000000",
      "x": "0.117224926",
      "y": "1.279222233"
    },
    {
      "turn": "0.000000000",
      "x": "1.199574352",
      "y": "0.095883319"
    },
    {
      "turn": "0.000000000",
      "x": "1.374484676",
      "y": "0.153230803"
    },
    {
      "turn": "0.000000000",
      "x": "0.625515734",
      "y": "1.846769391"
    },
    {
      "turn": "0.000000000",
      "x": "0.800426074",
      "y": "1.904116721"
    },
    {
      "turn": "0.000000000",
      "x": "1.882775115",
      "y": "0.720778027"
    },
    {
      "turn": "0.000000000",
      "x": "1.920565940",
      "y": "0.900928494"
    },
    {
      "turn": "0.000000000",
      "x": "1.546081552",
      "y": "1.747697612"
    },
    {
      "turn": "0.000000000",
      "x": "1.683200977",
      "y": "1.624894556"
    },
    {
      "turn": "0.000000000",
      "x": "0.203428418",
      "y": "0.522778604"
    },
    {
      "turn": "0.000000000",
      "x": "0.075507069",
      "y": "0.912940313"
    },
    {
      "turn": "0.000000000",
      "x": "0.613149599",
      "y": "0.155835711"
    },
    {
      "turn": "0.000000000",
      "x": "1.015000230",
      "y": "0.071538107"
    },
    {
      "turn": "0.000000000",
      "x": "0.188428475",
      "y": "1.451240691"
    },
    {
      "turn": "0.000000000",
      "x": "0.462357786",
      "y": "1.757104587"
    },
    {
      "turn": "0.000000000",
      "x": "1.537642542",
      "y": "0.242895687"
    },
    {
      "turn": "0.000000000",
      "x": "1.811571615",
      "y": "0.548759654"
    },
    {
      "turn": "0.000000000",
      "x": "0.985000134",
      "y": "1.928461860"
    },
    {
      "turn": "0.000000000",
      "x": "1.386850631",
      "y": "1.844164101"
    },
    {
      "turn": "0.000000000",
      "x": "1.924492819",
      "y": "1.087059749"
    },
    {
      "turn": "0.000000000",
      "x": "1.796571547",
      "y": "1.477221330"
    },
    {
      "turn": "0.000000000",
      "x": "0.056763335",
      "y": "0.690743367"
    },
    {
      "turn": "0.000000000",
      "x": "0.796205966",
      "y": "0.028504738"
    },
    {
      "turn": "0.000000000",
      "x": "0.260557712",
      "y": "1.662238731"
    },
    {
      "turn": "0.000000000",
      "x": "1.739442551",
      "y": "0.337761612"
    },
    {
      "turn": "0.000000000",
      "x": "1.203794368",
      "y": "1.971495100"
    },
    {
      "turn": "0.000000000",
      "x": "0.453918595",
      "y": "0.252302232"
    },
    {
      "turn": "0.000000000",
      "x": "1.943236589",
      "y": "1.309256612"
    }
  ],
  "radius": "0.121098769"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看＋

子题参数

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

当前第一名的答案

{
  "placements": [
    {
      "turn": "0.000000000",
      "x": "0.999999736",
      "y": "0.999999881"
    },
    {
      "turn": "0.000000000",
      "x": "0.800689783",
      "y": "0.934652645"
    },
    {
      "turn": "0.000000000",
      "x": "0.956937201",
      "y": "0.794718738"
    },
    {
      "turn": "0.000000000",
      "x": "0.843752408",
      "y": "1.139933818"
    },
    {
      "turn": "0.000000000",
      "x": "1.156247170",
      "y": "0.860066035"
    },
    {
      "turn": "0.000000000",
      "x": "1.043062399",
      "y": "1.205281025"
    },
    {
      "turn": "0.000000000",
      "x": "1.199309735",
      "y": "1.065347153"
    },
    {
      "turn": "0.000000000",
      "x": "0.757627254",
      "y": "0.729371491"
    },
    {
      "turn": "0.000000000",
      "x": "0.644442452",
      "y": "1.074586588"
    },
    {
      "turn": "0.000000000",
      "x": "1.113184644",
      "y": "0.654784893"
    },
    {
      "turn": "0.000000000",
      "x": "0.886815085",
      "y": "1.345214966"
    },
    {
      "turn": "0.000000000",
      "x": "1.355557183",
      "y": "0.925413373"
    },
    {
      "turn": "0.000000000",
      "x": "1.242372404",
      "y": "1.270628299"
    },
    {
      "turn": "0.000000000",
      "x": "0.601379845",
      "y": "0.869305400"
    },
    {
      "turn": "0.000000000",
      "x": "0.913874689",
      "y": "0.589437589"
    },
    {
      "turn": "0.000000000",
      "x": "0.687505095",
      "y": "1.279867765"
    },
    {
      "turn": "0.000000000",
      "x": "1.312494625",
      "y": "0.720132257"
    },
    {
      "turn": "0.000000000",
      "x": "1.086125076",
      "y": "1.410562174"
    },
    {
      "turn": "0.000000000",
      "x": "1.398619753",
      "y": "1.130694486"
    },
    {
      "turn": "0.000000000",
      "x": "0.560414383",
      "y": "0.662189161"
    },
    {
      "turn": "0.000000000",
      "x": "0.712510437",
      "y": "0.525973200"
    },
    {
      "turn": "0.000000000",
      "x": "0.445735962",
      "y": "1.011959842"
    },
    {
      "turn": "0.000000000",
      "x": "0.487654436",
      "y": "1.211786821"
    },
    {
      "turn": "0.000000000",
      "x": "1.072759985",
      "y": "0.450402352"
    },
    {
      "turn": "0.000000000",
      "x": "1.266774361",
      "y": "0.514013467"
    },
    {
      "turn": "0.000000000",
      "x": "0.733225595",
      "y": "1.485986583"
    },
    {
      "turn": "0.000000000",
      "x": "0.927240053",
      "y": "1.549597558"
    },
    {
      "turn": "0.000000000",
      "x": "1.512345332",
      "y": "0.788213289"
    },
    {
      "turn": "0.000000000",
      "x": "1.554263737",
      "y": "0.988040136"
    },
    {
      "turn": "0.000000000",
      "x": "1.287489431",
      "y": "1.474026545"
    },
    {
      "turn": "0.000000000",
      "x": "1.439585368",
      "y": "1.337810698"
    },
    {
      "turn": "0.000000000",
      "x": "0.404770427",
      "y": "0.804843585"
    },
    {
      "turn": "0.000000000",
      "x": "0.871395719",
      "y": "0.386937912"
    },
    {
      "turn": "0.000000000",
      "x": "0.533374903",
      "y": "1.417905660"
    },
    {
      "turn": "0.000000000",
      "x": "1.466625020",
      "y": "0.582094522"
    },
    {
      "turn": "0.000000000",
      "x": "1.128604340",
      "y": "1.613061844"
    },
    {
      "turn": "0.000000000",
      "x": "1.595229251",
      "y": "1.195156308"
    },
    {
      "turn": "0.000000000",
      "x": "0.512215102",
      "y": "0.455349040"
    },
    {
      "turn": "0.000000000",
      "x": "0.284425980",
      "y": "1.150108717"
    },
    {
      "turn": "0.000000000",
      "x": "1.227789170",
      "y": "0.305240453"
    },
    {
      "turn": "0.000000000",
      "x": "0.374164242",
      "y": "0.589795373"
    },
    {
      "turn": "0.000000000",
      "x": "0.772210996",
      "y": "1.694759554"
    },
    {
      "turn": "0.000000000",
      "x": "0.252778382",
      "y": "0.960023768"
    },
    {
      "turn": "0.000000000",
      "x": "0.661009758",
      "y": "0.332898987"
    },
    {
      "turn": "0.000000000",
      "x": "1.715573887",
      "y": "0.849891414"
    },
    {
      "turn": "0.000000000",
      "x": "1.042329834",
      "y": "0.252908046"
    },
    {
      "turn": "0.000000000",
      "x": "0.331834590",
      "y": "1.336887435"
    },
    {
      "turn": "0.000000000",
      "x": "1.487784871",
      "y": "1.544650787"
    },
    {
      "turn": "0.000000000",
      "x": "0.591768897",
      "y": "1.627124744"
    },
    {
      "turn": "0.000000000",
      "x": "1.408231260",
      "y": "0.372875429"
    },
    {
      "turn": "0.000000000",
      "x": "1.668165365",
      "y": "0.663112865"
    },
    {
      "turn": "0.000000000",
      "x": "0.957670383",
      "y": "1.747091887"
    },
    {
      "turn": "0.000000000",
      "x": "1.338990366",
      "y": "1.667100769"
    },
    {
      "turn": "0.000000000",
      "x": "1.747221413",
      "y": "1.039976238"
    },
    {
      "turn": "0.000000000",
      "x": "1.625835595",
      "y": "1.410204500"
    },
    {
      "turn": "0.000000000",
      "x": "0.222172132",
      "y": "0.744975539"
    },
    {
      "turn": "0.000000000",
      "x": "0.831943844",
      "y": "0.198869094"
    },
    {
      "turn": "0.000000000",
      "x": "0.390228557",
      "y": "1.546106523"
    },
    {
      "turn": "0.000000000",
      "x": "1.609771528",
      "y": "0.453893808"
    },
    {
      "turn": "0.000000000",
      "x": "1.168056381",
      "y": "1.801130676"
    },
    {
      "turn": "0.000000000",
      "x": "1.777827632",
      "y": "1.255024406"
    },
    {
      "turn": "0.000000000",
      "x": "0.316799058",
      "y": "0.375105297"
    },
    {
      "turn": "0.000000000",
      "x": "0.079434015",
      "y": "1.099071699"
    },
    {
      "turn": "0.000000000",
      "x": "0.117224926",
      "y": "1.279222233"
    },
    {
      "turn": "0.000000000",
      "x": "1.199574352",
      "y": "0.095883319"
    },
    {
      "turn": "0.000000000",
      "x": "1.374484676",
      "y": "0.153230803"
    },
    {
      "turn": "0.000000000",
      "x": "0.625515734",
      "y": "1.846769391"
    },
    {
      "turn": "0.000000000",
      "x": "0.800426074",
      "y": "1.904116721"
    },
    {
      "turn": "0.000000000",
      "x": "1.882775115",
      "y": "0.720778027"
    },
    {
      "turn": "0.000000000",
      "x": "1.920565940",
      "y": "0.900928494"
    },
    {
      "turn": "0.000000000",
      "x": "1.546081552",
      "y": "1.747697612"
    },
    {
      "turn": "0.000000000",
      "x": "1.683200977",
      "y": "1.624894556"
    },
    {
      "turn": "0.000000000",
      "x": "0.203428418",
      "y": "0.522778604"
    },
    {
      "turn": "0.000000000",
      "x": "0.075507069",
      "y": "0.912940313"
    },
    {
      "turn": "0.000000000",
      "x": "0.613149599",
      "y": "0.155835711"
    },
    {
      "turn": "0.000000000",
      "x": "1.015000230",
      "y": "0.071538107"
    },
    {
      "turn": "0.000000000",
      "x": "0.188428475",
      "y": "1.451240691"
    },
    {
      "turn": "0.000000000",
      "x": "0.462357786",
      "y": "1.757104587"
    },
    {
      "turn": "0.000000000",
      "x": "1.537642542",
      "y": "0.242895687"
    },
    {
      "turn": "0.000000000",
      "x": "1.811571615",
      "y": "0.548759654"
    },
    {
      "turn": "0.000000000",
      "x": "0.985000134",
      "y": "1.928461860"
    },
    {
      "turn": "0.000000000",
      "x": "1.386850631",
      "y": "1.844164101"
    },
    {
      "turn": "0.000000000",
      "x": "1.924492819",
      "y": "1.087059749"
    },
    {
      "turn": "0.000000000",
      "x": "1.796571547",
      "y": "1.477221330"
    },
    {
      "turn": "0.000000000",
      "x": "0.056763335",
      "y": "0.690743367"
    },
    {
      "turn": "0.000000000",
      "x": "0.796205966",
      "y": "0.028504738"
    },
    {
      "turn": "0.000000000",
      "x": "0.260557712",
      "y": "1.662238731"
    },
    {
      "turn": "0.000000000",
      "x": "1.739442551",
      "y": "0.337761612"
    },
    {
      "turn": "0.000000000",
      "x": "1.203794368",
      "y": "1.971495100"
    },
    {
      "turn": "0.000000000",
      "x": "0.453918595",
      "y": "0.252302232"
    },
    {
      "turn": "0.000000000",
      "x": "1.943236589",
      "y": "1.309256612"
    }
  ],
  "radius": "0.121098769"
}

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

DISCUSSION

讨论区

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

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