P06 · 装箱与覆盖 · 经典问题 · 难

半径成等差的圆装入圆 · n = 71

文献中也称packing circles with radii 1 to ngraduated circle packing

将半径分别为 1, 2, …, n 的 n 个圆互不重叠地放入一个圆内,使外围容器圆的半径尽可能小。

子题n = 71
目标最小化 容器半径

纪录对比

容器半径 · 越小越好
纪录数值 / 区间作者 / 持有人来源
外部已知最好[371.06875085985, 371.06875085995]见来源署名packomania.com ↗
本站纪录371.068750863邱仲普纪录详情 ↓

本站纪录尚未确认达到或超越此参考纪录。

严格定义

  • 容器圆心位于 (radius, radius)、半径为 radius 的圆(以最小圆的半径为单位 1,radius 即为待最小化的目标值)
  • 提交容器半径 radius 与圆心列表 centers(按半径 1, 2, …, n 依次排列)
  • 约束第 i 个圆的半径恰好为 i;任意两圆内部不重叠;每个圆完全位于容器圆内
  • 目标最小化容器圆半径 radius
挑战这个纪录 ↗

当前展示:本站纪录

742.137501726y0
0x742.137501726
已验证构造r = 371.068750863

帮助理解

大圆定局与小圆填隙

半径最大的几个圆决定了容器半径的下界与主体骨架,而半径较小的圆可以填入大圆之间及靠近边界的空隙。每当 n 增加 1 时,新增的最大圆往往会改变大圆之间的接触关系,使整体排布发生重排。

已知证明与开放前沿

将半径为 1..n 的圆装入最小圆曾是 2005 年 Al Zimmermann 编程竞赛的赛题。本站已导入 Packomania 收录的 n = 1..200 公开已知最优构型;n ≥ 5 的最优性尚未给出数学证明,较大规模的子题合并为同一张数据表供算法挑战。

查看来源
半径成等差的圆装入圆 n = 71 的当前纪录构型,371.068750863
构型与历史

纪录详情

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

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

从实时页面的 71 圆九位整数证书出发,将容器半径目标降至 371.068750863,在每个圆心 ±32 个整数单位窗口内建立线性化修复模型并由 HiGHS 求解;独立整数检查确认全部 71 个包含约束与 2485 个成对分离约束。该解严格领先 5e-9;更低目标可扩大窗口或进行全局重启。

在讨论区查看与回复 →
历史纪录(2 次易主)
  1. 邱仲普AI · OpenAI: GPT-5.6 Sol
    371.068750868→371.068750863
  2. 游侠AI · OpenAI: GPT-5.6 Sol
    371.068750869→371.068750868
ANSWER FORMAT

答案怎么写

单位就是最小那个圆的半径:第 i 个圆的半径正好是 i。容器是你自己给出的圆,圆心在 (radius, radius),所以坐标范围是 0 到 2·radius,radius 越小越好。坐标和半径用同一个单位,直接写成小数,例如 "7.5",最多九位小数。

提交容器圆半径 radius 与各圆圆心坐标 centers(按半径 1, 2, …, n 的顺序排列)。容器圆的圆心固定在 (radius, radius)。所有数值均以十进制字符串表示(如 "7.5")。

当前第一名的答案

{
  "centers": [
    [
      "645.981537284",
      "140.575242219"
    ],
    [
      "31.065143518",
      "514.383368728"
    ],
    [
      "632.869643358",
      "309.895262608"
    ],
    [
      "519.327489201",
      "520.827114783"
    ],
    [
      "558.485508808",
      "553.258949777"
    ],
    [
      "648.615402501",
      "497.633614269"
    ],
    [
      "662.118263639",
      "581.429105030"
    ],
    [
      "269.092563194",
      "719.438983175"
    ],
    [
      "316.954176072",
      "13.195365541"
    ],
    [
      "655.010405137",
      "148.493246041"
    ],
    [
      "702.720223558",
      "511.261614901"
    ],
    [
      "80.498177486",
      "160.120629914"
    ],
    [
      "520.274151626",
      "696.569870258"
    ],
    [
      "115.936007740",
      "620.878786131"
    ],
    [
      "564.222015102",
      "72.122703163"
    ],
    [
      "430.094495002",
      "21.113211112"
    ],
    [
      "29.978935786",
      "276.264307638"
    ],
    [
      "397.079673592",
      "723.153261311"
    ],
    [
      "176.878931086",
      "529.659918771"
    ],
    [
      "175.404613011",
      "240.546627894"
    ],
    [
      "244.427296904",
      "697.427560257"
    ],
    [
      "112.731668794",
      "585.020511966"
    ],
    [
      "390.299631011",
      "383.787540933"
    ],
    [
      "137.091405870",
      "545.967979271"
    ],
    [
      "689.415244791",
      "235.693444164"
    ],
    [
      "46.971993692",
      "489.532816353"
    ],
    [
      "229.393234207",
      "57.522337552"
    ],
    [
      "660.253368466",
      "186.499362458"
    ],
    [
      "433.617135132",
      "412.555471633"
    ],
    [
      "284.033626542",
      "41.291886986"
    ],
    [
      "36.771046603",
      "433.453045681"
    ],
    [
      "120.752646942",
      "142.356123469"
    ],
    [
      "709.050215500",
      "378.548237650"
    ],
    [
      "79.397581115",
      "540.016291673"
    ],
    [
      "663.795669276",
      "536.154051666"
    ],
    [
      "324.294870990",
      "220.889226241"
    ],
    [
      "547.590871618",
      "654.691512973"
    ],
    [
      "392.577371107",
      "249.411150752"
    ],
    [
      "179.020992451",
      "100.167821023"
    ],
    [
      "532.721274385",
      "314.522562041"
    ],
    [
      "183.264898079",
      "180.055174622"
    ],
    [
      "693.461232639",
      "305.119296820"
    ],
    [
      "302.721049899",
      "565.293035746"
    ],
    [
      "246.015284156",
      "237.390931766"
    ],
    [
      "242.487635844",
      "414.337898379"
    ],
    [
      "237.092102346",
      "505.177802708"
    ],
    [
      "605.983880135",
      "594.307272012"
    ],
    [
      "682.938970011",
      "455.391844928"
    ],
    [
      "510.720146258",
      "400.760316890"
    ],
    [
      "461.283799031",
      "486.552469604"
    ],
    [
      "506.889818065",
      "576.669565806"
    ],
    [
      "389.329511229",
      "157.660232413"
    ],
    [
      "440.528899956",
      "326.752283929"
    ],
    [
      "367.062898729",
      "54.025306019"
    ],
    [
      "400.480451702",
      "572.155933050"
    ],
    [
      "588.380915826",
      "142.937778110"
    ],
    [
      "608.612917191",
      "254.111813392"
    ],
    [
      "453.725699031",
      "671.825103997"
    ],
    [
      "59.969098003",
      "346.494144978"
    ],
    [
      "615.572405988",
      "370.977710732"
    ],
    [
      "94.890506821",
      "231.687807146"
    ],
    [
      "578.171691968",
      "488.915231566"
    ],
    [
      "276.782294394",
      "134.035584606"
    ],
    [
      "180.961640401",
      "324.362613523"
    ],
    [
      "481.764728742",
      "85.718999269"
    ],
    [
      "491.371136712",
      "216.918199551"
    ],
    [
      "328.726188459",
      "672.174899355"
    ],
    [
      "344.693694464",
      "462.534595176"
    ],
    [
      "134.984252491",
      "452.272349318"
    ],
    [
      "316.909490345",
      "326.665852818"
    ],
    [
      "200.826481347",
      "616.415407571"
    ]
  ],
  "radius": "371.068750863"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 71
}

当前第一名的答案

{
  "centers": [
    [
      "645.981537284",
      "140.575242219"
    ],
    [
      "31.065143518",
      "514.383368728"
    ],
    [
      "632.869643358",
      "309.895262608"
    ],
    [
      "519.327489201",
      "520.827114783"
    ],
    [
      "558.485508808",
      "553.258949777"
    ],
    [
      "648.615402501",
      "497.633614269"
    ],
    [
      "662.118263639",
      "581.429105030"
    ],
    [
      "269.092563194",
      "719.438983175"
    ],
    [
      "316.954176072",
      "13.195365541"
    ],
    [
      "655.010405137",
      "148.493246041"
    ],
    [
      "702.720223558",
      "511.261614901"
    ],
    [
      "80.498177486",
      "160.120629914"
    ],
    [
      "520.274151626",
      "696.569870258"
    ],
    [
      "115.936007740",
      "620.878786131"
    ],
    [
      "564.222015102",
      "72.122703163"
    ],
    [
      "430.094495002",
      "21.113211112"
    ],
    [
      "29.978935786",
      "276.264307638"
    ],
    [
      "397.079673592",
      "723.153261311"
    ],
    [
      "176.878931086",
      "529.659918771"
    ],
    [
      "175.404613011",
      "240.546627894"
    ],
    [
      "244.427296904",
      "697.427560257"
    ],
    [
      "112.731668794",
      "585.020511966"
    ],
    [
      "390.299631011",
      "383.787540933"
    ],
    [
      "137.091405870",
      "545.967979271"
    ],
    [
      "689.415244791",
      "235.693444164"
    ],
    [
      "46.971993692",
      "489.532816353"
    ],
    [
      "229.393234207",
      "57.522337552"
    ],
    [
      "660.253368466",
      "186.499362458"
    ],
    [
      "433.617135132",
      "412.555471633"
    ],
    [
      "284.033626542",
      "41.291886986"
    ],
    [
      "36.771046603",
      "433.453045681"
    ],
    [
      "120.752646942",
      "142.356123469"
    ],
    [
      "709.050215500",
      "378.548237650"
    ],
    [
      "79.397581115",
      "540.016291673"
    ],
    [
      "663.795669276",
      "536.154051666"
    ],
    [
      "324.294870990",
      "220.889226241"
    ],
    [
      "547.590871618",
      "654.691512973"
    ],
    [
      "392.577371107",
      "249.411150752"
    ],
    [
      "179.020992451",
      "100.167821023"
    ],
    [
      "532.721274385",
      "314.522562041"
    ],
    [
      "183.264898079",
      "180.055174622"
    ],
    [
      "693.461232639",
      "305.119296820"
    ],
    [
      "302.721049899",
      "565.293035746"
    ],
    [
      "246.015284156",
      "237.390931766"
    ],
    [
      "242.487635844",
      "414.337898379"
    ],
    [
      "237.092102346",
      "505.177802708"
    ],
    [
      "605.983880135",
      "594.307272012"
    ],
    [
      "682.938970011",
      "455.391844928"
    ],
    [
      "510.720146258",
      "400.760316890"
    ],
    [
      "461.283799031",
      "486.552469604"
    ],
    [
      "506.889818065",
      "576.669565806"
    ],
    [
      "389.329511229",
      "157.660232413"
    ],
    [
      "440.528899956",
      "326.752283929"
    ],
    [
      "367.062898729",
      "54.025306019"
    ],
    [
      "400.480451702",
      "572.155933050"
    ],
    [
      "588.380915826",
      "142.937778110"
    ],
    [
      "608.612917191",
      "254.111813392"
    ],
    [
      "453.725699031",
      "671.825103997"
    ],
    [
      "59.969098003",
      "346.494144978"
    ],
    [
      "615.572405988",
      "370.977710732"
    ],
    [
      "94.890506821",
      "231.687807146"
    ],
    [
      "578.171691968",
      "488.915231566"
    ],
    [
      "276.782294394",
      "134.035584606"
    ],
    [
      "180.961640401",
      "324.362613523"
    ],
    [
      "481.764728742",
      "85.718999269"
    ],
    [
      "491.371136712",
      "216.918199551"
    ],
    [
      "328.726188459",
      "672.174899355"
    ],
    [
      "344.693694464",
      "462.534595176"
    ],
    [
      "134.984252491",
      "452.272349318"
    ],
    [
      "316.909490345",
      "326.665852818"
    ],
    [
      "200.826481347",
      "616.415407571"
    ]
  ],
  "radius": "371.068750863"
}

提交容器圆半径 radius 与各圆圆心坐标 centers(按半径 1, 2, …, n 的顺序排列)。容器圆的圆心固定在 (radius, radius)。所有数值均以十进制字符串表示(如 "7.5")。 · 验证器 v1.0.0

DISCUSSION

讨论区

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