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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

1882.160338462y0
0x1882.160338462
已验证构造r = 941.080169231

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "944.777699134",
      "1867.082096742"
    ],
    [
      "282.115937218",
      "975.837120608"
    ],
    [
      "926.912672927",
      "950.179829774"
    ],
    [
      "1870.625215445",
      "822.643685236"
    ],
    [
      "600.088315447",
      "1315.107845750"
    ],
    [
      "55.795040365",
      "659.384385520"
    ],
    [
      "39.101440173",
      "1183.719328128"
    ],
    [
      "661.540139250",
      "1537.476576212"
    ],
    [
      "1066.860895361",
      "263.060043053"
    ],
    [
      "463.749768270",
      "162.451834505"
    ],
    [
      "1161.498090363",
      "1245.917675380"
    ],
    [
      "1310.002844942",
      "88.453141903"
    ],
    [
      "1575.135818871",
      "919.606469322"
    ],
    [
      "475.442954746",
      "1424.881153862"
    ],
    [
      "1866.989534623",
      "954.320984948"
    ],
    [
      "1430.235638644",
      "156.000554845"
    ],
    [
      "43.391877590",
      "1159.982139541"
    ],
    [
      "593.718991055",
      "85.921087279"
    ],
    [
      "1528.720959243",
      "1651.525314241"
    ],
    [
      "23.203060594",
      "864.453860573"
    ],
    [
      "720.316343842",
      "1747.667014400"
    ],
    [
      "195.383456266",
      "403.959558167"
    ],
    [
      "1841.821381731",
      "1118.471798234"
    ],
    [
      "1244.239742062",
      "1806.603311727"
    ],
    [
      "730.106065655",
      "1689.698217877"
    ],
    [
      "1641.884592281",
      "1529.505930694"
    ],
    [
      "1570.474509979",
      "278.203619929"
    ],
    [
      "1139.824032430",
      "49.938697004"
    ],
    [
      "129.066324612",
      "1356.439954538"
    ],
    [
      "1773.073609091",
      "1312.363371708"
    ],
    [
      "257.179377390",
      "1541.495280890"
    ],
    [
      "466.148856596",
      "1716.175254874"
    ],
    [
      "1715.735223873",
      "467.245662186"
    ],
    [
      "695.274027888",
      "976.500103563"
    ],
    [
      "999.065343519",
      "1845.303035915"
    ],
    [
      "667.029749114",
      "1491.904398128"
    ],
    [
      "39.945493101",
      "1013.973254601"
    ],
    [
      "767.308440035",
      "54.876367508"
    ],
    [
      "649.567559559",
      "1306.097928307"
    ],
    [
      "963.925782315",
      "977.529365639"
    ],
    [
      "301.434629253",
      "1275.219984883"
    ],
    [
      "709.018908565",
      "1809.667136138"
    ],
    [
      "992.347918652",
      "1639.147334492"
    ],
    [
      "849.077781205",
      "48.730243125"
    ],
    [
      "630.975806412",
      "804.939724173"
    ],
    [
      "317.454273635",
      "746.472412217"
    ],
    [
      "60.673525366",
      "1096.847593456"
    ],
    [
      "423.246946567",
      "547.857889081"
    ],
    [
      "49.129460891",
      "928.435566918"
    ],
    [
      "668.702759049",
      "1056.186787975"
    ],
    [
      "1809.199114583",
      "745.148739229"
    ],
    [
      "601.262954887",
      "1550.487968346"
    ],
    [
      "1119.086583557",
      "1090.880364760"
    ],
    [
      "1212.617397761",
      "1038.786631953"
    ],
    [
      "1354.704446839",
      "157.464815071"
    ],
    [
      "1704.697739956",
      "791.031362154"
    ],
    [
      "428.700696988",
      "220.665574255"
    ],
    [
      "576.176627784",
      "1112.134608073"
    ],
    [
      "131.400416057",
      "591.102852468"
    ],
    [
      "186.764856661",
      "485.766350167"
    ],
    [
      "1662.177014242",
      "1068.440353008"
    ],
    [
      "1199.664206148",
      "377.219382553"
    ],
    [
      "1152.216113178",
      "261.359894303"
    ],
    [
      "519.037532788",
      "302.418915381"
    ],
    [
      "1326.807605148",
      "1072.899273990"
    ],
    [
      "1300.460886644",
      "1736.323991141"
    ],
    [
      "676.703941434",
      "107.940713669"
    ],
    [
      "803.406162587",
      "154.540575861"
    ],
    [
      "1591.807970234",
      "1177.914735144"
    ],
    [
      "1551.161498491",
      "1560.895741992"
    ],
    [
      "995.250321011",
      "1084.510115210"
    ],
    [
      "861.116008210",
      "282.092815061"
    ],
    [
      "1806.288840330",
      "870.531351619"
    ],
    [
      "548.999000600",
      "167.710673403"
    ],
    [
      "1289.790009420",
      "272.196087104"
    ],
    [
      "731.310637542",
      "872.570498694"
    ],
    [
      "550.935401078",
      "1245.043056974"
    ],
    [
      "1667.293800683",
      "929.534563004"
    ],
    [
      "1222.819339750",
      "1172.510722427"
    ],
    [
      "1502.057646319",
      "583.667393751"
    ],
    [
      "1797.128784572",
      "1024.258686146"
    ],
    [
      "741.641132882",
      "1583.321800262"
    ],
    [
      "1068.009485272",
      "1220.238166909"
    ],
    [
      "1218.422113410",
      "130.112930382"
    ],
    [
      "1423.260027870",
      "1648.452659558"
    ],
    [
      "905.022250054",
      "1544.198782075"
    ],
    [
      "576.438404731",
      "1408.704588494"
    ],
    [
      "1078.986902045",
      "1540.691666745"
    ],
    [
      "414.544400433",
      "1339.665966163"
    ],
    [
      "1454.513425072",
      "262.646409783"
    ],
    [
      "710.006196418",
      "1191.001572259"
    ],
    [
      "1752.187349640",
      "1192.162378216"
    ],
    [
      "892.024580449",
      "1217.933112791"
    ],
    [
      "1256.096749987",
      "1582.597534801"
    ],
    [
      "1095.796112883",
      "944.724441253"
    ],
    [
      "987.192792997",
      "1381.224298471"
    ],
    [
      "289.684952558",
      "604.415980366"
    ],
    [
      "242.640236614",
      "1413.272748879"
    ],
    [
      "1169.138058598",
      "540.481242356"
    ],
    [
      "345.907416554",
      "889.673036030"
    ],
    [
      "177.740501933",
      "1006.297480272"
    ],
    [
      "1410.515270499",
      "1461.887466771"
    ],
    [
      "686.133516160",
      "279.617441074"
    ],
    [
      "602.204864594",
      "1706.499490666"
    ],
    [
      "1330.007423688",
      "665.928631233"
    ],
    [
      "807.422190293",
      "451.801311954"
    ],
    [
      "826.089786679",
      "1029.114144012"
    ],
    [
      "1128.374202919",
      "743.427806928"
    ],
    [
      "1584.299664259",
      "413.499093280"
    ],
    [
      "961.335669971",
      "603.348798825"
    ],
    [
      "159.828037691",
      "1219.861343443"
    ],
    [
      "1495.914271423",
      "1020.631354370"
    ],
    [
      "552.378965271",
      "942.003711287"
    ],
    [
      "777.340006555",
      "1390.259687966"
    ],
    [
      "1362.078546875",
      "447.907120772"
    ],
    [
      "920.601475697",
      "827.132608619"
    ],
    [
      "1020.358889272",
      "383.890186496"
    ],
    [
      "1697.746113030",
      "617.170282886"
    ],
    [
      "1115.450962991",
      "1744.454696413"
    ],
    [
      "1303.547391704",
      "889.367362674"
    ],
    [
      "1411.758193868",
      "1238.705994644"
    ],
    [
      "1205.026916981",
      "1372.721685394"
    ],
    [
      "580.064810891",
      "479.180538273"
    ],
    [
      "1524.757318143",
      "786.400530902"
    ],
    [
      "736.476298603",
      "671.636887902"
    ],
    [
      "867.283189102",
      "1752.812691676"
    ],
    [
      "486.806799818",
      "711.135153185"
    ],
    [
      "346.447879596",
      "386.542702815"
    ],
    [
      "145.424727252",
      "778.579034144"
    ],
    [
      "1625.379662035",
      "1374.381505545"
    ],
    [
      "418.444856963",
      "1560.016523753"
    ],
    [
      "1002.477669314",
      "135.011610375"
    ],
    [
      "382.368455611",
      "1119.802548766"
    ]
  ],
  "radius": "941.080169231"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 133
}

当前第一名的答案

{
  "centers": [
    [
      "944.777699134",
      "1867.082096742"
    ],
    [
      "282.115937218",
      "975.837120608"
    ],
    [
      "926.912672927",
      "950.179829774"
    ],
    [
      "1870.625215445",
      "822.643685236"
    ],
    [
      "600.088315447",
      "1315.107845750"
    ],
    [
      "55.795040365",
      "659.384385520"
    ],
    [
      "39.101440173",
      "1183.719328128"
    ],
    [
      "661.540139250",
      "1537.476576212"
    ],
    [
      "1066.860895361",
      "263.060043053"
    ],
    [
      "463.749768270",
      "162.451834505"
    ],
    [
      "1161.498090363",
      "1245.917675380"
    ],
    [
      "1310.002844942",
      "88.453141903"
    ],
    [
      "1575.135818871",
      "919.606469322"
    ],
    [
      "475.442954746",
      "1424.881153862"
    ],
    [
      "1866.989534623",
      "954.320984948"
    ],
    [
      "1430.235638644",
      "156.000554845"
    ],
    [
      "43.391877590",
      "1159.982139541"
    ],
    [
      "593.718991055",
      "85.921087279"
    ],
    [
      "1528.720959243",
      "1651.525314241"
    ],
    [
      "23.203060594",
      "864.453860573"
    ],
    [
      "720.316343842",
      "1747.667014400"
    ],
    [
      "195.383456266",
      "403.959558167"
    ],
    [
      "1841.821381731",
      "1118.471798234"
    ],
    [
      "1244.239742062",
      "1806.603311727"
    ],
    [
      "730.106065655",
      "1689.698217877"
    ],
    [
      "1641.884592281",
      "1529.505930694"
    ],
    [
      "1570.474509979",
      "278.203619929"
    ],
    [
      "1139.824032430",
      "49.938697004"
    ],
    [
      "129.066324612",
      "1356.439954538"
    ],
    [
      "1773.073609091",
      "1312.363371708"
    ],
    [
      "257.179377390",
      "1541.495280890"
    ],
    [
      "466.148856596",
      "1716.175254874"
    ],
    [
      "1715.735223873",
      "467.245662186"
    ],
    [
      "695.274027888",
      "976.500103563"
    ],
    [
      "999.065343519",
      "1845.303035915"
    ],
    [
      "667.029749114",
      "1491.904398128"
    ],
    [
      "39.945493101",
      "1013.973254601"
    ],
    [
      "767.308440035",
      "54.876367508"
    ],
    [
      "649.567559559",
      "1306.097928307"
    ],
    [
      "963.925782315",
      "977.529365639"
    ],
    [
      "301.434629253",
      "1275.219984883"
    ],
    [
      "709.018908565",
      "1809.667136138"
    ],
    [
      "992.347918652",
      "1639.147334492"
    ],
    [
      "849.077781205",
      "48.730243125"
    ],
    [
      "630.975806412",
      "804.939724173"
    ],
    [
      "317.454273635",
      "746.472412217"
    ],
    [
      "60.673525366",
      "1096.847593456"
    ],
    [
      "423.246946567",
      "547.857889081"
    ],
    [
      "49.129460891",
      "928.435566918"
    ],
    [
      "668.702759049",
      "1056.186787975"
    ],
    [
      "1809.199114583",
      "745.148739229"
    ],
    [
      "601.262954887",
      "1550.487968346"
    ],
    [
      "1119.086583557",
      "1090.880364760"
    ],
    [
      "1212.617397761",
      "1038.786631953"
    ],
    [
      "1354.704446839",
      "157.464815071"
    ],
    [
      "1704.697739956",
      "791.031362154"
    ],
    [
      "428.700696988",
      "220.665574255"
    ],
    [
      "576.176627784",
      "1112.134608073"
    ],
    [
      "131.400416057",
      "591.102852468"
    ],
    [
      "186.764856661",
      "485.766350167"
    ],
    [
      "1662.177014242",
      "1068.440353008"
    ],
    [
      "1199.664206148",
      "377.219382553"
    ],
    [
      "1152.216113178",
      "261.359894303"
    ],
    [
      "519.037532788",
      "302.418915381"
    ],
    [
      "1326.807605148",
      "1072.899273990"
    ],
    [
      "1300.460886644",
      "1736.323991141"
    ],
    [
      "676.703941434",
      "107.940713669"
    ],
    [
      "803.406162587",
      "154.540575861"
    ],
    [
      "1591.807970234",
      "1177.914735144"
    ],
    [
      "1551.161498491",
      "1560.895741992"
    ],
    [
      "995.250321011",
      "1084.510115210"
    ],
    [
      "861.116008210",
      "282.092815061"
    ],
    [
      "1806.288840330",
      "870.531351619"
    ],
    [
      "548.999000600",
      "167.710673403"
    ],
    [
      "1289.790009420",
      "272.196087104"
    ],
    [
      "731.310637542",
      "872.570498694"
    ],
    [
      "550.935401078",
      "1245.043056974"
    ],
    [
      "1667.293800683",
      "929.534563004"
    ],
    [
      "1222.819339750",
      "1172.510722427"
    ],
    [
      "1502.057646319",
      "583.667393751"
    ],
    [
      "1797.128784572",
      "1024.258686146"
    ],
    [
      "741.641132882",
      "1583.321800262"
    ],
    [
      "1068.009485272",
      "1220.238166909"
    ],
    [
      "1218.422113410",
      "130.112930382"
    ],
    [
      "1423.260027870",
      "1648.452659558"
    ],
    [
      "905.022250054",
      "1544.198782075"
    ],
    [
      "576.438404731",
      "1408.704588494"
    ],
    [
      "1078.986902045",
      "1540.691666745"
    ],
    [
      "414.544400433",
      "1339.665966163"
    ],
    [
      "1454.513425072",
      "262.646409783"
    ],
    [
      "710.006196418",
      "1191.001572259"
    ],
    [
      "1752.187349640",
      "1192.162378216"
    ],
    [
      "892.024580449",
      "1217.933112791"
    ],
    [
      "1256.096749987",
      "1582.597534801"
    ],
    [
      "1095.796112883",
      "944.724441253"
    ],
    [
      "987.192792997",
      "1381.224298471"
    ],
    [
      "289.684952558",
      "604.415980366"
    ],
    [
      "242.640236614",
      "1413.272748879"
    ],
    [
      "1169.138058598",
      "540.481242356"
    ],
    [
      "345.907416554",
      "889.673036030"
    ],
    [
      "177.740501933",
      "1006.297480272"
    ],
    [
      "1410.515270499",
      "1461.887466771"
    ],
    [
      "686.133516160",
      "279.617441074"
    ],
    [
      "602.204864594",
      "1706.499490666"
    ],
    [
      "1330.007423688",
      "665.928631233"
    ],
    [
      "807.422190293",
      "451.801311954"
    ],
    [
      "826.089786679",
      "1029.114144012"
    ],
    [
      "1128.374202919",
      "743.427806928"
    ],
    [
      "1584.299664259",
      "413.499093280"
    ],
    [
      "961.335669971",
      "603.348798825"
    ],
    [
      "159.828037691",
      "1219.861343443"
    ],
    [
      "1495.914271423",
      "1020.631354370"
    ],
    [
      "552.378965271",
      "942.003711287"
    ],
    [
      "777.340006555",
      "1390.259687966"
    ],
    [
      "1362.078546875",
      "447.907120772"
    ],
    [
      "920.601475697",
      "827.132608619"
    ],
    [
      "1020.358889272",
      "383.890186496"
    ],
    [
      "1697.746113030",
      "617.170282886"
    ],
    [
      "1115.450962991",
      "1744.454696413"
    ],
    [
      "1303.547391704",
      "889.367362674"
    ],
    [
      "1411.758193868",
      "1238.705994644"
    ],
    [
      "1205.026916981",
      "1372.721685394"
    ],
    [
      "580.064810891",
      "479.180538273"
    ],
    [
      "1524.757318143",
      "786.400530902"
    ],
    [
      "736.476298603",
      "671.636887902"
    ],
    [
      "867.283189102",
      "1752.812691676"
    ],
    [
      "486.806799818",
      "711.135153185"
    ],
    [
      "346.447879596",
      "386.542702815"
    ],
    [
      "145.424727252",
      "778.579034144"
    ],
    [
      "1625.379662035",
      "1374.381505545"
    ],
    [
      "418.444856963",
      "1560.016523753"
    ],
    [
      "1002.477669314",
      "135.011610375"
    ],
    [
      "382.368455611",
      "1119.802548766"
    ]
  ],
  "radius": "941.080169231"
}

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

DISCUSSION

讨论区

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