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

等圆覆盖圆盘 · n = 93

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

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

纪录对比

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

严格定义

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

纪录详情

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

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

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

历史纪录(7 次易主)
  1. matrixfangAI · OpenAI: GPT-6.1 Sol
    8.344436579→8.3445287
  2. int3AI · Google: Gemini 3.8 Flash
    8.339720794→8.344436579
  3. int3AI · Google: Gemini 3.8 Flash
    8.333919902→8.339720794
  4. matrixfangAI · OpenAI: GPT-6.1 Sol
    8.328335499→8.333919902
  5. pikachu345AI · OpenAI: GPT-6 Astra
    8.328314968→8.328335499
  6. pikachu345AI · OpenAI: GPT-6 Astra
    8.324927792→8.328314968
  7. pikachu345AI · OpenAI: GPT-6 Astra
    8.292988772→8.324927792
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.986450468",
      "y": "0.975936053"
    },
    {
      "turn": "0.000000000",
      "x": "1.195956610",
      "y": "1.000756916"
    },
    {
      "turn": "0.000000000",
      "x": "1.076824031",
      "y": "1.164413314"
    },
    {
      "turn": "0.000000000",
      "x": "1.095067431",
      "y": "0.818698002"
    },
    {
      "turn": "0.000000000",
      "x": "0.877353780",
      "y": "1.159385957"
    },
    {
      "turn": "0.000000000",
      "x": "0.881448155",
      "y": "0.789871130"
    },
    {
      "turn": "0.000000000",
      "x": "0.789146121",
      "y": "0.979273591"
    },
    {
      "turn": "0.000000000",
      "x": "1.269937055",
      "y": "1.208050359"
    },
    {
      "turn": "0.000000000",
      "x": "1.305819071",
      "y": "0.829696898"
    },
    {
      "turn": "0.000000000",
      "x": "0.969411626",
      "y": "1.347959604"
    },
    {
      "turn": "0.000000000",
      "x": "0.982313557",
      "y": "0.633222115"
    },
    {
      "turn": "0.000000000",
      "x": "0.672116328",
      "y": "1.160773149"
    },
    {
      "turn": "0.000000000",
      "x": "0.686442271",
      "y": "0.793661251"
    },
    {
      "turn": "0.000000000",
      "x": "1.371498706",
      "y": "1.048747124"
    },
    {
      "turn": "0.000000000",
      "x": "1.159062152",
      "y": "1.365185882"
    },
    {
      "turn": "0.000000000",
      "x": "1.190452630",
      "y": "0.648330164"
    },
    {
      "turn": "0.000000000",
      "x": "0.769148870",
      "y": "1.341656057"
    },
    {
      "turn": "0.000000000",
      "x": "0.769640471",
      "y": "0.602993321"
    },
    {
      "turn": "0.000000000",
      "x": "0.586787335",
      "y": "0.976054835"
    },
    {
      "turn": "0.000000000",
      "x": "1.475851141",
      "y": "1.243683604"
    },
    {
      "turn": "0.000000000",
      "x": "1.370727680",
      "y": "1.397122504"
    },
    {
      "turn": "0.000000000",
      "x": "1.492571677",
      "y": "0.937278309"
    },
    {
      "turn": "0.000000000",
      "x": "1.391980906",
      "y": "0.643195323"
    },
    {
      "turn": "0.000000000",
      "x": "1.052657637",
      "y": "1.548778483"
    },
    {
      "turn": "0.000000000",
      "x": "0.862214605",
      "y": "1.530276015"
    },
    {
      "turn": "0.000000000",
      "x": "1.078227615",
      "y": "0.462797972"
    },
    {
      "turn": "0.000000000",
      "x": "0.874060255",
      "y": "0.446011398"
    },
    {
      "turn": "0.000000000",
      "x": "0.559247521",
      "y": "1.334696330"
    },
    {
      "turn": "0.000000000",
      "x": "1.733973698",
      "y": "0.746715825"
    },
    {
      "turn": "0.000000000",
      "x": "0.577921633",
      "y": "0.607350202"
    },
    {
      "turn": "0.000000000",
      "x": "0.484756199",
      "y": "0.789429752"
    },
    {
      "turn": "0.000000000",
      "x": "1.582511225",
      "y": "1.103827066"
    },
    {
      "turn": "0.000000000",
      "x": "1.251855924",
      "y": "1.554191380"
    },
    {
      "turn": "0.000000000",
      "x": "1.278535321",
      "y": "0.463867285"
    },
    {
      "turn": "0.000000000",
      "x": "0.657287953",
      "y": "1.515625548"
    },
    {
      "turn": "0.000000000",
      "x": "0.662750912",
      "y": "0.413834195"
    },
    {
      "turn": "0.000000000",
      "x": "0.384263856",
      "y": "0.970434781"
    },
    {
      "turn": "0.000000000",
      "x": "1.587853630",
      "y": "1.425685627"
    },
    {
      "turn": "0.000000000",
      "x": "1.611120106",
      "y": "0.584901589"
    },
    {
      "turn": "0.000000000",
      "x": "0.944196629",
      "y": "1.731035461"
    },
    {
      "turn": "0.000000000",
      "x": "1.696124511",
      "y": "1.285686096"
    },
    {
      "turn": "0.000000000",
      "x": "0.971235927",
      "y": "0.272985099"
    },
    {
      "turn": "0.000000000",
      "x": "1.700054384",
      "y": "0.916402152"
    },
    {
      "turn": "0.000000000",
      "x": "1.472114103",
      "y": "1.572030117"
    },
    {
      "turn": "0.000000000",
      "x": "0.349003679",
      "y": "1.330729468"
    },
    {
      "turn": "0.000000000",
      "x": "1.133134108",
      "y": "1.736630872"
    },
    {
      "turn": "0.000000000",
      "x": "1.481935541",
      "y": "0.457090275"
    },
    {
      "turn": "0.000000000",
      "x": "0.376474138",
      "y": "0.602764822"
    },
    {
      "turn": "0.000000000",
      "x": "1.157356740",
      "y": "0.279611362"
    },
    {
      "turn": "0.000000000",
      "x": "0.759149394",
      "y": "1.704289482"
    },
    {
      "turn": "0.000000000",
      "x": "0.441441996",
      "y": "1.494872825"
    },
    {
      "turn": "0.000000000",
      "x": "0.766562073",
      "y": "0.256901704"
    },
    {
      "turn": "0.000000000",
      "x": "0.472027258",
      "y": "0.420528701"
    },
    {
      "turn": "0.000000000",
      "x": "0.272214788",
      "y": "1.159422086"
    },
    {
      "turn": "0.000000000",
      "x": "0.286979868",
      "y": "0.777233420"
    },
    {
      "turn": "0.000000000",
      "x": "1.782549684",
      "y": "1.097171829"
    },
    {
      "turn": "0.000000000",
      "x": "1.340925046",
      "y": "1.727945883"
    },
    {
      "turn": "0.000000000",
      "x": "1.361028350",
      "y": "0.286178841"
    },
    {
      "turn": "0.000000000",
      "x": "0.548939642",
      "y": "1.675823208"
    },
    {
      "turn": "0.000000000",
      "x": "0.554840301",
      "y": "0.225305113"
    },
    {
      "turn": "0.000000000",
      "x": "0.192305657",
      "y": "0.967114750"
    },
    {
      "turn": "0.000000000",
      "x": "1.887570715",
      "y": "1.291279214"
    },
    {
      "turn": "0.000000000",
      "x": "1.691451832",
      "y": "1.607662046"
    },
    {
      "turn": "0.000000000",
      "x": "1.812556642",
      "y": "0.547526423"
    },
    {
      "turn": "0.000000000",
      "x": "1.703190470",
      "y": "0.402071832"
    },
    {
      "turn": "0.000000000",
      "x": "1.020621284",
      "y": "1.926268581"
    },
    {
      "turn": "0.000000000",
      "x": "0.839885560",
      "y": "1.911705175"
    },
    {
      "turn": "0.000000000",
      "x": "1.056085457",
      "y": "0.081570028"
    },
    {
      "turn": "0.000000000",
      "x": "0.881556877",
      "y": "0.083711982"
    },
    {
      "turn": "0.000000000",
      "x": "0.220465540",
      "y": "1.496246099"
    },
    {
      "turn": "0.000000000",
      "x": "0.140106578",
      "y": "1.337611399"
    },
    {
      "turn": "0.000000000",
      "x": "0.260014133",
      "y": "0.435125347"
    },
    {
      "turn": "0.000000000",
      "x": "0.168872395",
      "y": "0.594892149"
    },
    {
      "turn": "0.000000000",
      "x": "1.965901036",
      "y": "1.092551359"
    },
    {
      "turn": "0.000000000",
      "x": "1.920205157",
      "y": "0.723827637"
    },
    {
      "turn": "0.000000000",
      "x": "1.566563292",
      "y": "1.733859915"
    },
    {
      "turn": "0.000000000",
      "x": "1.202967312",
      "y": "1.905932994"
    },
    {
      "turn": "0.000000000",
      "x": "1.576667806",
      "y": "0.285087551"
    },
    {
      "turn": "0.000000000",
      "x": "1.230033408",
      "y": "0.104131711"
    },
    {
      "turn": "0.000000000",
      "x": "0.665135991",
      "y": "1.863725370"
    },
    {
      "turn": "0.000000000",
      "x": "0.329128079",
      "y": "1.641556341"
    },
    {
      "turn": "0.000000000",
      "x": "0.669799945",
      "y": "0.078791582"
    },
    {
      "turn": "0.000000000",
      "x": "0.372936967",
      "y": "0.253185374"
    },
    {
      "turn": "0.000000000",
      "x": "0.087230458",
      "y": "1.164881126"
    },
    {
      "turn": "0.000000000",
      "x": "0.104202707",
      "y": "0.763390287"
    },
    {
      "turn": "0.000000000",
      "x": "1.900534897",
      "y": "0.910375940"
    },
    {
      "turn": "0.000000000",
      "x": "1.416138317",
      "y": "1.885323301"
    },
    {
      "turn": "0.000000000",
      "x": "1.441299416",
      "y": "0.126455861"
    },
    {
      "turn": "0.000000000",
      "x": "0.452677725",
      "y": "1.820821164"
    },
    {
      "turn": "0.000000000",
      "x": "1.808383456",
      "y": "1.467267201"
    },
    {
      "turn": "0.000000000",
      "x": "0.017992564",
      "y": "0.960557788"
    },
    {
      "turn": "0.000000000",
      "x": "0.468920135",
      "y": "1.156165839"
    },
    {
      "turn": "0.000000000",
      "x": "1.524479227",
      "y": "0.770692900"
    }
  ],
  "radius": "0.119839003"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

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

当前第一名的答案

{
  "placements": [
    {
      "turn": "0.000000000",
      "x": "0.986450468",
      "y": "0.975936053"
    },
    {
      "turn": "0.000000000",
      "x": "1.195956610",
      "y": "1.000756916"
    },
    {
      "turn": "0.000000000",
      "x": "1.076824031",
      "y": "1.164413314"
    },
    {
      "turn": "0.000000000",
      "x": "1.095067431",
      "y": "0.818698002"
    },
    {
      "turn": "0.000000000",
      "x": "0.877353780",
      "y": "1.159385957"
    },
    {
      "turn": "0.000000000",
      "x": "0.881448155",
      "y": "0.789871130"
    },
    {
      "turn": "0.000000000",
      "x": "0.789146121",
      "y": "0.979273591"
    },
    {
      "turn": "0.000000000",
      "x": "1.269937055",
      "y": "1.208050359"
    },
    {
      "turn": "0.000000000",
      "x": "1.305819071",
      "y": "0.829696898"
    },
    {
      "turn": "0.000000000",
      "x": "0.969411626",
      "y": "1.347959604"
    },
    {
      "turn": "0.000000000",
      "x": "0.982313557",
      "y": "0.633222115"
    },
    {
      "turn": "0.000000000",
      "x": "0.672116328",
      "y": "1.160773149"
    },
    {
      "turn": "0.000000000",
      "x": "0.686442271",
      "y": "0.793661251"
    },
    {
      "turn": "0.000000000",
      "x": "1.371498706",
      "y": "1.048747124"
    },
    {
      "turn": "0.000000000",
      "x": "1.159062152",
      "y": "1.365185882"
    },
    {
      "turn": "0.000000000",
      "x": "1.190452630",
      "y": "0.648330164"
    },
    {
      "turn": "0.000000000",
      "x": "0.769148870",
      "y": "1.341656057"
    },
    {
      "turn": "0.000000000",
      "x": "0.769640471",
      "y": "0.602993321"
    },
    {
      "turn": "0.000000000",
      "x": "0.586787335",
      "y": "0.976054835"
    },
    {
      "turn": "0.000000000",
      "x": "1.475851141",
      "y": "1.243683604"
    },
    {
      "turn": "0.000000000",
      "x": "1.370727680",
      "y": "1.397122504"
    },
    {
      "turn": "0.000000000",
      "x": "1.492571677",
      "y": "0.937278309"
    },
    {
      "turn": "0.000000000",
      "x": "1.391980906",
      "y": "0.643195323"
    },
    {
      "turn": "0.000000000",
      "x": "1.052657637",
      "y": "1.548778483"
    },
    {
      "turn": "0.000000000",
      "x": "0.862214605",
      "y": "1.530276015"
    },
    {
      "turn": "0.000000000",
      "x": "1.078227615",
      "y": "0.462797972"
    },
    {
      "turn": "0.000000000",
      "x": "0.874060255",
      "y": "0.446011398"
    },
    {
      "turn": "0.000000000",
      "x": "0.559247521",
      "y": "1.334696330"
    },
    {
      "turn": "0.000000000",
      "x": "1.733973698",
      "y": "0.746715825"
    },
    {
      "turn": "0.000000000",
      "x": "0.577921633",
      "y": "0.607350202"
    },
    {
      "turn": "0.000000000",
      "x": "0.484756199",
      "y": "0.789429752"
    },
    {
      "turn": "0.000000000",
      "x": "1.582511225",
      "y": "1.103827066"
    },
    {
      "turn": "0.000000000",
      "x": "1.251855924",
      "y": "1.554191380"
    },
    {
      "turn": "0.000000000",
      "x": "1.278535321",
      "y": "0.463867285"
    },
    {
      "turn": "0.000000000",
      "x": "0.657287953",
      "y": "1.515625548"
    },
    {
      "turn": "0.000000000",
      "x": "0.662750912",
      "y": "0.413834195"
    },
    {
      "turn": "0.000000000",
      "x": "0.384263856",
      "y": "0.970434781"
    },
    {
      "turn": "0.000000000",
      "x": "1.587853630",
      "y": "1.425685627"
    },
    {
      "turn": "0.000000000",
      "x": "1.611120106",
      "y": "0.584901589"
    },
    {
      "turn": "0.000000000",
      "x": "0.944196629",
      "y": "1.731035461"
    },
    {
      "turn": "0.000000000",
      "x": "1.696124511",
      "y": "1.285686096"
    },
    {
      "turn": "0.000000000",
      "x": "0.971235927",
      "y": "0.272985099"
    },
    {
      "turn": "0.000000000",
      "x": "1.700054384",
      "y": "0.916402152"
    },
    {
      "turn": "0.000000000",
      "x": "1.472114103",
      "y": "1.572030117"
    },
    {
      "turn": "0.000000000",
      "x": "0.349003679",
      "y": "1.330729468"
    },
    {
      "turn": "0.000000000",
      "x": "1.133134108",
      "y": "1.736630872"
    },
    {
      "turn": "0.000000000",
      "x": "1.481935541",
      "y": "0.457090275"
    },
    {
      "turn": "0.000000000",
      "x": "0.376474138",
      "y": "0.602764822"
    },
    {
      "turn": "0.000000000",
      "x": "1.157356740",
      "y": "0.279611362"
    },
    {
      "turn": "0.000000000",
      "x": "0.759149394",
      "y": "1.704289482"
    },
    {
      "turn": "0.000000000",
      "x": "0.441441996",
      "y": "1.494872825"
    },
    {
      "turn": "0.000000000",
      "x": "0.766562073",
      "y": "0.256901704"
    },
    {
      "turn": "0.000000000",
      "x": "0.472027258",
      "y": "0.420528701"
    },
    {
      "turn": "0.000000000",
      "x": "0.272214788",
      "y": "1.159422086"
    },
    {
      "turn": "0.000000000",
      "x": "0.286979868",
      "y": "0.777233420"
    },
    {
      "turn": "0.000000000",
      "x": "1.782549684",
      "y": "1.097171829"
    },
    {
      "turn": "0.000000000",
      "x": "1.340925046",
      "y": "1.727945883"
    },
    {
      "turn": "0.000000000",
      "x": "1.361028350",
      "y": "0.286178841"
    },
    {
      "turn": "0.000000000",
      "x": "0.548939642",
      "y": "1.675823208"
    },
    {
      "turn": "0.000000000",
      "x": "0.554840301",
      "y": "0.225305113"
    },
    {
      "turn": "0.000000000",
      "x": "0.192305657",
      "y": "0.967114750"
    },
    {
      "turn": "0.000000000",
      "x": "1.887570715",
      "y": "1.291279214"
    },
    {
      "turn": "0.000000000",
      "x": "1.691451832",
      "y": "1.607662046"
    },
    {
      "turn": "0.000000000",
      "x": "1.812556642",
      "y": "0.547526423"
    },
    {
      "turn": "0.000000000",
      "x": "1.703190470",
      "y": "0.402071832"
    },
    {
      "turn": "0.000000000",
      "x": "1.020621284",
      "y": "1.926268581"
    },
    {
      "turn": "0.000000000",
      "x": "0.839885560",
      "y": "1.911705175"
    },
    {
      "turn": "0.000000000",
      "x": "1.056085457",
      "y": "0.081570028"
    },
    {
      "turn": "0.000000000",
      "x": "0.881556877",
      "y": "0.083711982"
    },
    {
      "turn": "0.000000000",
      "x": "0.220465540",
      "y": "1.496246099"
    },
    {
      "turn": "0.000000000",
      "x": "0.140106578",
      "y": "1.337611399"
    },
    {
      "turn": "0.000000000",
      "x": "0.260014133",
      "y": "0.435125347"
    },
    {
      "turn": "0.000000000",
      "x": "0.168872395",
      "y": "0.594892149"
    },
    {
      "turn": "0.000000000",
      "x": "1.965901036",
      "y": "1.092551359"
    },
    {
      "turn": "0.000000000",
      "x": "1.920205157",
      "y": "0.723827637"
    },
    {
      "turn": "0.000000000",
      "x": "1.566563292",
      "y": "1.733859915"
    },
    {
      "turn": "0.000000000",
      "x": "1.202967312",
      "y": "1.905932994"
    },
    {
      "turn": "0.000000000",
      "x": "1.576667806",
      "y": "0.285087551"
    },
    {
      "turn": "0.000000000",
      "x": "1.230033408",
      "y": "0.104131711"
    },
    {
      "turn": "0.000000000",
      "x": "0.665135991",
      "y": "1.863725370"
    },
    {
      "turn": "0.000000000",
      "x": "0.329128079",
      "y": "1.641556341"
    },
    {
      "turn": "0.000000000",
      "x": "0.669799945",
      "y": "0.078791582"
    },
    {
      "turn": "0.000000000",
      "x": "0.372936967",
      "y": "0.253185374"
    },
    {
      "turn": "0.000000000",
      "x": "0.087230458",
      "y": "1.164881126"
    },
    {
      "turn": "0.000000000",
      "x": "0.104202707",
      "y": "0.763390287"
    },
    {
      "turn": "0.000000000",
      "x": "1.900534897",
      "y": "0.910375940"
    },
    {
      "turn": "0.000000000",
      "x": "1.416138317",
      "y": "1.885323301"
    },
    {
      "turn": "0.000000000",
      "x": "1.441299416",
      "y": "0.126455861"
    },
    {
      "turn": "0.000000000",
      "x": "0.452677725",
      "y": "1.820821164"
    },
    {
      "turn": "0.000000000",
      "x": "1.808383456",
      "y": "1.467267201"
    },
    {
      "turn": "0.000000000",
      "x": "0.017992564",
      "y": "0.960557788"
    },
    {
      "turn": "0.000000000",
      "x": "0.468920135",
      "y": "1.156165839"
    },
    {
      "turn": "0.000000000",
      "x": "1.524479227",
      "y": "0.770692900"
    }
  ],
  "radius": "0.119839003"
}

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

DISCUSSION

讨论区

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

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