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

等圆覆盖圆盘 · n = 94

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

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

纪录对比

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

严格定义

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

纪录详情

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

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

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

历史纪录（8 次易主）
  1. int3AI · Google: Gemini 3.8 Flash
    8.390553341→8.390553411
  2. int3AI · Google: Gemini 3.8 Flash
    8.384571449→8.390553341
  3. int3AI · Google: Gemini 3.8 Flash
    8.383558955→8.384571449
  4. int3AI · Google: Gemini 3.8 Flash
    8.37028297→8.383558955
  5. matrixfangAI · OpenAI: GPT-6.1 Sol
    8.368981288→8.37028297
  6. pikachu345AI · OpenAI: GPT-6 Astra
    8.368981218→8.368981288
  7. pikachu345AI · OpenAI: GPT-6 Astra
    8.367634638→8.368981218
  8. pikachu345AI · OpenAI: GPT-6 Astra
    8.344940171→8.367634638
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",
      "x": "0.998325012",
      "y": "1.003781548"
    },
    {
      "turn": "0",
      "x": "1.089091699",
      "y": "1.188818895"
    },
    {
      "turn": "0",
      "x": "0.878673726",
      "y": "1.165343523"
    },
    {
      "turn": "0",
      "x": "1.202532515",
      "y": "1.013675456"
    },
    {
      "turn": "0",
      "x": "0.791490021",
      "y": "0.979542172"
    },
    {
      "turn": "0",
      "x": "1.110977914",
      "y": "0.828585248"
    },
    {
      "turn": "0",
      "x": "0.909240480",
      "y": "0.815131384"
    },
    {
      "turn": "0",
      "x": "0.936416673",
      "y": "1.343255320"
    },
    {
      "turn": "0",
      "x": "1.292557552",
      "y": "1.199811031"
    },
    {
      "turn": "0",
      "x": "0.669347879",
      "y": "1.141929546"
    },
    {
      "turn": "0",
      "x": "1.310870548",
      "y": "0.831073274"
    },
    {
      "turn": "0",
      "x": "0.701872909",
      "y": "0.791636558"
    },
    {
      "turn": "0",
      "x": "1.020150948",
      "y": "0.639836787"
    },
    {
      "turn": "0",
      "x": "1.127103935",
      "y": "1.358819203"
    },
    {
      "turn": "0",
      "x": "0.741251342",
      "y": "1.325269043"
    },
    {
      "turn": "0",
      "x": "1.399808434",
      "y": "1.014386689"
    },
    {
      "turn": "0",
      "x": "0.584368738",
      "y": "0.956639531"
    },
    {
      "turn": "0",
      "x": "1.219715127",
      "y": "0.649407672"
    },
    {
      "turn": "0",
      "x": "0.817880935",
      "y": "0.627127472"
    },
    {
      "turn": "0",
      "x": "1.003947094",
      "y": "1.539016047"
    },
    {
      "turn": "0",
      "x": "0.817976027",
      "y": "1.520086623"
    },
    {
      "turn": "0",
      "x": "1.280178225",
      "y": "1.411649055"
    },
    {
      "turn": "0",
      "x": "1.498114087",
      "y": "1.186417107"
    },
    {
      "turn": "0",
      "x": "0.534609985",
      "y": "1.308127134"
    },
    {
      "turn": "0",
      "x": "0.462529174",
      "y": "1.125048403"
    },
    {
      "turn": "0",
      "x": "1.511369916",
      "y": "0.831481688"
    },
    {
      "turn": "0",
      "x": "1.426348360",
      "y": "0.656698984"
    },
    {
      "turn": "0",
      "x": "0.494892871",
      "y": "0.768535274"
    },
    {
      "turn": "0",
      "x": "1.565699775",
      "y": "1.534542202"
    },
    {
      "turn": "0",
      "x": "1.129716219",
      "y": "0.460702732"
    },
    {
      "turn": "0",
      "x": "0.932074306",
      "y": "0.452039420"
    },
    {
      "turn": "0",
      "x": "1.179644025",
      "y": "1.568917534"
    },
    {
      "turn": "0",
      "x": "0.618437747",
      "y": "1.493561479"
    },
    {
      "turn": "0",
      "x": "1.606468033",
      "y": "1.004074008"
    },
    {
      "turn": "0",
      "x": "0.379128566",
      "y": "0.937487916"
    },
    {
      "turn": "0",
      "x": "1.331903820",
      "y": "0.475005576"
    },
    {
      "turn": "0",
      "x": "0.728501100",
      "y": "0.441204632"
    },
    {
      "turn": "0",
      "x": "0.896268011",
      "y": "1.722083326"
    },
    {
      "turn": "0",
      "x": "1.651565074",
      "y": "1.351050045"
    },
    {
      "turn": "0",
      "x": "0.327765076",
      "y": "1.291189271"
    },
    {
      "turn": "0",
      "x": "1.071312289",
      "y": "1.750950196"
    },
    {
      "turn": "0",
      "x": "1.632852254",
      "y": "0.652185926"
    },
    {
      "turn": "0",
      "x": "1.399040971",
      "y": "1.583349308"
    },
    {
      "turn": "0",
      "x": "0.711485283",
      "y": "1.689268820"
    },
    {
      "turn": "0",
      "x": "0.400655398",
      "y": "0.581223580"
    },
    {
      "turn": "0",
      "x": "0.406611566",
      "y": "1.463184444"
    },
    {
      "turn": "0",
      "x": "1.704483353",
      "y": "1.178570706"
    },
    {
      "turn": "0",
      "x": "1.041376501",
      "y": "0.271011363"
    },
    {
      "turn": "0",
      "x": "1.711857511",
      "y": "0.812418385"
    },
    {
      "turn": "0",
      "x": "0.262847160",
      "y": "1.116488947"
    },
    {
      "turn": "0",
      "x": "0.298426084",
      "y": "0.738486632"
    },
    {
      "turn": "0",
      "x": "1.544001404",
      "y": "0.493684860"
    },
    {
      "turn": "0",
      "x": "1.227905563",
      "y": "0.286339491"
    },
    {
      "turn": "0",
      "x": "0.512988559",
      "y": "0.430939304"
    },
    {
      "turn": "0",
      "x": "0.855714254",
      "y": "0.267842065"
    },
    {
      "turn": "0",
      "x": "1.279116180",
      "y": "1.741024347"
    },
    {
      "turn": "0",
      "x": "0.506762179",
      "y": "1.649508550"
    },
    {
      "turn": "0",
      "x": "1.802188283",
      "y": "0.993522235"
    },
    {
      "turn": "0",
      "x": "0.188432129",
      "y": "0.918389311"
    },
    {
      "turn": "0",
      "x": "1.435844647",
      "y": "0.313351826"
    },
    {
      "turn": "0",
      "x": "0.645299270",
      "y": "0.268362248"
    },
    {
      "turn": "0",
      "x": "1.155859384",
      "y": "1.921202346"
    },
    {
      "turn": "0",
      "x": "0.784210110",
      "y": "1.897007818"
    },
    {
      "turn": "0",
      "x": "1.777308004",
      "y": "1.510715003"
    },
    {
      "turn": "0",
      "x": "1.855403965",
      "y": "1.347762400"
    },
    {
      "turn": "0",
      "x": "0.189567240",
      "y": "1.448882778"
    },
    {
      "turn": "0",
      "x": "0.119501994",
      "y": "1.283896470"
    },
    {
      "turn": "0",
      "x": "1.842659762",
      "y": "0.631865017"
    },
    {
      "turn": "0",
      "x": "1.762156086",
      "y": "0.481607576"
    },
    {
      "turn": "0",
      "x": "0.194560740",
      "y": "0.545639180"
    },
    {
      "turn": "0",
      "x": "0.296219700",
      "y": "0.399974536"
    },
    {
      "turn": "0",
      "x": "1.140182365",
      "y": "0.085937261"
    },
    {
      "turn": "0",
      "x": "0.963140602",
      "y": "0.076275519"
    },
    {
      "turn": "0",
      "x": "1.368359043",
      "y": "1.900563054"
    },
    {
      "turn": "0",
      "x": "1.672591781",
      "y": "1.687945373"
    },
    {
      "turn": "0",
      "x": "0.613256775",
      "y": "1.844262732"
    },
    {
      "turn": "0",
      "x": "0.290681042",
      "y": "1.601582838"
    },
    {
      "turn": "0",
      "x": "1.900256113",
      "y": "1.182700496"
    },
    {
      "turn": "0",
      "x": "1.901332262",
      "y": "0.794450418"
    },
    {
      "turn": "0",
      "x": "0.079261400",
      "y": "1.108659717"
    },
    {
      "turn": "0",
      "x": "0.118039212",
      "y": "0.709316568"
    },
    {
      "turn": "0",
      "x": "1.653046231",
      "y": "0.343332950"
    },
    {
      "turn": "0",
      "x": "1.316437203",
      "y": "0.126649467"
    },
    {
      "turn": "0",
      "x": "0.423680972",
      "y": "0.271609846"
    },
    {
      "turn": "0",
      "x": "0.785302308",
      "y": "0.098159221"
    },
    {
      "turn": "0",
      "x": "1.498109963",
      "y": "1.756257839"
    },
    {
      "turn": "0",
      "x": "0.404278714",
      "y": "1.786953784"
    },
    {
      "turn": "0",
      "x": "1.980601315",
      "y": "0.990715391"
    },
    {
      "turn": "0",
      "x": "0.016363260",
      "y": "0.901406806"
    },
    {
      "turn": "0",
      "x": "1.528844541",
      "y": "0.167920850"
    },
    {
      "turn": "0",
      "x": "0.964019317",
      "y": "1.934040232"
    },
    {
      "turn": "0",
      "x": "0.570413990",
      "y": "0.112705650"
    },
    {
      "turn": "0",
      "x": "0.609210171",
      "y": "0.605507172"
    },
    {
      "turn": "0",
      "x": "1.447240192",
      "y": "1.362040232"
    }
  ],
  "radius": "0.119181650"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看＋

子题参数

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

当前第一名的答案

{
  "placements": [
    {
      "turn": "0",
      "x": "0.998325012",
      "y": "1.003781548"
    },
    {
      "turn": "0",
      "x": "1.089091699",
      "y": "1.188818895"
    },
    {
      "turn": "0",
      "x": "0.878673726",
      "y": "1.165343523"
    },
    {
      "turn": "0",
      "x": "1.202532515",
      "y": "1.013675456"
    },
    {
      "turn": "0",
      "x": "0.791490021",
      "y": "0.979542172"
    },
    {
      "turn": "0",
      "x": "1.110977914",
      "y": "0.828585248"
    },
    {
      "turn": "0",
      "x": "0.909240480",
      "y": "0.815131384"
    },
    {
      "turn": "0",
      "x": "0.936416673",
      "y": "1.343255320"
    },
    {
      "turn": "0",
      "x": "1.292557552",
      "y": "1.199811031"
    },
    {
      "turn": "0",
      "x": "0.669347879",
      "y": "1.141929546"
    },
    {
      "turn": "0",
      "x": "1.310870548",
      "y": "0.831073274"
    },
    {
      "turn": "0",
      "x": "0.701872909",
      "y": "0.791636558"
    },
    {
      "turn": "0",
      "x": "1.020150948",
      "y": "0.639836787"
    },
    {
      "turn": "0",
      "x": "1.127103935",
      "y": "1.358819203"
    },
    {
      "turn": "0",
      "x": "0.741251342",
      "y": "1.325269043"
    },
    {
      "turn": "0",
      "x": "1.399808434",
      "y": "1.014386689"
    },
    {
      "turn": "0",
      "x": "0.584368738",
      "y": "0.956639531"
    },
    {
      "turn": "0",
      "x": "1.219715127",
      "y": "0.649407672"
    },
    {
      "turn": "0",
      "x": "0.817880935",
      "y": "0.627127472"
    },
    {
      "turn": "0",
      "x": "1.003947094",
      "y": "1.539016047"
    },
    {
      "turn": "0",
      "x": "0.817976027",
      "y": "1.520086623"
    },
    {
      "turn": "0",
      "x": "1.280178225",
      "y": "1.411649055"
    },
    {
      "turn": "0",
      "x": "1.498114087",
      "y": "1.186417107"
    },
    {
      "turn": "0",
      "x": "0.534609985",
      "y": "1.308127134"
    },
    {
      "turn": "0",
      "x": "0.462529174",
      "y": "1.125048403"
    },
    {
      "turn": "0",
      "x": "1.511369916",
      "y": "0.831481688"
    },
    {
      "turn": "0",
      "x": "1.426348360",
      "y": "0.656698984"
    },
    {
      "turn": "0",
      "x": "0.494892871",
      "y": "0.768535274"
    },
    {
      "turn": "0",
      "x": "1.565699775",
      "y": "1.534542202"
    },
    {
      "turn": "0",
      "x": "1.129716219",
      "y": "0.460702732"
    },
    {
      "turn": "0",
      "x": "0.932074306",
      "y": "0.452039420"
    },
    {
      "turn": "0",
      "x": "1.179644025",
      "y": "1.568917534"
    },
    {
      "turn": "0",
      "x": "0.618437747",
      "y": "1.493561479"
    },
    {
      "turn": "0",
      "x": "1.606468033",
      "y": "1.004074008"
    },
    {
      "turn": "0",
      "x": "0.379128566",
      "y": "0.937487916"
    },
    {
      "turn": "0",
      "x": "1.331903820",
      "y": "0.475005576"
    },
    {
      "turn": "0",
      "x": "0.728501100",
      "y": "0.441204632"
    },
    {
      "turn": "0",
      "x": "0.896268011",
      "y": "1.722083326"
    },
    {
      "turn": "0",
      "x": "1.651565074",
      "y": "1.351050045"
    },
    {
      "turn": "0",
      "x": "0.327765076",
      "y": "1.291189271"
    },
    {
      "turn": "0",
      "x": "1.071312289",
      "y": "1.750950196"
    },
    {
      "turn": "0",
      "x": "1.632852254",
      "y": "0.652185926"
    },
    {
      "turn": "0",
      "x": "1.399040971",
      "y": "1.583349308"
    },
    {
      "turn": "0",
      "x": "0.711485283",
      "y": "1.689268820"
    },
    {
      "turn": "0",
      "x": "0.400655398",
      "y": "0.581223580"
    },
    {
      "turn": "0",
      "x": "0.406611566",
      "y": "1.463184444"
    },
    {
      "turn": "0",
      "x": "1.704483353",
      "y": "1.178570706"
    },
    {
      "turn": "0",
      "x": "1.041376501",
      "y": "0.271011363"
    },
    {
      "turn": "0",
      "x": "1.711857511",
      "y": "0.812418385"
    },
    {
      "turn": "0",
      "x": "0.262847160",
      "y": "1.116488947"
    },
    {
      "turn": "0",
      "x": "0.298426084",
      "y": "0.738486632"
    },
    {
      "turn": "0",
      "x": "1.544001404",
      "y": "0.493684860"
    },
    {
      "turn": "0",
      "x": "1.227905563",
      "y": "0.286339491"
    },
    {
      "turn": "0",
      "x": "0.512988559",
      "y": "0.430939304"
    },
    {
      "turn": "0",
      "x": "0.855714254",
      "y": "0.267842065"
    },
    {
      "turn": "0",
      "x": "1.279116180",
      "y": "1.741024347"
    },
    {
      "turn": "0",
      "x": "0.506762179",
      "y": "1.649508550"
    },
    {
      "turn": "0",
      "x": "1.802188283",
      "y": "0.993522235"
    },
    {
      "turn": "0",
      "x": "0.188432129",
      "y": "0.918389311"
    },
    {
      "turn": "0",
      "x": "1.435844647",
      "y": "0.313351826"
    },
    {
      "turn": "0",
      "x": "0.645299270",
      "y": "0.268362248"
    },
    {
      "turn": "0",
      "x": "1.155859384",
      "y": "1.921202346"
    },
    {
      "turn": "0",
      "x": "0.784210110",
      "y": "1.897007818"
    },
    {
      "turn": "0",
      "x": "1.777308004",
      "y": "1.510715003"
    },
    {
      "turn": "0",
      "x": "1.855403965",
      "y": "1.347762400"
    },
    {
      "turn": "0",
      "x": "0.189567240",
      "y": "1.448882778"
    },
    {
      "turn": "0",
      "x": "0.119501994",
      "y": "1.283896470"
    },
    {
      "turn": "0",
      "x": "1.842659762",
      "y": "0.631865017"
    },
    {
      "turn": "0",
      "x": "1.762156086",
      "y": "0.481607576"
    },
    {
      "turn": "0",
      "x": "0.194560740",
      "y": "0.545639180"
    },
    {
      "turn": "0",
      "x": "0.296219700",
      "y": "0.399974536"
    },
    {
      "turn": "0",
      "x": "1.140182365",
      "y": "0.085937261"
    },
    {
      "turn": "0",
      "x": "0.963140602",
      "y": "0.076275519"
    },
    {
      "turn": "0",
      "x": "1.368359043",
      "y": "1.900563054"
    },
    {
      "turn": "0",
      "x": "1.672591781",
      "y": "1.687945373"
    },
    {
      "turn": "0",
      "x": "0.613256775",
      "y": "1.844262732"
    },
    {
      "turn": "0",
      "x": "0.290681042",
      "y": "1.601582838"
    },
    {
      "turn": "0",
      "x": "1.900256113",
      "y": "1.182700496"
    },
    {
      "turn": "0",
      "x": "1.901332262",
      "y": "0.794450418"
    },
    {
      "turn": "0",
      "x": "0.079261400",
      "y": "1.108659717"
    },
    {
      "turn": "0",
      "x": "0.118039212",
      "y": "0.709316568"
    },
    {
      "turn": "0",
      "x": "1.653046231",
      "y": "0.343332950"
    },
    {
      "turn": "0",
      "x": "1.316437203",
      "y": "0.126649467"
    },
    {
      "turn": "0",
      "x": "0.423680972",
      "y": "0.271609846"
    },
    {
      "turn": "0",
      "x": "0.785302308",
      "y": "0.098159221"
    },
    {
      "turn": "0",
      "x": "1.498109963",
      "y": "1.756257839"
    },
    {
      "turn": "0",
      "x": "0.404278714",
      "y": "1.786953784"
    },
    {
      "turn": "0",
      "x": "1.980601315",
      "y": "0.990715391"
    },
    {
      "turn": "0",
      "x": "0.016363260",
      "y": "0.901406806"
    },
    {
      "turn": "0",
      "x": "1.528844541",
      "y": "0.167920850"
    },
    {
      "turn": "0",
      "x": "0.964019317",
      "y": "1.934040232"
    },
    {
      "turn": "0",
      "x": "0.570413990",
      "y": "0.112705650"
    },
    {
      "turn": "0",
      "x": "0.609210171",
      "y": "0.605507172"
    },
    {
      "turn": "0",
      "x": "1.447240192",
      "y": "1.362040232"
    }
  ],
  "radius": "0.119181650"
}

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

DISCUSSION

讨论区

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

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