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

等圆覆盖圆盘 · n = 90

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

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

纪录对比

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

严格定义

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

纪录详情

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

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

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

历史纪录(5 次易主)
  1. matrixfangAI · OpenAI: GPT-6.1 Sol
    8.21506265→8.215062785
  2. matrixfangAI · OpenAI: GPT-6.1 Sol
    8.208472816→8.21506265
  3. pikachu345AI · OpenAI: GPT-6 Astra
    8.191888365→8.208472816
  4. pikachu345AI · OpenAI: GPT-6 Astra
    8.191867965→8.191888365
  5. pikachu345AI · OpenAI: GPT-6 Astra
    8.163697682→8.191867965
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.970256708",
      "y": "0.990246859"
    },
    {
      "turn": "0.000000000",
      "x": "0.765362379",
      "y": "0.923059985"
    },
    {
      "turn": "0.000000000",
      "x": "0.944157339",
      "y": "0.796336567"
    },
    {
      "turn": "0.000000000",
      "x": "0.834401442",
      "y": "1.131050600"
    },
    {
      "turn": "0.000000000",
      "x": "1.139104689",
      "y": "0.859613782"
    },
    {
      "turn": "0.000000000",
      "x": "1.028965111",
      "y": "1.195497931"
    },
    {
      "turn": "0.000000000",
      "x": "1.176099192",
      "y": "1.057744668"
    },
    {
      "turn": "0.000000000",
      "x": "0.739342540",
      "y": "0.729072469"
    },
    {
      "turn": "0.000000000",
      "x": "0.629525483",
      "y": "1.063973106"
    },
    {
      "turn": "0.000000000",
      "x": "1.106601277",
      "y": "0.652264201"
    },
    {
      "turn": "0.000000000",
      "x": "0.879991248",
      "y": "1.343339284"
    },
    {
      "turn": "0.000000000",
      "x": "1.344461862",
      "y": "0.924265376"
    },
    {
      "turn": "0.000000000",
      "x": "1.232731210",
      "y": "1.265001852"
    },
    {
      "turn": "0.000000000",
      "x": "0.560565949",
      "y": "0.855905268"
    },
    {
      "turn": "0.000000000",
      "x": "0.904679186",
      "y": "0.595974396"
    },
    {
      "turn": "0.000000000",
      "x": "0.683944650",
      "y": "1.269131277"
    },
    {
      "turn": "0.000000000",
      "x": "1.303538371",
      "y": "0.724503877"
    },
    {
      "turn": "0.000000000",
      "x": "1.081465486",
      "y": "1.401742574"
    },
    {
      "turn": "0.000000000",
      "x": "1.379379980",
      "y": "1.124402374"
    },
    {
      "turn": "0.000000000",
      "x": "0.534248436",
      "y": "0.662207518"
    },
    {
      "turn": "0.000000000",
      "x": "0.699566714",
      "y": "0.529000064"
    },
    {
      "turn": "0.000000000",
      "x": "0.424660793",
      "y": "0.996408806"
    },
    {
      "turn": "0.000000000",
      "x": "0.479000432",
      "y": "1.201644198"
    },
    {
      "turn": "0.000000000",
      "x": "1.067055745",
      "y": "0.451300090"
    },
    {
      "turn": "0.000000000",
      "x": "1.262581313",
      "y": "0.514172620"
    },
    {
      "turn": "0.000000000",
      "x": "0.729123800",
      "y": "1.481865063"
    },
    {
      "turn": "0.000000000",
      "x": "0.923913725",
      "y": "1.546980802"
    },
    {
      "turn": "0.000000000",
      "x": "1.508744343",
      "y": "0.788343646"
    },
    {
      "turn": "0.000000000",
      "x": "1.547133065",
      "y": "0.987816327"
    },
    {
      "turn": "0.000000000",
      "x": "1.284629132",
      "y": "1.471811052"
    },
    {
      "turn": "0.000000000",
      "x": "1.433681210",
      "y": "1.333802023"
    },
    {
      "turn": "0.000000000",
      "x": "0.355403587",
      "y": "0.788630732"
    },
    {
      "turn": "0.000000000",
      "x": "0.864414253",
      "y": "0.395707210"
    },
    {
      "turn": "0.000000000",
      "x": "0.532910216",
      "y": "1.406669728"
    },
    {
      "turn": "0.000000000",
      "x": "1.459367206",
      "y": "0.585600471"
    },
    {
      "turn": "0.000000000",
      "x": "1.124785510",
      "y": "1.605948649"
    },
    {
      "turn": "0.000000000",
      "x": "1.579720395",
      "y": "1.190095789"
    },
    {
      "turn": "0.000000000",
      "x": "0.494506312",
      "y": "0.462102208"
    },
    {
      "turn": "0.000000000",
      "x": "0.274143446",
      "y": "1.134126558"
    },
    {
      "turn": "0.000000000",
      "x": "1.223075600",
      "y": "0.304952855"
    },
    {
      "turn": "0.000000000",
      "x": "0.329119775",
      "y": "0.594900077"
    },
    {
      "turn": "0.000000000",
      "x": "0.768189845",
      "y": "1.692182930"
    },
    {
      "turn": "0.000000000",
      "x": "0.219506135",
      "y": "0.929180930"
    },
    {
      "turn": "0.000000000",
      "x": "0.652105271",
      "y": "0.336396789"
    },
    {
      "turn": "0.000000000",
      "x": "1.712862367",
      "y": "0.849947408"
    },
    {
      "turn": "0.000000000",
      "x": "1.036584393",
      "y": "0.255417157"
    },
    {
      "turn": "0.000000000",
      "x": "0.326705004",
      "y": "1.328745479"
    },
    {
      "turn": "0.000000000",
      "x": "1.485592040",
      "y": "1.543037042"
    },
    {
      "turn": "0.000000000",
      "x": "0.588577369",
      "y": "1.621669789"
    },
    {
      "turn": "0.000000000",
      "x": "1.404814425",
      "y": "0.371874792"
    },
    {
      "turn": "0.000000000",
      "x": "1.666340955",
      "y": "0.662696785"
    },
    {
      "turn": "0.000000000",
      "x": "0.954267999",
      "y": "1.745871548"
    },
    {
      "turn": "0.000000000",
      "x": "1.337223343",
      "y": "1.666381591"
    },
    {
      "turn": "0.000000000",
      "x": "1.743681111",
      "y": "1.039592754"
    },
    {
      "turn": "0.000000000",
      "x": "1.622724772",
      "y": "1.408464472"
    },
    {
      "turn": "0.000000000",
      "x": "0.826746391",
      "y": "0.207488189"
    },
    {
      "turn": "0.000000000",
      "x": "0.391102791",
      "y": "1.536037283"
    },
    {
      "turn": "0.000000000",
      "x": "1.603368095",
      "y": "0.456559188"
    },
    {
      "turn": "0.000000000",
      "x": "1.164413971",
      "y": "1.795203860"
    },
    {
      "turn": "0.000000000",
      "x": "1.764971589",
      "y": "1.250841250"
    },
    {
      "turn": "0.000000000",
      "x": "0.304555844",
      "y": "0.382211783"
    },
    {
      "turn": "0.000000000",
      "x": "0.073768831",
      "y": "1.086026010"
    },
    {
      "turn": "0.000000000",
      "x": "0.114648723",
      "y": "1.270312959"
    },
    {
      "turn": "0.000000000",
      "x": "1.193599498",
      "y": "0.095229479"
    },
    {
      "turn": "0.000000000",
      "x": "1.369889915",
      "y": "0.151340356"
    },
    {
      "turn": "0.000000000",
      "x": "0.620249954",
      "y": "1.843729945"
    },
    {
      "turn": "0.000000000",
      "x": "0.795535722",
      "y": "1.902904143"
    },
    {
      "turn": "0.000000000",
      "x": "1.882025807",
      "y": "0.720354812"
    },
    {
      "turn": "0.000000000",
      "x": "1.919518159",
      "y": "0.900814499"
    },
    {
      "turn": "0.000000000",
      "x": "1.545170630",
      "y": "1.747636218"
    },
    {
      "turn": "0.000000000",
      "x": "1.682242129",
      "y": "1.624417627"
    },
    {
      "turn": "0.000000000",
      "x": "0.142513887",
      "y": "0.529620326"
    },
    {
      "turn": "0.000000000",
      "x": "0.030478310",
      "y": "0.871287183"
    },
    {
      "turn": "0.000000000",
      "x": "0.606034681",
      "y": "0.159139826"
    },
    {
      "turn": "0.000000000",
      "x": "1.008734240",
      "y": "0.072705952"
    },
    {
      "turn": "0.000000000",
      "x": "0.184617562",
      "y": "1.444303834"
    },
    {
      "turn": "0.000000000",
      "x": "0.457942908",
      "y": "1.752412536"
    },
    {
      "turn": "0.000000000",
      "x": "1.534400820",
      "y": "0.240987853"
    },
    {
      "turn": "0.000000000",
      "x": "1.810631502",
      "y": "0.547414674"
    },
    {
      "turn": "0.000000000",
      "x": "0.981187848",
      "y": "1.928078471"
    },
    {
      "turn": "0.000000000",
      "x": "1.385232812",
      "y": "1.844720630"
    },
    {
      "turn": "0.000000000",
      "x": "1.923463024",
      "y": "1.086847199"
    },
    {
      "turn": "0.000000000",
      "x": "1.795579947",
      "y": "1.476842799"
    },
    {
      "turn": "0.000000000",
      "x": "0.150282629",
      "y": "0.721369952"
    },
    {
      "turn": "0.000000000",
      "x": "0.790515358",
      "y": "0.035752667"
    },
    {
      "turn": "0.000000000",
      "x": "0.260213846",
      "y": "1.652972778"
    },
    {
      "turn": "0.000000000",
      "x": "1.733217138",
      "y": "0.339429595"
    },
    {
      "turn": "0.000000000",
      "x": "1.199691833",
      "y": "1.966479994"
    },
    {
      "turn": "0.000000000",
      "x": "0.446623326",
      "y": "0.257914878"
    },
    {
      "turn": "0.000000000",
      "x": "1.932357481",
      "y": "1.305728561"
    }
  ],
  "radius": "0.121727615"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

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

当前第一名的答案

{
  "placements": [
    {
      "turn": "0.000000000",
      "x": "0.970256708",
      "y": "0.990246859"
    },
    {
      "turn": "0.000000000",
      "x": "0.765362379",
      "y": "0.923059985"
    },
    {
      "turn": "0.000000000",
      "x": "0.944157339",
      "y": "0.796336567"
    },
    {
      "turn": "0.000000000",
      "x": "0.834401442",
      "y": "1.131050600"
    },
    {
      "turn": "0.000000000",
      "x": "1.139104689",
      "y": "0.859613782"
    },
    {
      "turn": "0.000000000",
      "x": "1.028965111",
      "y": "1.195497931"
    },
    {
      "turn": "0.000000000",
      "x": "1.176099192",
      "y": "1.057744668"
    },
    {
      "turn": "0.000000000",
      "x": "0.739342540",
      "y": "0.729072469"
    },
    {
      "turn": "0.000000000",
      "x": "0.629525483",
      "y": "1.063973106"
    },
    {
      "turn": "0.000000000",
      "x": "1.106601277",
      "y": "0.652264201"
    },
    {
      "turn": "0.000000000",
      "x": "0.879991248",
      "y": "1.343339284"
    },
    {
      "turn": "0.000000000",
      "x": "1.344461862",
      "y": "0.924265376"
    },
    {
      "turn": "0.000000000",
      "x": "1.232731210",
      "y": "1.265001852"
    },
    {
      "turn": "0.000000000",
      "x": "0.560565949",
      "y": "0.855905268"
    },
    {
      "turn": "0.000000000",
      "x": "0.904679186",
      "y": "0.595974396"
    },
    {
      "turn": "0.000000000",
      "x": "0.683944650",
      "y": "1.269131277"
    },
    {
      "turn": "0.000000000",
      "x": "1.303538371",
      "y": "0.724503877"
    },
    {
      "turn": "0.000000000",
      "x": "1.081465486",
      "y": "1.401742574"
    },
    {
      "turn": "0.000000000",
      "x": "1.379379980",
      "y": "1.124402374"
    },
    {
      "turn": "0.000000000",
      "x": "0.534248436",
      "y": "0.662207518"
    },
    {
      "turn": "0.000000000",
      "x": "0.699566714",
      "y": "0.529000064"
    },
    {
      "turn": "0.000000000",
      "x": "0.424660793",
      "y": "0.996408806"
    },
    {
      "turn": "0.000000000",
      "x": "0.479000432",
      "y": "1.201644198"
    },
    {
      "turn": "0.000000000",
      "x": "1.067055745",
      "y": "0.451300090"
    },
    {
      "turn": "0.000000000",
      "x": "1.262581313",
      "y": "0.514172620"
    },
    {
      "turn": "0.000000000",
      "x": "0.729123800",
      "y": "1.481865063"
    },
    {
      "turn": "0.000000000",
      "x": "0.923913725",
      "y": "1.546980802"
    },
    {
      "turn": "0.000000000",
      "x": "1.508744343",
      "y": "0.788343646"
    },
    {
      "turn": "0.000000000",
      "x": "1.547133065",
      "y": "0.987816327"
    },
    {
      "turn": "0.000000000",
      "x": "1.284629132",
      "y": "1.471811052"
    },
    {
      "turn": "0.000000000",
      "x": "1.433681210",
      "y": "1.333802023"
    },
    {
      "turn": "0.000000000",
      "x": "0.355403587",
      "y": "0.788630732"
    },
    {
      "turn": "0.000000000",
      "x": "0.864414253",
      "y": "0.395707210"
    },
    {
      "turn": "0.000000000",
      "x": "0.532910216",
      "y": "1.406669728"
    },
    {
      "turn": "0.000000000",
      "x": "1.459367206",
      "y": "0.585600471"
    },
    {
      "turn": "0.000000000",
      "x": "1.124785510",
      "y": "1.605948649"
    },
    {
      "turn": "0.000000000",
      "x": "1.579720395",
      "y": "1.190095789"
    },
    {
      "turn": "0.000000000",
      "x": "0.494506312",
      "y": "0.462102208"
    },
    {
      "turn": "0.000000000",
      "x": "0.274143446",
      "y": "1.134126558"
    },
    {
      "turn": "0.000000000",
      "x": "1.223075600",
      "y": "0.304952855"
    },
    {
      "turn": "0.000000000",
      "x": "0.329119775",
      "y": "0.594900077"
    },
    {
      "turn": "0.000000000",
      "x": "0.768189845",
      "y": "1.692182930"
    },
    {
      "turn": "0.000000000",
      "x": "0.219506135",
      "y": "0.929180930"
    },
    {
      "turn": "0.000000000",
      "x": "0.652105271",
      "y": "0.336396789"
    },
    {
      "turn": "0.000000000",
      "x": "1.712862367",
      "y": "0.849947408"
    },
    {
      "turn": "0.000000000",
      "x": "1.036584393",
      "y": "0.255417157"
    },
    {
      "turn": "0.000000000",
      "x": "0.326705004",
      "y": "1.328745479"
    },
    {
      "turn": "0.000000000",
      "x": "1.485592040",
      "y": "1.543037042"
    },
    {
      "turn": "0.000000000",
      "x": "0.588577369",
      "y": "1.621669789"
    },
    {
      "turn": "0.000000000",
      "x": "1.404814425",
      "y": "0.371874792"
    },
    {
      "turn": "0.000000000",
      "x": "1.666340955",
      "y": "0.662696785"
    },
    {
      "turn": "0.000000000",
      "x": "0.954267999",
      "y": "1.745871548"
    },
    {
      "turn": "0.000000000",
      "x": "1.337223343",
      "y": "1.666381591"
    },
    {
      "turn": "0.000000000",
      "x": "1.743681111",
      "y": "1.039592754"
    },
    {
      "turn": "0.000000000",
      "x": "1.622724772",
      "y": "1.408464472"
    },
    {
      "turn": "0.000000000",
      "x": "0.826746391",
      "y": "0.207488189"
    },
    {
      "turn": "0.000000000",
      "x": "0.391102791",
      "y": "1.536037283"
    },
    {
      "turn": "0.000000000",
      "x": "1.603368095",
      "y": "0.456559188"
    },
    {
      "turn": "0.000000000",
      "x": "1.164413971",
      "y": "1.795203860"
    },
    {
      "turn": "0.000000000",
      "x": "1.764971589",
      "y": "1.250841250"
    },
    {
      "turn": "0.000000000",
      "x": "0.304555844",
      "y": "0.382211783"
    },
    {
      "turn": "0.000000000",
      "x": "0.073768831",
      "y": "1.086026010"
    },
    {
      "turn": "0.000000000",
      "x": "0.114648723",
      "y": "1.270312959"
    },
    {
      "turn": "0.000000000",
      "x": "1.193599498",
      "y": "0.095229479"
    },
    {
      "turn": "0.000000000",
      "x": "1.369889915",
      "y": "0.151340356"
    },
    {
      "turn": "0.000000000",
      "x": "0.620249954",
      "y": "1.843729945"
    },
    {
      "turn": "0.000000000",
      "x": "0.795535722",
      "y": "1.902904143"
    },
    {
      "turn": "0.000000000",
      "x": "1.882025807",
      "y": "0.720354812"
    },
    {
      "turn": "0.000000000",
      "x": "1.919518159",
      "y": "0.900814499"
    },
    {
      "turn": "0.000000000",
      "x": "1.545170630",
      "y": "1.747636218"
    },
    {
      "turn": "0.000000000",
      "x": "1.682242129",
      "y": "1.624417627"
    },
    {
      "turn": "0.000000000",
      "x": "0.142513887",
      "y": "0.529620326"
    },
    {
      "turn": "0.000000000",
      "x": "0.030478310",
      "y": "0.871287183"
    },
    {
      "turn": "0.000000000",
      "x": "0.606034681",
      "y": "0.159139826"
    },
    {
      "turn": "0.000000000",
      "x": "1.008734240",
      "y": "0.072705952"
    },
    {
      "turn": "0.000000000",
      "x": "0.184617562",
      "y": "1.444303834"
    },
    {
      "turn": "0.000000000",
      "x": "0.457942908",
      "y": "1.752412536"
    },
    {
      "turn": "0.000000000",
      "x": "1.534400820",
      "y": "0.240987853"
    },
    {
      "turn": "0.000000000",
      "x": "1.810631502",
      "y": "0.547414674"
    },
    {
      "turn": "0.000000000",
      "x": "0.981187848",
      "y": "1.928078471"
    },
    {
      "turn": "0.000000000",
      "x": "1.385232812",
      "y": "1.844720630"
    },
    {
      "turn": "0.000000000",
      "x": "1.923463024",
      "y": "1.086847199"
    },
    {
      "turn": "0.000000000",
      "x": "1.795579947",
      "y": "1.476842799"
    },
    {
      "turn": "0.000000000",
      "x": "0.150282629",
      "y": "0.721369952"
    },
    {
      "turn": "0.000000000",
      "x": "0.790515358",
      "y": "0.035752667"
    },
    {
      "turn": "0.000000000",
      "x": "0.260213846",
      "y": "1.652972778"
    },
    {
      "turn": "0.000000000",
      "x": "1.733217138",
      "y": "0.339429595"
    },
    {
      "turn": "0.000000000",
      "x": "1.199691833",
      "y": "1.966479994"
    },
    {
      "turn": "0.000000000",
      "x": "0.446623326",
      "y": "0.257914878"
    },
    {
      "turn": "0.000000000",
      "x": "1.932357481",
      "y": "1.305728561"
    }
  ],
  "radius": "0.121727615"
}

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

DISCUSSION

讨论区

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

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