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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

1457.819173376y0
0x1457.819173376
已验证构造r = 728.909586688

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "726.383741601",
      "13.223247776"
    ],
    [
      "772.150843480",
      "1452.722245365"
    ],
    [
      "1401.947753639",
      "471.555023404"
    ],
    [
      "962.542137042",
      "225.045446173"
    ],
    [
      "1017.937430716",
      "397.207255562"
    ],
    [
      "453.601140830",
      "645.328894921"
    ],
    [
      "605.837169348",
      "360.411518114"
    ],
    [
      "946.069364299",
      "330.591319660"
    ],
    [
      "1060.002183942",
      "1367.228650921"
    ],
    [
      "793.197982919",
      "606.555445676"
    ],
    [
      "12.990904435",
      "694.506179293"
    ],
    [
      "450.675927581",
      "1389.271043618"
    ],
    [
      "1075.391866252",
      "103.897024030"
    ],
    [
      "1443.363952513",
      "742.782868547"
    ],
    [
      "1368.849188914",
      "1045.004227294"
    ],
    [
      "21.620790439",
      "816.883296330"
    ],
    [
      "358.613683596",
      "120.924900289"
    ],
    [
      "106.020176534",
      "386.439361148"
    ],
    [
      "1411.517562756",
      "923.672474227"
    ],
    [
      "1190.624822793",
      "1266.842521954"
    ],
    [
      "336.893912500",
      "1318.366704816"
    ],
    [
      "614.138017575",
      "1426.339468977"
    ],
    [
      "908.889456764",
      "46.490811161"
    ],
    [
      "236.273256382",
      "224.779999821"
    ],
    [
      "72.516384017",
      "983.001633001"
    ],
    [
      "808.533082234",
      "1427.278595054"
    ],
    [
      "1019.202072419",
      "1367.845005444"
    ],
    [
      "691.850140671",
      "837.041727257"
    ],
    [
      "189.490327352",
      "1174.890909738"
    ],
    [
      "403.972752947",
      "1118.214917196"
    ],
    [
      "675.134535795",
      "120.696525079"
    ],
    [
      "617.924749602",
      "607.322729224"
    ],
    [
      "1072.927781650",
      "799.096054208"
    ],
    [
      "947.569589611",
      "674.144766436"
    ],
    [
      "1411.806143976",
      "606.760721087"
    ],
    [
      "466.388445505",
      "689.798875568"
    ],
    [
      "370.237626271",
      "308.104269651"
    ],
    [
      "526.802886396",
      "875.574229794"
    ],
    [
      "300.631743226",
      "492.104683101"
    ],
    [
      "68.935288938",
      "531.348596265"
    ],
    [
      "556.639860012",
      "353.301912427"
    ],
    [
      "672.752689986",
      "44.489320735"
    ],
    [
      "1265.863770576",
      "302.138950232"
    ],
    [
      "1384.795748665",
      "531.644732190"
    ],
    [
      "1411.540079666",
      "689.500037699"
    ],
    [
      "105.300453817",
      "450.799473664"
    ],
    [
      "337.441842720",
      "1063.718357443"
    ],
    [
      "740.221922593",
      "993.695070702"
    ],
    [
      "1102.868203665",
      "161.078626931"
    ],
    [
      "783.138956927",
      "1081.798011426"
    ],
    [
      "1182.719437424",
      "346.093320587"
    ],
    [
      "52.508609003",
      "755.145171928"
    ],
    [
      "429.827830454",
      "122.771093881"
    ],
    [
      "324.830550250",
      "962.842763570"
    ],
    [
      "1356.697495425",
      "973.920110835"
    ],
    [
      "413.863443876",
      "1316.200777638"
    ],
    [
      "1187.840360290",
      "238.175055969"
    ],
    [
      "631.671914477",
      "1245.650584668"
    ],
    [
      "1213.670938194",
      "1191.278796759"
    ],
    [
      "240.235617788",
      "886.424850734"
    ],
    [
      "982.643489607",
      "983.210219936"
    ],
    [
      "768.178700968",
      "886.484216060"
    ],
    [
      "788.776990718",
      "389.661955992"
    ],
    [
      "70.617437573",
      "635.334991417"
    ],
    [
      "761.469138781",
      "758.801989323"
    ],
    [
      "848.152860161",
      "660.069514381"
    ],
    [
      "854.647367325",
      "982.213886172"
    ],
    [
      "1087.263626028",
      "906.629020568"
    ],
    [
      "716.634209405",
      "629.608974270"
    ],
    [
      "950.209538864",
      "570.178278238"
    ],
    [
      "515.499151602",
      "594.104051122"
    ],
    [
      "330.605820710",
      "206.526283848"
    ],
    [
      "1283.435612504",
      "1079.221265912"
    ],
    [
      "813.687165054",
      "524.378262411"
    ],
    [
      "1181.700308083",
      "797.250367207"
    ],
    [
      "1227.296479916",
      "941.201710078"
    ],
    [
      "764.001181935",
      "1213.536861255"
    ],
    [
      "633.896649517",
      "926.086370777"
    ],
    [
      "544.038384033",
      "1351.970666594"
    ],
    [
      "928.327333760",
      "421.030607323"
    ],
    [
      "98.820395663",
      "879.821626871"
    ],
    [
      "563.447904819",
      "103.518153130"
    ],
    [
      "974.246254334",
      "131.407190315"
    ],
    [
      "191.621835403",
      "549.348910621"
    ],
    [
      "481.220934493",
      "250.844310683"
    ],
    [
      "870.703451709",
      "265.206923994"
    ],
    [
      "493.737033820",
      "1193.775299507"
    ],
    [
      "710.111253562",
      "1369.543429825"
    ],
    [
      "1070.543714857",
      "676.667566681"
    ],
    [
      "1294.820314772",
      "432.345078021"
    ],
    [
      "642.927177734",
      "1096.686160262"
    ],
    [
      "354.111485753",
      "616.973710332"
    ],
    [
      "1047.698481864",
      "291.923198070"
    ],
    [
      "1076.830106566",
      "1260.004206425"
    ],
    [
      "799.237271648",
      "98.913252713"
    ],
    [
      "311.037605026",
      "1204.259512384"
    ],
    [
      "1113.606552375",
      "1071.599564263"
    ],
    [
      "1353.067643641",
      "820.961889819"
    ],
    [
      "201.747932911",
      "732.153342948"
    ],
    [
      "895.001535631",
      "1335.490770639"
    ],
    [
      "473.710075687",
      "1005.969169707"
    ],
    [
      "925.235526472",
      "1135.766195791"
    ],
    [
      "593.461320376",
      "749.660793954"
    ],
    [
      "188.027489379",
      "1041.892890306"
    ],
    [
      "642.457226789",
      "472.212102475"
    ],
    [
      "434.577154867",
      "436.061366655"
    ],
    [
      "1104.618933791",
      "483.652335534"
    ],
    [
      "392.175008554",
      "813.512701246"
    ],
    [
      "674.970607430",
      "260.696429108"
    ],
    [
      "232.227141648",
      "359.645960968"
    ],
    [
      "1265.493675202",
      "631.194136887"
    ],
    [
      "928.515348860",
      "818.896056276"
    ]
  ],
  "radius": "728.909586688"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 112
}

当前第一名的答案

{
  "centers": [
    [
      "726.383741601",
      "13.223247776"
    ],
    [
      "772.150843480",
      "1452.722245365"
    ],
    [
      "1401.947753639",
      "471.555023404"
    ],
    [
      "962.542137042",
      "225.045446173"
    ],
    [
      "1017.937430716",
      "397.207255562"
    ],
    [
      "453.601140830",
      "645.328894921"
    ],
    [
      "605.837169348",
      "360.411518114"
    ],
    [
      "946.069364299",
      "330.591319660"
    ],
    [
      "1060.002183942",
      "1367.228650921"
    ],
    [
      "793.197982919",
      "606.555445676"
    ],
    [
      "12.990904435",
      "694.506179293"
    ],
    [
      "450.675927581",
      "1389.271043618"
    ],
    [
      "1075.391866252",
      "103.897024030"
    ],
    [
      "1443.363952513",
      "742.782868547"
    ],
    [
      "1368.849188914",
      "1045.004227294"
    ],
    [
      "21.620790439",
      "816.883296330"
    ],
    [
      "358.613683596",
      "120.924900289"
    ],
    [
      "106.020176534",
      "386.439361148"
    ],
    [
      "1411.517562756",
      "923.672474227"
    ],
    [
      "1190.624822793",
      "1266.842521954"
    ],
    [
      "336.893912500",
      "1318.366704816"
    ],
    [
      "614.138017575",
      "1426.339468977"
    ],
    [
      "908.889456764",
      "46.490811161"
    ],
    [
      "236.273256382",
      "224.779999821"
    ],
    [
      "72.516384017",
      "983.001633001"
    ],
    [
      "808.533082234",
      "1427.278595054"
    ],
    [
      "1019.202072419",
      "1367.845005444"
    ],
    [
      "691.850140671",
      "837.041727257"
    ],
    [
      "189.490327352",
      "1174.890909738"
    ],
    [
      "403.972752947",
      "1118.214917196"
    ],
    [
      "675.134535795",
      "120.696525079"
    ],
    [
      "617.924749602",
      "607.322729224"
    ],
    [
      "1072.927781650",
      "799.096054208"
    ],
    [
      "947.569589611",
      "674.144766436"
    ],
    [
      "1411.806143976",
      "606.760721087"
    ],
    [
      "466.388445505",
      "689.798875568"
    ],
    [
      "370.237626271",
      "308.104269651"
    ],
    [
      "526.802886396",
      "875.574229794"
    ],
    [
      "300.631743226",
      "492.104683101"
    ],
    [
      "68.935288938",
      "531.348596265"
    ],
    [
      "556.639860012",
      "353.301912427"
    ],
    [
      "672.752689986",
      "44.489320735"
    ],
    [
      "1265.863770576",
      "302.138950232"
    ],
    [
      "1384.795748665",
      "531.644732190"
    ],
    [
      "1411.540079666",
      "689.500037699"
    ],
    [
      "105.300453817",
      "450.799473664"
    ],
    [
      "337.441842720",
      "1063.718357443"
    ],
    [
      "740.221922593",
      "993.695070702"
    ],
    [
      "1102.868203665",
      "161.078626931"
    ],
    [
      "783.138956927",
      "1081.798011426"
    ],
    [
      "1182.719437424",
      "346.093320587"
    ],
    [
      "52.508609003",
      "755.145171928"
    ],
    [
      "429.827830454",
      "122.771093881"
    ],
    [
      "324.830550250",
      "962.842763570"
    ],
    [
      "1356.697495425",
      "973.920110835"
    ],
    [
      "413.863443876",
      "1316.200777638"
    ],
    [
      "1187.840360290",
      "238.175055969"
    ],
    [
      "631.671914477",
      "1245.650584668"
    ],
    [
      "1213.670938194",
      "1191.278796759"
    ],
    [
      "240.235617788",
      "886.424850734"
    ],
    [
      "982.643489607",
      "983.210219936"
    ],
    [
      "768.178700968",
      "886.484216060"
    ],
    [
      "788.776990718",
      "389.661955992"
    ],
    [
      "70.617437573",
      "635.334991417"
    ],
    [
      "761.469138781",
      "758.801989323"
    ],
    [
      "848.152860161",
      "660.069514381"
    ],
    [
      "854.647367325",
      "982.213886172"
    ],
    [
      "1087.263626028",
      "906.629020568"
    ],
    [
      "716.634209405",
      "629.608974270"
    ],
    [
      "950.209538864",
      "570.178278238"
    ],
    [
      "515.499151602",
      "594.104051122"
    ],
    [
      "330.605820710",
      "206.526283848"
    ],
    [
      "1283.435612504",
      "1079.221265912"
    ],
    [
      "813.687165054",
      "524.378262411"
    ],
    [
      "1181.700308083",
      "797.250367207"
    ],
    [
      "1227.296479916",
      "941.201710078"
    ],
    [
      "764.001181935",
      "1213.536861255"
    ],
    [
      "633.896649517",
      "926.086370777"
    ],
    [
      "544.038384033",
      "1351.970666594"
    ],
    [
      "928.327333760",
      "421.030607323"
    ],
    [
      "98.820395663",
      "879.821626871"
    ],
    [
      "563.447904819",
      "103.518153130"
    ],
    [
      "974.246254334",
      "131.407190315"
    ],
    [
      "191.621835403",
      "549.348910621"
    ],
    [
      "481.220934493",
      "250.844310683"
    ],
    [
      "870.703451709",
      "265.206923994"
    ],
    [
      "493.737033820",
      "1193.775299507"
    ],
    [
      "710.111253562",
      "1369.543429825"
    ],
    [
      "1070.543714857",
      "676.667566681"
    ],
    [
      "1294.820314772",
      "432.345078021"
    ],
    [
      "642.927177734",
      "1096.686160262"
    ],
    [
      "354.111485753",
      "616.973710332"
    ],
    [
      "1047.698481864",
      "291.923198070"
    ],
    [
      "1076.830106566",
      "1260.004206425"
    ],
    [
      "799.237271648",
      "98.913252713"
    ],
    [
      "311.037605026",
      "1204.259512384"
    ],
    [
      "1113.606552375",
      "1071.599564263"
    ],
    [
      "1353.067643641",
      "820.961889819"
    ],
    [
      "201.747932911",
      "732.153342948"
    ],
    [
      "895.001535631",
      "1335.490770639"
    ],
    [
      "473.710075687",
      "1005.969169707"
    ],
    [
      "925.235526472",
      "1135.766195791"
    ],
    [
      "593.461320376",
      "749.660793954"
    ],
    [
      "188.027489379",
      "1041.892890306"
    ],
    [
      "642.457226789",
      "472.212102475"
    ],
    [
      "434.577154867",
      "436.061366655"
    ],
    [
      "1104.618933791",
      "483.652335534"
    ],
    [
      "392.175008554",
      "813.512701246"
    ],
    [
      "674.970607430",
      "260.696429108"
    ],
    [
      "232.227141648",
      "359.645960968"
    ],
    [
      "1265.493675202",
      "631.194136887"
    ],
    [
      "928.515348860",
      "818.896056276"
    ]
  ],
  "radius": "728.909586688"
}

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

DISCUSSION

讨论区

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