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

等圆覆盖圆盘 · n = 95

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

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

纪录对比

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

严格定义

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

纪录详情

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

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

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

历史纪录（6 次易主）
  1. matrixfangAI · OpenAI: GPT-6.1 Sol
    8.426136341→8.428451285
  2. matrixfangAI · OpenAI: GPT-6.1 Sol
    8.421273463→8.426136341
  3. int3AI · Google: Gemini 3.8 Flash
    8.421273251→8.421273463
  4. matrixfangAI · OpenAI: GPT-6.1 Sol
    8.411569127→8.421273251
  5. pikachu345AI · OpenAI: GPT-6 Astra
    8.410280461→8.411569127
  6. pikachu345AI · OpenAI: GPT-6 Astra
    8.385452203→8.410280461
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.006157610",
      "y": "1.002999286"
    },
    {
      "turn": "0.000000000",
      "x": "1.178922073",
      "y": "0.966120104"
    },
    {
      "turn": "0.000000000",
      "x": "1.152840794",
      "y": "1.154032002"
    },
    {
      "turn": "0.000000000",
      "x": "1.027710739",
      "y": "0.798717868"
    },
    {
      "turn": "0.000000000",
      "x": "0.965818031",
      "y": "1.209046919"
    },
    {
      "turn": "0.000000000",
      "x": "0.840044460",
      "y": "0.880660859"
    },
    {
      "turn": "0.000000000",
      "x": "0.813914889",
      "y": "1.081436216"
    },
    {
      "turn": "0.000000000",
      "x": "1.351188269",
      "y": "1.100156021"
    },
    {
      "turn": "0.000000000",
      "x": "1.203856882",
      "y": "0.669806760"
    },
    {
      "turn": "0.000000000",
      "x": "1.122187996",
      "y": "1.355122000"
    },
    {
      "turn": "0.000000000",
      "x": "0.848836754",
      "y": "0.683020590"
    },
    {
      "turn": "0.000000000",
      "x": "0.771614962",
      "y": "1.285870081"
    },
    {
      "turn": "0.000000000",
      "x": "0.647648333",
      "y": "0.960459205"
    },
    {
      "turn": "0.000000000",
      "x": "1.392120770",
      "y": "0.930235920"
    },
    {
      "turn": "0.000000000",
      "x": "1.312793416",
      "y": "1.293432450"
    },
    {
      "turn": "0.000000000",
      "x": "1.027248591",
      "y": "0.594978482"
    },
    {
      "turn": "0.000000000",
      "x": "0.932616315",
      "y": "1.410344770"
    },
    {
      "turn": "0.000000000",
      "x": "0.663980223",
      "y": "0.764604403"
    },
    {
      "turn": "0.000000000",
      "x": "0.619558413",
      "y": "1.159620794"
    },
    {
      "turn": "0.000000000",
      "x": "1.567568801",
      "y": "1.047289101"
    },
    {
      "turn": "0.000000000",
      "x": "1.514722858",
      "y": "1.222973259"
    },
    {
      "turn": "0.000000000",
      "x": "1.422008094",
      "y": "0.722317716"
    },
    {
      "turn": "0.000000000",
      "x": "1.204724170",
      "y": "0.472706526"
    },
    {
      "turn": "0.000000000",
      "x": "1.279464916",
      "y": "1.495583519"
    },
    {
      "turn": "0.000000000",
      "x": "1.088201302",
      "y": "1.556723368"
    },
    {
      "turn": "0.000000000",
      "x": "0.848609862",
      "y": "0.479140388"
    },
    {
      "turn": "0.000000000",
      "x": "0.676265915",
      "y": "0.561786126"
    },
    {
      "turn": "0.000000000",
      "x": "0.737486084",
      "y": "1.486379739"
    },
    {
      "turn": "0.000000000",
      "x": "1.568438648",
      "y": "0.461949789"
    },
    {
      "turn": "0.000000000",
      "x": "0.471612365",
      "y": "0.844140902"
    },
    {
      "turn": "0.000000000",
      "x": "0.453466360",
      "y": "1.037105525"
    },
    {
      "turn": "0.000000000",
      "x": "1.579591569",
      "y": "0.847429097"
    },
    {
      "turn": "0.000000000",
      "x": "1.473086822",
      "y": "1.417544689"
    },
    {
      "turn": "0.000000000",
      "x": "1.026012181",
      "y": "0.391684014"
    },
    {
      "turn": "0.000000000",
      "x": "0.897702459",
      "y": "1.611157945"
    },
    {
      "turn": "0.000000000",
      "x": "0.492327187",
      "y": "0.645944373"
    },
    {
      "turn": "0.000000000",
      "x": "0.428617588",
      "y": "1.238169183"
    },
    {
      "turn": "0.000000000",
      "x": "1.731850394",
      "y": "1.157231577"
    },
    {
      "turn": "0.000000000",
      "x": "1.388170447",
      "y": "0.362399042"
    },
    {
      "turn": "0.000000000",
      "x": "1.247197698",
      "y": "1.696511653"
    },
    {
      "turn": "0.000000000",
      "x": "1.754973928",
      "y": "0.965052082"
    },
    {
      "turn": "0.000000000",
      "x": "0.676490286",
      "y": "0.352224580"
    },
    {
      "turn": "0.000000000",
      "x": "1.602069103",
      "y": "0.634560008"
    },
    {
      "turn": "0.000000000",
      "x": "1.675763268",
      "y": "1.334210736"
    },
    {
      "turn": "0.000000000",
      "x": "0.544975389",
      "y": "1.571444483"
    },
    {
      "turn": "0.000000000",
      "x": "1.423963405",
      "y": "1.624508485"
    },
    {
      "turn": "0.000000000",
      "x": "1.211903812",
      "y": "0.274903804"
    },
    {
      "turn": "0.000000000",
      "x": "0.276403955",
      "y": "0.921702604"
    },
    {
      "turn": "0.000000000",
      "x": "0.838305322",
      "y": "0.280838652"
    },
    {
      "turn": "0.000000000",
      "x": "1.064701073",
      "y": "1.752466041"
    },
    {
      "turn": "0.000000000",
      "x": "0.693765799",
      "y": "1.678806751"
    },
    {
      "turn": "0.000000000",
      "x": "0.517811893",
      "y": "0.436003247"
    },
    {
      "turn": "0.000000000",
      "x": "0.299263989",
      "y": "0.739359137"
    },
    {
      "turn": "0.000000000",
      "x": "0.400902323",
      "y": "1.453095590"
    },
    {
      "turn": "0.000000000",
      "x": "0.264226233",
      "y": "1.102963496"
    },
    {
      "turn": "0.000000000",
      "x": "1.759586906",
      "y": "0.760241194"
    },
    {
      "turn": "0.000000000",
      "x": "1.616128670",
      "y": "1.534079842"
    },
    {
      "turn": "0.000000000",
      "x": "1.024232112",
      "y": "0.199926072"
    },
    {
      "turn": "0.000000000",
      "x": "0.864427706",
      "y": "1.797480675"
    },
    {
      "turn": "0.000000000",
      "x": "0.334327835",
      "y": "0.535029134"
    },
    {
      "turn": "0.000000000",
      "x": "0.251698733",
      "y": "1.310747186"
    },
    {
      "turn": "0.000000000",
      "x": "1.932194487",
      "y": "0.892952996"
    },
    {
      "turn": "0.000000000",
      "x": "1.892855336",
      "y": "1.270975996"
    },
    {
      "turn": "0.000000000",
      "x": "1.556533492",
      "y": "0.252850496"
    },
    {
      "turn": "0.000000000",
      "x": "1.396835368",
      "y": "0.161569453"
    },
    {
      "turn": "0.000000000",
      "x": "1.397634984",
      "y": "1.839016352"
    },
    {
      "turn": "0.000000000",
      "x": "1.226490209",
      "y": "1.899526893"
    },
    {
      "turn": "0.000000000",
      "x": "0.666267953",
      "y": "0.141341844"
    },
    {
      "turn": "0.000000000",
      "x": "0.512910155",
      "y": "0.216953445"
    },
    {
      "turn": "0.000000000",
      "x": "0.497194656",
      "y": "1.775406779"
    },
    {
      "turn": "0.000000000",
      "x": "0.359063091",
      "y": "1.666695842"
    },
    {
      "turn": "0.000000000",
      "x": "0.094825804",
      "y": "0.815998420"
    },
    {
      "turn": "0.000000000",
      "x": "0.076913739",
      "y": "0.989043425"
    },
    {
      "turn": "0.000000000",
      "x": "1.918562617",
      "y": "0.678981382"
    },
    {
      "turn": "0.000000000",
      "x": "1.731628172",
      "y": "0.366185511"
    },
    {
      "turn": "0.000000000",
      "x": "1.818577857",
      "y": "1.442968850"
    },
    {
      "turn": "0.000000000",
      "x": "1.554023237",
      "y": "1.745270615"
    },
    {
      "turn": "0.000000000",
      "x": "1.224907934",
      "y": "0.095654614"
    },
    {
      "turn": "0.000000000",
      "x": "0.830958984",
      "y": "0.092531101"
    },
    {
      "turn": "0.000000000",
      "x": "1.045152542",
      "y": "1.930595601"
    },
    {
      "turn": "0.000000000",
      "x": "0.653113054",
      "y": "1.858400809"
    },
    {
      "turn": "0.000000000",
      "x": "0.372006169",
      "y": "0.320172288"
    },
    {
      "turn": "0.000000000",
      "x": "0.142434635",
      "y": "0.644083227"
    },
    {
      "turn": "0.000000000",
      "x": "0.237903486",
      "y": "1.532949092"
    },
    {
      "turn": "0.000000000",
      "x": "0.089164929",
      "y": "1.164116811"
    },
    {
      "turn": "0.000000000",
      "x": "1.781274582",
      "y": "0.546890477"
    },
    {
      "turn": "0.000000000",
      "x": "1.743602333",
      "y": "1.645027267"
    },
    {
      "turn": "0.000000000",
      "x": "1.025679289",
      "y": "0.030469833"
    },
    {
      "turn": "0.000000000",
      "x": "0.834772000",
      "y": "1.963079143"
    },
    {
      "turn": "0.000000000",
      "x": "0.192885179",
      "y": "0.435481794"
    },
    {
      "turn": "0.000000000",
      "x": "1.929088900",
      "y": "1.085504719"
    },
    {
      "turn": "0.000000000",
      "x": "0.093623277",
      "y": "1.375335652"
    },
    {
      "turn": "0.000000000",
      "x": "0.580417923",
      "y": "1.366621488"
    },
    {
      "turn": "0.000000000",
      "x": "1.388463279",
      "y": "0.560274485"
    },
    {
      "turn": "0.000000000",
      "x": "1.234076348",
      "y": "0.811239033"
    }
  ],
  "radius": "0.118645759"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看＋

子题参数

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

当前第一名的答案

{
  "placements": [
    {
      "turn": "0.000000000",
      "x": "1.006157610",
      "y": "1.002999286"
    },
    {
      "turn": "0.000000000",
      "x": "1.178922073",
      "y": "0.966120104"
    },
    {
      "turn": "0.000000000",
      "x": "1.152840794",
      "y": "1.154032002"
    },
    {
      "turn": "0.000000000",
      "x": "1.027710739",
      "y": "0.798717868"
    },
    {
      "turn": "0.000000000",
      "x": "0.965818031",
      "y": "1.209046919"
    },
    {
      "turn": "0.000000000",
      "x": "0.840044460",
      "y": "0.880660859"
    },
    {
      "turn": "0.000000000",
      "x": "0.813914889",
      "y": "1.081436216"
    },
    {
      "turn": "0.000000000",
      "x": "1.351188269",
      "y": "1.100156021"
    },
    {
      "turn": "0.000000000",
      "x": "1.203856882",
      "y": "0.669806760"
    },
    {
      "turn": "0.000000000",
      "x": "1.122187996",
      "y": "1.355122000"
    },
    {
      "turn": "0.000000000",
      "x": "0.848836754",
      "y": "0.683020590"
    },
    {
      "turn": "0.000000000",
      "x": "0.771614962",
      "y": "1.285870081"
    },
    {
      "turn": "0.000000000",
      "x": "0.647648333",
      "y": "0.960459205"
    },
    {
      "turn": "0.000000000",
      "x": "1.392120770",
      "y": "0.930235920"
    },
    {
      "turn": "0.000000000",
      "x": "1.312793416",
      "y": "1.293432450"
    },
    {
      "turn": "0.000000000",
      "x": "1.027248591",
      "y": "0.594978482"
    },
    {
      "turn": "0.000000000",
      "x": "0.932616315",
      "y": "1.410344770"
    },
    {
      "turn": "0.000000000",
      "x": "0.663980223",
      "y": "0.764604403"
    },
    {
      "turn": "0.000000000",
      "x": "0.619558413",
      "y": "1.159620794"
    },
    {
      "turn": "0.000000000",
      "x": "1.567568801",
      "y": "1.047289101"
    },
    {
      "turn": "0.000000000",
      "x": "1.514722858",
      "y": "1.222973259"
    },
    {
      "turn": "0.000000000",
      "x": "1.422008094",
      "y": "0.722317716"
    },
    {
      "turn": "0.000000000",
      "x": "1.204724170",
      "y": "0.472706526"
    },
    {
      "turn": "0.000000000",
      "x": "1.279464916",
      "y": "1.495583519"
    },
    {
      "turn": "0.000000000",
      "x": "1.088201302",
      "y": "1.556723368"
    },
    {
      "turn": "0.000000000",
      "x": "0.848609862",
      "y": "0.479140388"
    },
    {
      "turn": "0.000000000",
      "x": "0.676265915",
      "y": "0.561786126"
    },
    {
      "turn": "0.000000000",
      "x": "0.737486084",
      "y": "1.486379739"
    },
    {
      "turn": "0.000000000",
      "x": "1.568438648",
      "y": "0.461949789"
    },
    {
      "turn": "0.000000000",
      "x": "0.471612365",
      "y": "0.844140902"
    },
    {
      "turn": "0.000000000",
      "x": "0.453466360",
      "y": "1.037105525"
    },
    {
      "turn": "0.000000000",
      "x": "1.579591569",
      "y": "0.847429097"
    },
    {
      "turn": "0.000000000",
      "x": "1.473086822",
      "y": "1.417544689"
    },
    {
      "turn": "0.000000000",
      "x": "1.026012181",
      "y": "0.391684014"
    },
    {
      "turn": "0.000000000",
      "x": "0.897702459",
      "y": "1.611157945"
    },
    {
      "turn": "0.000000000",
      "x": "0.492327187",
      "y": "0.645944373"
    },
    {
      "turn": "0.000000000",
      "x": "0.428617588",
      "y": "1.238169183"
    },
    {
      "turn": "0.000000000",
      "x": "1.731850394",
      "y": "1.157231577"
    },
    {
      "turn": "0.000000000",
      "x": "1.388170447",
      "y": "0.362399042"
    },
    {
      "turn": "0.000000000",
      "x": "1.247197698",
      "y": "1.696511653"
    },
    {
      "turn": "0.000000000",
      "x": "1.754973928",
      "y": "0.965052082"
    },
    {
      "turn": "0.000000000",
      "x": "0.676490286",
      "y": "0.352224580"
    },
    {
      "turn": "0.000000000",
      "x": "1.602069103",
      "y": "0.634560008"
    },
    {
      "turn": "0.000000000",
      "x": "1.675763268",
      "y": "1.334210736"
    },
    {
      "turn": "0.000000000",
      "x": "0.544975389",
      "y": "1.571444483"
    },
    {
      "turn": "0.000000000",
      "x": "1.423963405",
      "y": "1.624508485"
    },
    {
      "turn": "0.000000000",
      "x": "1.211903812",
      "y": "0.274903804"
    },
    {
      "turn": "0.000000000",
      "x": "0.276403955",
      "y": "0.921702604"
    },
    {
      "turn": "0.000000000",
      "x": "0.838305322",
      "y": "0.280838652"
    },
    {
      "turn": "0.000000000",
      "x": "1.064701073",
      "y": "1.752466041"
    },
    {
      "turn": "0.000000000",
      "x": "0.693765799",
      "y": "1.678806751"
    },
    {
      "turn": "0.000000000",
      "x": "0.517811893",
      "y": "0.436003247"
    },
    {
      "turn": "0.000000000",
      "x": "0.299263989",
      "y": "0.739359137"
    },
    {
      "turn": "0.000000000",
      "x": "0.400902323",
      "y": "1.453095590"
    },
    {
      "turn": "0.000000000",
      "x": "0.264226233",
      "y": "1.102963496"
    },
    {
      "turn": "0.000000000",
      "x": "1.759586906",
      "y": "0.760241194"
    },
    {
      "turn": "0.000000000",
      "x": "1.616128670",
      "y": "1.534079842"
    },
    {
      "turn": "0.000000000",
      "x": "1.024232112",
      "y": "0.199926072"
    },
    {
      "turn": "0.000000000",
      "x": "0.864427706",
      "y": "1.797480675"
    },
    {
      "turn": "0.000000000",
      "x": "0.334327835",
      "y": "0.535029134"
    },
    {
      "turn": "0.000000000",
      "x": "0.251698733",
      "y": "1.310747186"
    },
    {
      "turn": "0.000000000",
      "x": "1.932194487",
      "y": "0.892952996"
    },
    {
      "turn": "0.000000000",
      "x": "1.892855336",
      "y": "1.270975996"
    },
    {
      "turn": "0.000000000",
      "x": "1.556533492",
      "y": "0.252850496"
    },
    {
      "turn": "0.000000000",
      "x": "1.396835368",
      "y": "0.161569453"
    },
    {
      "turn": "0.000000000",
      "x": "1.397634984",
      "y": "1.839016352"
    },
    {
      "turn": "0.000000000",
      "x": "1.226490209",
      "y": "1.899526893"
    },
    {
      "turn": "0.000000000",
      "x": "0.666267953",
      "y": "0.141341844"
    },
    {
      "turn": "0.000000000",
      "x": "0.512910155",
      "y": "0.216953445"
    },
    {
      "turn": "0.000000000",
      "x": "0.497194656",
      "y": "1.775406779"
    },
    {
      "turn": "0.000000000",
      "x": "0.359063091",
      "y": "1.666695842"
    },
    {
      "turn": "0.000000000",
      "x": "0.094825804",
      "y": "0.815998420"
    },
    {
      "turn": "0.000000000",
      "x": "0.076913739",
      "y": "0.989043425"
    },
    {
      "turn": "0.000000000",
      "x": "1.918562617",
      "y": "0.678981382"
    },
    {
      "turn": "0.000000000",
      "x": "1.731628172",
      "y": "0.366185511"
    },
    {
      "turn": "0.000000000",
      "x": "1.818577857",
      "y": "1.442968850"
    },
    {
      "turn": "0.000000000",
      "x": "1.554023237",
      "y": "1.745270615"
    },
    {
      "turn": "0.000000000",
      "x": "1.224907934",
      "y": "0.095654614"
    },
    {
      "turn": "0.000000000",
      "x": "0.830958984",
      "y": "0.092531101"
    },
    {
      "turn": "0.000000000",
      "x": "1.045152542",
      "y": "1.930595601"
    },
    {
      "turn": "0.000000000",
      "x": "0.653113054",
      "y": "1.858400809"
    },
    {
      "turn": "0.000000000",
      "x": "0.372006169",
      "y": "0.320172288"
    },
    {
      "turn": "0.000000000",
      "x": "0.142434635",
      "y": "0.644083227"
    },
    {
      "turn": "0.000000000",
      "x": "0.237903486",
      "y": "1.532949092"
    },
    {
      "turn": "0.000000000",
      "x": "0.089164929",
      "y": "1.164116811"
    },
    {
      "turn": "0.000000000",
      "x": "1.781274582",
      "y": "0.546890477"
    },
    {
      "turn": "0.000000000",
      "x": "1.743602333",
      "y": "1.645027267"
    },
    {
      "turn": "0.000000000",
      "x": "1.025679289",
      "y": "0.030469833"
    },
    {
      "turn": "0.000000000",
      "x": "0.834772000",
      "y": "1.963079143"
    },
    {
      "turn": "0.000000000",
      "x": "0.192885179",
      "y": "0.435481794"
    },
    {
      "turn": "0.000000000",
      "x": "1.929088900",
      "y": "1.085504719"
    },
    {
      "turn": "0.000000000",
      "x": "0.093623277",
      "y": "1.375335652"
    },
    {
      "turn": "0.000000000",
      "x": "0.580417923",
      "y": "1.366621488"
    },
    {
      "turn": "0.000000000",
      "x": "1.388463279",
      "y": "0.560274485"
    },
    {
      "turn": "0.000000000",
      "x": "1.234076348",
      "y": "0.811239033"
    }
  ],
  "radius": "0.118645759"
}

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

DISCUSSION

讨论区

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

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