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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

1716.273622718y0
0x1716.273622718
已验证构造r = 858.136811359

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "1158.990087583",
      "219.326687214"
    ],
    [
      "737.977548250",
      "924.863173834"
    ],
    [
      "819.535486641",
      "206.660159461"
    ],
    [
      "781.155360350",
      "404.551179297"
    ],
    [
      "1548.567308056",
      "1354.018004741"
    ],
    [
      "1401.549044899",
      "579.832948893"
    ],
    [
      "222.184024475",
      "1005.095314502"
    ],
    [
      "404.218119679",
      "1034.433546435"
    ],
    [
      "225.333865719",
      "1028.149595920"
    ],
    [
      "1003.406828192",
      "259.937940684"
    ],
    [
      "1220.237210680",
      "92.306660479"
    ],
    [
      "910.206047472",
      "13.662094332"
    ],
    [
      "1003.571979063",
      "1330.092060749"
    ],
    [
      "682.166547788",
      "1683.658759390"
    ],
    [
      "1105.074088930",
      "1658.969091014"
    ],
    [
      "509.216166402",
      "1057.506410231"
    ],
    [
      "544.706895756",
      "1636.517079062"
    ],
    [
      "1696.064886793",
      "842.829716714"
    ],
    [
      "948.608199095",
      "1692.379386826"
    ],
    [
      "240.940550705",
      "1425.039859676"
    ],
    [
      "151.826494066",
      "1305.994738075"
    ],
    [
      "1621.180114021",
      "1199.946559496"
    ],
    [
      "1671.810798110",
      "1046.238656664"
    ],
    [
      "402.248505692",
      "1556.671043030"
    ],
    [
      "335.142846850",
      "209.715121537"
    ],
    [
      "1183.181427404",
      "92.153191139"
    ],
    [
      "725.346104264",
      "37.677888467"
    ],
    [
      "524.500386511",
      "97.996125968"
    ],
    [
      "30.586674900",
      "809.200290501"
    ],
    [
      "949.520735952",
      "35.057955723"
    ],
    [
      "1499.810397469",
      "1380.066225737"
    ],
    [
      "1484.954738630",
      "856.467024632"
    ],
    [
      "1304.179244357",
      "1552.324758117"
    ],
    [
      "60.893853689",
      "1066.751721217"
    ],
    [
      "268.301061582",
      "884.807257963"
    ],
    [
      "411.916564279",
      "1294.456109589"
    ],
    [
      "512.561720754",
      "1447.256859810"
    ],
    [
      "418.003298470",
      "691.918635002"
    ],
    [
      "567.898949223",
      "1174.645892746"
    ],
    [
      "1045.540565844",
      "780.814238371"
    ],
    [
      "1149.783906255",
      "945.114417733"
    ],
    [
      "94.388251252",
      "570.443580979"
    ],
    [
      "1043.038886927",
      "300.034269594"
    ],
    [
      "748.114490120",
      "216.550879701"
    ],
    [
      "1435.125400720",
      "285.183373693"
    ],
    [
      "1365.104364559",
      "223.757731814"
    ],
    [
      "837.464799459",
      "591.029001460"
    ],
    [
      "188.949835972",
      "583.933289909"
    ],
    [
      "196.191477104",
      "392.808159809"
    ],
    [
      "966.784032283",
      "593.557947870"
    ],
    [
      "743.292827834",
      "1657.061521014"
    ],
    [
      "1440.590464629",
      "928.184246399"
    ],
    [
      "323.764848483",
      "1278.141910230"
    ],
    [
      "652.855239399",
      "1212.480120105"
    ],
    [
      "238.847563710",
      "799.752313136"
    ],
    [
      "1656.146645665",
      "776.873237185"
    ],
    [
      "148.029707525",
      "487.235083677"
    ],
    [
      "760.057878762",
      "1180.051828219"
    ],
    [
      "826.924931660",
      "1084.042468065"
    ],
    [
      "1145.438634832",
      "288.930593212"
    ],
    [
      "901.312353320",
      "503.922802677"
    ],
    [
      "226.958009140",
      "1343.365769716"
    ],
    [
      "943.691247941",
      "1047.468847626"
    ],
    [
      "1422.950726587",
      "507.846523056"
    ],
    [
      "550.920645105",
      "873.425755120"
    ],
    [
      "1534.155491238",
      "771.621300872"
    ],
    [
      "1012.040495425",
      "1634.159433655"
    ],
    [
      "1607.008515354",
      "1110.143461311"
    ],
    [
      "465.902216294",
      "979.017243947"
    ],
    [
      "630.700716300",
      "1612.744296135"
    ],
    [
      "1487.690395858",
      "388.589956108"
    ],
    [
      "618.891353746",
      "1471.236208181"
    ],
    [
      "499.248249749",
      "1556.448212445"
    ],
    [
      "1615.106446611",
      "653.521293294"
    ],
    [
      "1561.796889367",
      "514.384342391"
    ],
    [
      "869.167958022",
      "1640.195827985"
    ],
    [
      "434.764000868",
      "578.146587223"
    ],
    [
      "758.172896801",
      "1528.922598170"
    ],
    [
      "1462.326492236",
      "645.318516858"
    ],
    [
      "1076.448125368",
      "663.370458850"
    ],
    [
      "760.248403505",
      "487.645147350"
    ],
    [
      "1243.086136214",
      "184.192771003"
    ],
    [
      "314.524848051",
      "993.401822395"
    ],
    [
      "719.818640795",
      "648.651751842"
    ],
    [
      "306.382067609",
      "316.558348185"
    ],
    [
      "1459.731517799",
      "1065.138061732"
    ],
    [
      "295.563438923",
      "666.749590635"
    ],
    [
      "840.072787535",
      "937.631628691"
    ],
    [
      "294.000402753",
      "490.160170907"
    ],
    [
      "594.152123393",
      "528.302566533"
    ],
    [
      "455.599400986",
      "410.425380061"
    ],
    [
      "700.784499888",
      "823.619467389"
    ],
    [
      "1019.814080441",
      "911.302352580"
    ],
    [
      "643.131470285",
      "126.468322308"
    ],
    [
      "1373.535310151",
      "794.958504776"
    ],
    [
      "550.727825321",
      "710.363145630"
    ],
    [
      "543.054915413",
      "1316.772511784"
    ],
    [
      "1180.941383183",
      "807.471670057"
    ],
    [
      "113.567337355",
      "710.133444039"
    ],
    [
      "391.393146693",
      "827.328752138"
    ],
    [
      "836.501626593",
      "101.309175835"
    ],
    [
      "1506.478282187",
      "1247.233476336"
    ],
    [
      "464.100697804",
      "214.241029563"
    ],
    [
      "1291.741742089",
      "976.371878661"
    ],
    [
      "1309.167415006",
      "1184.644166607"
    ],
    [
      "370.535312177",
      "1430.598550557"
    ],
    [
      "745.178273566",
      "1344.379541494"
    ],
    [
      "422.861679930",
      "1150.704495163"
    ],
    [
      "1603.302638186",
      "933.182260833"
    ],
    [
      "1161.736465656",
      "1539.713065285"
    ],
    [
      "1111.478879529",
      "1093.548243095"
    ],
    [
      "643.676525110",
      "332.467601231"
    ],
    [
      "928.541894562",
      "1222.815638565"
    ],
    [
      "1134.933434064",
      "1317.322423625"
    ],
    [
      "895.397658053",
      "742.316092436"
    ],
    [
      "1049.807613900",
      "141.178409340"
    ],
    [
      "1300.194195656",
      "374.835868919"
    ],
    [
      "121.210406778",
      "926.998802018"
    ],
    [
      "1267.761572528",
      "608.596697466"
    ],
    [
      "1351.182029041",
      "1406.723459249"
    ],
    [
      "1078.396721812",
      "461.148559755"
    ],
    [
      "944.887999648",
      "1457.246448931"
    ],
    [
      "878.413550313",
      "321.353241082"
    ],
    [
      "650.812429103",
      "1034.309315707"
    ],
    [
      "190.048952566",
      "1160.044408319"
    ]
  ],
  "radius": "858.136811359"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 125
}

当前第一名的答案

{
  "centers": [
    [
      "1158.990087583",
      "219.326687214"
    ],
    [
      "737.977548250",
      "924.863173834"
    ],
    [
      "819.535486641",
      "206.660159461"
    ],
    [
      "781.155360350",
      "404.551179297"
    ],
    [
      "1548.567308056",
      "1354.018004741"
    ],
    [
      "1401.549044899",
      "579.832948893"
    ],
    [
      "222.184024475",
      "1005.095314502"
    ],
    [
      "404.218119679",
      "1034.433546435"
    ],
    [
      "225.333865719",
      "1028.149595920"
    ],
    [
      "1003.406828192",
      "259.937940684"
    ],
    [
      "1220.237210680",
      "92.306660479"
    ],
    [
      "910.206047472",
      "13.662094332"
    ],
    [
      "1003.571979063",
      "1330.092060749"
    ],
    [
      "682.166547788",
      "1683.658759390"
    ],
    [
      "1105.074088930",
      "1658.969091014"
    ],
    [
      "509.216166402",
      "1057.506410231"
    ],
    [
      "544.706895756",
      "1636.517079062"
    ],
    [
      "1696.064886793",
      "842.829716714"
    ],
    [
      "948.608199095",
      "1692.379386826"
    ],
    [
      "240.940550705",
      "1425.039859676"
    ],
    [
      "151.826494066",
      "1305.994738075"
    ],
    [
      "1621.180114021",
      "1199.946559496"
    ],
    [
      "1671.810798110",
      "1046.238656664"
    ],
    [
      "402.248505692",
      "1556.671043030"
    ],
    [
      "335.142846850",
      "209.715121537"
    ],
    [
      "1183.181427404",
      "92.153191139"
    ],
    [
      "725.346104264",
      "37.677888467"
    ],
    [
      "524.500386511",
      "97.996125968"
    ],
    [
      "30.586674900",
      "809.200290501"
    ],
    [
      "949.520735952",
      "35.057955723"
    ],
    [
      "1499.810397469",
      "1380.066225737"
    ],
    [
      "1484.954738630",
      "856.467024632"
    ],
    [
      "1304.179244357",
      "1552.324758117"
    ],
    [
      "60.893853689",
      "1066.751721217"
    ],
    [
      "268.301061582",
      "884.807257963"
    ],
    [
      "411.916564279",
      "1294.456109589"
    ],
    [
      "512.561720754",
      "1447.256859810"
    ],
    [
      "418.003298470",
      "691.918635002"
    ],
    [
      "567.898949223",
      "1174.645892746"
    ],
    [
      "1045.540565844",
      "780.814238371"
    ],
    [
      "1149.783906255",
      "945.114417733"
    ],
    [
      "94.388251252",
      "570.443580979"
    ],
    [
      "1043.038886927",
      "300.034269594"
    ],
    [
      "748.114490120",
      "216.550879701"
    ],
    [
      "1435.125400720",
      "285.183373693"
    ],
    [
      "1365.104364559",
      "223.757731814"
    ],
    [
      "837.464799459",
      "591.029001460"
    ],
    [
      "188.949835972",
      "583.933289909"
    ],
    [
      "196.191477104",
      "392.808159809"
    ],
    [
      "966.784032283",
      "593.557947870"
    ],
    [
      "743.292827834",
      "1657.061521014"
    ],
    [
      "1440.590464629",
      "928.184246399"
    ],
    [
      "323.764848483",
      "1278.141910230"
    ],
    [
      "652.855239399",
      "1212.480120105"
    ],
    [
      "238.847563710",
      "799.752313136"
    ],
    [
      "1656.146645665",
      "776.873237185"
    ],
    [
      "148.029707525",
      "487.235083677"
    ],
    [
      "760.057878762",
      "1180.051828219"
    ],
    [
      "826.924931660",
      "1084.042468065"
    ],
    [
      "1145.438634832",
      "288.930593212"
    ],
    [
      "901.312353320",
      "503.922802677"
    ],
    [
      "226.958009140",
      "1343.365769716"
    ],
    [
      "943.691247941",
      "1047.468847626"
    ],
    [
      "1422.950726587",
      "507.846523056"
    ],
    [
      "550.920645105",
      "873.425755120"
    ],
    [
      "1534.155491238",
      "771.621300872"
    ],
    [
      "1012.040495425",
      "1634.159433655"
    ],
    [
      "1607.008515354",
      "1110.143461311"
    ],
    [
      "465.902216294",
      "979.017243947"
    ],
    [
      "630.700716300",
      "1612.744296135"
    ],
    [
      "1487.690395858",
      "388.589956108"
    ],
    [
      "618.891353746",
      "1471.236208181"
    ],
    [
      "499.248249749",
      "1556.448212445"
    ],
    [
      "1615.106446611",
      "653.521293294"
    ],
    [
      "1561.796889367",
      "514.384342391"
    ],
    [
      "869.167958022",
      "1640.195827985"
    ],
    [
      "434.764000868",
      "578.146587223"
    ],
    [
      "758.172896801",
      "1528.922598170"
    ],
    [
      "1462.326492236",
      "645.318516858"
    ],
    [
      "1076.448125368",
      "663.370458850"
    ],
    [
      "760.248403505",
      "487.645147350"
    ],
    [
      "1243.086136214",
      "184.192771003"
    ],
    [
      "314.524848051",
      "993.401822395"
    ],
    [
      "719.818640795",
      "648.651751842"
    ],
    [
      "306.382067609",
      "316.558348185"
    ],
    [
      "1459.731517799",
      "1065.138061732"
    ],
    [
      "295.563438923",
      "666.749590635"
    ],
    [
      "840.072787535",
      "937.631628691"
    ],
    [
      "294.000402753",
      "490.160170907"
    ],
    [
      "594.152123393",
      "528.302566533"
    ],
    [
      "455.599400986",
      "410.425380061"
    ],
    [
      "700.784499888",
      "823.619467389"
    ],
    [
      "1019.814080441",
      "911.302352580"
    ],
    [
      "643.131470285",
      "126.468322308"
    ],
    [
      "1373.535310151",
      "794.958504776"
    ],
    [
      "550.727825321",
      "710.363145630"
    ],
    [
      "543.054915413",
      "1316.772511784"
    ],
    [
      "1180.941383183",
      "807.471670057"
    ],
    [
      "113.567337355",
      "710.133444039"
    ],
    [
      "391.393146693",
      "827.328752138"
    ],
    [
      "836.501626593",
      "101.309175835"
    ],
    [
      "1506.478282187",
      "1247.233476336"
    ],
    [
      "464.100697804",
      "214.241029563"
    ],
    [
      "1291.741742089",
      "976.371878661"
    ],
    [
      "1309.167415006",
      "1184.644166607"
    ],
    [
      "370.535312177",
      "1430.598550557"
    ],
    [
      "745.178273566",
      "1344.379541494"
    ],
    [
      "422.861679930",
      "1150.704495163"
    ],
    [
      "1603.302638186",
      "933.182260833"
    ],
    [
      "1161.736465656",
      "1539.713065285"
    ],
    [
      "1111.478879529",
      "1093.548243095"
    ],
    [
      "643.676525110",
      "332.467601231"
    ],
    [
      "928.541894562",
      "1222.815638565"
    ],
    [
      "1134.933434064",
      "1317.322423625"
    ],
    [
      "895.397658053",
      "742.316092436"
    ],
    [
      "1049.807613900",
      "141.178409340"
    ],
    [
      "1300.194195656",
      "374.835868919"
    ],
    [
      "121.210406778",
      "926.998802018"
    ],
    [
      "1267.761572528",
      "608.596697466"
    ],
    [
      "1351.182029041",
      "1406.723459249"
    ],
    [
      "1078.396721812",
      "461.148559755"
    ],
    [
      "944.887999648",
      "1457.246448931"
    ],
    [
      "878.413550313",
      "321.353241082"
    ],
    [
      "650.812429103",
      "1034.309315707"
    ],
    [
      "190.048952566",
      "1160.044408319"
    ]
  ],
  "radius": "858.136811359"
}

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

DISCUSSION

讨论区

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